2.41/1.88
2.41/1.88 AbsCon 2
2.65/1.90
3.22/2.13 Instance
3.22/2.13 name=instance-4390512-1568383107, framework=CSP
3.22/2.13
3.22/2.13 Loading variables...
3.22/2.18 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6192c1eb
3.52/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70939f7b
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c117010
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@673c047e
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f1d7036
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42a669df
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76831a4d
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36c28640
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e9846d
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac75a0e
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d081f04
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c55b0bc
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@617bdb20
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4820f645
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b5b6f08
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7669d13e
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@220b0028
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ae3089
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f56c422
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61477494
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19799e42
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d319b4e
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511c5ea7
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42dbbdf6
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@670a6ed6
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36774b5f
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51e07c22
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17eb949b
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66a7eb83
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ea9aca
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f2e6e7d
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4472046b
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d2c1fef
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a14581
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1afc6c82
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66f00d6f
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e05d607
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42543c15
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e30d29
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dc33bfa
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4767f04c
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db0d1e1
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c0951
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64c6cf0e
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77199735
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b4f396f
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22b9519a
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10f303aa
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ee1490
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d7598c
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7630f4eb
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bff523d
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@225a0506
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a47ef7c
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae8a7b8
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7597fb61
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5163594
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@948aae4
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232402dd
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c62522b
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19c63680
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497e9a7f
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4419f722
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65cbb652
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fa292fd
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2429c666
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7579a90a
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476d106b
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea81cb5
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@537c4c35
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c275f3
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76ce2ae
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@662d52b8
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30afb745
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ace2a05
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@757197c2
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@586f3cfa
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5150f151
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f1b19e
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d666bf1
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77f201a8
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@449f5e50
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e19b237
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e24d5e6
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ca0847d
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fccef31
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7643ac
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@331b61b
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@440dcfa7
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@721f4d38
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a8c524a
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf59dc5
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb9c95
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a641c08
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22451cb4
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@106500fd
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795ce0e4
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5526ed2a
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fc5eefa
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@634ecfc3
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51f1792b
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c44e8a8
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6875a2d8
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@529b50fc
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c90615
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367c5521
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43ff95b1
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e9af1bf
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74873f8d
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c27ace4
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a9baec
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@302edbc5
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb6c474
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53babc74
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3248df4d
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4404d271
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@412e2b10
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d64db31
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79fc3256
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35736564
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3317a00e
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fc06059
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30d4f679
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e646b80
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ebd801a
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@169fb3c
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@143f9c09
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@333e7504
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e008b80
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75610225
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@257e8938
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53719cc2
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f4cb275
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3828876f
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa1b889
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454bc64c
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2101f145
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22308bb0
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619c9a4d
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c35f339
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@684f1ef7
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15867298
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d9d7158
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72a396d3
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22f42255
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@211634b4
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@abf1d72
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce3619f
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14c1bdf6
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfeece2
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59b525a3
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d9307d8
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5b16d4
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c266f57
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ba3081
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4d9526
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3825b3e5
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bd9c12a
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43d2bffd
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aa813c4
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4636551a
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@595efebc
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54edaf44
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e2750f1
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a95222a
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794efdf4
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30ac35fe
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77731ff3
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b19cca1
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6adb0f04
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d357b61
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aff4d1a
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42f5cbb7
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c5361f2
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed5ad26
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26724407
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cf076d5
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d810d3
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ceff31e
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@391d5417
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0468eb
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a81f67c
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a2c07da
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b7591eb
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e80b3b
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d0e671b
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1159b1c0
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f69af41
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dfc7b0f
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5772d783
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ecc7e2
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f10c308
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@930e6c
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a1e315
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@274ddbe6
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62658538
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e8e89c3
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@778e2000
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@657810a7
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b560591
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e189b4
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e6a540
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f7db0f
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75169cc
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34616393
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a7b667d
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c1720
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173bcacf
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c5d2791
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a13be
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5465b2ae
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b1f3697
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a80daa
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cd25cf7
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4984c1
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d75f0
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63975f2f
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ddca32
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf4f7ec
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31906267
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52f92285
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2104db27
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3848c
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a4fb35
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf59c45
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a18dfbe
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63e15e99
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@563e6c9
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28254086
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a73944e
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47db0bb0
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@227a2855
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a0b4060
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55ba1ec9
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b89c6c
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cbd467a
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e54059a
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43adb7da
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68ef3817
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e63af59
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7582a17f
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309fa34b
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@545d36ed
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a585ed
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ad79def
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54dd0238
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54c8bb92
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f65bd86
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f7132e7
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33e94de1
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3738c5
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6147bc19
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60cc75e2
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67b1ccf9
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a031dfc
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@485a3fe0
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b447f28
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c5a2973
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ed7fde4
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@385d694
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4712bdd6
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fee98d2
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213680fd
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e5894e5
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b2e6e68
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92c7dc3
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ead3899
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e413e80
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d2bc41e
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245f3cd
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e928b2
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a0fede
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30414317
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f052ecc
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67f153cb
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7851f266
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fdf1b20
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7017757b
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eff4273
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51977720
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e599542
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc937b0
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@385baf84
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@707aa2c5
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49be9306
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b60365f
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bbe8c6e
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1101e65b
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70101ee7
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3afd6c5a
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24c2be8b
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5256b9fe
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c55f846
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3301ea13
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22b0636f
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3379314e
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e969f72
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b3a493f
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f889be9
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78e7aa7c
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1937b657
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2697fe64
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4917a6d9
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3beed4b
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b801ec7
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f468590
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f405f
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@769cb337
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ad3939
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@572d9b21
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a1520ed
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39154e91
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@334f6c96
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737f29a8
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ab2c92f
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1cfb60
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b10c662
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f8916c
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35aab87b
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9028a2
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15c1428f
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@266a54ab
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef6f1f4
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fc812b0
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67a657ea
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d71b21f
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75928fb8
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c027aff
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39ac5137
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7456461a
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60132dbd
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d440ce7
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4af696
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41c4cd9f
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@525569b
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7884e776
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6223e6ee
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7985d523
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d16c64
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8eeee9
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f1ead86
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47cb8496
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@159537ce
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e5a77d7
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63389ae3
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e295b10
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5902f4f7
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d64fd66
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395d07a6
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a8e50
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15dac89c
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45142b99
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e865e33
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d8a7300
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23919392
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@220ed070
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5324d07d
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ea2d01b
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5137fa4b
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b27ce4f
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a4a1029
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35a7e1f
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@379e4067
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45a540c4
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33b49b43
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32beb317
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303acc11
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39bfc14f
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61d7df14
3.52/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2feea360
3.52/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a13fa1
3.52/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e0bfa5d
3.52/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23d3360e
3.52/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cee10f
3.52/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ae3ea8
3.52/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2749abcc
3.52/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5433a002
3.52/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32483176
3.52/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5289446d
3.52/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56c840cd
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ba94cdb
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a5ad420
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36058a2c
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@750507b0
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d544d8
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5371389a
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c3a1138
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd8808a
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b7a8740
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b487f87
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ce0cf1a
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd126d
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@352ed8a6
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a1f047a
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b43a98
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@691dd71e
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6afb4514
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fceaef9
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@568e5be3
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45668ed1
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c7d679a
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4859a599
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@447d1f57
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dea7fba
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d6e764b
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@864c365
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d9c2ba2
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e606145
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@373baf05
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151cefb5
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@664d9938
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24e1e81
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@266baf6f
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd40858
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31e171fe
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645f2da
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@237c6bd8
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14af7711
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@984f64e
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77b24ad3
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23065db1
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b8920a4
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6071c566
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cc224d2
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c7ac15e
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aa98cf3
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3108977b
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66c2aaed
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ec0bb8a
3.78/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4f04d7
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c712275
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d42de82
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@496ddc09
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@112a4bfe
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b6cb53c
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ba90f17
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c24c282
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@194d3ffc
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b65eaae
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b5836ef
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@467cea48
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@251f1d52
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34295042
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@359dc93
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e395395
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40978294
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116bb0a5
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b92a52e
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45cb8ed2
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@449f2f90
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5a4abb
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb796c4
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42330b44
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d00227c
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7059b662
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f31e578
3.78/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffbb7be
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d388127
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1adcaaca
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5002eb
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79913855
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64927e1f
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303498f3
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b71e583
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55627479
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d47c130
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d596b2
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fffb35c
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@228bade9
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79ba42bc
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201492f1
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba395aa
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cc8bf58
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173f9906
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f574f4e
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@467cb8c0
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@450b9dba
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c469fa0
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e85d7d
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72663d00
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16228915
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ab184b
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6916af31
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d8728c
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742254c
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19ba3476
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f54851f
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1933e834
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e0b704b
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a20f029
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@796aecaf
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed66990
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eed6d5a
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43038de4
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e9c2a8
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@377ddf75
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53a8ef69
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b8f1ec
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2652e215
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f888
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f142a57
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fd0e222
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46565a4b
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592b8fbf
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11455317
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3062644c
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4035a8b7
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cc1807c
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56613f14
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f66a731
3.78/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69c3b8f2
3.78/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cbba34a
3.78/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4390bc32
3.78/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@321269d7
3.78/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4746d417
3.78/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34330a55
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4891989e
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dce376
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ec4a4c
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a554bf4
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476ad19c
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9c861a7
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79cf95b
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e009ba
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f9309f7
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6977d000
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a96e011
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216a491b
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dfa1d97
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bc410d2
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39ce9f09
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47e52c45
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77639cc7
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72713dcc
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60ac63f9
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e1071e
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@581592c5
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50194c9
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62b10a7
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d3df89
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18d01444
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62808848
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38d8d483
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56bb7594
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c886896
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a0ea562
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31078da3
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a831cc1
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d1ba37b
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a9c301
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@642556c4
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dd11448
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1e1649
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d8796b1
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c4640d4
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3894007a
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13d1ec1
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29fa2280
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4251016a
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20b0f0d1
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fa811d9
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11cd4036
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b5b6f66
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a4ff05
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26716710
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64ef341b
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6793bdd8
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac8224a
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52998a56
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a1b19b1
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18f31da5
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ea4f69e
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fcd9939
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8c5f8e
3.78/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e80ca53
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f5a82e7
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66f211d5
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e70327
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4def7ffe
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2105873c
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13fddad
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763fad79
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74d7515a
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7340c46d
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67ca9f07
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1597e637
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@451b7f7f
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d031dd
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39357c8e
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@749b6b4f
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@191069dc
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52499ecf
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee134e6
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b9a0ec
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bbf4098
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f5aa0ca
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@726dbe43
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1be46685
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b650be2
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@448c13b0
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac9bc11
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d77c7a
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd2baa8
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@447ce48d
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239739c5
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72f06219
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c90002c
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e7d5ce
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21a4bdf1
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a4b1df3
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69c2571c
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419a162f
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e311994
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d6cc2f8
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78305eba
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7fd9e4
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57373205
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fd0f38b
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f1bd3b8
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50339094
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e0e778
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cdae212
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31df7003
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@212990d0
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a2afc6f
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c342ccc
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f992ab8
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac3ebc
3.78/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58aad700
3.78/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dce2bea
3.78/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8f7b32
3.78/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@606a7285
3.78/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8444a8c
3.78/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@be28a71
3.78/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@376ecc38
3.78/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6963e425
4.14/2.43
4.14/2.43
4.14/2.43 Domains
4.14/2.43 nTypes=2, nValues=3600, sizes=[2#500,26#100]
4.14/2.43 Variables
4.14/2.43 count=600, degrees=[2#100,3#5,4#5,5#6...49#2,50#2,51#3,52#3]
4.14/2.43 Constraints
4.14/2.43 count=737, nSpecific=737, arities=[2#99,3#196,4#1,5#194...96#1,97#2,98#1,100#6]
4.14/2.43 distribution=[CardinalityConstant#1,CtrExtensionCT-Table#100,SumSimpleGE#149,SumSimpleLE#487]
4.14/2.43 tables=[26#100], nTotalTuples=2600
4.14/2.43 nExtStructures=(1,shared:99)
4.14/2.43 wck=0.573, cpu=2.397, mem=45M9
4.14/2.45 Solver SolverBacktrack being built...
4.14/2.45
4.14/2.47
4.14/2.47 Solver
4.14/2.47 guaranteedGAC=true
4.14/2.47 wck=0.622, cpu=2.444, mem=60M936
4.14/2.49
4.14/2.49 Preprocessing
4.14/2.49 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.14/2.49 wck=0.018, cpu=2.464, mem=60M936
4.14/2.49
4.40/2.58 num=0, depth=5..18, filters=2293, wck=0.104, mem=63M579
4.40/2.58 decisions=37, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.40/2.58 nFilterCalls=1366, avgTableProportion=0.9615384615384789, avgTableSize=25.0
4.40/2.58
4.71/2.61 num=1, depth=38..40, filters=2562, wck=0.136, mem=63M579
4.71/2.61 decisions=102, wrong=23, backtracks=2, failedAssignments=21, nogoods=13
4.71/2.61 nFilterCalls=1828, avgTableProportion=0.9615384615385011, avgTableSize=25.0
4.71/2.61
4.71/2.65 num=2, depth=27..34, filters=2834, wck=0.169, mem=63M579
4.71/2.65 decisions=173, wrong=44, backtracks=11, failedAssignments=33, nogoods=15
4.71/2.65 nFilterCalls=2213, avgTableProportion=0.9615384615385124, avgTableSize=25.0
4.71/2.65
4.71/2.69 num=3, depth=12..57, filters=3388, wck=0.211, mem=63M579
4.71/2.69 decisions=275, wrong=70, backtracks=33, failedAssignments=46, nogoods=20
4.71/2.69 nFilterCalls=2615, avgTableProportion=0.9615384615385207, avgTableSize=25.0
4.71/2.69
5.02/2.70 num=4, depth=14..21, filters=3862, wck=0.224, mem=63M579
5.02/2.70 decisions=351, wrong=100, backtracks=55, failedAssignments=60, nogoods=22
5.02/2.70 nFilterCalls=2852, avgTableProportion=0.9615384615385245, avgTableSize=25.0
5.02/2.70
5.02/2.71 num=5, depth=10..19, filters=4560, wck=0.236, mem=63M579
5.02/2.71 decisions=425, wrong=132, backtracks=78, failedAssignments=76, nogoods=23
5.02/2.71 nFilterCalls=3150, avgTableProportion=0.9615384615385285, avgTableSize=25.0
5.02/2.71
5.02/2.73 num=6, depth=11..21, filters=5120, wck=0.25, mem=63M579
5.02/2.73 decisions=508, wrong=167, backtracks=105, failedAssignments=93, nogoods=25
5.02/2.73 nFilterCalls=3445, avgTableProportion=0.9615384615385317, avgTableSize=25.0
5.02/2.73
5.02/2.74 num=7, depth=9..16, filters=5642, wck=0.266, mem=63M579
5.02/2.74 decisions=615, wrong=215, backtracks=146, failedAssignments=112, nogoods=28
5.02/2.74 nFilterCalls=3718, avgTableProportion=0.9615384615385343, avgTableSize=25.0
5.02/2.74
5.02/2.76 num=8, depth=7..16, filters=6357, wck=0.28, mem=63M579
5.02/2.76 decisions=706, wrong=257, backtracks=178, failedAssignments=133, nogoods=29
5.02/2.76 nFilterCalls=4052, avgTableProportion=0.961538461538537, avgTableSize=25.0
5.02/2.76
5.02/2.79 num=9, depth=8..77, filters=7534, wck=0.313, mem=63M579
5.02/2.79 decisions=849, wrong=292, backtracks=194, failedAssignments=156, nogoods=40
5.02/2.79 nFilterCalls=4844, avgTableProportion=0.9615384615384869, avgTableSize=25.0
5.02/2.79
5.33/2.84 num=10, depth=37..50, filters=12401, wck=0.363, mem=63M579
5.33/2.84 decisions=998, wrong=346, backtracks=226, failedAssignments=181, nogoods=42
5.33/2.84 nFilterCalls=7262, avgTableProportion=0.961538461538362, avgTableSize=25.0
5.33/2.84
5.33/2.88 num=11, depth=24..52, filters=16898, wck=0.404, mem=66M221
5.33/2.88 decisions=1132, wrong=401, backtracks=254, failedAssignments=209, nogoods=43
5.33/2.88 nFilterCalls=9286, avgTableProportion=0.9615384615383824, avgTableSize=25.0
5.33/2.88
5.64/2.92 num=12, depth=27..59, filters=20775, wck=0.448, mem=66M221
5.64/2.92 decisions=1306, wrong=460, backtracks=284, failedAssignments=240, nogoods=46
5.64/2.92 nFilterCalls=10919, avgTableProportion=0.961538461538478, avgTableSize=25.0
5.64/2.92
5.64/2.96 num=13, depth=27..60, filters=23533, wck=0.481, mem=66M221
5.64/2.96 decisions=1463, wrong=525, backtracks=317, failedAssignments=274, nogoods=48
5.64/2.96 nFilterCalls=12162, avgTableProportion=0.9615384615385335, avgTableSize=25.0
5.64/2.96
5.64/2.98 num=14, depth=30..55, filters=24904, wck=0.502, mem=66M221
5.64/2.98 decisions=1641, wrong=598, backtracks=360, failedAssignments=311, nogoods=52
5.64/2.98 nFilterCalls=12825, avgTableProportion=0.9615384615385587, avgTableSize=25.0
5.64/2.98
5.98/3.01 num=15, depth=8..22, filters=25972, wck=0.523, mem=66M221
5.98/3.01 decisions=1845, wrong=696, backtracks=440, failedAssignments=352, nogoods=53
5.98/3.01 nFilterCalls=13260, avgTableProportion=0.9615384615385739, avgTableSize=25.0
5.98/3.01
5.98/3.03 num=16, depth=8..51, filters=27841, wck=0.549, mem=68M864
5.98/3.03 decisions=2065, wrong=790, backtracks=501, failedAssignments=397, nogoods=57
5.98/3.03 nFilterCalls=14004, avgTableProportion=0.9615384615385977, avgTableSize=25.0
5.98/3.03
5.98/3.06 num=17, depth=9..24, filters=30111, wck=0.581, mem=68M864
5.98/3.06 decisions=2286, wrong=896, backtracks=577, failedAssignments=447, nogoods=59
5.98/3.06 nFilterCalls=15103, avgTableProportion=0.9615384615386284, avgTableSize=25.0
5.98/3.06
5.98/3.08 num=18, depth=3..17, filters=31425, wck=0.605, mem=68M864
5.98/3.08 decisions=2516, wrong=1009, backtracks=659, failedAssignments=502, nogoods=61
5.98/3.08 nFilterCalls=15626, avgTableProportion=0.9615384615386416, avgTableSize=25.0
5.98/3.08
6.22/3.12 num=19, depth=7..90, filters=33369, wck=0.649, mem=68M864
6.22/3.12 decisions=2813, wrong=1115, backtracks=716, failedAssignments=563, nogoods=67
6.22/3.12 nFilterCalls=16754, avgTableProportion=0.9615384615386672, avgTableSize=25.0
6.22/3.12
6.22/3.16 num=20, depth=16..31, filters=35471, wck=0.684, mem=68M864
6.22/3.16 decisions=3168, wrong=1283, backtracks=857, failedAssignments=630, nogoods=71
6.22/3.16 nFilterCalls=17688, avgTableProportion=0.9615384615386857, avgTableSize=25.0
6.22/3.16
6.22/3.20 num=21, depth=14..96, filters=37404, wck=0.719, mem=68M864
6.22/3.20 decisions=3546, wrong=1430, backtracks=980, failedAssignments=704, nogoods=75
6.22/3.20 nFilterCalls=18742, avgTableProportion=0.9615384615387046, avgTableSize=25.0
6.22/3.20
6.36/3.24 num=22, depth=19..117, filters=40965, wck=0.764, mem=71M506
6.36/3.24 decisions=3958, wrong=1585, backtracks=1096, failedAssignments=785, nogoods=89
6.36/3.24 nFilterCalls=20652, avgTableProportion=0.9615384615387339, avgTableSize=25.0
6.36/3.24
6.46/3.30 num=23, depth=7..23, filters=46040, wck=0.821, mem=71M506
6.46/3.30 decisions=4339, wrong=1772, backtracks=1216, failedAssignments=874, nogoods=90
6.46/3.30 nFilterCalls=23154, avgTableProportion=0.961538461538765, avgTableSize=25.0
6.46/3.30
6.46/3.35 num=24, depth=9..80, filters=49614, wck=0.87, mem=71M506
6.46/3.35 decisions=4850, wrong=1998, backtracks=1389, failedAssignments=972, nogoods=95
6.46/3.35 nFilterCalls=24831, avgTableProportion=0.9615384615387823, avgTableSize=25.0
6.46/3.35
6.57/3.40 num=25, depth=27..72, filters=56409, wck=0.924, mem=74M149
6.57/3.40 decisions=5337, wrong=2218, backtracks=1532, failedAssignments=1080, nogoods=102
6.57/3.40 nFilterCalls=28277, avgTableProportion=0.9615384615388114, avgTableSize=25.0
6.57/3.40
6.57/3.48 num=26, depth=49..131, filters=60977, wck=1.002, mem=74M149
6.57/3.48 decisions=6022, wrong=2501, backtracks=1767, failedAssignments=1199, nogoods=112
6.57/3.48 nFilterCalls=30683, avgTableProportion=0.9615384615388278, avgTableSize=25.0
6.57/3.48
6.67/3.54 num=27, depth=4..42, filters=64466, wck=1.059, mem=74M149
6.67/3.54 decisions=6563, wrong=2755, backtracks=1946, failedAssignments=1330, nogoods=116
6.67/3.54 nFilterCalls=32422, avgTableProportion=0.9615384615388383, avgTableSize=25.0
6.67/3.54
6.77/3.63 num=28, depth=9..126, filters=74091, wck=1.155, mem=74M149
6.77/3.63 decisions=7196, wrong=3026, backtracks=2118, failedAssignments=1474, nogoods=143
6.77/3.63 nFilterCalls=37537, avgTableProportion=0.961538461538863, avgTableSize=25.0
6.77/3.63
6.88/3.75 num=29, depth=8..84, filters=87382, wck=1.272, mem=76M791
6.88/3.75 decisions=7983, wrong=3388, backtracks=2414, failedAssignments=1632, nogoods=158
6.88/3.75 nFilterCalls=44442, avgTableProportion=0.9615384615388877, avgTableSize=25.0
6.88/3.75
6.99/3.86 num=30, depth=5..110, filters=98468, wck=1.386, mem=79M433
6.99/3.86 decisions=8792, wrong=3756, backtracks=2708, failedAssignments=1806, nogoods=175
6.99/3.86 nFilterCalls=50534, avgTableProportion=0.9615384615389038, avgTableSize=25.0
6.99/3.86
7.17/3.98 num=31, depth=24..86, filters=110089, wck=1.505, mem=79M433
7.17/3.98 decisions=9619, wrong=4155, backtracks=2966, failedAssignments=1997, nogoods=178
7.17/3.98 nFilterCalls=56712, avgTableProportion=0.9615384615389165, avgTableSize=25.0
7.17/3.98
7.31/4.07 num=32, depth=15..30, filters=117499, wck=1.598, mem=82M76
7.31/4.07 decisions=10580, wrong=4625, backtracks=3332, failedAssignments=2208, nogoods=182
7.31/4.07 nFilterCalls=61009, avgTableProportion=0.9615384615389239, avgTableSize=25.0
7.31/4.07
7.54/4.23 num=33, depth=6..99, filters=134107, wck=1.751, mem=84M718
7.54/4.23 decisions=11690, wrong=5145, backtracks=3726, failedAssignments=2440, nogoods=196
7.54/4.23 nFilterCalls=69604, avgTableProportion=0.9615384615387848, avgTableSize=25.0
7.54/4.23
7.64/4.35 num=34, depth=9..79, filters=143880, wck=1.87, mem=84M718
7.64/4.35 decisions=12830, wrong=5686, backtracks=4147, failedAssignments=2695, nogoods=208
7.64/4.35 nFilterCalls=74923, avgTableProportion=0.961538461538285, avgTableSize=25.0
7.64/4.35
7.75/4.46 num=35, depth=6..76, filters=151947, wck=1.988, mem=87M361
7.75/4.46 decisions=14118, wrong=6297, backtracks=4623, failedAssignments=2976, nogoods=218
7.75/4.46 nFilterCalls=78492, avgTableProportion=0.9615384615379876, avgTableSize=25.0
7.75/4.46
7.97/4.63 num=36, depth=4..111, filters=166103, wck=2.158, mem=87M361
7.97/4.63 decisions=15454, wrong=6926, backtracks=5089, failedAssignments=3285, nogoods=239
7.97/4.63 nFilterCalls=86013, avgTableProportion=0.9615384615374418, avgTableSize=25.0
7.97/4.63
8.27/4.95 num=37, depth=11..95, filters=214806, wck=2.478, mem=92M646
8.27/4.95 decisions=17085, wrong=7709, backtracks=5733, failedAssignments=3625, nogoods=260
8.27/4.95 nFilterCalls=112213, avgTableProportion=0.9615384615361118, avgTableSize=25.0
8.27/4.95
8.57/5.22 num=38, depth=42..112, filters=245018, wck=2.747, mem=95M288
8.57/5.22 decisions=18808, wrong=8533, backtracks=6452, failedAssignments=3999, nogoods=285
8.57/5.22 nFilterCalls=128910, avgTableProportion=0.9615384615355462, avgTableSize=25.0
8.57/5.22
8.77/5.47 num=39, depth=34..92, filters=285735, wck=2.992, mem=100M573
8.77/5.47 decisions=20638, wrong=9419, backtracks=7175, failedAssignments=4410, nogoods=298
8.77/5.47 nFilterCalls=152889, avgTableProportion=0.9615384615349502, avgTableSize=25.0
8.77/5.47
8.97/5.68 num=40, depth=24..64, filters=337306, wck=3.205, mem=108M500
8.97/5.68 decisions=22506, wrong=10336, backtracks=7906, failedAssignments=4862, nogoods=307
8.97/5.68 nFilterCalls=181237, avgTableProportion=0.9615384615344489, avgTableSize=25.0
8.97/5.68
9.38/6.05 num=41, depth=30..107, filters=379009, wck=3.571, mem=111M143
9.38/6.05 decisions=24763, wrong=11436, backtracks=8798, failedAssignments=5359, nogoods=321
9.38/6.05 nFilterCalls=202812, avgTableProportion=0.9615384615341612, avgTableSize=25.0
9.38/6.05
9.68/6.40 num=42, depth=31..95, filters=445122, wck=3.92, mem=119M70
9.68/6.40 decisions=27167, wrong=12605, backtracks=9746, failedAssignments=5906, nogoods=328
9.68/6.40 nFilterCalls=240799, avgTableProportion=0.9615384615337801, avgTableSize=25.0
9.68/6.40
10.09/6.73 num=43, depth=24..138, filters=493671, wck=4.253, mem=124M355
10.09/6.73 decisions=30046, wrong=14005, backtracks=10799, failedAssignments=6508, nogoods=345
10.09/6.73 nFilterCalls=267799, avgTableProportion=0.9615384615335749, avgTableSize=25.0
10.09/6.73
10.50/7.13 num=44, depth=13..143, filters=547014, wck=4.656, mem=129M640
10.50/7.13 decisions=32908, wrong=15381, backtracks=11735, failedAssignments=7170, nogoods=377
10.50/7.13 nFilterCalls=295025, avgTableProportion=0.9615384615356154, avgTableSize=25.0
10.50/7.13
10.89/7.54 num=45, depth=9..108, filters=591965, wck=5.064, mem=134M925
10.89/7.54 decisions=36132, wrong=16960, backtracks=12940, failedAssignments=7898, nogoods=393
10.89/7.54 nFilterCalls=320964, avgTableProportion=0.9615384615376547, avgTableSize=25.0
10.89/7.54
11.55/8.13 num=46, depth=31..114, filters=685481, wck=5.649, mem=29M310
11.55/8.13 decisions=39848, wrong=18776, backtracks=14304, failedAssignments=8699, nogoods=410
11.55/8.13 nFilterCalls=369761, avgTableProportion=0.9615384615407156, avgTableSize=25.0
11.55/8.13
11.84/8.47 num=47, depth=9..95, filters=722255, wck=5.998, mem=31M926
11.84/8.47 decisions=43484, wrong=20559, backtracks=15721, failedAssignments=9580, nogoods=431
11.84/8.47 nFilterCalls=388668, avgTableProportion=0.961538461541695, avgTableSize=25.0
11.84/8.47
12.24/8.86 num=48, depth=15..87, filters=791638, wck=6.381, mem=42M390
12.24/8.86 decisions=47388, wrong=22485, backtracks=17247, failedAssignments=10550, nogoods=454
12.24/8.86 nFilterCalls=424008, avgTableProportion=0.9615384615432915, avgTableSize=25.0
12.24/8.86
12.84/9.42 num=49, depth=17..129, filters=836439, wck=6.947, mem=47M622
12.84/9.42 decisions=52030, wrong=24764, backtracks=18858, failedAssignments=11617, nogoods=476
12.84/9.42 nFilterCalls=446668, avgTableProportion=0.9615384615441822, avgTableSize=25.0
12.84/9.42
13.64/10.26 num=50, depth=19..120, filters=952648, wck=7.784, mem=58M86
13.64/10.26 decisions=57626, wrong=27522, backtracks=20928, failedAssignments=12790, nogoods=497
13.64/10.26 nFilterCalls=506957, avgTableProportion=0.9615384615461643, avgTableSize=25.0
13.64/10.26
15.34/11.90 num=51, depth=33..68, filters=1260817, wck=9.428, mem=94M710
15.34/11.90 decisions=63302, wrong=30338, backtracks=22828, failedAssignments=14081, nogoods=504
15.34/11.90 nFilterCalls=675683, avgTableProportion=0.9615384615385957, avgTableSize=25.0
15.34/11.90
16.64/13.26 num=52, depth=33..99, filters=1423677, wck=10.786, mem=110M406
16.64/13.26 decisions=69906, wrong=33606, backtracks=25529, failedAssignments=15501, nogoods=516
16.64/13.26 nFilterCalls=769885, avgTableProportion=0.9615384615341964, avgTableSize=25.0
16.64/13.26
17.24/13.88 num=53, depth=9..93, filters=1516937, wck=11.405, mem=120M870
17.24/13.88 decisions=76665, wrong=36964, backtracks=28338, failedAssignments=17063, nogoods=530
17.24/13.88 nFilterCalls=816748, avgTableProportion=0.9615384615323859, avgTableSize=25.0
17.24/13.88
18.24/14.90 num=54, depth=23..131, filters=1629220, wck=12.419, mem=131M334
18.24/14.90 decisions=83810, wrong=40490, backtracks=30952, failedAssignments=18781, nogoods=554
18.24/14.90 nFilterCalls=875309, avgTableProportion=0.9615384615303958, avgTableSize=25.0
18.24/14.90
20.87/17.43 num=55, depth=24..98, filters=1969547, wck=14.956, mem=37M236
20.87/17.43 decisions=93256, wrong=45184, backtracks=34855, failedAssignments=20671, nogoods=564
20.87/17.43 nFilterCalls=1054857, avgTableProportion=0.9615384615256717, avgTableSize=25.0
20.87/17.43
23.07/19.66 num=56, depth=36..114, filters=2353163, wck=17.189, mem=76M614
23.07/19.66 decisions=103624, wrong=50331, backtracks=39390, failedAssignments=22750, nogoods=570
23.07/19.66 nFilterCalls=1257482, avgTableProportion=0.9615384615219609, avgTableSize=25.0
23.07/19.66
24.07/20.67 num=57, depth=32..96, filters=2446544, wck=18.197, mem=87M115
24.07/20.67 decisions=113981, wrong=55484, backtracks=43815, failedAssignments=25037, nogoods=577
24.07/20.67 nFilterCalls=1302537, avgTableProportion=0.9615384615212925, avgTableSize=25.0
24.07/20.67
25.48/22.09 num=58, depth=9..90, filters=2612573, wck=19.617, mem=108M117
25.48/22.09 decisions=125076, wrong=61003, backtracks=48001, failedAssignments=27553, nogoods=588
25.48/22.09 nFilterCalls=1387809, avgTableProportion=0.9615384615201465, avgTableSize=25.0
25.48/22.09
27.59/24.18 num=59, depth=26..126, filters=2788193, wck=21.705, mem=118M618
27.59/24.18 decisions=137203, wrong=67029, backtracks=52189, failedAssignments=30321, nogoods=599
27.59/24.18 nFilterCalls=1473882, avgTableProportion=0.9615384615191243, avgTableSize=25.0
27.59/24.18
29.39/25.90 num=60, depth=9..106, filters=3024513, wck=23.421, mem=142M245
29.39/25.90 decisions=149831, wrong=73309, backtracks=57713, failedAssignments=33365, nogoods=620
29.39/25.90 nFilterCalls=1597751, avgTableProportion=0.9615384615178464, avgTableSize=25.0
29.39/25.90
33.35/29.83 num=61, depth=20..98, filters=3594953, wck=27.35, mem=68M884
33.35/29.83 decisions=165485, wrong=81105, backtracks=64477, failedAssignments=36714, nogoods=631
33.35/29.83 nFilterCalls=1901455, avgTableProportion=0.9615384615154179, avgTableSize=25.0
33.35/29.83
36.58/33.03 num=62, depth=28..103, filters=4051674, wck=30.559, mem=110M984
36.58/33.03 decisions=182572, wrong=89616, backtracks=71709, failedAssignments=40398, nogoods=647
36.58/33.03 nFilterCalls=2137565, avgTableProportion=0.9615384615140066, avgTableSize=25.0
36.58/33.03
40.37/36.83 num=63, depth=29..130, filters=4534360, wck=34.353, mem=158M347
40.37/36.83 decisions=202195, wrong=99386, backtracks=80225, failedAssignments=44450, nogoods=661
40.37/36.83 nFilterCalls=2400167, avgTableProportion=0.9615384615127632, avgTableSize=25.0
40.37/36.83
43.90/40.31 num=64, depth=29..175, filters=5019982, wck=37.831, mem=78M675
43.90/40.31 decisions=222938, wrong=109693, backtracks=88415, failedAssignments=48907, nogoods=685
43.90/40.31 nFilterCalls=2658087, avgTableProportion=0.9615384615117811, avgTableSize=25.0
43.90/40.31
47.11/43.55 num=65, depth=39..182, filters=5491518, wck=41.07, mem=122M762
47.11/43.55 decisions=243838, wrong=120076, backtracks=96067, failedAssignments=53810, nogoods=709
47.11/43.55 nFilterCalls=2903608, avgTableProportion=0.9615384615110083, avgTableSize=25.0
47.11/43.55
51.95/48.33 num=66, depth=26..109, filters=6036527, wck=45.851, mem=67M795
51.95/48.33 decisions=266966, wrong=131618, backtracks=104615, failedAssignments=59204, nogoods=715
51.95/48.33 nFilterCalls=3191201, avgTableProportion=0.9615384615102542, avgTableSize=25.0
51.95/48.33
55.55/51.92 num=67, depth=22..126, filters=6457253, wck=49.44, mem=108M658
55.55/51.92 decisions=294189, wrong=145199, backtracks=115970, failedAssignments=65137, nogoods=730
55.55/51.92 nFilterCalls=3415983, avgTableProportion=0.9615384615097533, avgTableSize=25.0
55.55/51.92
58.95/55.37 num=68, depth=5..121, filters=6808526, wck=52.895, mem=152M77
58.95/55.37 decisions=323567, wrong=159850, backtracks=127997, failedAssignments=71663, nogoods=746
58.95/55.37 nFilterCalls=3610210, avgTableProportion=0.9615384615093707, avgTableSize=25.0
58.95/55.37
63.79/60.17 num=69, depth=4..105, filters=7321430, wck=57.695, mem=82M298
63.79/60.17 decisions=359187, wrong=177625, backtracks=142023, failedAssignments=78842, nogoods=759
63.79/60.17 nFilterCalls=3869112, avgTableProportion=0.9615384615089204, avgTableSize=25.0
63.79/60.17
70.22/66.51 num=70, depth=16..102, filters=8256376, wck=64.036, mem=54M239
70.22/66.51 decisions=396309, wrong=196161, backtracks=158320, failedAssignments=86739, nogoods=764
70.22/66.51 nFilterCalls=4363716, avgTableProportion=0.9615384615083836, avgTableSize=25.0
70.22/66.51
77.83/74.03 num=71, depth=27..119, filters=9291165, wck=71.558, mem=39M196
77.83/74.03 decisions=437223, wrong=216582, backtracks=176623, failedAssignments=95426, nogoods=781
77.83/74.03 nFilterCalls=4931532, avgTableProportion=0.9615384615613386, avgTableSize=25.0
77.83/74.03
83.72/79.95 num=72, depth=32..139, filters=10044394, wck=77.47, mem=104M846
83.72/79.95 decisions=480037, wrong=237944, backtracks=192026, failedAssignments=104981, nogoods=801
83.72/79.95 nFilterCalls=5319849, avgTableProportion=0.9615384615910446, avgTableSize=25.0
83.72/79.95
90.86/87.03 num=73, depth=31..132, filters=11115675, wck=84.551, mem=96M381
90.86/87.03 decisions=527821, wrong=261801, backtracks=213285, failedAssignments=115492, nogoods=818
90.86/87.03 nFilterCalls=5900255, avgTableProportion=0.9615384616281554, avgTableSize=25.0
90.86/87.03
98.99/95.17 num=74, depth=48..164, filters=12160409, wck=92.692, mem=88M400
98.99/95.17 decisions=578101, wrong=286899, backtracks=233615, failedAssignments=127054, nogoods=835
98.99/95.17 nFilterCalls=6475553, avgTableProportion=0.9615384616583745, avgTableSize=25.0
98.99/95.17
105.42/101.50 num=75, depth=11..115, filters=12898089, wck=99.024, mem=59M624
105.42/101.50 decisions=631777, wrong=313730, backtracks=255396, failedAssignments=139772, nogoods=840
105.42/101.50 nFilterCalls=6858825, avgTableProportion=0.9615384616756933, avgTableSize=25.0
105.42/101.50
112.72/108.80 num=76, depth=3..126, filters=13507688, wck=106.326, mem=127M122
112.72/108.80 decisions=691663, wrong=343630, backtracks=276263, failedAssignments=153762, nogoods=857
112.72/108.80 nFilterCalls=7165142, avgTableProportion=0.9615384616882027, avgTableSize=25.0
112.72/108.80
124.96/121.04 num=77, depth=33..107, filters=14863777, wck=118.569, mem=139M551
124.96/121.04 decisions=760382, wrong=377959, backtracks=307203, failedAssignments=169151, nogoods=872
124.96/121.04 nFilterCalls=7919307, avgTableProportion=0.961538461714877, avgTableSize=25.0
124.96/121.04
135.02/131.03 num=78, depth=5..152, filters=15989464, wck=128.551, mem=36M5
135.02/131.03 decisions=837257, wrong=416351, backtracks=335801, failedAssignments=186079, nogoods=898
135.02/131.03 nFilterCalls=8508573, avgTableProportion=0.9615384617324281, avgTableSize=25.0
135.02/131.03
150.88/146.84 num=79, depth=7..123, filters=18220793, wck=144.361, mem=40M301
150.88/146.84 decisions=927694, wrong=461542, backtracks=375759, failedAssignments=204700, nogoods=916
150.88/146.84 nFilterCalls=9690561, avgTableProportion=0.9615384617611984, avgTableSize=25.0
150.88/146.84
163.49/159.41 num=80, depth=4..139, filters=19664862, wck=156.932, mem=74M370
163.49/159.41 decisions=1019047, wrong=507176, backtracks=414725, failedAssignments=225184, nogoods=939
163.49/159.41 nFilterCalls=10492645, avgTableProportion=0.96153846177703, avgTableSize=25.0
163.49/159.41
187.32/183.23 num=81, depth=49..121, filters=23146938, wck=180.758, mem=55M529
187.32/183.23 decisions=1122680, wrong=558954, backtracks=460297, failedAssignments=247716, nogoods=957
187.32/183.23 nFilterCalls=12414853, avgTableProportion=0.9615384618066449, avgTableSize=25.0
187.32/183.23
208.54/204.47 num=82, depth=18..103, filters=26592277, wck=201.992, mem=85M331
208.54/204.47 decisions=1229993, wrong=612585, backtracks=505887, failedAssignments=272501, nogoods=971
208.54/204.47 nFilterCalls=14239742, avgTableProportion=0.9615384618273621, avgTableSize=25.0
208.54/204.47
227.76/223.69 num=83, depth=8..140, filters=28751973, wck=221.21, mem=36M799
227.76/223.69 decisions=1361301, wrong=678211, backtracks=562785, failedAssignments=299765, nogoods=979
227.76/223.69 nFilterCalls=15469154, avgTableProportion=0.9615384618385634, avgTableSize=25.0
227.76/223.69
248.78/244.64 num=84, depth=8..134, filters=31640698, wck=242.166, mem=78M15
248.78/244.64 decisions=1497682, wrong=746358, backtracks=618241, failedAssignments=329755, nogoods=999
248.78/244.64 nFilterCalls=17017406, avgTableProportion=0.9615384618503672, avgTableSize=25.0
248.78/244.64
270.32/266.17 num=85, depth=7..136, filters=34290068, wck=263.694, mem=41M363
270.32/266.17 decisions=1645678, wrong=820313, backtracks=676689, failedAssignments=362744, nogoods=1027
270.32/266.17 nFilterCalls=18460537, avgTableProportion=0.9615384617574537, avgTableSize=25.0
270.32/266.17
293.24/289.07 num=86, depth=10..134, filters=36766659, wck=286.598, mem=40M892
293.24/289.07 decisions=1809185, wrong=902025, backtracks=742038, failedAssignments=399032, nogoods=1061
293.24/289.07 nFilterCalls=19747193, avgTableProportion=0.9615384616498286, avgTableSize=25.0
293.24/289.07
330.97/326.73 num=87, depth=35..140, filters=41361569, wck=324.257, mem=100M23
330.97/326.73 decisions=1997877, wrong=996327, backtracks=827707, failedAssignments=438949, nogoods=1083
330.97/326.73 nFilterCalls=22208609, avgTableProportion=0.9615384614786856, avgTableSize=25.0
330.97/326.73
359.31/355.03 num=88, depth=25..166, filters=44603699, wck=352.553, mem=101M205
359.31/355.03 decisions=2196036, wrong=1095369, backtracks=905221, failedAssignments=482858, nogoods=1103
359.31/355.03 nFilterCalls=23876218, avgTableProportion=0.961538461382788, avgTableSize=25.0
359.31/355.03
408.48/404.17 num=89, depth=62..133, filters=50787607, wck=401.697, mem=73M346
408.48/404.17 decisions=2409929, wrong=1202271, backtracks=996497, failedAssignments=531158, nogoods=1121
408.48/404.17 nFilterCalls=27265527, avgTableProportion=0.9615384612240311, avgTableSize=25.0
408.48/404.17
442.82/438.49 num=90, depth=26..152, filters=54840868, wck=436.01, mem=46M764
442.82/438.49 decisions=2654436, wrong=1324482, backtracks=1095355, failedAssignments=584288, nogoods=1140
442.82/438.49 nFilterCalls=29438291, avgTableProportion=0.9615384611414869, avgTableSize=25.0
442.82/438.49
493.06/488.67 num=91, depth=27..153, filters=60765049, wck=486.196, mem=46M793
493.06/488.67 decisions=2937677, wrong=1466067, backtracks=1217893, failedAssignments=642731, nogoods=1155
493.06/488.67 nFilterCalls=32435187, avgTableProportion=0.9615384610457799, avgTableSize=25.0
493.06/488.67
556.06/551.51 num=92, depth=36..122, filters=68889579, wck=549.038, mem=84M515
556.06/551.51 decisions=3226760, wrong=1610577, backtracks=1342701, failedAssignments=707018, nogoods=1175
556.06/551.51 nFilterCalls=36759866, avgTableProportion=0.9615384611240022, avgTableSize=25.0
556.06/551.51
613.03/608.45 num=93, depth=30..126, filters=75836624, wck=605.979, mem=77M566
613.03/608.45 decisions=3572195, wrong=1783260, backtracks=1491989, failedAssignments=777734, nogoods=1194
613.03/608.45 nFilterCalls=40498658, avgTableProportion=0.9615384613739045, avgTableSize=25.0
613.03/608.45
670.13/665.45 num=94, depth=16..134, filters=84099526, wck=662.97, mem=62M421
670.13/665.45 decisions=3948761, wrong=1971506, backtracks=1656876, failedAssignments=855521, nogoods=1220
670.13/665.45 nFilterCalls=44887872, avgTableProportion=0.9615384616141585, avgTableSize=25.0
670.13/665.45
724.85/720.03 num=95, depth=5..127, filters=90894812, wck=717.553, mem=48M446
724.85/720.03 decisions=4340064, wrong=2167128, backtracks=1821922, failedAssignments=941087, nogoods=1251
724.85/720.03 nFilterCalls=48603979, avgTableProportion=0.9615384617836472, avgTableSize=25.0
724.85/720.03
779.35/774.42 num=96, depth=18..121, filters=98521208, wck=771.939, mem=55M981
779.35/774.42 decisions=4747404, wrong=2370768, backtracks=1995332, failedAssignments=1035210, nogoods=1268
779.35/774.42 nFilterCalls=52744802, avgTableProportion=0.9615384619443741, avgTableSize=25.0
779.35/774.42
863.26/858.25 num=97, depth=28..149, filters=110583945, wck=855.773, mem=56M72
863.26/858.25 decisions=5230866, wrong=2612460, backtracks=2210267, failedAssignments=1138745, nogoods=1295
863.26/858.25 nFilterCalls=59075132, avgTableProportion=0.9615384621465343, avgTableSize=25.0
863.26/858.25
940.15/935.07 num=98, depth=57..187, filters=117105117, wck=932.593, mem=80M961
940.15/935.07 decisions=5722999, wrong=2858474, backtracks=2400720, failedAssignments=1252634, nogoods=1330
940.15/935.07 nFilterCalls=62295619, avgTableProportion=0.9615384622336131, avgTableSize=25.0
940.15/935.07
1061.06/1055.81 num=99, depth=67..164, filters=131811090, wck=1053.335, mem=39M937
1061.06/1055.81 decisions=6304976, wrong=3149412, backtracks=2654665, failedAssignments=1377912, nogoods=1351
1061.06/1055.81 nFilterCalls=70131187, avgTableProportion=0.961538462412079, avgTableSize=25.0
1061.06/1055.81
1148.46/1143.19 num=100, depth=44..187, filters=140103115, wck=1140.719, mem=71M356
1148.46/1143.19 decisions=6880211, wrong=3436980, backtracks=2881634, failedAssignments=1515718, nogoods=1372
1148.46/1143.19 nFilterCalls=74807378, avgTableProportion=0.9615384625007721, avgTableSize=25.0
1148.46/1143.19
1299.09/1293.65 num=101, depth=19..129, filters=160854652, wck=1291.17, mem=69M147
1299.09/1293.65 decisions=7569853, wrong=3781770, backtracks=3182692, failedAssignments=1667304, nogoods=1393
1299.09/1293.65 nFilterCalls=85810604, avgTableProportion=0.9615384626713365, avgTableSize=25.0
1299.09/1293.65
1418.93/1413.30 num=102, depth=11..159, filters=173553066, wck=1410.827, mem=51M899
1418.93/1413.30 decisions=8330326, wrong=4161963, backtracks=3487423, failedAssignments=1834049, nogoods=1425
1418.93/1413.30 nFilterCalls=92654766, avgTableProportion=0.9615384627569938, avgTableSize=25.0
1418.93/1413.30
1598.10/1592.38 num=103, depth=17..128, filters=197505171, wck=1589.906, mem=42M203
1598.10/1592.38 decisions=9227409, wrong=4610473, backtracks=3897408, failedAssignments=2017468, nogoods=1435
1598.10/1592.38 nFilterCalls=105805619, avgTableProportion=0.9615384628904784, avgTableSize=25.0
1598.10/1592.38
1769.96/1764.05 num=104, depth=30..149, filters=219612264, wck=1761.574, mem=49M788
1769.96/1764.05 decisions=10172542, wrong=5083001, backtracks=4292161, failedAssignments=2219229, nogoods=1456
1769.96/1764.05 nFilterCalls=117617513, avgTableProportion=0.9615384629849263, avgTableSize=25.0
1769.96/1764.05
1888.74/1882.70 num=105, depth=41..175, filters=230825148, wck=1880.224, mem=33M653
1888.74/1882.70 decisions=10959105, wrong=5476251, backtracks=4562424, failedAssignments=2441167, nogoods=1478
1888.74/1882.70 nFilterCalls=123740852, avgTableProportion=0.9615384630267918, avgTableSize=25.0
1888.74/1882.70
2157.94/2151.78 num=106, depth=38..125, filters=265630990, wck=2149.303, mem=73M590
2157.94/2151.78 decisions=12039530, wrong=6016434, backtracks=5029806, failedAssignments=2685298, nogoods=1501
2157.94/2151.78 nFilterCalls=142202837, avgTableProportion=0.9615384631311941, avgTableSize=25.0
2157.94/2151.78
2322.98/2316.66 num=107, depth=7..156, filters=284131903, wck=2314.188, mem=43M381
2322.98/2316.66 decisions=13228335, wrong=6610807, backtracks=5524159, failedAssignments=2953843, nogoods=1524
2322.98/2316.66 nFilterCalls=151930639, avgTableProportion=0.9615384631759979, avgTableSize=25.0
2322.98/2316.66
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 (15198 MiB free)
memory of node 1: 16384 MiB (15121 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390512-1568383107/watcher-4390512-1568383107 -o /tmp/evaluation-result-4390512-1568383107/solver-4390512-1568383107 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568380458-20196 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390512-1568383107.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20866, runsolver pid=20863
Current StackSize limit: 8192 KiB
[startup+0.101579 s]*
/proc/loadavg: 1.97 2.02 1.87 4/228 20881
/proc/meminfo: memFree=31031324/32770624 swapFree=66996904/67108860
[pid=20866] ppid=20863 vsize=10659884 memory=28468 CPUtime=0.14 cores=0,2,4,6
/proc/20866/stat : 20866 (java) S 20863 20866 20165 0 -1 1077944320 5594 0 0 0 13 1 0 0 20 0 15 0 414563789 10915721216 7117 33554432000 4194304 4196468 140723949981600 140723949964144 140279574040311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
/proc/20866/statm: 2664971 7117 2900 1 0 2627468 0
[pid=20866/tid=20868] ppid=20863 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=0,2,4,6
/proc/20866/task/20868/stat : 20868 (java) R 20863 20866 20165 0 -1 4202560 3421 0 0 0 8 1 0 0 20 0 15 0 414563790 10915721216 7117 33554432000 4194304 4196468 140723949981600 140279578270752 140279211236960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20869] ppid=20863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20869/stat : 20869 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10915721216 7117 33554432000 4194304 4196468 140723949981600 140279539321744 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20870] ppid=20863 vsize=10659884 memory=140012630035370 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20870/stat : 20870 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10915721216 7117 33554432000 4194304 4196468 140723949981600 140279179488016 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20871] ppid=20863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20871/stat : 20871 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10915721216 7117 33554432000 4194304 4196468 140723949981600 140279178435728 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20872] ppid=20863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20872/stat : 20872 (java) S 20863 20866 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414563791 10915721216 7117 33554432000 4194304 4196468 140723949981600 140279177382928 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20873] ppid=20863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20873/stat : 20873 (java) S 20863 20866 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414563792 10915721216 7117 33554432000 4194304 4196468 140723949981600 140278676572272 140279574051458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20874] ppid=20863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20874/stat : 20874 (java) S 20863 20866 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414563792 10915721216 7117 33554432000 4194304 4196468 140723949981600 140278675518240 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20875] ppid=20863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20875/stat : 20875 (java) S 20863 20866 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414563793 10915721216 7117 33554432000 4194304 4196468 140723949981600 140278674465904 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20876] ppid=20863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20876/stat : 20876 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414563795 10915721216 7117 33554432000 4194304 4196468 140723949981600 140278673414224 140279574058907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20877] ppid=20863 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20866/task/20877/stat : 20877 (java) S 20863 20866 20165 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 15 0 414563795 10915721216 7117 33554432000 4194304 4196468 140723949981600 140278672362096 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20878] ppid=20863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20878/stat : 20878 (java) R 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414563795 10915721216 7117 33554432000 4194304 4196468 140723949981600 140278671309392 140279574050517 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20879] ppid=20863 vsize=10659884 memory=140012626777728 CPUtime=0.02 cores=0,2,4,6
/proc/20866/task/20879/stat : 20879 (java) R 20863 20866 20165 0 -1 4202560 327 0 0 0 2 0 0 0 20 0 15 0 414563795 10915721216 7117 33554432000 4194304 4196468 140723949981600 140278670252768 140279552404987 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20880] ppid=20863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20880/stat : 20880 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414563795 10915721216 7117 33554432000 4194304 4196468 140723949981600 140278669204448 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20881] ppid=20863 vsize=10659884 memory=140012626777728 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20881/stat : 20881 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563796 10915721216 7117 33554432000 4194304 4196468 140723949981600 140278668151216 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28468 KiB
[startup+0.210567 s]*
/proc/loadavg: 1.97 2.02 1.87 3/228 20881
/proc/meminfo: memFree=31021312/32770624 swapFree=66996904/67108860
[pid=20866] ppid=20863 vsize=10659884 memory=35508 CPUtime=0.33 cores=0,2,4,6
/proc/20866/stat : 20866 (java) S 20863 20866 20165 0 -1 1077944320 7000 0 0 0 31 2 0 0 20 0 15 0 414563789 10915721216 8877 33554432000 4194304 4196468 140723949981600 140723949964144 140279574040311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
/proc/20866/statm: 2664971 8877 2989 1 0 2627468 0
[pid=20866/tid=20868] ppid=20863 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/20866/task/20868/stat : 20868 (java) R 20863 20866 20165 0 -1 4202560 3917 0 0 0 19 1 0 0 20 0 15 0 414563790 10915721216 8877 33554432000 4194304 4196468 140723949981600 140279578266672 140279574062237 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20869] ppid=20863 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20869/stat : 20869 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10915721216 8877 33554432000 4194304 4196468 140723949981600 140279539321744 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20870] ppid=20863 vsize=10659884 memory=3834732135812830880 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20870/stat : 20870 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10915721216 8877 33554432000 4194304 4196468 140723949981600 140279179488016 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20871] ppid=20863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20871/stat : 20871 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10915721216 8877 33554432000 4194304 4196468 140723949981600 140279178435728 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20872] ppid=20863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20872/stat : 20872 (java) S 20863 20866 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414563791 10915721216 8877 33554432000 4194304 4196468 140723949981600 140279177382928 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20873] ppid=20863 vsize=10659884 memory=140012626777728 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20873/stat : 20873 (java) S 20863 20866 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414563792 10915721216 8877 33554432000 4194304 4196468 140723949981600 140278676572272 140279574051458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20874] ppid=20863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20874/stat : 20874 (java) S 20863 20866 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414563792 10915721216 8877 33554432000 4194304 4196468 140723949981600 140278675518240 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20875] ppid=20863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20875/stat : 20875 (java) S 20863 20866 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414563793 10915721216 8877 33554432000 4194304 4196468 140723949981600 140278674465904 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20876] ppid=20863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20876/stat : 20876 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414563795 10915721216 8877 33554432000 4194304 4196468 140723949981600 140278673414224 140279574058907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20877] ppid=20863 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20866/task/20877/stat : 20877 (java) S 20863 20866 20165 0 -1 1077944384 687 0 0 0 3 0 0 0 20 0 15 0 414563795 10915721216 8877 33554432000 4194304 4196468 140723949981600 140278672362096 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20878] ppid=20863 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/20866/task/20878/stat : 20878 (java) S 20863 20866 20165 0 -1 1077944384 336 0 0 0 3 0 0 0 20 0 15 0 414563795 10915721216 8877 33554432000 4194304 4196468 140723949981600 140278671309296 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20879] ppid=20863 vsize=10659884 memory=140012626777728 CPUtime=0.05 cores=0,2,4,6
/proc/20866/task/20879/stat : 20879 (java) S 20863 20866 20165 0 -1 1077944384 701 0 0 0 5 0 0 0 20 0 15 0 414563795 10915721216 8877 33554432000 4194304 4196468 140723949981600 140278670257008 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20880] ppid=20863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20880/stat : 20880 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414563795 10915721216 8877 33554432000 4194304 4196468 140723949981600 140278669204448 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20881] ppid=20863 vsize=10659884 memory=140012626777728 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20881/stat : 20881 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563796 10915721216 8877 33554432000 4194304 4196468 140723949981600 140278668151216 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35508 KiB
[startup+0.310148 s]*
/proc/loadavg: 1.97 2.02 1.87 3/228 20881
/proc/meminfo: memFree=31016248/32770624 swapFree=66996904/67108860
[pid=20866] ppid=20863 vsize=10659884 memory=40632 CPUtime=0.47 cores=0,2,4,6
/proc/20866/stat : 20866 (java) S 20863 20866 20165 0 -1 1077944320 9513 0 0 0 44 3 0 0 20 0 15 0 414563789 10915721216 10158 33554432000 4194304 4196468 140723949981600 140723949964144 140279574040311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
/proc/20866/statm: 2664971 10158 3001 1 0 2627468 0
[pid=20866/tid=20868] ppid=20863 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/20866/task/20868/stat : 20868 (java) R 20863 20866 20165 0 -1 4202560 6359 0 0 0 28 2 0 0 20 0 15 0 414563790 10915721216 10158 33554432000 4194304 4196468 140723949981600 140279578261200 140279558120798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20869] ppid=20863 vsize=10659884 memory=4294976387 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20869/stat : 20869 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10915721216 10158 33554432000 4194304 4196468 140723949981600 140279539321744 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20870] ppid=20863 vsize=10659884 memory=3905661630920660640 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20870/stat : 20870 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10915721216 10158 33554432000 4194304 4196468 140723949981600 140279179488016 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20871] ppid=20863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20871/stat : 20871 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10915721216 10158 33554432000 4194304 4196468 140723949981600 140279178435728 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20872] ppid=20863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20872/stat : 20872 (java) S 20863 20866 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414563791 10915721216 10158 33554432000 4194304 4196468 140723949981600 140279177382928 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20873] ppid=20863 vsize=10659884 memory=140012626777728 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20873/stat : 20873 (java) S 20863 20866 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414563792 10915721216 10158 33554432000 4194304 4196468 140723949981600 140278676572272 140279574051458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20874] ppid=20863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20874/stat : 20874 (java) S 20863 20866 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414563792 10915721216 10158 33554432000 4194304 4196468 140723949981600 140278675518240 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20875] ppid=20863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20875/stat : 20875 (java) S 20863 20866 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414563793 10915721216 10158 33554432000 4194304 4196468 140723949981600 140278674465904 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20876] ppid=20863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20876/stat : 20876 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414563795 10915721216 10158 33554432000 4194304 4196468 140723949981600 140278673414224 140279574058907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20877] ppid=20863 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20866/task/20877/stat : 20877 (java) S 20863 20866 20165 0 -1 1077944384 703 0 0 0 4 0 0 0 20 0 15 0 414563795 10915721216 10158 33554432000 4194304 4196468 140723949981600 140278672362096 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20878] ppid=20863 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/20866/task/20878/stat : 20878 (java) S 20863 20866 20165 0 -1 1077944384 367 0 0 0 4 0 0 0 20 0 15 0 414563795 10915721216 10158 33554432000 4194304 4196468 140723949981600 140278671309296 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20879] ppid=20863 vsize=10659884 memory=140012626777728 CPUtime=0.07 cores=0,2,4,6
/proc/20866/task/20879/stat : 20879 (java) R 20863 20866 20165 0 -1 4202560 725 0 0 0 7 0 0 0 20 0 15 0 414563795 10915721216 10158 33554432000 4194304 4196468 140723949981600 140278670251584 140279574061658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20880] ppid=20863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20880/stat : 20880 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414563795 10915721216 10158 33554432000 4194304 4196468 140723949981600 140278669204448 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20881] ppid=20863 vsize=10659884 memory=140012626777728 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20881/stat : 20881 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563796 10915721216 10158 33554432000 4194304 4196468 140723949981600 140278668151216 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40632 KiB
[startup+0.70832 s]
/proc/loadavg: 1.97 2.02 1.87 3/228 20881
/proc/meminfo: memFree=31007120/32770624 swapFree=66996904/67108860
[pid=20866] ppid=20863 vsize=10661932 memory=64168 CPUtime=1.12 cores=0,2,4,6
/proc/20866/stat : 20866 (java) S 20863 20866 20165 0 -1 1077944320 13116 0 0 0 107 5 0 0 20 0 15 0 414563789 10917818368 16042 33554432000 4194304 4196468 140723949981600 140723949964144 140279574040311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
/proc/20866/statm: 2665483 16042 3075 1 0 2627980 0
[pid=20866/tid=20868] ppid=20863 vsize=10661932 memory=39332 CPUtime=0.69 cores=0,2,4,6
/proc/20866/task/20868/stat : 20868 (java) R 20863 20866 20165 0 -1 4202560 8937 0 0 0 65 4 0 0 20 0 15 0 414563790 10917818368 16042 33554432000 4194304 4196468 140723949981600 140279578272336 140279557227149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20869] ppid=20863 vsize=10661932 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20869/stat : 20869 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10917818368 16042 33554432000 4194304 4196468 140723949981600 140279539321744 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20870] ppid=20863 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20870/stat : 20870 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10917818368 16042 33554432000 4194304 4196468 140723949981600 140279179488016 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20871] ppid=20863 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20871/stat : 20871 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10917818368 16042 33554432000 4194304 4196468 140723949981600 140279178435728 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20872] ppid=20863 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20872/stat : 20872 (java) S 20863 20866 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414563791 10917818368 16042 33554432000 4194304 4196468 140723949981600 140279177382928 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20873] ppid=20863 vsize=10661932 memory=2 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20873/stat : 20873 (java) S 20863 20866 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414563792 10917818368 16042 33554432000 4194304 4196468 140723949981600 140278676572272 140279574051458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20874] ppid=20863 vsize=10661932 memory=11 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20874/stat : 20874 (java) S 20863 20866 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414563792 10917818368 16042 33554432000 4194304 4196468 140723949981600 140278675518240 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20875] ppid=20863 vsize=10661932 memory=6 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20875/stat : 20875 (java) S 20863 20866 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414563793 10917818368 16042 33554432000 4194304 4196468 140723949981600 140278674465904 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20876] ppid=20863 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20876/stat : 20876 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414563795 10917818368 16042 33554432000 4194304 4196468 140723949981600 140278673414224 140279574058907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20877] ppid=20863 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/20866/task/20877/stat : 20877 (java) S 20863 20866 20165 0 -1 1077944384 962 0 0 0 11 0 0 0 20 0 15 0 414563795 10917818368 16042 33554432000 4194304 4196468 140723949981600 140278672362096 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20878] ppid=20863 vsize=10661932 memory=2585 CPUtime=0.11 cores=0,2,4,6
/proc/20866/task/20878/stat : 20878 (java) R 20863 20866 20165 0 -1 4202560 686 0 0 0 11 0 0 0 20 0 15 0 414563795 10917818368 16042 33554432000 4194304 4196468 140723949981600 140278671295264 140279553733411 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20879] ppid=20863 vsize=10661932 memory=168308 CPUtime=0.18 cores=0,2,4,6
/proc/20866/task/20879/stat : 20879 (java) S 20863 20866 20165 0 -1 1077944384 1172 0 0 0 18 0 0 0 20 0 15 0 414563795 10917818368 16042 33554432000 4194304 4196468 140723949981600 140278670257008 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20880] ppid=20863 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20880/stat : 20880 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414563795 10917818368 16042 33554432000 4194304 4196468 140723949981600 140278669204448 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20881] ppid=20863 vsize=10661932 memory=5 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20881/stat : 20881 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563796 10917818368 16042 33554432000 4194304 4196468 140723949981600 140278668151216 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64168 KiB
[startup+1.50078 s]
/proc/loadavg: 1.97 2.02 1.87 3/228 20881
/proc/meminfo: memFree=30991300/32770624 swapFree=66996904/67108860
[pid=20866] ppid=20863 vsize=10663980 memory=75880 CPUtime=2.01 cores=0,2,4,6
/proc/20866/stat : 20866 (java) S 20863 20866 20165 0 -1 1077944320 16826 0 0 0 195 6 0 0 20 0 15 0 414563789 10919915520 18970 33554432000 4194304 4196468 140723949981600 140723949964144 140279574040311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
/proc/20866/statm: 2665995 18970 3095 1 0 2628492 0
[pid=20866/tid=20868] ppid=20863 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/20866/task/20868/stat : 20868 (java) R 20863 20866 20165 0 -1 4202560 11604 0 0 0 143 5 0 0 20 0 15 0 414563790 10919915520 18970 33554432000 4194304 4196468 140723949981600 140279578272336 140279558120798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20869] ppid=20863 vsize=10663980 memory=39332 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20869/stat : 20869 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10919915520 18970 33554432000 4194304 4196468 140723949981600 140279539321744 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20870] ppid=20863 vsize=10663980 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20870/stat : 20870 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10919915520 18970 33554432000 4194304 4196468 140723949981600 140279179488016 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20871] ppid=20863 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20871/stat : 20871 (java) S 20863 20866 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414563791 10919915520 18970 33554432000 4194304 4196468 140723949981600 140279178435728 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20872] ppid=20863 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20872/stat : 20872 (java) S 20863 20866 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414563791 10919915520 18970 33554432000 4194304 4196468 140723949981600 140279177382928 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20873] ppid=20863 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20873/stat : 20873 (java) S 20863 20866 20165 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 414563792 10919915520 18970 33554432000 4194304 4196468 140723949981600 140278676572272 140279574051458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
################
# More data... #
################
/proc/20866/task/20872/stat : 20872 (java) S 20863 20866 20165 0 -1 1077944384 2762 0 0 0 88 3 0 0 20 0 16 0 414563791 11006283776 49338 33554432000 4194304 4196468 140723949981600 140279177382928 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20873] ppid=20863 vsize=10748324 memory=197352 CPUtime=0.39 cores=0,2,4,6
/proc/20866/task/20873/stat : 20873 (java) S 20863 20866 20165 0 -1 1077944384 3355 0 0 0 35 4 0 0 20 0 16 0 414563792 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278676572272 140279574051458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20874] ppid=20863 vsize=10748324 memory=197352 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20874/stat : 20874 (java) S 20863 20866 20165 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414563792 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278675518304 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20875] ppid=20863 vsize=10748324 memory=197352 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20875/stat : 20875 (java) S 20863 20866 20165 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414563793 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278674465920 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20876] ppid=20863 vsize=10748324 memory=197352 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20876/stat : 20876 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414563795 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278673414224 140279574058907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20877] ppid=20863 vsize=10748324 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/20866/task/20877/stat : 20877 (java) S 20863 20866 20165 0 -1 1077944384 5207 0 0 0 135 1 0 0 20 0 16 0 414563795 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278672362096 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20878] ppid=20863 vsize=10748324 memory=197352 CPUtime=1.42 cores=0,2,4,6
/proc/20866/task/20878/stat : 20878 (java) S 20863 20866 20165 0 -1 1077944384 6946 0 0 0 141 1 0 0 20 0 16 0 414563795 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278671309296 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20879] ppid=20863 vsize=10748324 memory=197352 CPUtime=0.79 cores=0,2,4,6
/proc/20866/task/20879/stat : 20879 (java) S 20863 20866 20165 0 -1 1077944384 8770 0 0 0 77 2 0 0 20 0 16 0 414563795 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278670257008 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20880] ppid=20863 vsize=10748324 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20880/stat : 20880 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414563795 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278669204448 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20881] ppid=20863 vsize=10748324 memory=39416 CPUtime=0.64 cores=0,2,4,6
/proc/20866/task/20881/stat : 20881 (java) S 20863 20866 20165 0 -1 1077944384 884 0 0 0 26 38 0 0 20 0 16 0 414563796 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278668151216 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20882] ppid=20863 vsize=10748324 memory=3028 CPUtime=2378.62 cores=0,2,4,6
/proc/20866/task/20882/stat : 20882 (java) R 20863 20866 20165 0 -1 4202560 15713 0 0 0 237856 6 0 0 20 0 16 0 414563978 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278667095632 140279217349161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
Current children cumulated CPU time: 2388.82 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197352 KiB
[startup+2442.3 s]
/proc/loadavg: 1.72 1.74 1.77 3/229 21205
/proc/meminfo: memFree=31309544/32770624 swapFree=66996904/67108860
[pid=20866] ppid=20863 vsize=10748324 memory=197352 CPUtime=2448.88 cores=0,2,4,6
/proc/20866/stat : 20866 (java) S 20863 20866 20165 0 -1 1077944320 70240 0 0 0 244829 59 0 0 20 0 16 0 414563789 11006283776 49338 33554432000 4194304 4196468 140723949981600 140723949964144 140279574040311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
/proc/20866/statm: 2687081 49338 3379 1 0 2647217 0
[pid=20866/tid=20868] ppid=20863 vsize=10748324 memory=197352 CPUtime=1.86 cores=0,2,4,6
/proc/20866/task/20868/stat : 20868 (java) S 20863 20866 20165 0 -1 1077944384 13184 0 0 0 180 6 0 0 20 0 16 0 414563790 11006283776 49338 33554432000 4194304 4196468 140723949981600 140279578283184 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20869] ppid=20863 vsize=10748324 memory=197352 CPUtime=0.93 cores=0,2,4,6
/proc/20866/task/20869/stat : 20869 (java) S 20863 20866 20165 0 -1 1077944384 5589 0 0 0 90 3 0 0 20 0 16 0 414563791 11006283776 49338 33554432000 4194304 4196468 140723949981600 140279539321744 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20870] ppid=20863 vsize=10748324 memory=197352 CPUtime=0.92 cores=0,2,4,6
/proc/20866/task/20870/stat : 20870 (java) S 20863 20866 20165 0 -1 1077944384 3007 0 0 0 89 3 0 0 20 0 16 0 414563791 11006283776 49338 33554432000 4194304 4196468 140723949981600 140279179488016 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20871] ppid=20863 vsize=10748324 memory=197352 CPUtime=0.92 cores=0,2,4,6
/proc/20866/task/20871/stat : 20871 (java) S 20863 20866 20165 0 -1 1077944384 3297 0 0 0 88 4 0 0 20 0 16 0 414563791 11006283776 49338 33554432000 4194304 4196468 140723949981600 140279178435728 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20872] ppid=20863 vsize=10748324 memory=197352 CPUtime=0.92 cores=0,2,4,6
/proc/20866/task/20872/stat : 20872 (java) S 20863 20866 20165 0 -1 1077944384 2767 0 0 0 89 3 0 0 20 0 16 0 414563791 11006283776 49338 33554432000 4194304 4196468 140723949981600 140279177382928 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20873] ppid=20863 vsize=10748324 memory=197352 CPUtime=0.4 cores=0,2,4,6
/proc/20866/task/20873/stat : 20873 (java) S 20863 20866 20165 0 -1 1077944384 3374 0 0 0 36 4 0 0 20 0 16 0 414563792 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278676572272 140279574051458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20874] ppid=20863 vsize=10748324 memory=197352 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20874/stat : 20874 (java) S 20863 20866 20165 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414563792 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278675518304 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20875] ppid=20863 vsize=10748324 memory=197352 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20875/stat : 20875 (java) S 20863 20866 20165 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414563793 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278674465920 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20876] ppid=20863 vsize=10748324 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20876/stat : 20876 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414563795 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278673414224 140279574058907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20877] ppid=20863 vsize=10748324 memory=2512 CPUtime=1.36 cores=0,2,4,6
/proc/20866/task/20877/stat : 20877 (java) S 20863 20866 20165 0 -1 1077944384 5209 0 0 0 135 1 0 0 20 0 16 0 414563795 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278672362096 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20878] ppid=20863 vsize=10748324 memory=197352 CPUtime=1.42 cores=0,2,4,6
/proc/20866/task/20878/stat : 20878 (java) S 20863 20866 20165 0 -1 1077944384 6948 0 0 0 141 1 0 0 20 0 16 0 414563795 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278671309296 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20879] ppid=20863 vsize=10748324 memory=197352 CPUtime=0.79 cores=0,2,4,6
/proc/20866/task/20879/stat : 20879 (java) S 20863 20866 20165 0 -1 1077944384 8772 0 0 0 77 2 0 0 20 0 16 0 414563795 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278670257008 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20880] ppid=20863 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20880/stat : 20880 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414563795 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278669204448 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20881] ppid=20863 vsize=10748324 memory=932 CPUtime=0.65 cores=0,2,4,6
/proc/20866/task/20881/stat : 20881 (java) S 20863 20866 20165 0 -1 1077944384 890 0 0 0 26 39 0 0 20 0 16 0 414563796 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278668151216 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20882] ppid=20863 vsize=10748324 memory=197352 CPUtime=2438.58 cores=0,2,4,6
/proc/20866/task/20882/stat : 20882 (java) R 20863 20866 20165 0 -1 4202560 15768 0 0 0 243852 6 0 0 20 0 16 0 414563978 11006283776 49338 33554432000 4194304 4196468 140723949981600 140278667095040 140279217349433 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
Current children cumulated CPU time: 2448.88 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197352 KiB
[startup+2502.3 s]
/proc/loadavg: 1.61 1.71 1.76 3/229 21209
/proc/meminfo: memFree=31309260/32770624 swapFree=66996904/67108860
[pid=20866] ppid=20863 vsize=10748324 memory=197360 CPUtime=2508.92 cores=0,2,4,6
/proc/20866/stat : 20866 (java) S 20863 20866 20165 0 -1 1077944320 70542 0 0 0 250832 60 0 0 20 0 16 0 414563789 11006283776 49340 33554432000 4194304 4196468 140723949981600 140723949964144 140279574040311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
/proc/20866/statm: 2687081 49340 3379 1 0 2647217 0
[pid=20866/tid=20868] ppid=20863 vsize=10748324 memory=197360 CPUtime=1.86 cores=0,2,4,6
/proc/20866/task/20868/stat : 20868 (java) S 20863 20866 20165 0 -1 1077944384 13184 0 0 0 180 6 0 0 20 0 16 0 414563790 11006283776 49340 33554432000 4194304 4196468 140723949981600 140279578283184 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20869] ppid=20863 vsize=10748324 memory=197360 CPUtime=0.94 cores=0,2,4,6
/proc/20866/task/20869/stat : 20869 (java) S 20863 20866 20165 0 -1 1077944384 5618 0 0 0 91 3 0 0 20 0 16 0 414563791 11006283776 49340 33554432000 4194304 4196468 140723949981600 140279539321744 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20870] ppid=20863 vsize=10748324 memory=197360 CPUtime=0.93 cores=0,2,4,6
/proc/20866/task/20870/stat : 20870 (java) S 20863 20866 20165 0 -1 1077944384 3014 0 0 0 90 3 0 0 20 0 16 0 414563791 11006283776 49340 33554432000 4194304 4196468 140723949981600 140279179488016 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20871] ppid=20863 vsize=10748324 memory=197360 CPUtime=0.93 cores=0,2,4,6
/proc/20866/task/20871/stat : 20871 (java) S 20863 20866 20165 0 -1 1077944384 3317 0 0 0 89 4 0 0 20 0 16 0 414563791 11006283776 49340 33554432000 4194304 4196468 140723949981600 140279178435728 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20872] ppid=20863 vsize=10748324 memory=197360 CPUtime=0.94 cores=0,2,4,6
/proc/20866/task/20872/stat : 20872 (java) S 20863 20866 20165 0 -1 1077944384 2775 0 0 0 91 3 0 0 20 0 16 0 414563791 11006283776 49340 33554432000 4194304 4196468 140723949981600 140279177382928 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20873] ppid=20863 vsize=10748324 memory=3504 CPUtime=0.41 cores=0,2,4,6
/proc/20866/task/20873/stat : 20873 (java) S 20863 20866 20165 0 -1 1077944384 3436 0 0 0 37 4 0 0 20 0 16 0 414563792 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278676572272 140279574051458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20874] ppid=20863 vsize=10748324 memory=197360 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20874/stat : 20874 (java) S 20863 20866 20165 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414563792 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278675518304 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20875] ppid=20863 vsize=10748324 memory=197360 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20875/stat : 20875 (java) S 20863 20866 20165 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414563793 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278674465920 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20876] ppid=20863 vsize=10748324 memory=197360 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20876/stat : 20876 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414563795 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278673414224 140279574058907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20877] ppid=20863 vsize=10748324 memory=197360 CPUtime=1.36 cores=0,2,4,6
/proc/20866/task/20877/stat : 20877 (java) S 20863 20866 20165 0 -1 1077944384 5209 0 0 0 135 1 0 0 20 0 16 0 414563795 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278672362096 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20878] ppid=20863 vsize=10748324 memory=3504 CPUtime=1.42 cores=0,2,4,6
/proc/20866/task/20878/stat : 20878 (java) S 20863 20866 20165 0 -1 1077944384 6948 0 0 0 141 1 0 0 20 0 16 0 414563795 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278671309296 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20879] ppid=20863 vsize=10748324 memory=197360 CPUtime=0.79 cores=0,2,4,6
/proc/20866/task/20879/stat : 20879 (java) S 20863 20866 20165 0 -1 1077944384 8773 0 0 0 77 2 0 0 20 0 16 0 414563795 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278670257008 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20880] ppid=20863 vsize=10748324 memory=197360 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20880/stat : 20880 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414563795 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278669204448 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20881] ppid=20863 vsize=10748324 memory=197360 CPUtime=0.67 cores=0,2,4,6
/proc/20866/task/20881/stat : 20881 (java) S 20863 20866 20165 0 -1 1077944384 918 0 0 0 27 40 0 0 20 0 16 0 414563796 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278668151216 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20882] ppid=20863 vsize=10748324 memory=197360 CPUtime=2498.54 cores=0,2,4,6
/proc/20866/task/20882/stat : 20882 (java) R 20863 20866 20165 0 -1 4202560 15915 0 0 0 249848 6 0 0 20 0 16 0 414563978 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278667095040 140279217349423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
Current children cumulated CPU time: 2508.92 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.4 s]
/proc/loadavg: 1.67 1.72 1.76 3/229 21211
/proc/meminfo: memFree=31308872/32770624 swapFree=66996904/67108860
[pid=20866] ppid=20863 vsize=10748324 memory=197360 CPUtime=2520.02 cores=0,2,4,6
/proc/20866/stat : 20866 (java) S 20863 20866 20165 0 -1 1077944320 70545 0 0 0 251942 60 0 0 20 0 16 0 414563789 11006283776 49340 33554432000 4194304 4196468 140723949981600 140723949964144 140279574040311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
/proc/20866/statm: 2687081 49340 3379 1 0 2647217 0
[pid=20866/tid=20868] ppid=20863 vsize=10748324 memory=111628 CPUtime=1.86 cores=0,2,4,6
/proc/20866/task/20868/stat : 20868 (java) S 20863 20866 20165 0 -1 1077944384 13184 0 0 0 180 6 0 0 20 0 16 0 414563790 11006283776 49340 33554432000 4194304 4196468 140723949981600 140279578283184 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20869] ppid=20863 vsize=10748324 memory=796 CPUtime=0.94 cores=0,2,4,6
/proc/20866/task/20869/stat : 20869 (java) S 20863 20866 20165 0 -1 1077944384 5618 0 0 0 91 3 0 0 20 0 16 0 414563791 11006283776 49340 33554432000 4194304 4196468 140723949981600 140279539321744 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20870] ppid=20863 vsize=10748324 memory=1804 CPUtime=0.93 cores=0,2,4,6
/proc/20866/task/20870/stat : 20870 (java) S 20863 20866 20165 0 -1 1077944384 3014 0 0 0 90 3 0 0 20 0 16 0 414563791 11006283776 49340 33554432000 4194304 4196468 140723949981600 140279179488016 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20871] ppid=20863 vsize=10748324 memory=916 CPUtime=0.93 cores=0,2,4,6
/proc/20866/task/20871/stat : 20871 (java) S 20863 20866 20165 0 -1 1077944384 3317 0 0 0 89 4 0 0 20 0 16 0 414563791 11006283776 49340 33554432000 4194304 4196468 140723949981600 140279178435728 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20872] ppid=20863 vsize=10748324 memory=3848 CPUtime=0.94 cores=0,2,4,6
/proc/20866/task/20872/stat : 20872 (java) S 20863 20866 20165 0 -1 1077944384 2775 0 0 0 91 3 0 0 20 0 16 0 414563791 11006283776 49340 33554432000 4194304 4196468 140723949981600 140279177382928 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20873] ppid=20863 vsize=10748324 memory=2920 CPUtime=0.41 cores=0,2,4,6
/proc/20866/task/20873/stat : 20873 (java) S 20863 20866 20165 0 -1 1077944384 3436 0 0 0 37 4 0 0 20 0 16 0 414563792 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278676572272 140279574051458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20874] ppid=20863 vsize=10748324 memory=2616 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20874/stat : 20874 (java) S 20863 20866 20165 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414563792 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278675518304 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20875] ppid=20863 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20875/stat : 20875 (java) S 20863 20866 20165 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414563793 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278674465920 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20876] ppid=20863 vsize=10748324 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20876/stat : 20876 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414563795 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278673414224 140279574058907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20877] ppid=20863 vsize=10748324 memory=14689699524512400 CPUtime=1.36 cores=0,2,4,6
/proc/20866/task/20877/stat : 20877 (java) S 20863 20866 20165 0 -1 1077944384 5209 0 0 0 135 1 0 0 20 0 16 0 414563795 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278672362096 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20878] ppid=20863 vsize=10748324 memory=8560 CPUtime=1.42 cores=0,2,4,6
/proc/20866/task/20878/stat : 20878 (java) S 20863 20866 20165 0 -1 1077944384 6948 0 0 0 141 1 0 0 20 0 16 0 414563795 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278671309296 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20879] ppid=20863 vsize=10748324 memory=1668 CPUtime=0.79 cores=0,2,4,6
/proc/20866/task/20879/stat : 20879 (java) S 20863 20866 20165 0 -1 1077944384 8773 0 0 0 77 2 0 0 20 0 16 0 414563795 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278670257008 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20880] ppid=20863 vsize=10748324 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/20866/task/20880/stat : 20880 (java) S 20863 20866 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414563795 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278669204448 140279574050517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20881] ppid=20863 vsize=10748324 memory=1004 CPUtime=0.68 cores=0,2,4,6
/proc/20866/task/20881/stat : 20881 (java) S 20863 20866 20165 0 -1 1077944384 918 0 0 0 27 41 0 0 20 0 16 0 414563796 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278668151216 140279574051458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
[pid=20866/tid=20882] ppid=20863 vsize=10748324 memory=5948 CPUtime=2509.63 cores=0,2,4,6
/proc/20866/task/20882/stat : 20882 (java) R 20863 20866 20165 0 -1 4202560 15918 0 0 0 250957 6 0 0 20 0 16 0 414563978 11006283776 49340 33554432000 4194304 4196468 140723949981600 140278667095040 140279217338733 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31203328 140723949982731 140723949982834 140723949982834 140723949985743 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.41 s]
# the end of solver process 20866 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.43 s, system=0.609101 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2513.41
CPU time (s): 2520.04
CPU user time (s): 2519.43
CPU system time (s): 0.609101
CPU usage (%): 100.264
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 276716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.43
system time used= 0.609101
maximum resident set size= 277760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66464
involuntary context switches= 3269
# summary of solver processes directly reported to runsolver:
# pid: 20866
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.43
# total CPU system time (s): 0.609101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9995 second user time and 22.8643 second system time
The end