2.42/1.90
2.42/1.90 AbsCon 2
2.65/1.91
3.64/2.22 Instance
3.64/2.22 name=instance-4391275-1568389328, framework=COP, bounds=-infty..+infty
3.64/2.22
3.64/2.22 Loading variables...
3.99/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e727ec
4.33/2.43 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@379f08bb
4.33/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cdc3778
4.33/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48bd77f7
4.33/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b64af7
4.33/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@490f993
4.33/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd95565
4.33/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601b1651
4.33/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31fe784b
4.33/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bd742f7
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a5d879c
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370f8616
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2354f15e
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b006008
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@740facf8
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f391c40
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3b2e90
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24ccd1f3
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@254cb633
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b81410
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f1061e9
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d8982c
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b4c3c9e
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b95fd3e
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec2ded9
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5848c68e
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1145d630
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@768f1242
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f855a8b
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47566e19
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259c12dd
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33aae8bf
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7485bb44
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f5b393
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e3046f3
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@150da1ff
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a35ecb6
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4167c2bf
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3321418a
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1915b1dc
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@646ccd8f
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7156829f
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6963abfa
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239756f4
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34409259
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489aa44e
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e98dfdd
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29976242
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ddffc7d
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b1c9771
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7132f330
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c980011
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f158ab7
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45379ad9
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d892cdf
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ec0ebc
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@199d6f98
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25ad6cb0
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@785ec7f9
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8a8364
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@420ad8f8
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3db5d84f
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489437bd
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fa94550
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d97fd9
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206b92c5
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e0afa56
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@792ae608
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd20f9d
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d1bacdf
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ad7eb1
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c47762
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5278e348
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7be34105
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4525ecdc
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db93c0f
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36ba4f88
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36a6b14
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c1ac93
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4d3e86
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9605fe
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a32c0c9
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5805295e
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532114b8
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5fe0b3
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55237052
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50f1e877
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71026eee
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b846865
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6d81cb
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f95f2db
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36390e4f
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29c32b6
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@342f7c4b
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d38544f
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a7935c9
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@df3e15a
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55172f95
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57b1e34d
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b01d41
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d11225b
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec873fe
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f69e1da
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c334d
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f66f530
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741dbf8b
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e181f41
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25690e3c
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505f584b
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9f1c8df
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@701036cb
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32757349
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24649650
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275d1677
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68d51255
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47119e85
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@719b51ff
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f156c1
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b578e85
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72264a30
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24c512a4
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524acd57
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1377f65
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c00bde5
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13aa49de
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35f95d6a
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bf19450
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b28003
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aed9583
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@de26d0a
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@180478ef
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44334469
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cc2e241
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@378ebdb6
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a2374f7
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64c9444a
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@264409b7
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f7f2df4
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1467df91
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15180c38
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ebe39b3
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cf20418
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6845ecc8
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@586f254d
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@219dcd0c
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d8de6f4
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e97d190
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f9e3092
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72dd9b5b
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5748810e
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dfdfa4e
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@665a08a0
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@327492fe
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c53737e
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63bfa4e9
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ddf8f01
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2769a085
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3e2928
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@570c8d45
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@785a439
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c238d5
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392bcd48
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@249da21b
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@781eb88c
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763c49d
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56eddffb
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@383236e8
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d99a8fa
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67510d15
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f096b94
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4139f31b
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@746927ec
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f2fc1cd
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@673414ab
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1519c14e
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70c07365
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2562cd09
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@549d20a5
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aa27942
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@791fa21d
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65c7214
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17a9ccc9
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@469f1736
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18f37ab5
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35228ee6
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4445d4
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a171e0
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d68700
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@efbc2bc
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a89e5c
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d1f771
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9a203d
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad592c5
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a1d30c
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d55db3
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a572c0c
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33439080
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60261535
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a69cca
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40eb087d
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d7966a2
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40bebd4
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1416df92
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee4b4bc
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395d843d
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d92f86
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75431a31
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e449082
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13526137
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d034ece
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2892f72e
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5017bb91
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c2f6cac
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39e0982c
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b89d14
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79d504f2
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64941b50
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f59b579
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6358eeb0
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29eca43c
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7de807
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d2800f8
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@234edfd9
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63c5fc40
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78aefed9
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628103b7
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a8fe1a1
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8852089
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8443ad
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67734b9e
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@394967ad
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f466c54
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cd19cd7
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55a9b53e
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@147d8cde
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fa3b00d
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7797651c
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d998fb0
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e2bcd12
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23968ea9
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76e61965
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38b213b7
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@307d9720
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bbfc77
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18da398c
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c47703d
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@121818d1
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43fc6f46
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70b535ff
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d783616
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d140ddf
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b01d973
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c18870f
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@261db1f
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63af8c5b
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aa74078
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@543544e2
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74872e72
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f5d792f
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ecb095c
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28f8602
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b472cf
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151b2f82
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6827cd96
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fb66042
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18bd4f48
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e964762
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31cd6d37
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bbca450
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75400ba
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34c050aa
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d45bff1
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2607bc94
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@355389a5
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b1b605
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7db4abab
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216e5314
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35e15402
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d052c67
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ddbb8e6
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2674f13e
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698d5759
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e6948e5
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3adb7bb0
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cff38a1
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a928cdc
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cd2a915
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@629aff7c
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f15ea8a
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57c2154
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303441be
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@263590c2
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3982a642
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a1fb010
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4912175
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4731c7b9
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b7ee74c
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@792de834
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c16743e
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d9f4fa6
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1733e461
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501627c0
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e151a20
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b2b035
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae7bbc3
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738c2d41
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b329f6
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a33d4b7
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29e9e283
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d1a8141
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@146dc501
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27039ab4
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19efe138
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c9383e5
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a8f31f4
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ef5e57b
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e512993
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fc8e7a0
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309259ff
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e87660c
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c3936c5
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c10b7aa
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61ae9eeb
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61adde21
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@200cd316
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b094ec7
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a78f987
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@595b39d2
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8efa155
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9850e95
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fd59b94
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66838028
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1439815d
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3734a3ad
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ea2a6
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d944670
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ff1be38
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@723bcc8a
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5efa8abb
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fe007f
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2373a2de
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118411f8
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@344281a8
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e887f89
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59024474
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e019049
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62b8d656
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d83200
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48aada81
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7098e257
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@276c29a4
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5072eeac
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b52e5cd
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1251409d
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d818a09
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e1ece60
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@755e859d
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb018b
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63e01669
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@166731bb
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f10c352
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af2e8aa
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a4c8db
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee936c4
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d615ba8
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@300d3671
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a4415b
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75507c7e
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f6ba55f
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4737a6
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ddb280b
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3246c743
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a02742
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@405df4bf
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bce18b9
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a2f5e9c
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e51648e
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed6ff17
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23355365
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48f2af80
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eeec180
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c90a1de
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bafcdb0
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f308c15
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68a91a6
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61200c34
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48329577
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3852ba08
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d23c46
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21a1664d
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502cf9ef
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e73ec
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61fbdf4d
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76282c7
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1367262b
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42a7dba6
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@848d97e
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a0fa6a
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e77426e
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@266a480c
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f64707
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2941a63c
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fc4859b
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b52b235
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1125cb4
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4af84b1
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42ae67a1
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42a0ca7d
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71fcac4a
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6dfd80
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b4f335c
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41513c5f
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6261bba
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f6c8ea7
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1571b662
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@682fe2c
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59300f53
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47494fa5
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cbfd434
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ae0d3f0
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8f22ee
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6880be
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b780838
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@efd2f00
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c791795
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a22b1da
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4684293e
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a86505
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b655819
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a913b89
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6711d0
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54eeba9e
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74da100e
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26669010
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@607fb9c5
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a9f1654
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fa3b4fa
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a5a6d0e
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65a96d3
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18cc904a
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79ab82ac
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@909a0f6
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c2f2c41
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44746286
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7b1a21
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f522fa3
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3979b00a
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67febe1d
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4902ec3d
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb8bfcb
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63db0e9d
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13981918
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2694e996
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79179022
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60cc43fb
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fe4a123
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@629feb5e
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4ec667
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b4ba36
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772690d
4.99/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ca9fb3b
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@312290cc
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@184b1934
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7d15d8
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7404d6a8
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bd37e1e
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a2841fd
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f35127a
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@647c04ad
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39410f64
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d441392
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1726d12
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c65ab48
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59d16d1
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27629eb
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@570313ed
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60acc7e7
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a21911
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@595ebaa0
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@99694e0
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2491514a
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b11d11e
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ea3b132
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567a3026
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50bbb396
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c51b8f
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b3c283d
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5e4085
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@477ab218
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44acba81
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@635e3f28
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13a7eb85
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@453bcfa8
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a6ec198
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f20734
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374bd22
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7698f21c
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@594a66b9
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34fe0e0b
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b41e7f4
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3254a6c3
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@164c5727
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a01fac
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11907d3c
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@282c8961
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50626499
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d4c58ab
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@508d397f
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@435375ba
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f78f01c
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643403b8
4.99/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2125a793
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b0dc4f2
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24fbf005
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f611393
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2accbb4c
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74c2c3ba
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a73836a
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1eaccf
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6f0b59
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@538748a0
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@308ed0d2
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f3ab82
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36f2b89e
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@354a150
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@371aa740
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c2c16e3
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45328a7
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@611f3209
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@177297f3
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47775fb5
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206b4cd
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c25a92
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50efe0ea
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16ec6d5c
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af069d9
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232b52ed
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@360ecd2f
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1875ee
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7acaf8af
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fce5264
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51393c34
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3453b8b2
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d4d6bd5
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5100a685
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b6a5711
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f0d2dc5
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579d1226
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b7ee24
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479dbe57
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a93a945
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c0e3af6
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d549d05
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccca6b7
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dbbe53
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660a73af
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1783240d
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9bf4be2
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c6cf65
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@141c8db8
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7511654a
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b56382d
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6abbc9f3
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134f97dc
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@453ba576
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c05701
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30ed1d6b
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb34084
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e0b382
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2953cda9
4.99/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3953467
4.99/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@433a738
4.99/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2415f13c
4.99/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e8ceb73
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1506c921
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173a65f2
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206de17c
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c41e148
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9ef6d8
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@602c5783
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645e094b
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40865329
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c41240b
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287b31e8
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e6de5c2
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24e1e1cc
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31c0d146
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce18408
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28660b08
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201f5994
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a7a7610
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12dd7acb
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39983d3e
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a99291c
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a3dd206
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72bb3e67
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4702b276
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3414e6a6
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@abf5f05
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b81716e
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@754fa61a
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ea532d
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3812a299
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58d23195
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68eeb148
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4924a0d2
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f5b98c5
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4883332a
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19a4bae5
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c500f5
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1738a84f
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d674a52
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4b1b57
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@810143e
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7755a0
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f86b9fb
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a05289
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5252c019
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bbe95c7
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8e2b355
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b0a4e58
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d76f29f
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fa4aa84
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@692d0553
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4af72e
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32285da3
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b3ea866
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ee88725
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3db6f373
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6186eaec
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1018353e
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ed7aaa
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11505673
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d1774b3
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fc2ff7e
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7549d979
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@677a9ff6
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b29bb
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@327799a5
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@451a5231
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43fd9068
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d5a6895
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d5a3e9
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26591579
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a3a729
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc17aa1
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d88a9c
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c74e3bf
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb1221d
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4253c5f9
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a7e5416
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628859a5
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2699ff35
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79d79f0f
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10911d1a
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1902b158
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39695da8
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a0bc45a
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f78ae7c
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b873ca
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b813367
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@464bccd3
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36c28026
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6952a06b
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6774f9
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48dc5a9f
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61d13b40
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70153ee6
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3395e8e5
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c032432
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d491184
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bc614b2
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17141735
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed03deb
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c957291
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fda1c4
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67af51fc
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5af9f5d1
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ad4eaaa
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5471ecd3
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256014f7
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21322bfc
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d426875
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15517e28
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23575df2
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e438e13
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eaca830
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e8cde1
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4655ea1f
4.99/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2df109d8
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@409f6c0a
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@781c51f4
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e8309b
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7693f5e
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ae3ffc5
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b36d134
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fb73f82
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b2f34a9
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@783e1ba0
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13236e84
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef8b702
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bd225f8
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cfd7e25
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccf7015
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38fae8d2
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a4939b1
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77939db8
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346bd8ac
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4574e288
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f562b32
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d30e5e9
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771bb076
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3234c40
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40bc2e74
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a5b44d
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6900812e
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a7779a
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63dd29ce
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77a253eb
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d445ec5
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3347256e
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@777968dc
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e46084
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22f5981e
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b88d04
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38be5b9d
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4db40459
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19060a57
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fc0ee81
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233e9bf9
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e42701
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5262ea15
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@181b531a
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a5fd35e
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ef34
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ecc4d3f
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3401a328
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f02a0ea
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a313723
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1efbca7e
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28c16544
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7da7b716
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6321ea90
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e2d893
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c6719
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@397ceaf9
4.99/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d53cb5c
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57b03fd7
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e10570
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74252308
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@266f42a1
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@360fde63
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e148d4e
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b31449
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c1d9d59
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65bcc042
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bedd517
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@604a68bd
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d2b7461
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5569c7e0
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6166c76c
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3692c637
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ca1305
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5054941e
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50f85ad0
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6edf110c
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@324886c9
4.99/2.66 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42a11826
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3768e40a
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2851ec6d
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1babcdde
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bb9e23
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34baa72e
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e36f923
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc28d43
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d225b98
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e893f17
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47b4714a
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ee585d0
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae0ac64
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a0b92d1
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ec00877
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@420b2bdd
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1da6720f
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@277d2cc3
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@401a04ef
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f370319
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ce03af
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2762bd8d
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5de976fc
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d176ec7
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f2acca
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70fb4d08
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20964a3a
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f347c52
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@117ff62b
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7755096f
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fd6cd1b
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127ff454
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f17df46
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb79263
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fea9012
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d209f
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270b3bbd
4.99/2.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dd48e38
5.34/2.79
5.34/2.79
5.34/2.79 Domains
5.34/2.79 nTypes=11, nValues=804540, sizes=[2#795,22#795,41#795,43#795...137#795,155#795,178#795,212#795]
5.34/2.79 Variables
5.34/2.79 count=8745, degrees=[3#815,4#7930]
5.34/2.79 Objectives
5.34/2.79 way=min, type=SumSimpleLE
5.34/2.79 Constraints
5.34/2.79 count=1601, nSpecific=1601, arities=[11#795,20#794,795#12]
5.34/2.79 distribution=[LexicographicLe#794,OrderedGE#1,SumSimpleEQ#10,SumSimpleLE#1,SumWeightedLE#795]
5.34/2.79 wck=0.926, cpu=2.73, mem=41M49
5.68/2.82 Solver SolverBacktrack being built...
5.68/2.82
5.92/2.90
5.92/2.90 Solver
5.92/2.90 guaranteedGAC=false
5.92/2.90 wck=1.038, cpu=2.841, mem=129M341
6.52/3.27
6.52/3.27 Preprocessing
6.52/3.27 filters=866, nACremovedValues=781485, nTotalRemovedValues=781485, inconcistency=false
6.52/3.27 wck=0.364, cpu=3.21, mem=131M930
6.52/3.27
7.90/3.84 num=0, depth=0..783, filters=7264, wck=0.936, mem=131M930
7.90/3.84 decisions=795, wrong=10, backtracks=0, failedAssignments=10, nogoods=9
7.90/3.84
8.15/3.99 num=1, depth=0..33, filters=15389, wck=1.079, mem=131M930
8.15/3.99 decisions=840, wrong=21, backtracks=0, failedAssignments=21, nogoods=19
8.15/3.99
8.40/4.12 num=2, depth=0..34, filters=24003, wck=1.215, mem=131M930
8.40/4.12 decisions=887, wrong=33, backtracks=0, failedAssignments=33, nogoods=30
8.40/4.12
8.51/4.26 num=3, depth=0..27, filters=32997, wck=1.353, mem=131M930
8.51/4.26 decisions=928, wrong=46, backtracks=0, failedAssignments=46, nogoods=42
8.51/4.26
8.72/4.42 num=4, depth=0..660, filters=38467, wck=1.512, mem=131M930
8.72/4.42 decisions=1607, wrong=60, backtracks=0, failedAssignments=60, nogoods=55
8.72/4.42
8.92/4.61 num=5, depth=651..666, filters=46317, wck=1.708, mem=131M930
8.92/4.61 decisions=2290, wrong=76, backtracks=0, failedAssignments=76, nogoods=71
8.92/4.61
9.29/4.95 num=6, depth=7..26, filters=56394, wck=2.044, mem=131M930
9.29/4.95 decisions=2371, wrong=113, backtracks=20, failedAssignments=93, nogoods=72
9.29/4.95
9.40/5.07 num=7, depth=16..38, filters=62869, wck=2.166, mem=131M930
9.40/5.07 decisions=2446, wrong=136, backtracks=33, failedAssignments=112, nogoods=79
9.40/5.07
9.70/5.31 num=8, depth=7..35, filters=71753, wck=2.407, mem=131M930
9.70/5.31 decisions=2543, wrong=180, backtracks=62, failedAssignments=133, nogoods=82
9.70/5.31
9.81/5.42 num=9, depth=8..47, filters=76024, wck=2.519, mem=131M930
9.81/5.42 decisions=2614, wrong=203, backtracks=62, failedAssignments=156, nogoods=105
9.81/5.42
10.13/5.72 num=10, depth=0..36, filters=86469, wck=2.812, mem=131M930
10.13/5.72 decisions=2713, wrong=241, backtracks=79, failedAssignments=181, nogoods=118
10.13/5.72
10.23/5.82 num=11, depth=0..49, filters=90443, wck=2.915, mem=131M930
10.23/5.82 decisions=2791, wrong=269, backtracks=79, failedAssignments=209, nogoods=145
10.23/5.82
10.33/5.90 num=12, depth=0..40, filters=94460, wck=2.996, mem=131M930
10.33/5.90 decisions=2884, wrong=305, backtracks=104, failedAssignments=240, nogoods=155
10.33/5.90
10.44/6.08 num=13, depth=0..30, filters=104008, wck=3.179, mem=131M930
10.44/6.08 decisions=3049, wrong=378, backtracks=159, failedAssignments=274, nogoods=158
10.44/6.08
10.64/6.21 num=14, depth=0..43, filters=111171, wck=3.304, mem=131M930
10.64/6.21 decisions=3177, wrong=430, backtracks=190, failedAssignments=311, nogoods=172
10.64/6.21
10.84/6.48 num=15, depth=0..31, filters=128807, wck=3.577, mem=131M930
10.84/6.48 decisions=3389, wrong=525, backtracks=260, failedAssignments=352, nogoods=180
10.84/6.48
11.15/6.74 num=16, depth=0..24, filters=142307, wck=3.83, mem=131M930
11.15/6.74 decisions=3578, wrong=615, backtracks=329, failedAssignments=397, nogoods=182
11.15/6.74
11.35/6.91 num=17, depth=0..81, filters=152569, wck=4.004, mem=131M930
11.35/6.91 decisions=3799, wrong=697, backtracks=370, failedAssignments=447, nogoods=206
11.35/6.91
11.46/7.01 num=18, depth=10..69, filters=159769, wck=4.107, mem=131M930
11.46/7.01 decisions=4000, wrong=782, backtracks=413, failedAssignments=502, nogoods=229
11.46/7.01
11.70/7.20 num=19, depth=5..45, filters=171399, wck=4.291, mem=131M930
11.70/7.20 decisions=4284, wrong=917, backtracks=510, failedAssignments=563, nogoods=234
11.70/7.20
11.82/7.37 num=20, depth=3..55, filters=182480, wck=4.467, mem=131M930
11.82/7.37 decisions=4580, wrong=1052, backtracks=604, failedAssignments=630, nogoods=242
11.82/7.37
12.03/7.59 num=21, depth=3..36, filters=195472, wck=4.679, mem=131M930
12.03/7.59 decisions=4899, wrong=1206, backtracks=715, failedAssignments=704, nogoods=247
12.03/7.59
12.23/7.76 num=22, depth=6..71, filters=206701, wck=4.854, mem=131M930
12.23/7.76 decisions=5231, wrong=1349, backtracks=810, failedAssignments=785, nogoods=259
12.23/7.76
12.45/7.96 num=23, depth=6..38, filters=219202, wck=5.058, mem=131M930
12.45/7.96 decisions=5592, wrong=1517, backtracks=931, failedAssignments=874, nogoods=265
12.45/7.96
12.75/8.20 num=24, depth=0..43, filters=233721, wck=5.297, mem=131M930
12.75/8.20 decisions=6014, wrong=1719, backtracks=1068, failedAssignments=972, nogoods=271
12.75/8.20
12.86/8.40 num=25, depth=4..128, filters=243593, wck=5.49, mem=131M930
12.86/8.40 decisions=6483, wrong=1907, backtracks=1176, failedAssignments=1080, nogoods=299
12.86/8.40
13.27/8.69 o 783
13.41/8.71 num=26, depth=4..8744, filters=250023, ccks=1601, wck=5.8, mem=137M109
13.41/8.71 decisions=6868, wrong=2051, backtracks=1255, failedAssignments=1198, nogoods=336, foundSolutions=1, bestBound=783
13.41/8.71
14.04/9.25 o 782
14.04/9.26 num=27, depth=4..8744, filters=256843, ccks=3202, wck=6.356, mem=139M698
14.04/9.26 decisions=7192, wrong=2148, backtracks=1309, failedAssignments=1261, nogoods=358, foundSolutions=2, bestBound=782
14.04/9.26
14.39/9.59 num=28, depth=4..112, filters=260103, ccks=3202, wck=6.681, mem=139M698
14.39/9.59 decisions=7317, wrong=2159, backtracks=1309, failedAssignments=1272, nogoods=369, foundSolutions=2, bestBound=782
14.39/9.59
14.49/9.65 num=29, depth=4..98, filters=263195, ccks=3202, wck=6.748, mem=139M698
14.49/9.65 decisions=7428, wrong=2170, backtracks=1309, failedAssignments=1283, nogoods=380, foundSolutions=2, bestBound=782
14.49/9.65
14.59/9.73 num=30, depth=4..136, filters=266841, ccks=3202, wck=6.823, mem=139M698
14.59/9.73 decisions=7581, wrong=2184, backtracks=1311, failedAssignments=1295, nogoods=391, foundSolutions=2, bestBound=782
14.59/9.73
14.69/9.81 num=31, depth=4..127, filters=270752, ccks=3202, wck=6.905, mem=139M698
14.69/9.81 decisions=7726, wrong=2197, backtracks=1311, failedAssignments=1308, nogoods=404, foundSolutions=2, bestBound=782
14.69/9.81
14.69/9.89 num=32, depth=4..122, filters=274777, ccks=3202, wck=6.989, mem=139M698
14.69/9.89 decisions=7873, wrong=2213, backtracks=1319, failedAssignments=1322, nogoods=411, foundSolutions=2, bestBound=782
14.69/9.89
14.79/9.98 num=33, depth=4..120, filters=278758, ccks=3202, wck=7.071, mem=139M698
14.79/9.98 decisions=8016, wrong=2231, backtracks=1329, failedAssignments=1338, nogoods=418, foundSolutions=2, bestBound=782
14.79/9.98
14.90/10.06 num=34, depth=4..112, filters=282622, ccks=3202, wck=7.15, mem=139M698
14.90/10.06 decisions=8158, wrong=2250, backtracks=1337, failedAssignments=1355, nogoods=429, foundSolutions=2, bestBound=782
14.90/10.06
15.00/10.13 num=35, depth=4..123, filters=286235, ccks=3202, wck=7.227, mem=139M698
15.00/10.13 decisions=8312, wrong=2274, backtracks=1351, failedAssignments=1374, nogoods=437, foundSolutions=2, bestBound=782
15.00/10.13
15.09/10.21 num=36, depth=4..106, filters=289866, ccks=3202, wck=7.303, mem=142M287
15.09/10.21 decisions=8442, wrong=2295, backtracks=1351, failedAssignments=1395, nogoods=458, foundSolutions=2, bestBound=782
15.09/10.21
15.09/10.29 num=37, depth=4..97, filters=293918, ccks=3202, wck=7.384, mem=142M287
15.09/10.29 decisions=8618, wrong=2340, backtracks=1380, failedAssignments=1418, nogoods=465, foundSolutions=2, bestBound=782
15.09/10.29
15.20/10.37 num=38, depth=4..111, filters=297594, ccks=3202, wck=7.46, mem=142M287
15.20/10.37 decisions=8784, wrong=2378, backtracks=1401, failedAssignments=1443, nogoods=473, foundSolutions=2, bestBound=782
15.20/10.37
15.30/10.44 num=39, depth=4..112, filters=301198, ccks=3202, wck=7.537, mem=142M287
15.30/10.44 decisions=8932, wrong=2408, backtracks=1404, failedAssignments=1471, nogoods=500, foundSolutions=2, bestBound=782
15.30/10.44
15.41/10.53 num=40, depth=4..144, filters=305728, ccks=3202, wck=7.625, mem=142M287
15.41/10.53 decisions=9126, wrong=2442, backtracks=1414, failedAssignments=1502, nogoods=524, foundSolutions=2, bestBound=782
15.41/10.53
15.61/10.77 o 781
15.61/10.78 num=41, depth=4..8744, filters=310139, ccks=4803, wck=7.874, mem=144M876
15.61/10.78 decisions=9310, wrong=2468, backtracks=1417, failedAssignments=1525, nogoods=545, foundSolutions=3, bestBound=781
15.61/10.78
16.13/11.28 o 780
16.13/11.28 num=42, depth=57..8744, filters=314732, ccks=6404, wck=8.378, mem=147M571
16.13/11.28 decisions=9520, wrong=2509, backtracks=1433, failedAssignments=1554, nogoods=559, foundSolutions=4, bestBound=780
16.13/11.28
16.54/11.61 num=43, depth=54..145, filters=318474, ccks=6404, wck=8.709, mem=147M571
16.54/11.61 decisions=9678, wrong=2520, backtracks=1433, failedAssignments=1565, nogoods=570, foundSolutions=4, bestBound=780
16.54/11.61
16.54/11.69 num=44, depth=4..127, filters=321975, ccks=6404, wck=8.781, mem=147M571
16.54/11.69 decisions=9818, wrong=2531, backtracks=1433, failedAssignments=1576, nogoods=581, foundSolutions=4, bestBound=780
16.54/11.69
16.66/11.76 num=45, depth=4..139, filters=325716, ccks=6404, wck=8.857, mem=147M571
16.66/11.76 decisions=9972, wrong=2543, backtracks=1433, failedAssignments=1588, nogoods=593, foundSolutions=4, bestBound=780
16.66/11.76
16.77/11.84 num=46, depth=4..134, filters=329437, ccks=6404, wck=8.935, mem=147M571
16.77/11.84 decisions=10121, wrong=2556, backtracks=1433, failedAssignments=1601, nogoods=606, foundSolutions=4, bestBound=780
16.77/11.84
16.87/11.92 num=47, depth=4..125, filters=332908, ccks=6404, wck=9.01, mem=147M571
16.87/11.92 decisions=10263, wrong=2570, backtracks=1433, failedAssignments=1615, nogoods=620, foundSolutions=4, bestBound=780
16.87/11.92
16.87/11.99 num=48, depth=4..129, filters=336339, ccks=6404, wck=9.083, mem=147M571
16.87/11.99 decisions=10413, wrong=2586, backtracks=1433, failedAssignments=1631, nogoods=636, foundSolutions=4, bestBound=780
16.87/11.99
16.99/12.09 num=49, depth=4..144, filters=341050, ccks=6404, wck=9.182, mem=147M571
16.99/12.09 decisions=10577, wrong=2603, backtracks=1433, failedAssignments=1648, nogoods=653, foundSolutions=4, bestBound=780
16.99/12.09
17.32/12.34 o 771
17.32/12.34 num=50, depth=4..8744, filters=345939, ccks=8005, wck=9.437, mem=152M749
17.32/12.34 decisions=10734, wrong=2619, backtracks=1436, failedAssignments=1662, nogoods=665, foundSolutions=5, bestBound=771
17.32/12.34
17.80/12.70 num=51, depth=8..138, filters=351070, ccks=8005, wck=9.797, mem=152M749
17.80/12.70 decisions=10920, wrong=2647, backtracks=1445, failedAssignments=1683, nogoods=679, foundSolutions=5, bestBound=771
17.80/12.70
17.80/12.79 num=52, depth=4..136, filters=355123, ccks=8005, wck=9.889, mem=152M749
17.80/12.79 decisions=11075, wrong=2662, backtracks=1450, failedAssignments=1694, nogoods=686, foundSolutions=5, bestBound=771
17.80/12.79
17.90/12.86 num=53, depth=50..98, filters=358626, ccks=8005, wck=9.956, mem=152M749
17.90/12.86 decisions=11195, wrong=2676, backtracks=1452, failedAssignments=1706, nogoods=695, foundSolutions=5, bestBound=771
17.90/12.86
17.99/12.95 num=54, depth=5..107, filters=362687, ccks=8005, wck=10.04, mem=152M749
17.99/12.95 decisions=11324, wrong=2691, backtracks=1454, failedAssignments=1719, nogoods=706, foundSolutions=5, bestBound=771
17.99/12.95
18.10/13.03 num=55, depth=5..104, filters=366743, ccks=8005, wck=10.127, mem=152M749
18.10/13.03 decisions=11446, wrong=2705, backtracks=1454, failedAssignments=1733, nogoods=720, foundSolutions=5, bestBound=771
18.10/13.03
18.24/13.12 num=56, depth=5..110, filters=370972, ccks=8005, wck=10.217, mem=152M749
18.24/13.12 decisions=11576, wrong=2721, backtracks=1454, failedAssignments=1749, nogoods=736, foundSolutions=5, bestBound=771
18.24/13.12
18.34/13.21 num=57, depth=5..113, filters=375326, ccks=8005, wck=10.308, mem=152M749
18.34/13.21 decisions=11718, wrong=2741, backtracks=1461, failedAssignments=1766, nogoods=748, foundSolutions=5, bestBound=771
18.34/13.21
18.44/13.30 num=58, depth=5..132, filters=379572, ccks=8005, wck=10.398, mem=152M749
18.44/13.30 decisions=11873, wrong=2760, backtracks=1461, failedAssignments=1785, nogoods=767, foundSolutions=5, bestBound=771
18.44/13.30
18.54/13.40 num=59, depth=5..127, filters=383966, ccks=8005, wck=10.491, mem=152M749
18.54/13.40 decisions=12034, wrong=2783, backtracks=1471, failedAssignments=1806, nogoods=780, foundSolutions=5, bestBound=771
18.54/13.40
18.64/13.50 num=60, depth=5..130, filters=388974, ccks=8005, wck=10.594, mem=152M749
18.64/13.50 decisions=12208, wrong=2813, backtracks=1485, failedAssignments=1829, nogoods=795, foundSolutions=5, bestBound=771
18.64/13.50
18.74/13.60 num=61, depth=5..135, filters=393870, ccks=8005, wck=10.695, mem=152M749
18.74/13.60 decisions=12394, wrong=2848, backtracks=1501, failedAssignments=1854, nogoods=809, foundSolutions=5, bestBound=771
18.74/13.60
18.94/13.84 o 740
18.94/13.85 num=62, depth=5..8744, filters=398194, ccks=9606, wck=10.944, mem=155M357
18.94/13.85 decisions=12581, wrong=2868, backtracks=1501, failedAssignments=1874, nogoods=829, foundSolutions=6, bestBound=740
18.94/13.85
19.41/14.20 num=63, depth=62..147, filters=403666, ccks=9606, wck=11.297, mem=155M357
19.41/14.20 decisions=12795, wrong=2906, backtracks=1519, failedAssignments=1905, nogoods=841, foundSolutions=6, bestBound=740
19.41/14.20
19.41/14.28 num=64, depth=5..131, filters=407187, ccks=9606, wck=11.375, mem=155M357
19.41/14.28 decisions=12940, wrong=2917, backtracks=1519, failedAssignments=1916, nogoods=852, foundSolutions=6, bestBound=740
19.41/14.28
19.51/14.35 num=65, depth=5..115, filters=410411, ccks=9606, wck=11.444, mem=155M357
19.51/14.35 decisions=13072, wrong=2930, backtracks=1520, failedAssignments=1928, nogoods=864, foundSolutions=6, bestBound=740
19.51/14.35
19.61/14.44 num=66, depth=5..126, filters=414259, ccks=9606, wck=11.533, mem=155M357
19.61/14.44 decisions=13213, wrong=2943, backtracks=1520, failedAssignments=1941, nogoods=877, foundSolutions=6, bestBound=740
19.61/14.44
19.81/14.65 o 703
19.81/14.66 num=67, depth=48..8744, filters=417162, ccks=11207, wck=11.75, mem=157M946
19.81/14.66 decisions=13326, wrong=2954, backtracks=1520, failedAssignments=1952, nogoods=888, foundSolutions=7, bestBound=703
19.81/14.66
20.17/14.98 num=68, depth=62..117, filters=420597, ccks=11207, wck=12.076, mem=157M946
20.17/14.98 decisions=13485, wrong=2983, backtracks=1533, failedAssignments=1968, nogoods=894, foundSolutions=7, bestBound=703
20.17/14.98
20.28/15.06 num=69, depth=5..122, filters=424129, ccks=11207, wck=12.15, mem=157M946
20.28/15.06 decisions=13619, wrong=2994, backtracks=1533, failedAssignments=1979, nogoods=905, foundSolutions=7, bestBound=703
20.28/15.06
20.40/15.13 num=70, depth=5..100, filters=427630, ccks=11207, wck=12.223, mem=157M946
20.40/15.13 decisions=13737, wrong=3008, backtracks=1535, failedAssignments=1991, nogoods=917, foundSolutions=7, bestBound=703
20.40/15.13
20.49/15.21 num=71, depth=5..85, filters=431324, ccks=11207, wck=12.303, mem=157M946
20.49/15.21 decisions=13838, wrong=3021, backtracks=1535, failedAssignments=2004, nogoods=930, foundSolutions=7, bestBound=703
20.49/15.21
20.49/15.28 num=72, depth=5..93, filters=434778, ccks=11207, wck=12.375, mem=157M946
20.49/15.28 decisions=13949, wrong=3035, backtracks=1535, failedAssignments=2018, nogoods=944, foundSolutions=7, bestBound=703
20.49/15.28
20.59/15.35 num=73, depth=5..106, filters=438278, ccks=11207, wck=12.447, mem=157M946
20.59/15.35 decisions=14077, wrong=3053, backtracks=1541, failedAssignments=2034, nogoods=953, foundSolutions=7, bestBound=703
20.59/15.35
20.69/15.45 num=74, depth=5..115, filters=442419, ccks=11207, wck=12.539, mem=157M946
20.69/15.45 decisions=14218, wrong=3075, backtracks=1547, failedAssignments=2051, nogoods=967, foundSolutions=7, bestBound=703
20.69/15.45
20.79/15.53 num=75, depth=51..96, filters=446188, ccks=11207, wck=12.625, mem=157M946
20.79/15.53 decisions=14364, wrong=3104, backtracks=1561, failedAssignments=2070, nogoods=976, foundSolutions=7, bestBound=703
20.79/15.53
20.89/15.62 num=76, depth=6..97, filters=450083, ccks=11207, wck=12.713, mem=157M946
20.89/15.62 decisions=14520, wrong=3142, backtracks=1581, failedAssignments=2091, nogoods=988, foundSolutions=7, bestBound=703
20.89/15.62
20.99/15.70 num=77, depth=6..109, filters=453693, ccks=11207, wck=12.798, mem=157M946
20.99/15.70 decisions=14665, wrong=3170, backtracks=1591, failedAssignments=2114, nogoods=1004, foundSolutions=7, bestBound=703
20.99/15.70
20.99/15.79 num=78, depth=6..143, filters=457436, ccks=11207, wck=12.88, mem=157M946
20.99/15.79 decisions=14835, wrong=3195, backtracks=1591, failedAssignments=2139, nogoods=1029, foundSolutions=7, bestBound=703
20.99/15.79
21.30/16.02 o 702
21.30/16.02 num=79, depth=6..8744, filters=461297, ccks=12808, wck=13.119, mem=163M156
21.30/16.02 decisions=15007, wrong=3220, backtracks=1591, failedAssignments=2164, nogoods=1054, foundSolutions=8, bestBound=702
21.30/16.02
21.59/16.36 num=80, depth=50..114, filters=464915, ccks=12808, wck=13.45, mem=163M156
21.59/16.36 decisions=15181, wrong=3261, backtracks=1612, failedAssignments=2195, nogoods=1065, foundSolutions=8, bestBound=702
21.59/16.36
21.70/16.43 num=81, depth=6..98, filters=468285, ccks=12808, wck=13.528, mem=163M156
21.70/16.43 decisions=15291, wrong=3272, backtracks=1612, failedAssignments=2206, nogoods=1076, foundSolutions=8, bestBound=702
21.70/16.43
21.80/16.50 num=82, depth=10..104, filters=471274, ccks=12808, wck=13.592, mem=163M156
21.80/16.50 decisions=15411, wrong=3286, backtracks=1620, failedAssignments=2218, nogoods=1081, foundSolutions=8, bestBound=702
21.80/16.50
21.80/16.55 num=83, depth=41..77, filters=473861, ccks=12808, wck=13.648, mem=163M156
21.80/16.55 decisions=15502, wrong=3299, backtracks=1620, failedAssignments=2231, nogoods=1094, foundSolutions=8, bestBound=702
21.80/16.55
21.90/16.65 num=84, depth=6..85, filters=477227, ccks=12808, wck=13.749, mem=163M156
21.90/16.65 decisions=15604, wrong=3314, backtracks=1621, failedAssignments=2245, nogoods=1108, foundSolutions=8, bestBound=702
21.90/16.65
22.03/16.73 num=85, depth=6..92, filters=480676, ccks=12808, wck=13.828, mem=163M156
22.03/16.73 decisions=15715, wrong=3331, backtracks=1622, failedAssignments=2261, nogoods=1124, foundSolutions=8, bestBound=702
22.03/16.73
22.14/16.80 num=86, depth=72..101, filters=484089, ccks=12808, wck=13.895, mem=163M156
22.14/16.80 decisions=15834, wrong=3348, backtracks=1622, failedAssignments=2278, nogoods=1141, foundSolutions=8, bestBound=702
22.14/16.80
22.14/16.87 num=87, depth=51..98, filters=487615, ccks=12808, wck=13.961, mem=163M156
22.14/16.87 decisions=15952, wrong=3367, backtracks=1622, failedAssignments=2297, nogoods=1160, foundSolutions=8, bestBound=702
22.14/16.87
22.24/16.95 num=88, depth=6..105, filters=491342, ccks=12808, wck=14.04, mem=163M156
22.24/16.95 decisions=16081, wrong=3388, backtracks=1622, failedAssignments=2318, nogoods=1181, foundSolutions=8, bestBound=702
22.24/16.95
22.44/17.18 o 699
22.44/17.18 num=89, depth=6..8744, filters=495569, ccks=14409, wck=14.278, mem=165M746
22.44/17.18 decisions=16219, wrong=3409, backtracks=1622, failedAssignments=2339, nogoods=1202, foundSolutions=9, bestBound=699
22.44/17.18
22.84/17.50 num=90, depth=48..86, filters=498789, ccks=14409, wck=14.597, mem=165M746
22.84/17.50 decisions=16339, wrong=3435, backtracks=1629, failedAssignments=2364, nogoods=1221, foundSolutions=9, bestBound=699
22.84/17.50
22.84/17.58 num=91, depth=6..74, filters=502132, ccks=14409, wck=14.671, mem=165M746
22.84/17.58 decisions=16425, wrong=3446, backtracks=1629, failedAssignments=2375, nogoods=1232, foundSolutions=9, bestBound=699
22.84/17.58
23.04/17.79 o 691
23.19/17.85 num=92, depth=46..8744, filters=505656, ccks=16010, wck=14.946, mem=117M4
23.19/17.85 decisions=16518, wrong=3456, backtracks=1629, failedAssignments=2385, nogoods=1242, foundSolutions=10, bestBound=691
23.19/17.85
23.60/18.16 num=93, depth=54..73, filters=508603, ccks=16010, wck=15.256, mem=117M4
23.60/18.16 decisions=16621, wrong=3476, backtracks=1643, failedAssignments=2398, nogoods=1244, foundSolutions=10, bestBound=691
23.60/18.16
23.69/18.21 num=94, depth=58..67, filters=511383, ccks=16010, wck=15.309, mem=117M4
23.69/18.21 decisions=16727, wrong=3497, backtracks=1655, failedAssignments=2409, nogoods=1248, foundSolutions=10, bestBound=691
23.69/18.21
23.80/18.30 num=95, depth=7..93, filters=515481, ccks=16010, wck=15.398, mem=117M4
23.80/18.30 decisions=16840, wrong=3512, backtracks=1659, failedAssignments=2421, nogoods=1260, foundSolutions=10, bestBound=691
23.80/18.30
24.03/18.55 o 690
24.03/18.55 num=96, depth=7..8744, filters=519788, ccks=17611, wck=15.645, mem=119M634
24.03/18.55 decisions=16939, wrong=3518, backtracks=1659, failedAssignments=2427, nogoods=1266, foundSolutions=11, bestBound=690
24.03/18.55
24.58/19.03 o 689
24.58/19.04 num=97, depth=48..8744, filters=523836, ccks=19212, wck=16.131, mem=122M297
24.58/19.04 decisions=17042, wrong=3525, backtracks=1659, failedAssignments=2434, nogoods=1273, foundSolutions=12, bestBound=689
24.58/19.04
24.88/19.37 num=98, depth=13..89, filters=529919, ccks=19212, wck=16.467, mem=122M297
24.88/19.37 decisions=17163, wrong=3547, backtracks=1670, failedAssignments=2445, nogoods=1275, foundSolutions=12, bestBound=689
24.88/19.37
24.98/19.43 num=99, depth=7..71, filters=532555, ccks=19212, wck=16.526, mem=122M297
24.98/19.43 decisions=17259, wrong=3565, backtracks=1678, failedAssignments=2456, nogoods=1279, foundSolutions=12, bestBound=689
24.98/19.43
25.08/19.52 num=100, depth=5..25, filters=538984, ccks=19212, wck=16.612, mem=122M297
25.08/19.52 decisions=17328, wrong=3591, backtracks=1695, failedAssignments=2468, nogoods=1284, foundSolutions=12, bestBound=689
25.08/19.52
25.18/19.60 num=101, depth=9..80, filters=545287, ccks=19212, wck=16.699, mem=122M297
25.18/19.60 decisions=17440, wrong=3614, backtracks=1706, failedAssignments=2481, nogoods=1288, foundSolutions=12, bestBound=689
25.18/19.60
25.18/19.69 num=102, depth=9..39, filters=549485, ccks=19212, wck=16.786, mem=122M297
25.18/19.69 decisions=17517, wrong=3639, backtracks=1717, failedAssignments=2495, nogoods=1293, foundSolutions=12, bestBound=689
25.18/19.69
25.38/19.81 num=103, depth=1..27, filters=556721, ccks=19212, wck=16.905, mem=122M297
25.38/19.81 decisions=17627, wrong=3689, backtracks=1760, failedAssignments=2511, nogoods=1296, foundSolutions=12, bestBound=689
25.38/19.81
25.48/19.91 num=104, depth=0..47, filters=562536, ccks=19212, wck=16.999, mem=122M297
25.48/19.91 decisions=17732, wrong=3723, backtracks=1784, failedAssignments=2528, nogoods=1305, foundSolutions=12, bestBound=689
25.48/19.91
25.48/19.96 num=105, depth=23..47, filters=565502, ccks=19212, wck=17.056, mem=122M297
25.48/19.96 decisions=17871, wrong=3775, backtracks=1831, failedAssignments=2547, nogoods=1309, foundSolutions=12, bestBound=689
25.48/19.96
25.59/20.03 num=106, depth=1..49, filters=568761, ccks=19212, wck=17.127, mem=122M297
25.59/20.03 decisions=17987, wrong=3813, backtracks=1855, failedAssignments=2568, nogoods=1319, foundSolutions=12, bestBound=689
25.59/20.03
25.79/20.24 o 684
25.79/20.25 num=107, depth=1..8744, filters=572112, ccks=20813, wck=17.342, mem=127M482
25.79/20.25 decisions=18069, wrong=3825, backtracks=1856, failedAssignments=2579, nogoods=1330, foundSolutions=13, bestBound=684
25.79/20.25
26.09/20.58 num=108, depth=1..25, filters=577238, ccks=20813, wck=17.671, mem=127M482
26.09/20.58 decisions=18178, wrong=3873, backtracks=1889, failedAssignments=2604, nogoods=1339, foundSolutions=13, bestBound=684
26.09/20.58
26.19/20.62 num=109, depth=1..35, filters=580039, ccks=20813, wck=17.717, mem=127M482
26.19/20.62 decisions=18241, wrong=3890, backtracks=1898, failedAssignments=2615, nogoods=1345, foundSolutions=13, bestBound=684
26.19/20.62
26.19/20.66 num=110, depth=1..28, filters=582509, ccks=20813, wck=17.756, mem=127M482
26.19/20.66 decisions=18299, wrong=3909, backtracks=1908, failedAssignments=2627, nogoods=1350, foundSolutions=13, bestBound=684
26.19/20.66
26.29/20.72 num=111, depth=1..20, filters=585719, ccks=20813, wck=17.811, mem=127M482
26.29/20.72 decisions=18354, wrong=3932, backtracks=1921, failedAssignments=2640, nogoods=1355, foundSolutions=13, bestBound=684
26.29/20.72
26.29/20.76 num=112, depth=0..29, filters=588580, ccks=20813, wck=17.854, mem=127M482
26.29/20.76 decisions=18428, wrong=3969, backtracks=1950, failedAssignments=2654, nogoods=1355, foundSolutions=13, bestBound=684
26.29/20.76
26.39/20.82 num=113, depth=2..15, filters=592588, ccks=20813, wck=17.915, mem=127M482
26.39/20.82 decisions=18499, wrong=4001, backtracks=1975, failedAssignments=2670, nogoods=1360, foundSolutions=13, bestBound=684
26.39/20.82
26.49/20.90 num=114, depth=2..29, filters=595688, ccks=20813, wck=17.997, mem=127M482
26.49/20.90 decisions=18578, wrong=4035, backtracks=1999, failedAssignments=2687, nogoods=1362, foundSolutions=13, bestBound=684
26.49/20.90
26.49/20.96 num=115, depth=4..62, filters=598916, ccks=20813, wck=18.052, mem=127M482
26.49/20.96 decisions=18660, wrong=4054, backtracks=1999, failedAssignments=2706, nogoods=1381, foundSolutions=13, bestBound=684
26.49/20.96
26.70/21.17 o 683
26.70/21.18 num=116, depth=4..8744, filters=602280, ccks=22414, wck=18.272, mem=130M75
26.70/21.18 decisions=18732, wrong=4070, backtracks=2000, failedAssignments=2721, nogoods=1396, foundSolutions=14, bestBound=683
26.70/21.18
27.19/21.60 num=117, depth=4..41, filters=607969, ccks=22414, wck=18.691, mem=130M75
27.19/21.60 decisions=18852, wrong=4115, backtracks=2034, failedAssignments=2744, nogoods=1401, foundSolutions=14, bestBound=683
27.19/21.60
27.19/21.64 num=118, depth=4..40, filters=610124, ccks=22414, wck=18.735, mem=130M75
27.19/21.64 decisions=18910, wrong=4128, backtracks=2039, failedAssignments=2755, nogoods=1409, foundSolutions=14, bestBound=683
27.19/21.64
27.19/21.68 num=119, depth=4..42, filters=612233, ccks=22414, wck=18.776, mem=130M75
27.19/21.68 decisions=18965, wrong=4140, backtracks=2039, failedAssignments=2767, nogoods=1421, foundSolutions=14, bestBound=683
27.19/21.68
27.30/21.73 num=120, depth=4..41, filters=614582, ccks=22414, wck=18.82, mem=130M75
27.30/21.73 decisions=19034, wrong=4160, backtracks=2050, failedAssignments=2780, nogoods=1428, foundSolutions=14, bestBound=683
27.30/21.73
27.30/21.78 num=121, depth=4..33, filters=617821, ccks=22414, wck=18.878, mem=130M75
27.30/21.78 decisions=19113, wrong=4185, backtracks=2067, failedAssignments=2794, nogoods=1433, foundSolutions=14, bestBound=683
27.30/21.78
27.40/21.85 num=122, depth=4..45, filters=622173, ccks=22414, wck=18.946, mem=130M75
27.40/21.85 decisions=19205, wrong=4215, backtracks=2085, failedAssignments=2810, nogoods=1445, foundSolutions=14, bestBound=683
27.40/21.85
27.50/21.92 num=123, depth=4..57, filters=626102, ccks=22414, wck=19.012, mem=130M75
27.50/21.92 decisions=19314, wrong=4247, backtracks=2112, failedAssignments=2827, nogoods=1451, foundSolutions=14, bestBound=683
27.50/21.92
27.50/21.98 num=124, depth=4..79, filters=629111, ccks=22414, wck=19.071, mem=130M75
27.50/21.98 decisions=19422, wrong=4270, backtracks=2116, failedAssignments=2846, nogoods=1469, foundSolutions=14, bestBound=683
27.50/21.98
27.80/22.23 o 676
27.80/22.23 num=125, depth=5..8744, filters=635786, ccks=24015, wck=19.326, mem=132M738
27.80/22.23 decisions=19534, wrong=4297, backtracks=2130, failedAssignments=2862, nogoods=1479, foundSolutions=15, bestBound=676
27.80/22.23
28.10/22.59 num=126, depth=6..72, filters=642279, ccks=24015, wck=19.68, mem=132M738
28.10/22.59 decisions=19672, wrong=4338, backtracks=2160, failedAssignments=2885, nogoods=1487, foundSolutions=15, bestBound=676
28.10/22.59
28.20/22.68 num=127, depth=7..47, filters=647217, ccks=24015, wck=19.77, mem=132M738
28.20/22.68 decisions=19787, wrong=4374, backtracks=2187, failedAssignments=2896, nogoods=1492, foundSolutions=15, bestBound=676
28.20/22.68
28.30/22.72 num=128, depth=6..53, filters=649567, ccks=24015, wck=19.81, mem=132M738
28.30/22.72 decisions=19868, wrong=4392, backtracks=2201, failedAssignments=2908, nogoods=1496, foundSolutions=15, bestBound=676
28.30/22.72
28.30/22.77 num=129, depth=8..56, filters=651860, ccks=24015, wck=19.862, mem=132M738
28.30/22.77 decisions=19945, wrong=4408, backtracks=2208, failedAssignments=2921, nogoods=1504, foundSolutions=15, bestBound=676
28.30/22.77
28.41/22.82 num=130, depth=9..58, filters=654936, ccks=24015, wck=19.913, mem=132M738
28.41/22.82 decisions=20025, wrong=4426, backtracks=2214, failedAssignments=2935, nogoods=1515, foundSolutions=15, bestBound=676
28.41/22.82
28.41/22.89 num=131, depth=7..64, filters=659842, ccks=24015, wck=19.988, mem=132M738
28.41/22.89 decisions=20110, wrong=4444, backtracks=2217, failedAssignments=2951, nogoods=1530, foundSolutions=15, bestBound=676
28.41/22.89
28.52/22.97 num=132, depth=9..73, filters=664496, ccks=24015, wck=20.062, mem=132M738
28.52/22.97 decisions=20201, wrong=4461, backtracks=2217, failedAssignments=2968, nogoods=1547, foundSolutions=15, bestBound=676
28.52/22.97
28.73/23.19 o 675
28.82/23.20 num=133, depth=10..8744, filters=668680, ccks=25616, wck=20.292, mem=137M960
28.82/23.20 decisions=20272, wrong=4470, backtracks=2217, failedAssignments=2977, nogoods=1556, foundSolutions=16, bestBound=675
28.82/23.20
29.22/23.65 o 674
29.22/23.66 num=134, depth=15..8744, filters=671402, ccks=27217, wck=20.753, mem=140M553
29.22/23.66 decisions=20343, wrong=4475, backtracks=2217, failedAssignments=2982, nogoods=1561, foundSolutions=17, bestBound=674
29.22/23.66
29.52/23.98 num=135, depth=11..32, filters=676267, ccks=27217, wck=21.079, mem=140M553
29.52/23.98 decisions=20406, wrong=4493, backtracks=2228, failedAssignments=2993, nogoods=1567, foundSolutions=17, bestBound=674
29.52/23.98
29.63/24.07 num=136, depth=11..40, filters=681386, ccks=27217, wck=21.164, mem=141M412
29.63/24.07 decisions=20485, wrong=4525, backtracks=2250, failedAssignments=3004, nogoods=1571, foundSolutions=17, bestBound=674
29.63/24.07
29.73/24.14 num=137, depth=11..49, filters=685591, ccks=27217, wck=21.233, mem=141M412
29.73/24.14 decisions=20560, wrong=4542, backtracks=2255, failedAssignments=3016, nogoods=1580, foundSolutions=17, bestBound=674
29.73/24.14
29.82/24.20 num=138, depth=13..65, filters=688864, ccks=27217, wck=21.292, mem=141M412
29.82/24.20 decisions=20643, wrong=4557, backtracks=2257, failedAssignments=3029, nogoods=1592, foundSolutions=17, bestBound=674
29.82/24.20
30.02/24.40 o 673
30.02/24.40 num=139, depth=13..8744, filters=691484, ccks=28818, wck=21.499, mem=144M40
30.02/24.40 decisions=20700, wrong=4561, backtracks=2258, failedAssignments=3032, nogoods=1595, foundSolutions=18, bestBound=673
30.02/24.40
30.32/24.73 num=140, depth=13..80, filters=694835, ccks=28818, wck=21.828, mem=144M40
30.32/24.73 decisions=20817, wrong=4585, backtracks=2266, failedAssignments=3048, nogoods=1606, foundSolutions=18, bestBound=673
30.32/24.73
30.52/24.94 o 672
30.52/24.95 num=141, depth=67..8744, filters=697968, ccks=30419, wck=22.041, mem=146M633
30.52/24.95 decisions=20920, wrong=4594, backtracks=2266, failedAssignments=3057, nogoods=1615, foundSolutions=19, bestBound=672
30.52/24.95
31.02/25.41 o 671
31.02/25.41 num=142, depth=50..8744, filters=700988, ccks=32020, wck=22.509, mem=151M853
31.02/25.41 decisions=21039, wrong=4614, backtracks=2279, failedAssignments=3068, nogoods=1620, foundSolutions=20, bestBound=671
31.02/25.41
31.32/25.74 num=143, depth=13..56, filters=704607, ccks=32020, wck=22.832, mem=151M853
31.32/25.74 decisions=21134, wrong=4635, backtracks=2289, failedAssignments=3079, nogoods=1624, foundSolutions=20, bestBound=671
31.32/25.74
31.52/25.94 o 670
31.52/25.94 num=144, depth=44..8744, filters=707395, ccks=33621, wck=23.037, mem=154M446
31.52/25.94 decisions=21197, wrong=4639, backtracks=2289, failedAssignments=3083, nogoods=1628, foundSolutions=21, bestBound=670
31.52/25.94
32.02/26.40 o 669
32.02/26.41 num=145, depth=31..8744, filters=710343, ccks=35222, wck=23.5, mem=157M70
32.02/26.41 decisions=21286, wrong=4653, backtracks=2296, failedAssignments=3092, nogoods=1633, foundSolutions=22, bestBound=669
32.02/26.41
32.32/26.71 num=146, depth=5..16, filters=713320, ccks=35222, wck=23.804, mem=157M70
32.32/26.71 decisions=21346, wrong=4679, backtracks=2319, failedAssignments=3103, nogoods=1635, foundSolutions=22, bestBound=669
32.32/26.71
32.32/26.76
32.32/26.76 New Bounds: 669..668
32.32/26.77 num=147, depth=0..12, filters=715898, ccks=35222, wck=23.868, mem=157M70
32.32/26.77 decisions=21402, wrong=4708, backtracks=2344, failedAssignments=3113, foundSolutions=22, bestBound=669
32.32/26.77
32.32/26.77 Global
32.32/26.77 filters=715898, ccks=35222
32.32/26.77 Stop=FULL_EXPLORATION, wrong=4708, bestBound=669, bestBoundWck=24.536, bestBoundCpu=26.275, foundSolutions=22, firstSolCpu=8.606
32.32/26.77 wck=24.909, cpu=26.648, mem=157M70
32.32/26.79
32.32/26.79 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.32/26.79 s OPTIMUM FOUND
32.32/26.79
32.32/26.79 d WRONG_DECISIONS 4708
32.32/26.79 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 (11652 MiB free)
memory of node 1: 16384 MiB (14125 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391275-1568389328/watcher-4391275-1568389328 -o /tmp/evaluation-result-4391275-1568389328/solver-4391275-1568389328 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3789 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391275-1568389328.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3913, runsolver pid=3910
Current StackSize limit: 8192 KiB
[startup+0.106142 s]*
/proc/loadavg: 1.44 1.71 1.86 5/228 3928
/proc/meminfo: memFree=26381852/32770624 swapFree=66957012/67108860
[pid=3913] ppid=3910 vsize=10659884 memory=29272 CPUtime=0.14 cores=0,2,4,6
/proc/3913/stat : 3913 (java) S 3910 3913 3758 0 -1 1077944320 5809 0 0 0 13 1 0 0 20 0 15 0 414846614 10915721216 7318 33554432000 4194304 4196468 140722744235472 140722744218016 140370745732855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
/proc/3913/statm: 2664971 7318 2917 1 0 2627468 0
[pid=3913/tid=3915] ppid=3910 vsize=10659884 memory=-8824346557313545408 CPUtime=0.1 cores=0,2,4,6
/proc/3913/task/3915/stat : 3915 (java) R 3910 3913 3758 0 -1 4202560 3214 0 0 0 9 1 0 0 20 0 15 0 414846614 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370749964296 140370737969982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3916] ppid=3910 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3916/stat : 3916 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370352532496 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3917] ppid=3910 vsize=10659884 memory=140479660430976 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3917/stat : 3917 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370351479952 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3918] ppid=3910 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3918/stat : 3918 (java) S 3910 3913 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846615 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370350426896 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3919] ppid=3910 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3919/stat : 3919 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370349374352 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3920] ppid=3910 vsize=10659884 memory=140479660430976 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3920/stat : 3920 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846617 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370237712624 140370745744002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3921] ppid=3910 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3921/stat : 3921 (java) S 3910 3913 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846617 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370236658848 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3922] ppid=3910 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3922/stat : 3922 (java) S 3910 3913 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846617 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370235605744 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3923] ppid=3910 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3923/stat : 3923 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846620 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370234554320 140370745751451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3924] ppid=3910 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3924/stat : 3924 (java) S 3910 3913 3758 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 414846620 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370233502448 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3925] ppid=3910 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3925/stat : 3925 (java) R 3910 3913 3758 0 -1 4202560 357 0 0 0 0 0 0 0 20 0 15 0 414846620 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370232430504 140370726433152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3926] ppid=3910 vsize=10659884 memory=140479660430976 CPUtime=0.02 cores=0,2,4,6
/proc/3913/task/3926/stat : 3926 (java) R 3910 3913 3758 0 -1 4202560 689 0 0 0 2 0 0 0 20 0 15 0 414846620 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370231393160 140370745754202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3927] ppid=3910 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3927/stat : 3927 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846620 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370230344544 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3928] ppid=3910 vsize=10659884 memory=140479660430976 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3928/stat : 3928 (java) S 3910 3913 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846620 10915721216 7516 33554432000 4194304 4196468 140722744235472 140370229291568 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29272 KiB
[startup+0.210549 s]*
/proc/loadavg: 1.44 1.71 1.86 5/228 3928
/proc/meminfo: memFree=26372448/32770624 swapFree=66957012/67108860
[pid=3913] ppid=3910 vsize=10659884 memory=35344 CPUtime=0.33 cores=0,2,4,6
/proc/3913/stat : 3913 (java) S 3910 3913 3758 0 -1 1077944320 6909 0 0 0 31 2 0 0 20 0 15 0 414846614 10915721216 8836 33554432000 4194304 4196468 140722744235472 140722744218016 140370745732855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
/proc/3913/statm: 2664971 8836 2990 1 0 2627468 0
[pid=3913/tid=3915] ppid=3910 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3913/task/3915/stat : 3915 (java) R 3910 3913 3758 0 -1 4202560 3844 0 0 0 19 1 0 0 20 0 15 0 414846614 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370749959216 140370745754781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3916] ppid=3910 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3916/stat : 3916 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370352532496 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3917] ppid=3910 vsize=10659884 memory=140479661695588 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3917/stat : 3917 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370351479952 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3918] ppid=3910 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3918/stat : 3918 (java) S 3910 3913 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846615 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370350426896 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3919] ppid=3910 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3919/stat : 3919 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370349374352 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3920] ppid=3910 vsize=10659884 memory=140479660430976 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3920/stat : 3920 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846617 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370237712624 140370745744002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3921] ppid=3910 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3921/stat : 3921 (java) S 3910 3913 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846617 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370236658848 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3922] ppid=3910 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3922/stat : 3922 (java) S 3910 3913 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846617 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370235605744 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3923] ppid=3910 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3923/stat : 3923 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846620 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370234554320 140370745751451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3924] ppid=3910 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3913/task/3924/stat : 3924 (java) S 3910 3913 3758 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 15 0 414846620 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370233502448 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3925] ppid=3910 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/3913/task/3925/stat : 3925 (java) S 3910 3913 3758 0 -1 1077944384 563 0 0 0 3 0 0 0 20 0 15 0 414846620 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370232449904 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3926] ppid=3910 vsize=10659884 memory=140479660430976 CPUtime=0.05 cores=0,2,4,6
/proc/3913/task/3926/stat : 3926 (java) S 3910 3913 3758 0 -1 1077944384 730 0 0 0 5 0 0 0 20 0 15 0 414846620 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370231396848 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3927] ppid=3910 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3927/stat : 3927 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846620 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370230344544 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3928] ppid=3910 vsize=10659884 memory=140479660430976 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3928/stat : 3928 (java) S 3910 3913 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846620 10915721216 8836 33554432000 4194304 4196468 140722744235472 140370229291568 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35344 KiB
[startup+0.310171 s]*
/proc/loadavg: 1.44 1.71 1.86 3/228 3928
/proc/meminfo: memFree=26364120/32770624 swapFree=66957012/67108860
[pid=3913] ppid=3910 vsize=10659884 memory=40468 CPUtime=0.47 cores=0,2,4,6
/proc/3913/stat : 3913 (java) S 3910 3913 3758 0 -1 1077944320 9426 0 0 0 43 4 0 0 20 0 15 0 414846614 10915721216 10117 33554432000 4194304 4196468 140722744235472 140722744218016 140370745732855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
/proc/3913/statm: 2664971 10117 3002 1 0 2627468 0
[pid=3913/tid=3915] ppid=3910 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/3913/task/3915/stat : 3915 (java) R 3910 3913 3758 0 -1 4202560 6289 0 0 0 27 3 0 0 20 0 15 0 414846614 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370749953744 140370729813342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3916] ppid=3910 vsize=10659884 memory=290763870908448791 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3916/stat : 3916 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370352532496 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3917] ppid=3910 vsize=10659884 memory=14271610131715736 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3917/stat : 3917 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370351479952 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3918] ppid=3910 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3918/stat : 3918 (java) S 3910 3913 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846615 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370350426896 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3919] ppid=3910 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3919/stat : 3919 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370349374352 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3920] ppid=3910 vsize=10659884 memory=140479660430976 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3920/stat : 3920 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846617 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370237712624 140370745744002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3921] ppid=3910 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3921/stat : 3921 (java) S 3910 3913 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846617 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370236658848 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3922] ppid=3910 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3922/stat : 3922 (java) S 3910 3913 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846617 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370235605744 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3923] ppid=3910 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3923/stat : 3923 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846620 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370234554320 140370745751451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3924] ppid=3910 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3913/task/3924/stat : 3924 (java) S 3910 3913 3758 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 15 0 414846620 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370233502448 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3925] ppid=3910 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/3913/task/3925/stat : 3925 (java) S 3910 3913 3758 0 -1 1077944384 573 0 0 0 4 0 0 0 20 0 15 0 414846620 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370232449904 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3926] ppid=3910 vsize=10659884 memory=140479660430976 CPUtime=0.08 cores=0,2,4,6
/proc/3913/task/3926/stat : 3926 (java) S 3910 3913 3758 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 15 0 414846620 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370231396848 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3927] ppid=3910 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3927/stat : 3927 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846620 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370230344544 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3928] ppid=3910 vsize=10659884 memory=140479660430976 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3928/stat : 3928 (java) S 3910 3913 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846620 10915721216 10117 33554432000 4194304 4196468 140722744235472 140370229291568 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40468 KiB
[startup+0.700798 s]
/proc/loadavg: 1.44 1.71 1.86 3/228 3928
/proc/meminfo: memFree=26351256/32770624 swapFree=66957012/67108860
[pid=3913] ppid=3910 vsize=10661932 memory=61584 CPUtime=1.12 cores=0,2,4,6
/proc/3913/stat : 3913 (java) S 3910 3913 3758 0 -1 1077944320 13048 0 0 0 107 5 0 0 20 0 15 0 414846614 10917818368 15396 33554432000 4194304 4196468 140722744235472 140722744218016 140370745732855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
/proc/3913/statm: 2665483 15396 3062 1 0 2627980 0
[pid=3913/tid=3915] ppid=3910 vsize=10661932 memory=1368 CPUtime=0.68 cores=0,2,4,6
/proc/3913/task/3915/stat : 3915 (java) R 3910 3913 3758 0 -1 4202560 8812 0 0 0 63 5 0 0 20 0 15 0 414846614 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370749964880 140370745754781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3916] ppid=3910 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3916/stat : 3916 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370352532496 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3917] ppid=3910 vsize=10661932 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3917/stat : 3917 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370351479952 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3918] ppid=3910 vsize=10661932 memory=6100 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3918/stat : 3918 (java) S 3910 3913 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846615 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370350426896 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3919] ppid=3910 vsize=10661932 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3919/stat : 3919 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370349374352 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3920] ppid=3910 vsize=10661932 memory=732 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3920/stat : 3920 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846617 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370237712624 140370745744002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3921] ppid=3910 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3921/stat : 3921 (java) S 3910 3913 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846617 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370236658848 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3922] ppid=3910 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3922/stat : 3922 (java) S 3910 3913 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846617 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370235605744 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3923] ppid=3910 vsize=10661932 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3923/stat : 3923 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846620 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370234554320 140370745751451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3924] ppid=3910 vsize=10661932 memory=4639098309541126765 CPUtime=0.12 cores=0,2,4,6
/proc/3913/task/3924/stat : 3924 (java) S 3910 3913 3758 0 -1 1077944384 754 0 0 0 12 0 0 0 20 0 15 0 414846620 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370233502448 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3925] ppid=3910 vsize=10661932 memory=7380108234216663121 CPUtime=0.11 cores=0,2,4,6
/proc/3913/task/3925/stat : 3925 (java) S 3910 3913 3758 0 -1 1077944384 872 0 0 0 11 0 0 0 20 0 15 0 414846620 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370232449904 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3926] ppid=3910 vsize=10661932 memory=5788908277929698645 CPUtime=0.19 cores=0,2,4,6
/proc/3913/task/3926/stat : 3926 (java) S 3910 3913 3758 0 -1 1077944384 1249 0 0 0 19 0 0 0 20 0 15 0 414846620 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370231396848 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3927] ppid=3910 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3927/stat : 3927 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846620 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370230344544 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3928] ppid=3910 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3928/stat : 3928 (java) S 3910 3913 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846620 10917818368 15396 33554432000 4194304 4196468 140722744235472 140370229291568 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61584 KiB
[startup+1.5008 s]
/proc/loadavg: 1.44 1.71 1.86 4/226 3960
/proc/meminfo: memFree=26547724/32770624 swapFree=66957012/67108860
[pid=3913] ppid=3910 vsize=10663980 memory=75860 CPUtime=2.03 cores=0,2,4,6
/proc/3913/stat : 3913 (java) S 3910 3913 3758 0 -1 1077944320 18564 0 0 0 197 6 0 0 20 0 15 0 414846614 10919915520 18965 33554432000 4194304 4196468 140722744235472 140722744218016 140370745732855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
/proc/3913/statm: 2665995 18965 3097 1 0 2628492 0
[pid=3913/tid=3915] ppid=3910 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/3913/task/3915/stat : 3915 (java) R 3910 3913 3758 0 -1 4202560 13026 0 0 0 142 5 0 0 20 0 15 0 414846614 10919915520 18965 33554432000 4194304 4196468 140722744235472 140370749964880 140370745754781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3916] ppid=3910 vsize=10663980 memory=7305792226182194773 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3916/stat : 3916 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10919915520 18965 33554432000 4194304 4196468 140722744235472 140370352532496 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3917] ppid=3910 vsize=10663980 memory=7451882158583147350 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3917/stat : 3917 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10919915520 18965 33554432000 4194304 4196468 140722744235472 140370351479952 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3918] ppid=3910 vsize=10663980 memory=7883951728078186582 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3918/stat : 3918 (java) S 3910 3913 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846615 10919915520 18965 33554432000 4194304 4196468 140722744235472 140370350426896 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3919] ppid=3910 vsize=10663980 memory=7524223418081306705 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3919/stat : 3919 (java) S 3910 3913 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846615 10919915520 18965 33554432000 4194304 4196468 140722744235472 140370349374352 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3920] ppid=3910 vsize=10663980 memory=7518026630507423081 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3920/stat : 3920 (java) S 3910 3913 3758 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 414846617 10919915520 18965 33554432000 4194304 4196468 140722744235472 140370237712624 140370745744002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
################
# More data... #
################
/proc/3913/stat : 3913 (java) S 3910 3913 3758 0 -1 1077944320 55001 0 0 0 3082 30 0 0 20 0 16 0 414846614 11006283776 89494 33554432000 4194304 4196468 140722744235472 140722744218016 140370745732855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
/proc/3913/statm: 2687081 89494 3380 1 0 2647217 0
[pid=3913/tid=3915] ppid=3910 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/3913/task/3915/stat : 3915 (java) S 3910 3913 3758 0 -1 1077944384 15314 0 0 0 180 7 0 0 20 0 16 0 414846614 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370749975728 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3916] ppid=3910 vsize=10748324 memory=76636 CPUtime=0.08 cores=0,2,4,6
/proc/3913/task/3916/stat : 3916 (java) S 3910 3913 3758 0 -1 1077944384 321 0 0 0 5 3 0 0 20 0 16 0 414846615 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370352532496 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3917] ppid=3910 vsize=10748324 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3913/task/3917/stat : 3917 (java) S 3910 3913 3758 0 -1 1077944384 240 0 0 0 5 3 0 0 20 0 16 0 414846615 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370351479952 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3918] ppid=3910 vsize=10748324 memory=1056 CPUtime=0.07 cores=0,2,4,6
/proc/3913/task/3918/stat : 3918 (java) S 3910 3913 3758 0 -1 1077944384 1084 0 0 0 4 3 0 0 20 0 16 0 414846615 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370350426896 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3919] ppid=3910 vsize=10748324 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/3913/task/3919/stat : 3919 (java) S 3910 3913 3758 0 -1 1077944384 303 0 0 0 4 3 0 0 20 0 16 0 414846615 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370349374352 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3920] ppid=3910 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3913/task/3920/stat : 3920 (java) S 3910 3913 3758 0 -1 1077944384 1509 0 0 0 1 0 0 0 20 0 16 0 414846617 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370237712624 140370745744002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3921] ppid=3910 vsize=10748324 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3921/stat : 3921 (java) S 3910 3913 3758 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414846617 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370236658912 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3922] ppid=3910 vsize=10748324 memory=164 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3922/stat : 3922 (java) S 3910 3913 3758 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414846617 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370235605760 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3923] ppid=3910 vsize=10748324 memory=3761832769932407527 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3923/stat : 3923 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370234554320 140370745751451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3924] ppid=3910 vsize=10748324 memory=3473599103852120656 CPUtime=2.22 cores=0,2,4,6
/proc/3913/task/3924/stat : 3924 (java) S 3910 3913 3758 0 -1 1077944384 8290 0 0 0 221 1 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370233502448 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3925] ppid=3910 vsize=10748324 memory=3467966301404230903 CPUtime=2.22 cores=0,2,4,6
/proc/3913/task/3925/stat : 3925 (java) S 3910 3913 3758 0 -1 1077944384 7980 0 0 0 222 0 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370232449904 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3926] ppid=3910 vsize=10748324 memory=1084 CPUtime=0.92 cores=0,2,4,6
/proc/3913/task/3926/stat : 3926 (java) S 3910 3913 3758 0 -1 1077944384 8527 0 0 0 91 1 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370231396848 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3927] ppid=3910 vsize=10748324 memory=187 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3927/stat : 3927 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370230344544 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3928] ppid=3910 vsize=10748324 memory=3 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3928/stat : 3928 (java) S 3910 3913 3758 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370229291568 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=4007] ppid=3910 vsize=10748324 memory=3 CPUtime=23.47 cores=0,2,4,6
/proc/3913/task/4007/stat : 4007 (java) R 3910 3913 3758 0 -1 4202560 9453 0 0 0 2342 5 0 0 20 0 16 0 414846804 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370212332240 140370361548633 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
Current children cumulated CPU time: 31.12 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 357976 KiB
[startup+26.8113 s]
# the end of solver process 3913 was just reported to runsolver
# cumulated CPU time of all completed processes: user=32.1555 s, system=0.318222 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.601 s]
/proc/loadavg: 1.92 1.80 1.88 3/229 4166
/proc/meminfo: memFree=25820964/32770624 swapFree=66957012/67108860
[pid=3913] ppid=3910 vsize=10748324 memory=357976 CPUtime=31.22 cores=0,2,4,6
/proc/3913/stat : 3913 (java) S 3910 3913 3758 0 -1 1077944320 55001 0 0 0 3092 30 0 0 20 0 16 0 414846614 11006283776 89494 33554432000 4194304 4196468 140722744235472 140722744218016 140370745732855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
/proc/3913/statm: 2687081 89494 3380 1 0 2647217 0
[pid=3913/tid=3915] ppid=3910 vsize=10748324 memory=2 CPUtime=1.87 cores=0,2,4,6
/proc/3913/task/3915/stat : 3915 (java) S 3910 3913 3758 0 -1 1077944384 15314 0 0 0 180 7 0 0 20 0 16 0 414846614 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370749975728 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3916] ppid=3910 vsize=10748324 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/3913/task/3916/stat : 3916 (java) S 3910 3913 3758 0 -1 1077944384 321 0 0 0 5 3 0 0 20 0 16 0 414846615 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370352532496 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3917] ppid=3910 vsize=10748324 memory=11624 CPUtime=0.08 cores=0,2,4,6
/proc/3913/task/3917/stat : 3917 (java) S 3910 3913 3758 0 -1 1077944384 240 0 0 0 5 3 0 0 20 0 16 0 414846615 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370351479952 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3918] ppid=3910 vsize=10748324 memory=732 CPUtime=0.07 cores=0,2,4,6
/proc/3913/task/3918/stat : 3918 (java) S 3910 3913 3758 0 -1 1077944384 1084 0 0 0 4 3 0 0 20 0 16 0 414846615 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370350426896 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3919] ppid=3910 vsize=10748324 memory=776 CPUtime=0.07 cores=0,2,4,6
/proc/3913/task/3919/stat : 3919 (java) S 3910 3913 3758 0 -1 1077944384 303 0 0 0 4 3 0 0 20 0 16 0 414846615 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370349374352 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3920] ppid=3910 vsize=10748324 memory=1560 CPUtime=0.01 cores=0,2,4,6
/proc/3913/task/3920/stat : 3920 (java) S 3910 3913 3758 0 -1 1077944384 1509 0 0 0 1 0 0 0 20 0 16 0 414846617 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370237712624 140370745744002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3921] ppid=3910 vsize=10748324 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3921/stat : 3921 (java) S 3910 3913 3758 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414846617 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370236658912 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3922] ppid=3910 vsize=10748324 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3922/stat : 3922 (java) S 3910 3913 3758 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414846617 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370235605760 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3923] ppid=3910 vsize=10748324 memory=3905100144432132709 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3923/stat : 3923 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370234554320 140370745751451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3924] ppid=3910 vsize=10748324 memory=7013346442758874224 CPUtime=2.22 cores=0,2,4,6
/proc/3913/task/3924/stat : 3924 (java) S 3910 3913 3758 0 -1 1077944384 8290 0 0 0 221 1 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370233502448 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3925] ppid=3910 vsize=10748324 memory=5792262878946938960 CPUtime=2.22 cores=0,2,4,6
/proc/3913/task/3925/stat : 3925 (java) S 3910 3913 3758 0 -1 1077944384 7980 0 0 0 222 0 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370232449904 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3926] ppid=3910 vsize=10748324 memory=6944656592455360604 CPUtime=0.92 cores=0,2,4,6
/proc/3913/task/3926/stat : 3926 (java) S 3910 3913 3758 0 -1 1077944384 8527 0 0 0 91 1 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370231396848 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3927] ppid=3910 vsize=10748324 memory=20980 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3927/stat : 3927 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370230344544 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3928] ppid=3910 vsize=10748324 memory=4639939496134862184 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3928/stat : 3928 (java) S 3910 3913 3758 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370229291568 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=4007] ppid=3910 vsize=10748324 memory=5789216068120760400 CPUtime=23.57 cores=0,2,4,6
/proc/3913/task/4007/stat : 4007 (java) R 3910 3913 3758 0 -1 4202560 9453 0 0 0 2352 5 0 0 20 0 16 0 414846804 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370212332240 140370361548628 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
Current children cumulated CPU time: 31.22 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 357976 KiB
[startup+26.4008 s]
/proc/loadavg: 1.92 1.80 1.88 5/229 4166
/proc/meminfo: memFree=25815384/32770624 swapFree=66957012/67108860
[pid=3913] ppid=3910 vsize=10748324 memory=357976 CPUtime=32.02 cores=0,2,4,6
/proc/3913/stat : 3913 (java) S 3910 3913 3758 0 -1 1077944320 55003 0 0 0 3172 30 0 0 20 0 16 0 414846614 11006283776 89494 33554432000 4194304 4196468 140722744235472 140722744218016 140370745732855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
/proc/3913/statm: 2687081 89494 3380 1 0 2647217 0
[pid=3913/tid=3915] ppid=3910 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/3913/task/3915/stat : 3915 (java) S 3910 3913 3758 0 -1 1077944384 15314 0 0 0 180 7 0 0 20 0 16 0 414846614 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370749975728 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3916] ppid=3910 vsize=10748324 memory=6944656592452807320 CPUtime=0.08 cores=0,2,4,6
/proc/3913/task/3916/stat : 3916 (java) S 3910 3913 3758 0 -1 1077944384 321 0 0 0 5 3 0 0 20 0 16 0 414846615 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370352532496 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3917] ppid=3910 vsize=10748324 memory=7682475212697334547 CPUtime=0.08 cores=0,2,4,6
/proc/3913/task/3917/stat : 3917 (java) S 3910 3913 3758 0 -1 1077944384 240 0 0 0 5 3 0 0 20 0 16 0 414846615 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370351479952 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3918] ppid=3910 vsize=10748324 memory=-7965959130280075168 CPUtime=0.07 cores=0,2,4,6
/proc/3913/task/3918/stat : 3918 (java) S 3910 3913 3758 0 -1 1077944384 1084 0 0 0 4 3 0 0 20 0 16 0 414846615 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370350426896 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3919] ppid=3910 vsize=10748324 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3913/task/3919/stat : 3919 (java) S 3910 3913 3758 0 -1 1077944384 303 0 0 0 4 3 0 0 20 0 16 0 414846615 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370349374352 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3920] ppid=3910 vsize=10748324 memory=280959044340768 CPUtime=0.01 cores=0,2,4,6
/proc/3913/task/3920/stat : 3920 (java) S 3910 3913 3758 0 -1 1077944384 1509 0 0 0 1 0 0 0 20 0 16 0 414846617 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370237712624 140370745744002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3921] ppid=3910 vsize=10748324 memory=7378801867985746752 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3921/stat : 3921 (java) S 3910 3913 3758 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414846617 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370236658912 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3922] ppid=3910 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3922/stat : 3922 (java) S 3910 3913 3758 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414846617 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370235605760 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3923] ppid=3910 vsize=10748324 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3923/stat : 3923 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370234554320 140370745751451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3924] ppid=3910 vsize=10748324 memory=6100 CPUtime=2.22 cores=0,2,4,6
/proc/3913/task/3924/stat : 3924 (java) S 3910 3913 3758 0 -1 1077944384 8290 0 0 0 221 1 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370233502448 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3925] ppid=3910 vsize=10748324 memory=11624 CPUtime=2.22 cores=0,2,4,6
/proc/3913/task/3925/stat : 3925 (java) S 3910 3913 3758 0 -1 1077944384 7980 0 0 0 222 0 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370232449904 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3926] ppid=3910 vsize=10748324 memory=732 CPUtime=0.92 cores=0,2,4,6
/proc/3913/task/3926/stat : 3926 (java) S 3910 3913 3758 0 -1 1077944384 8527 0 0 0 91 1 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370231396848 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3927] ppid=3910 vsize=10748324 memory=776 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3927/stat : 3927 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370230344544 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3928] ppid=3910 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3928/stat : 3928 (java) S 3910 3913 3758 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 16 0 414846620 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370229291568 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=4007] ppid=3910 vsize=10748324 memory=4008 CPUtime=24.37 cores=0,2,4,6
/proc/3913/task/4007/stat : 4007 (java) R 3910 3913 3758 0 -1 4202560 9455 0 0 0 2432 5 0 0 20 0 16 0 414846804 11006283776 89494 33554432000 4194304 4196468 140722744235472 140370212327088 140370361887658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
Current children cumulated CPU time: 32.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 357976 KiB
[startup+26.8006 s]
/proc/loadavg: 1.92 1.80 1.88 5/229 4166
/proc/meminfo: memFree=25815384/32770624 swapFree=66957012/67108860
[pid=3913] ppid=3910 vsize=10814888 memory=357952 CPUtime=32.46 cores=0,2,4,6
/proc/3913/stat : 3913 (java) S 3910 3913 3758 0 -1 1077944320 55755 0 0 0 3215 31 0 0 20 0 14 0 414846614 11074445312 89488 33554432000 4194304 4196468 140722744235472 140722744218016 140370745732855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
/proc/3913/statm: 2703722 89488 3381 1 0 2663858 0
[pid=3913/tid=3915] ppid=3910 vsize=10814888 memory=7165352523811074102 CPUtime=1.87 cores=0,2,4,6
/proc/3913/task/3915/stat : 3915 (java) S 3910 3913 3758 0 -1 1077944384 15520 0 0 0 180 7 0 0 20 0 14 0 414846614 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370749975696 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3916] ppid=3910 vsize=10814888 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/3913/task/3916/stat : 3916 (java) S 3910 3913 3758 0 -1 1077944384 321 0 0 0 5 3 0 0 20 0 14 0 414846615 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370352532496 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3917] ppid=3910 vsize=10814888 memory=6441925980134674855 CPUtime=0.08 cores=0,2,4,6
/proc/3913/task/3917/stat : 3917 (java) S 3910 3913 3758 0 -1 1077944384 240 0 0 0 5 3 0 0 20 0 14 0 414846615 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370351479952 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3918] ppid=3910 vsize=10814888 memory=6441925975839707559 CPUtime=0.07 cores=0,2,4,6
/proc/3913/task/3918/stat : 3918 (java) S 3910 3913 3758 0 -1 1077944384 1084 0 0 0 4 3 0 0 20 0 14 0 414846615 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370350426896 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3919] ppid=3910 vsize=10814888 memory=270664 CPUtime=0.07 cores=0,2,4,6
/proc/3913/task/3919/stat : 3919 (java) S 3910 3913 3758 0 -1 1077944384 303 0 0 0 4 3 0 0 20 0 14 0 414846615 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370349374352 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3920] ppid=3910 vsize=10814888 memory=270664 CPUtime=0.01 cores=0,2,4,6
/proc/3913/task/3920/stat : 3920 (java) S 3910 3913 3758 0 -1 1077944384 1509 0 0 0 1 0 0 0 20 0 14 0 414846617 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370237712832 140370745744002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3921] ppid=3910 vsize=10814888 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3921/stat : 3921 (java) S 3910 3913 3758 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 14 0 414846617 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370236658912 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3922] ppid=3910 vsize=10814888 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3922/stat : 3922 (java) S 3910 3913 3758 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 14 0 414846617 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370235605760 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3923] ppid=3910 vsize=10814888 memory=8256687574856094425 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3923/stat : 3923 (java) S 3910 3913 3758 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 14 0 414846620 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370234553088 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3924] ppid=3910 vsize=10814888 memory=6943526294502006880 CPUtime=2.24 cores=0,2,4,6
/proc/3913/task/3924/stat : 3924 (java) S 3910 3913 3758 0 -1 1077944384 8390 0 0 0 223 1 0 0 20 0 14 0 414846620 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370233486960 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3925] ppid=3910 vsize=10814888 memory=6943526294502006880 CPUtime=2.23 cores=0,2,4,6
/proc/3913/task/3925/stat : 3925 (java) S 3910 3913 3758 0 -1 1077944384 8000 0 0 0 223 0 0 0 20 0 14 0 414846620 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370232449904 140370745744002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3926] ppid=3910 vsize=10814888 memory=6944656592455097440 CPUtime=0.93 cores=0,2,4,6
/proc/3913/task/3926/stat : 3926 (java) S 3910 3913 3758 0 -1 1077944384 8567 0 0 0 92 1 0 0 20 0 14 0 414846620 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370231392720 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
[pid=3913/tid=3927] ppid=3910 vsize=10814888 memory=-4866526891258710369 CPUtime=0 cores=0,2,4,6
/proc/3913/task/3927/stat : 3927 (java) S 3910 3913 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414846620 11074445312 89488 33554432000 4194304 4196468 140722744235472 140370230344544 140370745743061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35512320 140722744243211 140722744243314 140722744243314 140722744246223 0
Current children cumulated CPU time: 32.46 s
Current children cumulated vsize: 10814888 KiB
Current children cumulated memory: 357952 KiB
Child status: 0
Real time (s): 26.8113
CPU time (s): 32.4737
CPU user time (s): 32.1555
CPU system time (s): 0.318222
CPU usage (%): 121.12
Max. virtual memory (cumulated for all children) (KiB): 10814888
Max. memory (cumulated for all children) (KiB): 357976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.1555
system time used= 0.318222
maximum resident set size= 358252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55801
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= 3872
involuntary context switches= 88
# summary of solver processes directly reported to runsolver:
# pid: 3913
# total CPU time (s): 32.4737
# total CPU user time (s): 32.1555
# total CPU system time (s): 0.318222
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.193029 second user time and 0.306849 second system time
The end