2.57/1.92
2.57/1.92 AbsCon 2
2.57/1.93
3.50/2.25 Instance
3.50/2.25 name=instance-4390975-1568380673, framework=COP, bounds=-infty..+infty
3.50/2.25
3.50/2.25 Loading variables...
4.20/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e727ec
4.20/2.45 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@379f08bb
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cdc3778
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48bd77f7
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b64af7
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@490f993
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd95565
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601b1651
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31fe784b
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bd742f7
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a5d879c
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370f8616
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2354f15e
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b006008
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@740facf8
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f391c40
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3b2e90
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24ccd1f3
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@254cb633
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b81410
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f1061e9
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d8982c
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b4c3c9e
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b95fd3e
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec2ded9
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5848c68e
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1145d630
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@768f1242
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f855a8b
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47566e19
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259c12dd
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33aae8bf
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7485bb44
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f5b393
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e3046f3
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@150da1ff
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a35ecb6
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4167c2bf
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3321418a
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1915b1dc
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@646ccd8f
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7156829f
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6963abfa
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239756f4
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34409259
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489aa44e
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e98dfdd
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29976242
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ddffc7d
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b1c9771
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7132f330
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c980011
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f158ab7
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45379ad9
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d892cdf
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ec0ebc
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@199d6f98
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25ad6cb0
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@785ec7f9
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8a8364
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@420ad8f8
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3db5d84f
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489437bd
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fa94550
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d97fd9
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206b92c5
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e0afa56
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@792ae608
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd20f9d
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d1bacdf
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ad7eb1
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c47762
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5278e348
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7be34105
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4525ecdc
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db93c0f
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36ba4f88
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36a6b14
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c1ac93
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4d3e86
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9605fe
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a32c0c9
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5805295e
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532114b8
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5fe0b3
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55237052
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50f1e877
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71026eee
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b846865
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6d81cb
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f95f2db
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36390e4f
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29c32b6
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@342f7c4b
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d38544f
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a7935c9
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@df3e15a
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55172f95
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57b1e34d
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b01d41
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d11225b
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec873fe
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f69e1da
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c334d
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f66f530
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741dbf8b
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e181f41
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25690e3c
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505f584b
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9f1c8df
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@701036cb
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32757349
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24649650
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275d1677
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68d51255
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47119e85
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@719b51ff
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f156c1
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b578e85
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72264a30
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24c512a4
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524acd57
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1377f65
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c00bde5
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13aa49de
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35f95d6a
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bf19450
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b28003
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aed9583
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@de26d0a
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@180478ef
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44334469
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cc2e241
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@378ebdb6
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a2374f7
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64c9444a
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@264409b7
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f7f2df4
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1467df91
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15180c38
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ebe39b3
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cf20418
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6845ecc8
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@586f254d
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@219dcd0c
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d8de6f4
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e97d190
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f9e3092
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72dd9b5b
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5748810e
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dfdfa4e
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@665a08a0
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@327492fe
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c53737e
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63bfa4e9
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ddf8f01
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2769a085
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3e2928
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@570c8d45
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@785a439
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c238d5
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392bcd48
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@249da21b
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@781eb88c
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763c49d
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56eddffb
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@383236e8
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d99a8fa
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67510d15
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f096b94
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4139f31b
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@746927ec
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f2fc1cd
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@673414ab
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1519c14e
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70c07365
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2562cd09
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@549d20a5
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aa27942
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@791fa21d
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65c7214
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17a9ccc9
4.51/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@469f1736
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18f37ab5
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35228ee6
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4445d4
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a171e0
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d68700
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@efbc2bc
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a89e5c
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d1f771
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9a203d
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad592c5
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a1d30c
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d55db3
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a572c0c
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33439080
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60261535
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a69cca
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40eb087d
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d7966a2
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40bebd4
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1416df92
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee4b4bc
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395d843d
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d92f86
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75431a31
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e449082
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13526137
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d034ece
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2892f72e
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5017bb91
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c2f6cac
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39e0982c
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b89d14
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79d504f2
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64941b50
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f59b579
4.51/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6358eeb0
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29eca43c
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7de807
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d2800f8
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@234edfd9
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63c5fc40
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78aefed9
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628103b7
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a8fe1a1
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8852089
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8443ad
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67734b9e
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@394967ad
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f466c54
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cd19cd7
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55a9b53e
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@147d8cde
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fa3b00d
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7797651c
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d998fb0
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e2bcd12
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23968ea9
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76e61965
4.51/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38b213b7
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@307d9720
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bbfc77
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18da398c
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c47703d
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@121818d1
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43fc6f46
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70b535ff
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d783616
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d140ddf
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b01d973
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c18870f
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@261db1f
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63af8c5b
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aa74078
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@543544e2
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74872e72
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f5d792f
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ecb095c
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28f8602
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b472cf
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151b2f82
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6827cd96
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fb66042
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18bd4f48
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e964762
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31cd6d37
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bbca450
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75400ba
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34c050aa
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d45bff1
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2607bc94
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@355389a5
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b1b605
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7db4abab
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216e5314
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35e15402
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d052c67
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ddbb8e6
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2674f13e
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698d5759
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e6948e5
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3adb7bb0
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cff38a1
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a928cdc
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cd2a915
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@629aff7c
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f15ea8a
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57c2154
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303441be
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@263590c2
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3982a642
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a1fb010
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4912175
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4731c7b9
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b7ee74c
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@792de834
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c16743e
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d9f4fa6
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1733e461
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501627c0
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e151a20
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b2b035
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae7bbc3
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738c2d41
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b329f6
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a33d4b7
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29e9e283
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d1a8141
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@146dc501
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27039ab4
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19efe138
4.85/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c9383e5
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a8f31f4
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ef5e57b
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e512993
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fc8e7a0
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309259ff
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e87660c
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c3936c5
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c10b7aa
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61ae9eeb
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61adde21
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@200cd316
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b094ec7
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a78f987
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@595b39d2
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8efa155
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9850e95
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fd59b94
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66838028
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1439815d
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3734a3ad
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ea2a6
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d944670
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ff1be38
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@723bcc8a
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5efa8abb
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fe007f
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2373a2de
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118411f8
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@344281a8
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e887f89
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59024474
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e019049
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62b8d656
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d83200
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48aada81
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7098e257
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@276c29a4
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5072eeac
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b52e5cd
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1251409d
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d818a09
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e1ece60
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@755e859d
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb018b
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63e01669
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@166731bb
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f10c352
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af2e8aa
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a4c8db
4.85/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee936c4
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d615ba8
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@300d3671
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a4415b
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75507c7e
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f6ba55f
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4737a6
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ddb280b
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3246c743
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a02742
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@405df4bf
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bce18b9
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a2f5e9c
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e51648e
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed6ff17
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23355365
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48f2af80
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eeec180
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c90a1de
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bafcdb0
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f308c15
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68a91a6
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61200c34
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48329577
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3852ba08
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d23c46
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21a1664d
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502cf9ef
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e73ec
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61fbdf4d
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76282c7
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1367262b
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42a7dba6
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@848d97e
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a0fa6a
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e77426e
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@266a480c
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f64707
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2941a63c
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fc4859b
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b52b235
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1125cb4
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4af84b1
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42ae67a1
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42a0ca7d
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71fcac4a
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6dfd80
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b4f335c
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41513c5f
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6261bba
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f6c8ea7
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1571b662
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@682fe2c
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59300f53
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47494fa5
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cbfd434
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ae0d3f0
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8f22ee
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6880be
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b780838
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@efd2f00
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c791795
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a22b1da
4.85/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4684293e
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a86505
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b655819
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a913b89
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6711d0
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54eeba9e
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74da100e
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26669010
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@607fb9c5
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a9f1654
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fa3b4fa
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a5a6d0e
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65a96d3
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18cc904a
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79ab82ac
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@909a0f6
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c2f2c41
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44746286
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7b1a21
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f522fa3
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3979b00a
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67febe1d
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4902ec3d
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb8bfcb
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63db0e9d
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13981918
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2694e996
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79179022
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60cc43fb
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fe4a123
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@629feb5e
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4ec667
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b4ba36
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772690d
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ca9fb3b
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@312290cc
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@184b1934
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7d15d8
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7404d6a8
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bd37e1e
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a2841fd
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f35127a
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@647c04ad
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39410f64
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d441392
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1726d12
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c65ab48
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59d16d1
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27629eb
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@570313ed
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60acc7e7
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a21911
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@595ebaa0
4.85/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@99694e0
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2491514a
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b11d11e
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ea3b132
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567a3026
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50bbb396
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c51b8f
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b3c283d
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5e4085
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@477ab218
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44acba81
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@635e3f28
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13a7eb85
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@453bcfa8
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a6ec198
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f20734
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374bd22
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7698f21c
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@594a66b9
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34fe0e0b
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b41e7f4
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3254a6c3
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@164c5727
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a01fac
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11907d3c
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@282c8961
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50626499
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d4c58ab
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@508d397f
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@435375ba
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f78f01c
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643403b8
4.85/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2125a793
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b0dc4f2
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24fbf005
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f611393
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2accbb4c
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74c2c3ba
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a73836a
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1eaccf
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6f0b59
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@538748a0
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@308ed0d2
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f3ab82
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36f2b89e
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@354a150
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@371aa740
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c2c16e3
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45328a7
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@611f3209
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@177297f3
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47775fb5
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206b4cd
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c25a92
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50efe0ea
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16ec6d5c
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af069d9
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232b52ed
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@360ecd2f
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1875ee
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7acaf8af
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fce5264
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51393c34
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3453b8b2
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d4d6bd5
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5100a685
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b6a5711
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f0d2dc5
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579d1226
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b7ee24
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479dbe57
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a93a945
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c0e3af6
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d549d05
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccca6b7
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dbbe53
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660a73af
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1783240d
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9bf4be2
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c6cf65
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@141c8db8
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7511654a
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b56382d
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6abbc9f3
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134f97dc
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@453ba576
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c05701
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30ed1d6b
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb34084
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e0b382
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2953cda9
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3953467
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@433a738
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2415f13c
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e8ceb73
4.85/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1506c921
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173a65f2
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206de17c
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c41e148
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9ef6d8
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@602c5783
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645e094b
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40865329
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c41240b
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287b31e8
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e6de5c2
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24e1e1cc
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31c0d146
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce18408
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28660b08
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201f5994
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a7a7610
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12dd7acb
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39983d3e
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a99291c
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a3dd206
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72bb3e67
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4702b276
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3414e6a6
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@abf5f05
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b81716e
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@754fa61a
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ea532d
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3812a299
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58d23195
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68eeb148
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4924a0d2
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f5b98c5
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4883332a
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19a4bae5
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c500f5
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1738a84f
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d674a52
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4b1b57
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@810143e
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7755a0
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f86b9fb
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a05289
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5252c019
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bbe95c7
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8e2b355
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b0a4e58
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d76f29f
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fa4aa84
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@692d0553
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4af72e
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32285da3
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b3ea866
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ee88725
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3db6f373
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6186eaec
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1018353e
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ed7aaa
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11505673
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d1774b3
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fc2ff7e
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7549d979
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@677a9ff6
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b29bb
4.85/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@327799a5
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@451a5231
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43fd9068
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d5a6895
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d5a3e9
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26591579
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a3a729
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc17aa1
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d88a9c
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c74e3bf
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb1221d
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4253c5f9
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a7e5416
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628859a5
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2699ff35
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79d79f0f
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10911d1a
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1902b158
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39695da8
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a0bc45a
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f78ae7c
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b873ca
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b813367
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@464bccd3
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36c28026
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6952a06b
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6774f9
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48dc5a9f
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61d13b40
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70153ee6
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3395e8e5
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c032432
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d491184
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bc614b2
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17141735
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed03deb
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c957291
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fda1c4
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67af51fc
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5af9f5d1
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ad4eaaa
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5471ecd3
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256014f7
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21322bfc
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d426875
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15517e28
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23575df2
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e438e13
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eaca830
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e8cde1
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4655ea1f
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2df109d8
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@409f6c0a
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@781c51f4
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e8309b
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7693f5e
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ae3ffc5
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b36d134
4.85/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fb73f82
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b2f34a9
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@783e1ba0
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13236e84
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef8b702
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bd225f8
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cfd7e25
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccf7015
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38fae8d2
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a4939b1
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77939db8
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346bd8ac
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4574e288
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f562b32
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d30e5e9
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771bb076
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3234c40
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40bc2e74
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a5b44d
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6900812e
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a7779a
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63dd29ce
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77a253eb
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d445ec5
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3347256e
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@777968dc
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e46084
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22f5981e
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b88d04
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38be5b9d
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4db40459
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19060a57
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fc0ee81
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233e9bf9
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e42701
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5262ea15
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@181b531a
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a5fd35e
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ef34
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ecc4d3f
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3401a328
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f02a0ea
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a313723
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1efbca7e
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28c16544
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7da7b716
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6321ea90
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e2d893
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c6719
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@397ceaf9
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d53cb5c
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57b03fd7
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e10570
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74252308
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@266f42a1
4.85/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@360fde63
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e148d4e
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b31449
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c1d9d59
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65bcc042
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bedd517
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@604a68bd
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d2b7461
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5569c7e0
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6166c76c
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3692c637
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ca1305
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5054941e
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50f85ad0
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6edf110c
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@324886c9
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42a11826
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3768e40a
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2851ec6d
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1babcdde
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bb9e23
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34baa72e
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e36f923
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc28d43
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d225b98
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e893f17
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47b4714a
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ee585d0
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae0ac64
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a0b92d1
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ec00877
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@420b2bdd
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1da6720f
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@277d2cc3
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@401a04ef
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f370319
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ce03af
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2762bd8d
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5de976fc
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d176ec7
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f2acca
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70fb4d08
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20964a3a
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f347c52
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@117ff62b
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7755096f
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fd6cd1b
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127ff454
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f17df46
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb79263
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fea9012
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d209f
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270b3bbd
5.17/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dd48e38
5.55/2.84
5.55/2.84
5.55/2.84 Domains
5.55/2.84 nTypes=11, nValues=804540, sizes=[2#795,22#795,41#795,43#795...137#795,155#795,178#795,212#795]
5.55/2.84 Variables
5.55/2.84 count=8745, degrees=[3#815,4#7930]
5.55/2.84 Objectives
5.55/2.84 way=min, type=SumSimpleLE
5.55/2.84 Constraints
5.55/2.84 count=1601, nSpecific=1601, arities=[11#795,20#794,795#12]
5.55/2.84 distribution=[LexicographicLe#794,OrderedGE#1,SumSimpleEQ#10,SumSimpleLE#1,SumWeightedLE#795]
5.55/2.84 wck=0.955, cpu=2.783, mem=41M33
5.55/2.87 Solver SolverBacktrack being built...
5.55/2.87
5.89/2.95
5.89/2.95 Solver
5.89/2.95 guaranteedGAC=false
5.89/2.95 wck=1.069, cpu=2.895, mem=129M328
6.57/3.30
6.57/3.30 Preprocessing
6.57/3.30 filters=866, nACremovedValues=781485, nTotalRemovedValues=781485, inconcistency=false
6.57/3.30 wck=0.344, cpu=3.244, mem=129M328
6.57/3.30
7.49/3.78 num=0, depth=0..783, filters=7264, wck=0.81, mem=131M917
7.49/3.78 decisions=795, wrong=10, backtracks=0, failedAssignments=10, nogoods=9
7.49/3.78
7.90/3.92 num=1, depth=0..33, filters=15389, wck=0.968, mem=131M917
7.90/3.92 decisions=840, wrong=21, backtracks=0, failedAssignments=21, nogoods=19
7.90/3.92
8.01/4.06 num=2, depth=0..34, filters=24003, wck=1.107, mem=131M917
8.01/4.06 decisions=887, wrong=33, backtracks=0, failedAssignments=33, nogoods=30
8.01/4.06
8.22/4.20 num=3, depth=0..27, filters=32997, wck=1.248, mem=131M917
8.22/4.20 decisions=928, wrong=46, backtracks=0, failedAssignments=46, nogoods=42
8.22/4.20
8.32/4.37 num=4, depth=0..660, filters=38467, wck=1.413, mem=131M917
8.32/4.37 decisions=1607, wrong=60, backtracks=0, failedAssignments=60, nogoods=55
8.32/4.37
8.53/4.57 num=5, depth=651..666, filters=46317, wck=1.611, mem=131M917
8.53/4.57 decisions=2290, wrong=76, backtracks=0, failedAssignments=76, nogoods=71
8.53/4.57
8.90/4.89 num=6, depth=7..26, filters=56394, wck=1.933, mem=131M917
8.90/4.89 decisions=2371, wrong=113, backtracks=20, failedAssignments=93, nogoods=72
8.90/4.89
9.00/5.00 num=7, depth=16..38, filters=62869, wck=2.042, mem=131M917
9.00/5.00 decisions=2446, wrong=136, backtracks=33, failedAssignments=112, nogoods=79
9.00/5.00
9.31/5.22 num=8, depth=7..35, filters=71753, wck=2.268, mem=131M917
9.31/5.22 decisions=2543, wrong=180, backtracks=62, failedAssignments=133, nogoods=82
9.31/5.22
9.41/5.33 num=9, depth=8..47, filters=76024, wck=2.378, mem=131M917
9.41/5.33 decisions=2614, wrong=203, backtracks=62, failedAssignments=156, nogoods=105
9.41/5.33
9.74/5.62 num=10, depth=0..36, filters=86469, wck=2.666, mem=131M917
9.74/5.62 decisions=2713, wrong=241, backtracks=79, failedAssignments=181, nogoods=118
9.74/5.62
9.84/5.72 num=11, depth=0..49, filters=90443, wck=2.768, mem=131M917
9.84/5.72 decisions=2791, wrong=269, backtracks=79, failedAssignments=209, nogoods=145
9.84/5.72
9.95/5.80 num=12, depth=0..40, filters=94460, wck=2.847, mem=131M917
9.95/5.80 decisions=2884, wrong=305, backtracks=104, failedAssignments=240, nogoods=155
9.95/5.80
10.06/5.98 num=13, depth=0..30, filters=104008, wck=3.021, mem=131M917
10.06/5.98 decisions=3049, wrong=378, backtracks=159, failedAssignments=274, nogoods=158
10.06/5.98
10.17/6.10 num=14, depth=0..43, filters=111171, wck=3.145, mem=131M917
10.17/6.10 decisions=3177, wrong=430, backtracks=190, failedAssignments=311, nogoods=172
10.17/6.10
10.46/6.37 num=15, depth=0..31, filters=128807, wck=3.411, mem=131M917
10.46/6.37 decisions=3389, wrong=525, backtracks=260, failedAssignments=352, nogoods=180
10.46/6.37
10.77/6.62 num=16, depth=0..24, filters=142307, wck=3.661, mem=131M917
10.77/6.62 decisions=3578, wrong=615, backtracks=329, failedAssignments=397, nogoods=182
10.77/6.62
10.87/6.79 num=17, depth=0..81, filters=152569, wck=3.831, mem=131M917
10.87/6.79 decisions=3799, wrong=697, backtracks=370, failedAssignments=447, nogoods=206
10.87/6.79
10.97/6.89 num=18, depth=10..69, filters=159769, wck=3.93, mem=131M917
10.97/6.89 decisions=4000, wrong=782, backtracks=413, failedAssignments=502, nogoods=229
10.97/6.89
11.23/7.07 num=19, depth=5..45, filters=171399, wck=4.112, mem=131M917
11.23/7.07 decisions=4284, wrong=917, backtracks=510, failedAssignments=563, nogoods=234
11.23/7.07
11.46/7.24 num=20, depth=3..55, filters=182480, wck=4.285, mem=131M917
11.46/7.24 decisions=4580, wrong=1052, backtracks=604, failedAssignments=630, nogoods=242
11.46/7.24
11.66/7.45 num=21, depth=3..36, filters=195472, wck=4.495, mem=131M917
11.66/7.45 decisions=4899, wrong=1206, backtracks=715, failedAssignments=704, nogoods=247
11.66/7.45
11.86/7.62 num=22, depth=6..71, filters=206701, wck=4.666, mem=131M917
11.86/7.62 decisions=5231, wrong=1349, backtracks=810, failedAssignments=785, nogoods=259
11.86/7.62
12.08/7.82 num=23, depth=6..38, filters=219202, wck=4.866, mem=131M917
12.08/7.82 decisions=5592, wrong=1517, backtracks=931, failedAssignments=874, nogoods=265
12.08/7.82
12.29/8.06 num=24, depth=0..43, filters=233721, wck=5.101, mem=131M917
12.29/8.06 decisions=6014, wrong=1719, backtracks=1068, failedAssignments=972, nogoods=271
12.29/8.06
12.48/8.25 num=25, depth=4..128, filters=243593, wck=5.292, mem=131M917
12.48/8.25 decisions=6483, wrong=1907, backtracks=1176, failedAssignments=1080, nogoods=299
12.48/8.25
12.95/8.54 o 783
12.95/8.56 num=26, depth=4..8744, filters=250023, ccks=1601, wck=5.603, mem=137M96
12.95/8.56 decisions=6868, wrong=2051, backtracks=1255, failedAssignments=1198, nogoods=336, foundSolutions=1, bestBound=783
12.95/8.56
13.64/9.10 o 782
13.75/9.11 num=27, depth=4..8744, filters=256843, ccks=3202, wck=6.155, mem=139M686
13.75/9.11 decisions=7192, wrong=2148, backtracks=1309, failedAssignments=1261, nogoods=358, foundSolutions=2, bestBound=782
13.75/9.11
14.12/9.44 num=28, depth=4..112, filters=260103, ccks=3202, wck=6.479, mem=139M686
14.12/9.44 decisions=7317, wrong=2159, backtracks=1309, failedAssignments=1272, nogoods=369, foundSolutions=2, bestBound=782
14.12/9.44
14.23/9.50 num=29, depth=4..98, filters=263195, ccks=3202, wck=6.548, mem=139M686
14.23/9.50 decisions=7428, wrong=2170, backtracks=1309, failedAssignments=1283, nogoods=380, foundSolutions=2, bestBound=782
14.23/9.50
14.23/9.58 num=30, depth=4..136, filters=266841, ccks=3202, wck=6.623, mem=139M686
14.23/9.58 decisions=7581, wrong=2184, backtracks=1311, failedAssignments=1295, nogoods=391, foundSolutions=2, bestBound=782
14.23/9.58
14.34/9.66 num=31, depth=4..127, filters=270752, ccks=3202, wck=6.705, mem=139M686
14.34/9.66 decisions=7726, wrong=2197, backtracks=1311, failedAssignments=1308, nogoods=404, foundSolutions=2, bestBound=782
14.34/9.66
14.44/9.75 num=32, depth=4..122, filters=274777, ccks=3202, wck=6.79, mem=139M686
14.44/9.75 decisions=7873, wrong=2213, backtracks=1319, failedAssignments=1322, nogoods=411, foundSolutions=2, bestBound=782
14.44/9.75
14.54/9.83 num=33, depth=4..120, filters=278758, ccks=3202, wck=6.872, mem=139M686
14.54/9.83 decisions=8016, wrong=2231, backtracks=1329, failedAssignments=1338, nogoods=418, foundSolutions=2, bestBound=782
14.54/9.83
14.64/9.91 num=34, depth=4..112, filters=282622, ccks=3202, wck=6.95, mem=139M686
14.64/9.91 decisions=8158, wrong=2250, backtracks=1337, failedAssignments=1355, nogoods=429, foundSolutions=2, bestBound=782
14.64/9.91
14.64/9.98 num=35, depth=4..123, filters=286235, ccks=3202, wck=7.028, mem=139M686
14.64/9.98 decisions=8312, wrong=2274, backtracks=1351, failedAssignments=1374, nogoods=437, foundSolutions=2, bestBound=782
14.64/9.98
14.75/10.06 num=36, depth=4..106, filters=289866, ccks=3202, wck=7.104, mem=139M686
14.75/10.06 decisions=8442, wrong=2295, backtracks=1351, failedAssignments=1395, nogoods=458, foundSolutions=2, bestBound=782
14.75/10.06
14.85/10.14 num=37, depth=4..97, filters=293918, ccks=3202, wck=7.187, mem=139M686
14.85/10.14 decisions=8618, wrong=2340, backtracks=1380, failedAssignments=1418, nogoods=465, foundSolutions=2, bestBound=782
14.85/10.14
14.95/10.22 num=38, depth=4..111, filters=297594, ccks=3202, wck=7.264, mem=139M686
14.95/10.22 decisions=8784, wrong=2378, backtracks=1401, failedAssignments=1443, nogoods=473, foundSolutions=2, bestBound=782
14.95/10.22
15.05/10.30 num=39, depth=4..112, filters=301198, ccks=3202, wck=7.342, mem=139M686
15.05/10.30 decisions=8932, wrong=2408, backtracks=1404, failedAssignments=1471, nogoods=500, foundSolutions=2, bestBound=782
15.05/10.30
15.05/10.39 num=40, depth=4..144, filters=305728, ccks=3202, wck=7.43, mem=139M686
15.05/10.39 decisions=9126, wrong=2442, backtracks=1414, failedAssignments=1502, nogoods=524, foundSolutions=2, bestBound=782
15.05/10.39
15.36/10.63 o 781
15.36/10.64 num=41, depth=4..8744, filters=310139, ccks=4803, wck=7.681, mem=142M312
15.36/10.64 decisions=9310, wrong=2468, backtracks=1417, failedAssignments=1525, nogoods=545, foundSolutions=3, bestBound=781
15.36/10.64
15.88/11.13 o 780
15.88/11.14 num=42, depth=57..8744, filters=314732, ccks=6404, wck=8.184, mem=147M490
15.88/11.14 decisions=9520, wrong=2509, backtracks=1433, failedAssignments=1554, nogoods=559, foundSolutions=4, bestBound=780
15.88/11.14
16.18/11.47 num=43, depth=54..145, filters=318474, ccks=6404, wck=8.512, mem=147M490
16.18/11.47 decisions=9678, wrong=2520, backtracks=1433, failedAssignments=1565, nogoods=570, foundSolutions=4, bestBound=780
16.18/11.47
16.28/11.54 num=44, depth=4..127, filters=321975, ccks=6404, wck=8.585, mem=147M490
16.28/11.54 decisions=9818, wrong=2531, backtracks=1433, failedAssignments=1576, nogoods=581, foundSolutions=4, bestBound=780
16.28/11.54
16.41/11.62 num=45, depth=4..139, filters=325716, ccks=6404, wck=8.661, mem=147M490
16.41/11.62 decisions=9972, wrong=2543, backtracks=1433, failedAssignments=1588, nogoods=593, foundSolutions=4, bestBound=780
16.41/11.62
16.41/11.70 num=46, depth=4..134, filters=329437, ccks=6404, wck=8.739, mem=147M490
16.41/11.70 decisions=10121, wrong=2556, backtracks=1433, failedAssignments=1601, nogoods=606, foundSolutions=4, bestBound=780
16.41/11.70
16.51/11.77 num=47, depth=4..125, filters=332908, ccks=6404, wck=8.815, mem=147M490
16.51/11.77 decisions=10263, wrong=2570, backtracks=1433, failedAssignments=1615, nogoods=620, foundSolutions=4, bestBound=780
16.51/11.77
16.61/11.85 num=48, depth=4..129, filters=336339, ccks=6404, wck=8.891, mem=147M490
16.61/11.85 decisions=10413, wrong=2586, backtracks=1433, failedAssignments=1631, nogoods=636, foundSolutions=4, bestBound=780
16.61/11.85
16.75/11.95 num=49, depth=4..144, filters=341050, ccks=6404, wck=8.989, mem=147M490
16.75/11.95 decisions=10577, wrong=2603, backtracks=1433, failedAssignments=1648, nogoods=653, foundSolutions=4, bestBound=780
16.75/11.95
16.96/12.20 o 771
17.06/12.20 num=50, depth=4..8744, filters=345939, ccks=8005, wck=9.246, mem=150M150
17.06/12.20 decisions=10734, wrong=2619, backtracks=1436, failedAssignments=1662, nogoods=665, foundSolutions=5, bestBound=771
17.06/12.20
17.41/12.56 num=51, depth=8..138, filters=351070, ccks=8005, wck=9.605, mem=150M150
17.41/12.56 decisions=10920, wrong=2647, backtracks=1445, failedAssignments=1683, nogoods=679, foundSolutions=5, bestBound=771
17.41/12.56
17.51/12.65 num=52, depth=4..136, filters=355123, ccks=8005, wck=9.696, mem=150M150
17.51/12.65 decisions=11075, wrong=2662, backtracks=1450, failedAssignments=1694, nogoods=686, foundSolutions=5, bestBound=771
17.51/12.65
17.61/12.72 num=53, depth=50..98, filters=358626, ccks=8005, wck=9.763, mem=150M150
17.61/12.72 decisions=11195, wrong=2676, backtracks=1452, failedAssignments=1706, nogoods=695, foundSolutions=5, bestBound=771
17.61/12.72
17.71/12.80 num=54, depth=5..107, filters=362687, ccks=8005, wck=9.847, mem=150M150
17.71/12.80 decisions=11324, wrong=2691, backtracks=1454, failedAssignments=1719, nogoods=706, foundSolutions=5, bestBound=771
17.71/12.80
17.71/12.89 num=55, depth=5..104, filters=366743, ccks=8005, wck=9.934, mem=150M150
17.71/12.89 decisions=11446, wrong=2705, backtracks=1454, failedAssignments=1733, nogoods=720, foundSolutions=5, bestBound=771
17.71/12.89
17.81/12.98 num=56, depth=5..110, filters=370972, ccks=8005, wck=10.025, mem=150M150
17.81/12.98 decisions=11576, wrong=2721, backtracks=1454, failedAssignments=1749, nogoods=736, foundSolutions=5, bestBound=771
17.81/12.98
17.95/13.07 num=57, depth=5..113, filters=375326, ccks=8005, wck=10.116, mem=150M150
17.95/13.07 decisions=11718, wrong=2741, backtracks=1461, failedAssignments=1766, nogoods=748, foundSolutions=5, bestBound=771
17.95/13.07
18.05/13.16 num=58, depth=5..132, filters=379572, ccks=8005, wck=10.206, mem=150M150
18.05/13.16 decisions=11873, wrong=2760, backtracks=1461, failedAssignments=1785, nogoods=767, foundSolutions=5, bestBound=771
18.05/13.16
18.14/13.26 num=59, depth=5..127, filters=383966, ccks=8005, wck=10.3, mem=150M150
18.14/13.26 decisions=12034, wrong=2783, backtracks=1471, failedAssignments=1806, nogoods=780, foundSolutions=5, bestBound=771
18.14/13.26
18.24/13.36 num=60, depth=5..130, filters=388974, ccks=8005, wck=10.404, mem=150M150
18.24/13.36 decisions=12208, wrong=2813, backtracks=1485, failedAssignments=1829, nogoods=795, foundSolutions=5, bestBound=771
18.24/13.36
18.34/13.46 num=61, depth=5..135, filters=393870, ccks=8005, wck=10.505, mem=150M150
18.34/13.46 decisions=12394, wrong=2848, backtracks=1501, failedAssignments=1854, nogoods=809, foundSolutions=5, bestBound=771
18.34/13.46
18.64/13.71 o 740
18.64/13.71 num=62, depth=5..8744, filters=398194, ccks=9606, wck=10.756, mem=155M347
18.64/13.71 decisions=12581, wrong=2868, backtracks=1501, failedAssignments=1874, nogoods=829, foundSolutions=6, bestBound=740
18.64/13.71
18.96/14.06 num=63, depth=62..147, filters=403666, ccks=9606, wck=11.105, mem=155M347
18.96/14.06 decisions=12795, wrong=2906, backtracks=1519, failedAssignments=1905, nogoods=841, foundSolutions=6, bestBound=740
18.96/14.06
19.06/14.14 num=64, depth=5..131, filters=407187, ccks=9606, wck=11.184, mem=155M347
19.06/14.14 decisions=12940, wrong=2917, backtracks=1519, failedAssignments=1916, nogoods=852, foundSolutions=6, bestBound=740
19.06/14.14
19.15/14.21 num=65, depth=5..115, filters=410411, ccks=9606, wck=11.253, mem=155M347
19.15/14.21 decisions=13072, wrong=2930, backtracks=1520, failedAssignments=1928, nogoods=864, foundSolutions=6, bestBound=740
19.15/14.21
19.25/14.30 num=66, depth=5..126, filters=414259, ccks=9606, wck=11.342, mem=155M347
19.25/14.30 decisions=13213, wrong=2943, backtracks=1520, failedAssignments=1941, nogoods=877, foundSolutions=6, bestBound=740
19.25/14.30
19.46/14.51 o 703
19.46/14.52 num=67, depth=48..8744, filters=417162, ccks=11207, wck=11.561, mem=157M937
19.46/14.52 decisions=13326, wrong=2954, backtracks=1520, failedAssignments=1952, nogoods=888, foundSolutions=7, bestBound=703
19.46/14.52
19.76/14.84 num=68, depth=62..117, filters=420597, ccks=11207, wck=11.886, mem=157M937
19.76/14.84 decisions=13485, wrong=2983, backtracks=1533, failedAssignments=1968, nogoods=894, foundSolutions=7, bestBound=703
19.76/14.84
19.86/14.92 num=69, depth=5..122, filters=424129, ccks=11207, wck=11.96, mem=157M937
19.86/14.92 decisions=13619, wrong=2994, backtracks=1533, failedAssignments=1979, nogoods=905, foundSolutions=7, bestBound=703
19.86/14.92
19.86/14.99 num=70, depth=5..100, filters=427630, ccks=11207, wck=12.033, mem=157M937
19.86/14.99 decisions=13737, wrong=3008, backtracks=1535, failedAssignments=1991, nogoods=917, foundSolutions=7, bestBound=703
19.86/14.99
19.98/15.07 num=71, depth=5..85, filters=431324, ccks=11207, wck=12.114, mem=157M937
19.98/15.07 decisions=13838, wrong=3021, backtracks=1535, failedAssignments=2004, nogoods=930, foundSolutions=7, bestBound=703
19.98/15.07
20.08/15.14 num=72, depth=5..93, filters=434778, ccks=11207, wck=12.186, mem=157M937
20.08/15.14 decisions=13949, wrong=3035, backtracks=1535, failedAssignments=2018, nogoods=944, foundSolutions=7, bestBound=703
20.08/15.14
20.17/15.22 num=73, depth=5..106, filters=438278, ccks=11207, wck=12.259, mem=157M937
20.17/15.22 decisions=14077, wrong=3053, backtracks=1541, failedAssignments=2034, nogoods=953, foundSolutions=7, bestBound=703
20.17/15.22
20.27/15.31 num=74, depth=5..115, filters=442419, ccks=11207, wck=12.353, mem=157M937
20.27/15.31 decisions=14218, wrong=3075, backtracks=1547, failedAssignments=2051, nogoods=967, foundSolutions=7, bestBound=703
20.27/15.31
20.27/15.40 num=75, depth=51..96, filters=446188, ccks=11207, wck=12.439, mem=157M937
20.27/15.40 decisions=14364, wrong=3104, backtracks=1561, failedAssignments=2070, nogoods=976, foundSolutions=7, bestBound=703
20.27/15.40
20.37/15.48 num=76, depth=6..97, filters=450083, ccks=11207, wck=12.528, mem=157M937
20.37/15.48 decisions=14520, wrong=3142, backtracks=1581, failedAssignments=2091, nogoods=988, foundSolutions=7, bestBound=703
20.37/15.48
20.47/15.57 num=77, depth=6..109, filters=453693, ccks=11207, wck=12.614, mem=157M937
20.47/15.57 decisions=14665, wrong=3170, backtracks=1591, failedAssignments=2114, nogoods=1004, foundSolutions=7, bestBound=703
20.47/15.57
20.57/15.65 num=78, depth=6..143, filters=457436, ccks=11207, wck=12.697, mem=157M937
20.57/15.65 decisions=14835, wrong=3195, backtracks=1591, failedAssignments=2139, nogoods=1029, foundSolutions=7, bestBound=703
20.57/15.65
20.77/15.89 o 702
20.77/15.89 num=79, depth=6..8744, filters=461297, ccks=12808, wck=12.937, mem=160M558
20.77/15.89 decisions=15007, wrong=3220, backtracks=1591, failedAssignments=2164, nogoods=1054, foundSolutions=8, bestBound=702
20.77/15.89
21.18/16.22 num=80, depth=50..114, filters=464915, ccks=12808, wck=13.267, mem=160M558
21.18/16.22 decisions=15181, wrong=3261, backtracks=1612, failedAssignments=2195, nogoods=1065, foundSolutions=8, bestBound=702
21.18/16.22
21.29/16.30 num=81, depth=6..98, filters=468285, ccks=12808, wck=13.346, mem=160M558
21.29/16.30 decisions=15291, wrong=3272, backtracks=1612, failedAssignments=2206, nogoods=1076, foundSolutions=8, bestBound=702
21.29/16.30
21.29/16.37 num=82, depth=10..104, filters=471274, ccks=12808, wck=13.411, mem=160M558
21.29/16.37 decisions=15411, wrong=3286, backtracks=1620, failedAssignments=2218, nogoods=1081, foundSolutions=8, bestBound=702
21.29/16.37
21.39/16.42 num=83, depth=41..77, filters=473861, ccks=12808, wck=13.467, mem=160M558
21.39/16.42 decisions=15502, wrong=3299, backtracks=1620, failedAssignments=2231, nogoods=1094, foundSolutions=8, bestBound=702
21.39/16.42
21.51/16.53 num=84, depth=6..85, filters=477227, ccks=12808, wck=13.569, mem=160M558
21.51/16.53 decisions=15604, wrong=3314, backtracks=1621, failedAssignments=2245, nogoods=1108, foundSolutions=8, bestBound=702
21.51/16.53
21.62/16.61 num=85, depth=6..92, filters=480676, ccks=12808, wck=13.649, mem=160M558
21.62/16.61 decisions=15715, wrong=3331, backtracks=1622, failedAssignments=2261, nogoods=1124, foundSolutions=8, bestBound=702
21.62/16.61
21.62/16.67 num=86, depth=72..101, filters=484089, ccks=12808, wck=13.716, mem=160M558
21.62/16.67 decisions=15834, wrong=3348, backtracks=1622, failedAssignments=2278, nogoods=1141, foundSolutions=8, bestBound=702
21.62/16.67
21.72/16.74 num=87, depth=51..98, filters=487615, ccks=12808, wck=13.784, mem=160M558
21.72/16.74 decisions=15952, wrong=3367, backtracks=1622, failedAssignments=2297, nogoods=1160, foundSolutions=8, bestBound=702
21.72/16.74
21.82/16.82 num=88, depth=6..105, filters=491342, ccks=12808, wck=13.863, mem=160M558
21.82/16.82 decisions=16081, wrong=3388, backtracks=1622, failedAssignments=2318, nogoods=1181, foundSolutions=8, bestBound=702
21.82/16.82
22.03/17.06 o 699
22.03/17.06 num=89, depth=6..8744, filters=495569, ccks=14409, wck=14.105, mem=165M737
22.03/17.06 decisions=16219, wrong=3409, backtracks=1622, failedAssignments=2339, nogoods=1202, foundSolutions=9, bestBound=699
22.03/17.06
22.32/17.38 num=90, depth=48..86, filters=498789, ccks=14409, wck=14.423, mem=165M737
22.32/17.38 decisions=16339, wrong=3435, backtracks=1629, failedAssignments=2364, nogoods=1221, foundSolutions=9, bestBound=699
22.32/17.38
22.42/17.45 num=91, depth=6..74, filters=502132, ccks=14409, wck=14.498, mem=165M737
22.42/17.45 decisions=16425, wrong=3446, backtracks=1629, failedAssignments=2375, nogoods=1232, foundSolutions=9, bestBound=699
22.42/17.45
22.62/17.67 o 691
22.62/17.68 num=92, depth=46..8744, filters=505656, ccks=16010, wck=14.722, mem=167M964
22.62/17.68 decisions=16518, wrong=3456, backtracks=1629, failedAssignments=2385, nogoods=1242, foundSolutions=10, bestBound=691
22.62/17.68
22.92/17.99 num=93, depth=54..73, filters=508603, ccks=16010, wck=15.035, mem=167M964
22.92/17.99 decisions=16621, wrong=3476, backtracks=1643, failedAssignments=2398, nogoods=1244, foundSolutions=10, bestBound=691
22.92/17.99
23.03/18.05 num=94, depth=58..67, filters=511383, ccks=16010, wck=15.091, mem=167M964
23.03/18.05 decisions=16727, wrong=3497, backtracks=1655, failedAssignments=2409, nogoods=1248, foundSolutions=10, bestBound=691
23.03/18.05
23.13/18.14 num=95, depth=7..93, filters=515481, ccks=16010, wck=15.185, mem=167M964
23.13/18.14 decisions=16840, wrong=3512, backtracks=1659, failedAssignments=2421, nogoods=1260, foundSolutions=10, bestBound=691
23.13/18.14
23.36/18.39 o 690
23.51/18.45 num=96, depth=7..8744, filters=519788, ccks=17611, wck=15.494, mem=116M808
23.51/18.45 decisions=16939, wrong=3518, backtracks=1659, failedAssignments=2427, nogoods=1266, foundSolutions=11, bestBound=690
23.51/18.45
24.15/18.93 o 689
24.15/18.94 num=97, depth=48..8744, filters=523836, ccks=19212, wck=15.983, mem=121M994
24.15/18.94 decisions=17042, wrong=3525, backtracks=1659, failedAssignments=2434, nogoods=1273, foundSolutions=12, bestBound=689
24.15/18.94
24.47/19.28 num=98, depth=13..89, filters=529919, ccks=19212, wck=16.319, mem=121M994
24.47/19.28 decisions=17163, wrong=3547, backtracks=1670, failedAssignments=2445, nogoods=1275, foundSolutions=12, bestBound=689
24.47/19.28
24.57/19.33 num=99, depth=7..71, filters=532555, ccks=19212, wck=16.378, mem=121M994
24.57/19.33 decisions=17259, wrong=3565, backtracks=1678, failedAssignments=2456, nogoods=1279, foundSolutions=12, bestBound=689
24.57/19.33
24.67/19.42 num=100, depth=5..25, filters=538984, ccks=19212, wck=16.464, mem=121M994
24.67/19.42 decisions=17328, wrong=3591, backtracks=1695, failedAssignments=2468, nogoods=1284, foundSolutions=12, bestBound=689
24.67/19.42
24.77/19.51 num=101, depth=9..80, filters=545287, ccks=19212, wck=16.551, mem=121M994
24.77/19.51 decisions=17440, wrong=3614, backtracks=1706, failedAssignments=2481, nogoods=1288, foundSolutions=12, bestBound=689
24.77/19.51
24.77/19.59 num=102, depth=9..39, filters=549485, ccks=19212, wck=16.638, mem=121M994
24.77/19.59 decisions=17517, wrong=3639, backtracks=1717, failedAssignments=2495, nogoods=1293, foundSolutions=12, bestBound=689
24.77/19.59
24.97/19.71 num=103, depth=1..27, filters=556721, ccks=19212, wck=16.757, mem=121M994
24.97/19.71 decisions=17627, wrong=3689, backtracks=1760, failedAssignments=2511, nogoods=1296, foundSolutions=12, bestBound=689
24.97/19.71
25.07/19.81 num=104, depth=0..47, filters=562536, ccks=19212, wck=16.853, mem=121M994
25.07/19.81 decisions=17732, wrong=3723, backtracks=1784, failedAssignments=2528, nogoods=1305, foundSolutions=12, bestBound=689
25.07/19.81
25.07/19.87 num=105, depth=23..47, filters=565502, ccks=19212, wck=16.909, mem=121M994
25.07/19.87 decisions=17871, wrong=3775, backtracks=1831, failedAssignments=2547, nogoods=1309, foundSolutions=12, bestBound=689
25.07/19.87
25.17/19.94 num=106, depth=1..49, filters=568761, ccks=19212, wck=16.981, mem=121M994
25.17/19.94 decisions=17987, wrong=3813, backtracks=1855, failedAssignments=2568, nogoods=1319, foundSolutions=12, bestBound=689
25.17/19.94
25.38/20.15 o 684
25.38/20.15 num=107, depth=1..8744, filters=572112, ccks=20813, wck=17.197, mem=124M587
25.38/20.15 decisions=18069, wrong=3825, backtracks=1856, failedAssignments=2579, nogoods=1330, foundSolutions=13, bestBound=684
25.38/20.15
25.67/20.48 num=108, depth=1..25, filters=577238, ccks=20813, wck=17.525, mem=124M587
25.67/20.48 decisions=18178, wrong=3873, backtracks=1889, failedAssignments=2604, nogoods=1339, foundSolutions=13, bestBound=684
25.67/20.48
25.77/20.53 num=109, depth=1..35, filters=580039, ccks=20813, wck=17.571, mem=124M587
25.77/20.53 decisions=18241, wrong=3890, backtracks=1898, failedAssignments=2615, nogoods=1345, foundSolutions=13, bestBound=684
25.77/20.53
25.77/20.57 num=110, depth=1..28, filters=582509, ccks=20813, wck=17.611, mem=124M587
25.77/20.57 decisions=18299, wrong=3909, backtracks=1908, failedAssignments=2627, nogoods=1350, foundSolutions=13, bestBound=684
25.77/20.57
25.87/20.62 num=111, depth=1..20, filters=585719, ccks=20813, wck=17.665, mem=124M587
25.87/20.62 decisions=18354, wrong=3932, backtracks=1921, failedAssignments=2640, nogoods=1355, foundSolutions=13, bestBound=684
25.87/20.62
25.87/20.67 num=112, depth=0..29, filters=588580, ccks=20813, wck=17.709, mem=124M587
25.87/20.67 decisions=18428, wrong=3969, backtracks=1950, failedAssignments=2654, nogoods=1355, foundSolutions=13, bestBound=684
25.87/20.67
25.97/20.73 num=113, depth=2..15, filters=592588, ccks=20813, wck=17.769, mem=124M587
25.97/20.73 decisions=18499, wrong=4001, backtracks=1975, failedAssignments=2670, nogoods=1360, foundSolutions=13, bestBound=684
25.97/20.73
26.07/20.81 num=114, depth=2..29, filters=595688, ccks=20813, wck=17.852, mem=124M587
26.07/20.81 decisions=18578, wrong=4035, backtracks=1999, failedAssignments=2687, nogoods=1362, foundSolutions=13, bestBound=684
26.07/20.81
26.07/20.86 num=115, depth=4..62, filters=598916, ccks=20813, wck=17.906, mem=124M587
26.07/20.86 decisions=18660, wrong=4054, backtracks=1999, failedAssignments=2706, nogoods=1381, foundSolutions=13, bestBound=684
26.07/20.86
26.28/21.08 o 683
26.28/21.08 num=116, depth=4..8744, filters=602280, ccks=22414, wck=18.128, mem=127M180
26.28/21.08 decisions=18732, wrong=4070, backtracks=2000, failedAssignments=2721, nogoods=1396, foundSolutions=14, bestBound=683
26.28/21.08
26.77/21.50 num=117, depth=4..41, filters=607969, ccks=22414, wck=18.546, mem=127M180
26.77/21.50 decisions=18852, wrong=4115, backtracks=2034, failedAssignments=2744, nogoods=1401, foundSolutions=14, bestBound=683
26.77/21.50
26.77/21.55 num=118, depth=4..40, filters=610124, ccks=22414, wck=18.59, mem=127M180
26.77/21.55 decisions=18910, wrong=4128, backtracks=2039, failedAssignments=2755, nogoods=1409, foundSolutions=14, bestBound=683
26.77/21.55
26.77/21.59 num=119, depth=4..42, filters=612233, ccks=22414, wck=18.631, mem=127M180
26.77/21.59 decisions=18965, wrong=4140, backtracks=2039, failedAssignments=2767, nogoods=1421, foundSolutions=14, bestBound=683
26.77/21.59
26.88/21.63 num=120, depth=4..41, filters=614582, ccks=22414, wck=18.676, mem=127M180
26.88/21.63 decisions=19034, wrong=4160, backtracks=2050, failedAssignments=2780, nogoods=1428, foundSolutions=14, bestBound=683
26.88/21.63
26.88/21.69 num=121, depth=4..33, filters=617821, ccks=22414, wck=18.734, mem=127M180
26.88/21.69 decisions=19113, wrong=4185, backtracks=2067, failedAssignments=2794, nogoods=1433, foundSolutions=14, bestBound=683
26.88/21.69
26.99/21.76 num=122, depth=4..45, filters=622173, ccks=22414, wck=18.8, mem=127M180
26.99/21.76 decisions=19205, wrong=4215, backtracks=2085, failedAssignments=2810, nogoods=1445, foundSolutions=14, bestBound=683
26.99/21.76
27.11/21.82 num=123, depth=4..57, filters=626102, ccks=22414, wck=18.867, mem=127M180
27.11/21.82 decisions=19314, wrong=4247, backtracks=2112, failedAssignments=2827, nogoods=1451, foundSolutions=14, bestBound=683
27.11/21.82
27.11/21.88 num=124, depth=4..79, filters=629111, ccks=22414, wck=18.928, mem=129M773
27.11/21.88 decisions=19422, wrong=4270, backtracks=2116, failedAssignments=2846, nogoods=1469, foundSolutions=14, bestBound=683
27.11/21.88
27.42/22.14 o 676
27.42/22.14 num=125, depth=5..8744, filters=635786, ccks=24015, wck=19.184, mem=132M366
27.42/22.14 decisions=19534, wrong=4297, backtracks=2130, failedAssignments=2862, nogoods=1479, foundSolutions=15, bestBound=676
27.42/22.14
27.71/22.49 num=126, depth=6..72, filters=642279, ccks=24015, wck=19.537, mem=132M366
27.71/22.49 decisions=19672, wrong=4338, backtracks=2160, failedAssignments=2885, nogoods=1487, foundSolutions=15, bestBound=676
27.71/22.49
27.81/22.58 num=127, depth=7..47, filters=647217, ccks=24015, wck=19.627, mem=132M366
27.81/22.58 decisions=19787, wrong=4374, backtracks=2187, failedAssignments=2896, nogoods=1492, foundSolutions=15, bestBound=676
27.81/22.58
27.91/22.62 num=128, depth=6..53, filters=649567, ccks=24015, wck=19.667, mem=132M366
27.91/22.62 decisions=19868, wrong=4392, backtracks=2201, failedAssignments=2908, nogoods=1496, foundSolutions=15, bestBound=676
27.91/22.62
27.91/22.68 num=129, depth=8..56, filters=651860, ccks=24015, wck=19.719, mem=132M366
27.91/22.68 decisions=19945, wrong=4408, backtracks=2208, failedAssignments=2921, nogoods=1504, foundSolutions=15, bestBound=676
27.91/22.68
28.03/22.73 num=130, depth=9..58, filters=654936, ccks=24015, wck=19.77, mem=132M366
28.03/22.73 decisions=20025, wrong=4426, backtracks=2214, failedAssignments=2935, nogoods=1515, foundSolutions=15, bestBound=676
28.03/22.73
28.13/22.80 num=131, depth=7..64, filters=659842, ccks=24015, wck=19.845, mem=132M366
28.13/22.80 decisions=20110, wrong=4444, backtracks=2217, failedAssignments=2951, nogoods=1530, foundSolutions=15, bestBound=676
28.13/22.80
28.13/22.88 num=132, depth=9..73, filters=664496, ccks=24015, wck=19.919, mem=132M366
28.13/22.88 decisions=20201, wrong=4461, backtracks=2217, failedAssignments=2968, nogoods=1547, foundSolutions=15, bestBound=676
28.13/22.88
28.34/23.10 o 675
28.44/23.11 num=133, depth=10..8744, filters=668680, ccks=25616, wck=20.151, mem=134M959
28.44/23.11 decisions=20272, wrong=4470, backtracks=2217, failedAssignments=2977, nogoods=1556, foundSolutions=16, bestBound=675
28.44/23.11
28.83/23.57 o 674
28.83/23.57 num=134, depth=15..8744, filters=671402, ccks=27217, wck=20.614, mem=137M552
28.83/23.57 decisions=20343, wrong=4475, backtracks=2217, failedAssignments=2982, nogoods=1561, foundSolutions=17, bestBound=674
28.83/23.57
29.13/23.89 num=135, depth=11..32, filters=676267, ccks=27217, wck=20.938, mem=137M552
29.13/23.89 decisions=20406, wrong=4493, backtracks=2228, failedAssignments=2993, nogoods=1567, foundSolutions=17, bestBound=674
29.13/23.89
29.23/23.98 num=136, depth=11..40, filters=681386, ccks=27217, wck=21.022, mem=138M411
29.23/23.98 decisions=20485, wrong=4525, backtracks=2250, failedAssignments=3004, nogoods=1571, foundSolutions=17, bestBound=674
29.23/23.98
29.34/24.05 num=137, depth=11..49, filters=685591, ccks=27217, wck=21.092, mem=138M411
29.34/24.05 decisions=20560, wrong=4542, backtracks=2255, failedAssignments=3016, nogoods=1580, foundSolutions=17, bestBound=674
29.34/24.05
29.44/24.11 num=138, depth=13..65, filters=688864, ccks=27217, wck=21.152, mem=138M411
29.44/24.11 decisions=20643, wrong=4557, backtracks=2257, failedAssignments=3029, nogoods=1592, foundSolutions=17, bestBound=674
29.44/24.11
29.63/24.31 o 673
29.63/24.32 num=139, depth=13..8744, filters=691484, ccks=28818, wck=21.36, mem=143M632
29.63/24.32 decisions=20700, wrong=4561, backtracks=2258, failedAssignments=3032, nogoods=1595, foundSolutions=18, bestBound=673
29.63/24.32
29.93/24.65 num=140, depth=13..80, filters=694835, ccks=28818, wck=21.688, mem=143M632
29.93/24.65 decisions=20817, wrong=4585, backtracks=2266, failedAssignments=3048, nogoods=1606, foundSolutions=18, bestBound=673
29.93/24.65
30.13/24.86 o 672
30.13/24.86 num=141, depth=67..8744, filters=697968, ccks=30419, wck=21.903, mem=146M225
30.13/24.86 decisions=20920, wrong=4594, backtracks=2266, failedAssignments=3057, nogoods=1615, foundSolutions=19, bestBound=672
30.13/24.86
30.63/25.32 o 671
30.63/25.33 num=142, depth=50..8744, filters=700988, ccks=32020, wck=22.373, mem=148M818
30.63/25.33 decisions=21039, wrong=4614, backtracks=2279, failedAssignments=3068, nogoods=1620, foundSolutions=20, bestBound=671
30.63/25.33
30.93/25.65 num=143, depth=13..56, filters=704607, ccks=32020, wck=22.695, mem=148M818
30.93/25.65 decisions=21134, wrong=4635, backtracks=2289, failedAssignments=3079, nogoods=1624, foundSolutions=20, bestBound=671
30.93/25.65
31.13/25.85 o 670
31.13/25.86 num=144, depth=44..8744, filters=707395, ccks=33621, wck=22.902, mem=154M4
31.13/25.86 decisions=21197, wrong=4639, backtracks=2289, failedAssignments=3083, nogoods=1628, foundSolutions=21, bestBound=670
31.13/25.86
31.63/26.32 o 669
31.63/26.32 num=145, depth=31..8744, filters=710343, ccks=35222, wck=23.366, mem=156M597
31.63/26.32 decisions=21286, wrong=4653, backtracks=2296, failedAssignments=3092, nogoods=1633, foundSolutions=22, bestBound=669
31.63/26.32
31.93/26.63 num=146, depth=5..16, filters=713320, ccks=35222, wck=23.669, mem=156M597
31.93/26.63 decisions=21346, wrong=4679, backtracks=2319, failedAssignments=3103, nogoods=1635, foundSolutions=22, bestBound=669
31.93/26.63
31.93/26.68
31.93/26.68 New Bounds: 669..668
32.05/26.70 num=147, depth=0..12, filters=715898, ccks=35222, wck=23.741, mem=156M597
32.05/26.70 decisions=21402, wrong=4708, backtracks=2344, failedAssignments=3113, foundSolutions=22, bestBound=669
32.05/26.70
32.05/26.70 Global
32.05/26.70 filters=715898, ccks=35222
32.05/26.70 Stop=FULL_EXPLORATION, wrong=4708, bestBound=669, bestBoundWck=24.432, bestBoundCpu=26.198, foundSolutions=22, firstSolCpu=8.471
32.05/26.70 wck=24.812, cpu=26.578, mem=156M597
32.05/26.71
32.05/26.71 v <instantiation id='sol22' type='solution' cost='669'> <list> p[] r[][] </list> <values> 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> </instantiation>
32.05/26.71 s OPTIMUM FOUND
32.05/26.71
32.05/26.71 d WRONG_DECISIONS 4708
32.05/26.71 d NUMBER_SOLUTIONS 22
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 (10521 MiB free)
memory of node 1: 16384 MiB (14091 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390975-1568380673/watcher-4390975-1568380673 -o /tmp/evaluation-result-4390975-1568380673/solver-4390975-1568380673 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568380478-20884 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390975-1568380673.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
Current StackSize limit: 8192 KiB
solver pid=21637, runsolver pid=21634
[startup+0.100162 s]*
/proc/loadavg: 1.85 0.85 0.36 5/228 21652
/proc/meminfo: memFree=25188300/32770624 swapFree=67004752/67108860
[pid=21637] ppid=21634 vsize=10659884 memory=27768 CPUtime=0.13 cores=1,3,5,7
/proc/21637/stat : 21637 (java) S 21634 21637 20852 0 -1 1077944320 5977 0 0 0 12 1 0 0 20 0 15 0 414335065 10915721216 6942 33554432000 4194304 4196468 140723057155952 140723057138496 140104482684663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
/proc/21637/statm: 2664971 6942 2866 1 0 2627468 0
[pid=21637/tid=21639] ppid=21634 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/21637/task/21639/stat : 21639 (java) R 21634 21637 20852 0 -1 4202560 3504 0 0 0 9 0 0 0 20 0 15 0 414335066 10915721216 7074 33554432000 4194304 4196468 140723057155952 140104486913768 140104475401815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21640] ppid=21634 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21640/stat : 21640 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10915721216 7074 33554432000 4194304 4196468 140723057155952 140104452397584 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21641] ppid=21634 vsize=10659884 memory=139972271335040 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21641/stat : 21641 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10915721216 7074 33554432000 4194304 4196468 140723057155952 140104088029840 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21642] ppid=21634 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21642/stat : 21642 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10915721216 7074 33554432000 4194304 4196468 140723057155952 140104086976784 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21643] ppid=21634 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21643/stat : 21643 (java) S 21634 21637 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414335066 10915721216 7074 33554432000 4194304 4196468 140723057155952 140104085924240 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21644] ppid=21634 vsize=10659884 memory=139972271335040 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21644/stat : 21644 (java) S 21634 21637 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414335068 10915721216 7074 33554432000 4194304 4196468 140723057155952 140103518227184 140104482695810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21645] ppid=21634 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21645/stat : 21645 (java) S 21634 21637 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414335068 10915721216 7074 33554432000 4194304 4196468 140723057155952 140103517173408 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21646] ppid=21634 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21646/stat : 21646 (java) S 21634 21637 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414335068 10915721216 7074 33554432000 4194304 4196468 140723057155952 140103516120304 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21647] ppid=21634 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21647/stat : 21647 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414335071 10915721216 7074 33554432000 4194304 4196468 140723057155952 140103515068880 140104482703259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21648] ppid=21634 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21648/stat : 21648 (java) R 21634 21637 20852 0 -1 4202560 477 0 0 0 0 0 0 0 20 0 15 0 414335071 10915721216 7074 33554432000 4194304 4196468 140723057155952 140103513996888 140104466152512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21649] ppid=21634 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21649/stat : 21649 (java) R 21634 21637 20852 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 15 0 414335071 10915721216 7074 33554432000 4194304 4196468 140723057155952 140103512948920 140104464206863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21650] ppid=21634 vsize=10659884 memory=139972271335040 CPUtime=0.02 cores=1,3,5,7
/proc/21637/task/21650/stat : 21650 (java) R 21634 21637 20852 0 -1 4202560 537 0 0 0 2 0 0 0 20 0 15 0 414335071 10915721216 7074 33554432000 4194304 4196468 140723057155952 140103203506760 140104474921790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21651] ppid=21634 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21651/stat : 21651 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414335071 10915721216 7074 33554432000 4194304 4196468 140723057155952 140103202457952 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21652] ppid=21634 vsize=10659884 memory=139972271335040 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21652/stat : 21652 (java) R 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335071 10915721216 7074 33554432000 4194304 4196468 140723057155952 140103201406000 140104482695810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27768 KiB
[startup+0.210678 s]*
/proc/loadavg: 1.85 0.85 0.36 3/228 21652
/proc/meminfo: memFree=25181772/32770624 swapFree=67004752/67108860
[pid=21637] ppid=21634 vsize=10659884 memory=33904 CPUtime=0.33 cores=1,3,5,7
/proc/21637/stat : 21637 (java) S 21634 21637 20852 0 -1 1077944320 7079 0 0 0 32 1 0 0 20 0 15 0 414335065 10915721216 8476 33554432000 4194304 4196468 140723057155952 140723057138496 140104482684663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
/proc/21637/statm: 2664971 8476 2990 1 0 2627468 0
[pid=21637/tid=21639] ppid=21634 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21637/task/21639/stat : 21639 (java) R 21634 21637 20852 0 -1 4202560 4021 0 0 0 19 1 0 0 20 0 15 0 414335066 10915721216 8476 33554432000 4194304 4196468 140723057155952 140104486911024 140104482706589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21640] ppid=21634 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21640/stat : 21640 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10915721216 8476 33554432000 4194304 4196468 140723057155952 140104452397584 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21641] ppid=21634 vsize=10659884 memory=139972274412926 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21641/stat : 21641 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10915721216 8476 33554432000 4194304 4196468 140723057155952 140104088029840 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21642] ppid=21634 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21642/stat : 21642 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10915721216 8476 33554432000 4194304 4196468 140723057155952 140104086976784 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21643] ppid=21634 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21643/stat : 21643 (java) S 21634 21637 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414335066 10915721216 8476 33554432000 4194304 4196468 140723057155952 140104085924240 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21644] ppid=21634 vsize=10659884 memory=139972271335040 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21644/stat : 21644 (java) S 21634 21637 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414335068 10915721216 8476 33554432000 4194304 4196468 140723057155952 140103518227184 140104482695810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21645] ppid=21634 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21645/stat : 21645 (java) S 21634 21637 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414335068 10915721216 8476 33554432000 4194304 4196468 140723057155952 140103517173408 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21646] ppid=21634 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21646/stat : 21646 (java) S 21634 21637 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414335068 10915721216 8476 33554432000 4194304 4196468 140723057155952 140103516120304 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21647] ppid=21634 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21647/stat : 21647 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414335071 10915721216 8476 33554432000 4194304 4196468 140723057155952 140103515068880 140104482703259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21648] ppid=21634 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21637/task/21648/stat : 21648 (java) S 21634 21637 20852 0 -1 1077944384 743 0 0 0 3 0 0 0 20 0 15 0 414335071 10915721216 8476 33554432000 4194304 4196468 140723057155952 140103514015984 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21649] ppid=21634 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21637/task/21649/stat : 21649 (java) S 21634 21637 20852 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 15 0 414335071 10915721216 8476 33554432000 4194304 4196468 140723057155952 140103512963440 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21650] ppid=21634 vsize=10659884 memory=139972271335040 CPUtime=0.05 cores=1,3,5,7
/proc/21637/task/21650/stat : 21650 (java) S 21634 21637 20852 0 -1 1077944384 681 0 0 0 5 0 0 0 20 0 15 0 414335071 10915721216 8476 33554432000 4194304 4196468 140723057155952 140103203510256 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21651] ppid=21634 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21651/stat : 21651 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414335071 10915721216 8476 33554432000 4194304 4196468 140723057155952 140103202457952 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21652] ppid=21634 vsize=10659884 memory=139972271335040 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21652/stat : 21652 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335071 10915721216 8476 33554432000 4194304 4196468 140723057155952 140103201406000 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 33904 KiB
[startup+0.310138 s]*
/proc/loadavg: 1.85 0.85 0.36 3/228 21652
/proc/meminfo: memFree=25173444/32770624 swapFree=67004752/67108860
[pid=21637] ppid=21634 vsize=10659884 memory=39208 CPUtime=0.47 cores=1,3,5,7
/proc/21637/stat : 21637 (java) S 21634 21637 20852 0 -1 1077944320 9605 0 0 0 44 3 0 0 20 0 15 0 414335065 10915721216 9802 33554432000 4194304 4196468 140723057155952 140723057138496 140104482684663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
/proc/21637/statm: 2664971 9802 3002 1 0 2627468 0
[pid=21637/tid=21639] ppid=21634 vsize=10659884 memory=139972111860591 CPUtime=0.3 cores=1,3,5,7
/proc/21637/task/21639/stat : 21639 (java) R 21634 21637 20852 0 -1 4202560 6447 0 0 0 28 2 0 0 20 0 15 0 414335066 10915721216 9802 33554432000 4194304 4196468 140723057155952 140104486917072 140104482706589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21640] ppid=21634 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21640/stat : 21640 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10915721216 9802 33554432000 4194304 4196468 140723057155952 140104452397584 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21641] ppid=21634 vsize=10659884 memory=279944383198496 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21641/stat : 21641 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10915721216 9802 33554432000 4194304 4196468 140723057155952 140104088029840 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21642] ppid=21634 vsize=10659884 memory=2110322719002148 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21642/stat : 21642 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10915721216 9802 33554432000 4194304 4196468 140723057155952 140104086976784 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21643] ppid=21634 vsize=10659884 memory=139972111870399 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21643/stat : 21643 (java) S 21634 21637 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414335066 10915721216 9802 33554432000 4194304 4196468 140723057155952 140104085924240 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21644] ppid=21634 vsize=10659884 memory=279944383231168 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21644/stat : 21644 (java) S 21634 21637 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414335068 10915721216 9802 33554432000 4194304 4196468 140723057155952 140103518227184 140104482695810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21645] ppid=21634 vsize=10659884 memory=139972111875007 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21645/stat : 21645 (java) S 21634 21637 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414335068 10915721216 9802 33554432000 4194304 4196468 140723057155952 140103517173408 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21646] ppid=21634 vsize=10659884 memory=279944223597744 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21646/stat : 21646 (java) S 21634 21637 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414335068 10915721216 9802 33554432000 4194304 4196468 140723057155952 140103516120304 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21647] ppid=21634 vsize=10659884 memory=279944223754608 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21647/stat : 21647 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414335071 10915721216 9802 33554432000 4194304 4196468 140723057155952 140103515068880 140104482703259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21648] ppid=21634 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21637/task/21648/stat : 21648 (java) S 21634 21637 20852 0 -1 1077944384 783 0 0 0 4 0 0 0 20 0 15 0 414335071 10915721216 9802 33554432000 4194304 4196468 140723057155952 140103514015984 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21649] ppid=21634 vsize=10659884 memory=139972111886543 CPUtime=0.03 cores=1,3,5,7
/proc/21637/task/21649/stat : 21649 (java) S 21634 21637 20852 0 -1 1077944384 288 0 0 0 3 0 0 0 20 0 15 0 414335071 10915721216 9802 33554432000 4194304 4196468 140723057155952 140103512963440 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21650] ppid=21634 vsize=10659884 memory=139972271335040 CPUtime=0.08 cores=1,3,5,7
/proc/21637/task/21650/stat : 21650 (java) R 21634 21637 20852 0 -1 4202560 730 0 0 0 8 0 0 0 20 0 15 0 414335071 10915721216 9802 33554432000 4194304 4196468 140723057155952 140103203510256 140104482706010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21651] ppid=21634 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21651/stat : 21651 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414335071 10915721216 9802 33554432000 4194304 4196468 140723057155952 140103202457952 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21652] ppid=21634 vsize=10659884 memory=139972271335040 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21652/stat : 21652 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335071 10915721216 9802 33554432000 4194304 4196468 140723057155952 140103201406000 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39208 KiB
[startup+0.700769 s]
/proc/loadavg: 1.85 0.85 0.36 3/228 21652
/proc/meminfo: memFree=25164528/32770624 swapFree=67004752/67108860
[pid=21637] ppid=21634 vsize=10661932 memory=62324 CPUtime=1.09 cores=1,3,5,7
/proc/21637/stat : 21637 (java) S 21634 21637 20852 0 -1 1077944320 13237 0 0 0 104 5 0 0 20 0 15 0 414335065 10917818368 15581 33554432000 4194304 4196468 140723057155952 140723057138496 140104482684663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
/proc/21637/statm: 2665483 15581 3073 1 0 2627980 0
[pid=21637/tid=21639] ppid=21634 vsize=10661932 memory=952 CPUtime=0.67 cores=1,3,5,7
/proc/21637/task/21639/stat : 21639 (java) R 21634 21637 20852 0 -1 4202560 8934 0 0 0 63 4 0 0 20 0 15 0 414335066 10917818368 15581 33554432000 4194304 4196468 140723057155952 140104486916688 140104466765150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21640] ppid=21634 vsize=10661932 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21640/stat : 21640 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10917818368 15581 33554432000 4194304 4196468 140723057155952 140104452397584 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21641] ppid=21634 vsize=10661932 memory=21732 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21641/stat : 21641 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10917818368 15581 33554432000 4194304 4196468 140723057155952 140104088029840 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21642] ppid=21634 vsize=10661932 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21642/stat : 21642 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10917818368 15581 33554432000 4194304 4196468 140723057155952 140104086976784 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21643] ppid=21634 vsize=10661932 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21643/stat : 21643 (java) S 21634 21637 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414335066 10917818368 15581 33554432000 4194304 4196468 140723057155952 140104085924240 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21644] ppid=21634 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21644/stat : 21644 (java) S 21634 21637 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414335068 10917818368 15581 33554432000 4194304 4196468 140723057155952 140103518227184 140104482695810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21645] ppid=21634 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21645/stat : 21645 (java) S 21634 21637 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414335068 10917818368 15581 33554432000 4194304 4196468 140723057155952 140103517173408 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21646] ppid=21634 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21646/stat : 21646 (java) S 21634 21637 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414335068 10917818368 15581 33554432000 4194304 4196468 140723057155952 140103516120304 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21647] ppid=21634 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21647/stat : 21647 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414335071 10917818368 15581 33554432000 4194304 4196468 140723057155952 140103515068880 140104482703259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21648] ppid=21634 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/21637/task/21648/stat : 21648 (java) S 21634 21637 20852 0 -1 1077944384 1102 0 0 0 11 0 0 0 20 0 15 0 414335071 10917818368 15581 33554432000 4194304 4196468 140723057155952 140103514015984 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21649] ppid=21634 vsize=10661932 memory=6944652177228980320 CPUtime=0.09 cores=1,3,5,7
/proc/21637/task/21649/stat : 21649 (java) S 21634 21637 20852 0 -1 1077944384 596 0 0 0 9 0 0 0 20 0 15 0 414335071 10917818368 15581 33554432000 4194304 4196468 140723057155952 140103512963440 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21650] ppid=21634 vsize=10661932 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/21637/task/21650/stat : 21650 (java) S 21634 21637 20852 0 -1 1077944384 1247 0 0 0 19 0 0 0 20 0 15 0 414335071 10917818368 15581 33554432000 4194304 4196468 140723057155952 140103203510256 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21651] ppid=21634 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21651/stat : 21651 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414335071 10917818368 15581 33554432000 4194304 4196468 140723057155952 140103202457952 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21652] ppid=21634 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21652/stat : 21652 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335071 10917818368 15581 33554432000 4194304 4196468 140723057155952 140103201406000 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62324 KiB
[startup+1.50075 s]
/proc/loadavg: 1.85 0.85 0.36 3/228 21652
/proc/meminfo: memFree=25146536/32770624 swapFree=67004752/67108860
[pid=21637] ppid=21634 vsize=10663980 memory=76376 CPUtime=1.98 cores=1,3,5,7
/proc/21637/stat : 21637 (java) S 21634 21637 20852 0 -1 1077944320 16600 0 0 0 192 6 0 0 20 0 15 0 414335065 10919915520 19094 33554432000 4194304 4196468 140723057155952 140723057138496 140104482684663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
/proc/21637/statm: 2665995 19094 3090 1 0 2628492 0
[pid=21637/tid=21639] ppid=21634 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/21637/task/21639/stat : 21639 (java) R 21634 21637 20852 0 -1 4202560 11459 0 0 0 143 5 0 0 20 0 15 0 414335066 10919915520 19094 33554432000 4194304 4196468 140723057155952 140104486910544 140104466765150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21640] ppid=21634 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21640/stat : 21640 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10919915520 19094 33554432000 4194304 4196468 140723057155952 140104452397584 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21641] ppid=21634 vsize=10663980 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21641/stat : 21641 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10919915520 19094 33554432000 4194304 4196468 140723057155952 140104088029840 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21642] ppid=21634 vsize=10663980 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21642/stat : 21642 (java) S 21634 21637 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414335066 10919915520 19094 33554432000 4194304 4196468 140723057155952 140104086976784 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21643] ppid=21634 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21643/stat : 21643 (java) S 21634 21637 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414335066 10919915520 19094 33554432000 4194304 4196468 140723057155952 140104085924240 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21644] ppid=21634 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21644/stat : 21644 (java) S 21634 21637 20852 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414335068 10919915520 19094 33554432000 4194304 4196468 140723057155952 140103518227184 140104482695810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
################
# More data... #
################
[startup+25.6008 s]
/proc/loadavg: 1.86 0.94 0.40 3/228 21654
/proc/meminfo: memFree=24859360/32770624 swapFree=67004752/67108860
[pid=21637] ppid=21634 vsize=10748324 memory=356544 CPUtime=30.93 cores=1,3,5,7
/proc/21637/stat : 21637 (java) S 21634 21637 20852 0 -1 1077944320 56479 0 0 0 3060 33 0 0 20 0 16 0 414335065 11006283776 89136 33554432000 4194304 4196468 140723057155952 140723057138496 140104482684663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
/proc/21637/statm: 2687081 89136 3380 1 0 2647217 0
[pid=21637/tid=21639] ppid=21634 vsize=10748324 memory=356420 CPUtime=1.9 cores=1,3,5,7
/proc/21637/task/21639/stat : 21639 (java) S 21634 21637 20852 0 -1 1077944384 13115 0 0 0 183 7 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104486927536 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21640] ppid=21634 vsize=10748324 memory=7518026630507423080 CPUtime=0.07 cores=1,3,5,7
/proc/21637/task/21640/stat : 21640 (java) S 21634 21637 20852 0 -1 1077944384 1605 0 0 0 4 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104452397584 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21641] ppid=21634 vsize=10748324 memory=7230638415855315543 CPUtime=0.06 cores=1,3,5,7
/proc/21637/task/21641/stat : 21641 (java) S 21634 21637 20852 0 -1 1077944384 159 0 0 0 3 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104088029840 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21642] ppid=21634 vsize=10748324 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21637/task/21642/stat : 21642 (java) S 21634 21637 20852 0 -1 1077944384 461 0 0 0 5 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104086976784 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21643] ppid=21634 vsize=10748324 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/21637/task/21643/stat : 21643 (java) S 21634 21637 20852 0 -1 1077944384 274 0 0 0 5 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104085924240 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21644] ppid=21634 vsize=10748324 memory=39608 CPUtime=0.01 cores=1,3,5,7
/proc/21637/task/21644/stat : 21644 (java) S 21634 21637 20852 0 -1 1077944384 1252 0 0 0 1 0 0 0 20 0 16 0 414335068 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103518227184 140104482695810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21645] ppid=21634 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21645/stat : 21645 (java) S 21634 21637 20852 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414335068 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103517173472 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21646] ppid=21634 vsize=10748324 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21646/stat : 21646 (java) S 21634 21637 20852 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414335068 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103516120320 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21647] ppid=21634 vsize=10748324 memory=1276 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21647/stat : 21647 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103515068880 140104482703259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21648] ppid=21634 vsize=10748324 memory=1060 CPUtime=2.11 cores=1,3,5,7
/proc/21637/task/21648/stat : 21648 (java) S 21634 21637 20852 0 -1 1077944384 7616 0 0 0 210 1 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103514015984 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21649] ppid=21634 vsize=10748324 memory=752 CPUtime=2.03 cores=1,3,5,7
/proc/21637/task/21649/stat : 21649 (java) S 21634 21637 20852 0 -1 1077944384 9091 0 0 0 201 2 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103512963440 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21650] ppid=21634 vsize=10748324 memory=6791534058613427641 CPUtime=0.93 cores=1,3,5,7
/proc/21637/task/21650/stat : 21650 (java) S 21634 21637 20852 0 -1 1077944384 10014 0 0 0 91 2 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103203510256 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21651] ppid=21634 vsize=10748324 memory=8 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21651/stat : 21651 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103202457952 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21652] ppid=21634 vsize=10748324 memory=8 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21652/stat : 21652 (java) S 21634 21637 20852 0 -1 1077944384 564 0 0 0 0 0 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103201406000 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21653] ppid=21634 vsize=10748324 memory=1 CPUtime=23.56 cores=1,3,5,7
/proc/21637/task/21653/stat : 21653 (java) R 21634 21637 20852 0 -1 4202560 10899 0 0 0 2351 5 0 0 20 0 16 0 414335257 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103184741728 140104128275596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
Current children cumulated CPU time: 30.93 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 356544 KiB
[startup+26.4007 s]
/proc/loadavg: 1.86 0.94 0.40 3/228 21654
/proc/meminfo: memFree=24859360/32770624 swapFree=67004752/67108860
[pid=21637] ppid=21634 vsize=10748324 memory=356544 CPUtime=31.73 cores=1,3,5,7
/proc/21637/stat : 21637 (java) S 21634 21637 20852 0 -1 1077944320 56486 0 0 0 3140 33 0 0 20 0 16 0 414335065 11006283776 89136 33554432000 4194304 4196468 140723057155952 140723057138496 140104482684663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
/proc/21637/statm: 2687081 89136 3380 1 0 2647217 0
[pid=21637/tid=21639] ppid=21634 vsize=10748324 memory=0 CPUtime=1.9 cores=1,3,5,7
/proc/21637/task/21639/stat : 21639 (java) S 21634 21637 20852 0 -1 1077944384 13115 0 0 0 183 7 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104486927536 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21640] ppid=21634 vsize=10748324 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21637/task/21640/stat : 21640 (java) S 21634 21637 20852 0 -1 1077944384 1605 0 0 0 4 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104452397584 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21641] ppid=21634 vsize=10748324 memory=211 CPUtime=0.06 cores=1,3,5,7
/proc/21637/task/21641/stat : 21641 (java) S 21634 21637 20852 0 -1 1077944384 159 0 0 0 3 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104088029840 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21642] ppid=21634 vsize=10748324 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/21637/task/21642/stat : 21642 (java) S 21634 21637 20852 0 -1 1077944384 461 0 0 0 5 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104086976784 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21643] ppid=21634 vsize=10748324 memory=9584 CPUtime=0.08 cores=1,3,5,7
/proc/21637/task/21643/stat : 21643 (java) S 21634 21637 20852 0 -1 1077944384 274 0 0 0 5 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104085924240 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21644] ppid=21634 vsize=10748324 memory=4140 CPUtime=0.01 cores=1,3,5,7
/proc/21637/task/21644/stat : 21644 (java) S 21634 21637 20852 0 -1 1077944384 1252 0 0 0 1 0 0 0 20 0 16 0 414335068 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103518227184 140104482695810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21645] ppid=21634 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21645/stat : 21645 (java) S 21634 21637 20852 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414335068 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103517173472 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21646] ppid=21634 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21646/stat : 21646 (java) S 21634 21637 20852 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414335068 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103516120320 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21647] ppid=21634 vsize=10748324 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21647/stat : 21647 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103515068880 140104482703259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21648] ppid=21634 vsize=10748324 memory=5960 CPUtime=2.11 cores=1,3,5,7
/proc/21637/task/21648/stat : 21648 (java) S 21634 21637 20852 0 -1 1077944384 7616 0 0 0 210 1 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103514015984 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21649] ppid=21634 vsize=10748324 memory=0 CPUtime=2.03 cores=1,3,5,7
/proc/21637/task/21649/stat : 21649 (java) S 21634 21637 20852 0 -1 1077944384 9091 0 0 0 201 2 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103512963440 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21650] ppid=21634 vsize=10748324 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/21637/task/21650/stat : 21650 (java) S 21634 21637 20852 0 -1 1077944384 10014 0 0 0 91 2 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103203510256 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21651] ppid=21634 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21651/stat : 21651 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103202457952 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21652] ppid=21634 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21652/stat : 21652 (java) S 21634 21637 20852 0 -1 1077944384 564 0 0 0 0 0 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103201406000 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21653] ppid=21634 vsize=10748324 memory=0 CPUtime=24.36 cores=1,3,5,7
/proc/21637/task/21653/stat : 21653 (java) R 21634 21637 20852 0 -1 4202560 10906 0 0 0 2431 5 0 0 20 0 16 0 414335257 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103184741728 140104127596629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
Current children cumulated CPU time: 31.73 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 356544 KiB
[startup+26.6006 s]
/proc/loadavg: 1.86 0.94 0.40 3/228 21654
/proc/meminfo: memFree=24859360/32770624 swapFree=67004752/67108860
[pid=21637] ppid=21634 vsize=10748324 memory=356544 CPUtime=31.93 cores=1,3,5,7
/proc/21637/stat : 21637 (java) S 21634 21637 20852 0 -1 1077944320 56486 0 0 0 3160 33 0 0 20 0 16 0 414335065 11006283776 89136 33554432000 4194304 4196468 140723057155952 140723057138496 140104482684663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
/proc/21637/statm: 2687081 89136 3380 1 0 2647217 0
[pid=21637/tid=21639] ppid=21634 vsize=10748324 memory=2276 CPUtime=1.9 cores=1,3,5,7
/proc/21637/task/21639/stat : 21639 (java) S 21634 21637 20852 0 -1 1077944384 13115 0 0 0 183 7 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104486927536 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21640] ppid=21634 vsize=10748324 memory=3804 CPUtime=0.07 cores=1,3,5,7
/proc/21637/task/21640/stat : 21640 (java) S 21634 21637 20852 0 -1 1077944384 1605 0 0 0 4 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104452397584 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21641] ppid=21634 vsize=10748324 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/21637/task/21641/stat : 21641 (java) S 21634 21637 20852 0 -1 1077944384 159 0 0 0 3 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104088029840 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21642] ppid=21634 vsize=10748324 memory=7957689449132282197 CPUtime=0.08 cores=1,3,5,7
/proc/21637/task/21642/stat : 21642 (java) S 21634 21637 20852 0 -1 1077944384 461 0 0 0 5 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104086976784 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21643] ppid=21634 vsize=10748324 memory=7228951855264190831 CPUtime=0.08 cores=1,3,5,7
/proc/21637/task/21643/stat : 21643 (java) S 21634 21637 20852 0 -1 1077944384 274 0 0 0 5 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104085924240 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21644] ppid=21634 vsize=10748324 memory=7811591828302485349 CPUtime=0.01 cores=1,3,5,7
/proc/21637/task/21644/stat : 21644 (java) S 21634 21637 20852 0 -1 1077944384 1252 0 0 0 1 0 0 0 20 0 16 0 414335068 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103518227184 140104482695810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21645] ppid=21634 vsize=10748324 memory=7518026621751088993 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21645/stat : 21645 (java) S 21634 21637 20852 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414335068 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103517173472 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21646] ppid=21634 vsize=10748324 memory=269768 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21646/stat : 21646 (java) S 21634 21637 20852 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414335068 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103516120320 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21647] ppid=21634 vsize=10748324 memory=269768 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21647/stat : 21647 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103515068880 140104482703259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21648] ppid=21634 vsize=10748324 memory=286564 CPUtime=2.11 cores=1,3,5,7
/proc/21637/task/21648/stat : 21648 (java) S 21634 21637 20852 0 -1 1077944384 7616 0 0 0 210 1 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103514015984 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21649] ppid=21634 vsize=10748324 memory=269604 CPUtime=2.03 cores=1,3,5,7
/proc/21637/task/21649/stat : 21649 (java) S 21634 21637 20852 0 -1 1077944384 9091 0 0 0 201 2 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103512963440 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21650] ppid=21634 vsize=10748324 memory=6 CPUtime=0.93 cores=1,3,5,7
/proc/21637/task/21650/stat : 21650 (java) S 21634 21637 20852 0 -1 1077944384 10014 0 0 0 91 2 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103203510256 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21651] ppid=21634 vsize=10748324 memory=8 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21651/stat : 21651 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103202457952 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21652] ppid=21634 vsize=10748324 memory=8 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21652/stat : 21652 (java) S 21634 21637 20852 0 -1 1077944384 564 0 0 0 0 0 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103201406000 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21653] ppid=21634 vsize=10748324 memory=1 CPUtime=24.56 cores=1,3,5,7
/proc/21637/task/21653/stat : 21653 (java) R 21634 21637 20852 0 -1 4202560 10906 0 0 0 2451 5 0 0 20 0 16 0 414335257 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103184741728 140104127971250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
Current children cumulated CPU time: 31.93 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 356544 KiB
[startup+26.7007 s]
/proc/loadavg: 1.86 0.94 0.40 3/228 21654
/proc/meminfo: memFree=24859360/32770624 swapFree=67004752/67108860
[pid=21637] ppid=21634 vsize=10748324 memory=356544 CPUtime=32.05 cores=1,3,5,7
/proc/21637/stat : 21637 (java) S 21634 21637 20852 0 -1 1077944320 56757 0 0 0 3172 33 0 0 20 0 16 0 414335065 11006283776 89136 33554432000 4194304 4196468 140723057155952 140723057138496 140104482684663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
/proc/21637/statm: 2687081 89136 3380 1 0 2647217 0
[pid=21637/tid=21639] ppid=21634 vsize=10748324 memory=356544 CPUtime=1.9 cores=1,3,5,7
/proc/21637/task/21639/stat : 21639 (java) S 21634 21637 20852 0 -1 1077944384 13115 0 0 0 183 7 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104486927536 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21640] ppid=21634 vsize=10748324 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21637/task/21640/stat : 21640 (java) S 21634 21637 20852 0 -1 1077944384 1605 0 0 0 4 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104452397584 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21641] ppid=21634 vsize=10748324 memory=356420 CPUtime=0.06 cores=1,3,5,7
/proc/21637/task/21641/stat : 21641 (java) S 21634 21637 20852 0 -1 1077944384 159 0 0 0 3 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104088029840 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21642] ppid=21634 vsize=10748324 memory=356432 CPUtime=0.08 cores=1,3,5,7
/proc/21637/task/21642/stat : 21642 (java) S 21634 21637 20852 0 -1 1077944384 461 0 0 0 5 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104086976784 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21643] ppid=21634 vsize=10748324 memory=39608 CPUtime=0.08 cores=1,3,5,7
/proc/21637/task/21643/stat : 21643 (java) S 21634 21637 20852 0 -1 1077944384 274 0 0 0 5 3 0 0 20 0 16 0 414335066 11006283776 89136 33554432000 4194304 4196468 140723057155952 140104085924240 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21644] ppid=21634 vsize=10748324 memory=56 CPUtime=0.01 cores=1,3,5,7
/proc/21637/task/21644/stat : 21644 (java) S 21634 21637 20852 0 -1 1077944384 1252 0 0 0 1 0 0 0 20 0 16 0 414335068 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103518227184 140104482695810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21645] ppid=21634 vsize=10748324 memory=7595432270577558632 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21645/stat : 21645 (java) S 21634 21637 20852 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414335068 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103517173472 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21646] ppid=21634 vsize=10748324 memory=203 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21646/stat : 21646 (java) S 21634 21637 20852 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414335068 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103516120320 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21647] ppid=21634 vsize=10748324 memory=93 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21647/stat : 21647 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103515068880 140104482703259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21648] ppid=21634 vsize=10748324 memory=356432 CPUtime=2.12 cores=1,3,5,7
/proc/21637/task/21648/stat : 21648 (java) R 21634 21637 20852 0 -1 4202560 7625 0 0 0 211 1 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103514015984 140104464206103 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21649] ppid=21634 vsize=10748324 memory=14008 CPUtime=2.04 cores=1,3,5,7
/proc/21637/task/21649/stat : 21649 (java) S 21634 21637 20852 0 -1 1077944384 9321 0 0 0 202 2 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103512963440 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21650] ppid=21634 vsize=10748324 memory=21732 CPUtime=0.93 cores=1,3,5,7
/proc/21637/task/21650/stat : 21650 (java) S 21634 21637 20852 0 -1 1077944384 10017 0 0 0 91 2 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103203510256 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21651] ppid=21634 vsize=10748324 memory=356544 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21651/stat : 21651 (java) S 21634 21637 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103202457952 140104482694869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21652] ppid=21634 vsize=10748324 memory=7741213210265015145 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21652/stat : 21652 (java) S 21634 21637 20852 0 -1 1077944384 564 0 0 0 0 0 0 0 20 0 16 0 414335071 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103201406000 140104482695810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
[pid=21637/tid=21653] ppid=21634 vsize=10748324 memory=7090451838574552915 CPUtime=24.66 cores=1,3,5,7
/proc/21637/task/21653/stat : 21653 (java) R 21634 21637 20852 0 -1 4202560 10935 0 0 0 2461 5 0 0 20 0 16 0 414335257 11006283776 89136 33554432000 4194304 4196468 140723057155952 140103184741728 140104118634184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140723057157131 140723057157234 140723057157234 140723057160143 0
Current children cumulated CPU time: 32.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 356544 KiB
Child status: 0
Real time (s): 26.7347
CPU time (s): 32.1113
CPU user time (s): 31.7722
CPU system time (s): 0.339058
CPU usage (%): 120.111
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 356544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.7722
system time used= 0.339058
maximum resident set size= 356616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3867
involuntary context switches= 65
# summary of solver processes directly reported to runsolver:
# pid: 21637
# total CPU time (s): 32.1113
# total CPU user time (s): 31.7722
# total CPU system time (s): 0.339058
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.202561 second user time and 0.29928 second system time
The end