2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.89
2.97/2.10 Instance
2.97/2.10 name=instance-4390659-1568384288, framework=CSP
2.97/2.10
2.97/2.10 Loading variables...
3.33/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3fc62b
3.33/2.15 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f59adb
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44638fff
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5391c438
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd480e4
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b922a1
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51acc96a
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61c88dd3
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3203a192
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af2e621
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e64e1a8
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36de814a
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@188497c0
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44437955
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5d0c41
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@199328ae
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1021c514
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d182c45
3.33/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f0fcfea
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2be76bd9
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eb77aff
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b0efe
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f706a62
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374369e6
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc55ab7
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb65b5
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e2bb8bd
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@607caf42
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58889d3a
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73ce0a90
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@df17874
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d3d6b0
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60a94991
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6dc44d
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@acbcc41
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68630657
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7deb5b
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29d7d9c0
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1696e28b
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69eea49e
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253007a9
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44219f33
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cff4a1e
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54af9be7
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332ec8a7
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d15651c
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@336ae6d1
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d13c79f
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ca022dc
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@670f96ab
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428ff95f
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6161470e
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5783d3d8
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476bb70d
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a4d01e
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4033589c
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2989bdb1
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b2e36c2
3.33/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35cc4d94
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5095421
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6332bc96
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc7cb84
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1102a35a
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6105e822
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11e6d375
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1896e65a
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f217788
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6400a57a
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1345028b
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60652028
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59078dd5
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0fb735
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b28718
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@203f4d91
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@273728cc
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7208eb
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56deda52
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40145341
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492ee12e
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bf75842
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f1c703e
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1114bebc
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62fae898
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70a489e8
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da5d5de
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64531d4e
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498942ab
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a7b18b
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737053d6
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ab7423
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e8e47a0
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c05a893
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4555d5cd
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cd8da31
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fda0564
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc8fcfe
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6486dfc9
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43960f3
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc74b3e
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e1008e1
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bda3d72
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@549c557c
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30faca3d
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16df6a1d
3.33/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64483283
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5448fa6a
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29889525
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43df3781
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d51292
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d132a8
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cdaed76
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cb9528f
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75e5b018
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a6292f
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@349f3f6c
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a590d7c
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56e9bfea
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52aa7975
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5636f708
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d856fe2
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59f99582
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d342909
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b6744a
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27df525d
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34dc4c6a
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@481066dc
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd423a0
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75b4569b
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e24eb54
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48530b4e
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79116941
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1242f360
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@629d37de
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798c643b
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@425f128a
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26cf943a
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a421e07
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48e7504b
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebed5f4
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530b9eb
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be3aee1
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72a0763a
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ed7669
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49e8821c
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee87840
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@af8cba9
3.33/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73a3d55e
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52239b1e
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@556c651e
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502f97ae
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cdcdcff
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e96ce24
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee23588
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b6eed
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@731211ec
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@438a24d5
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae96c5
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f5c1815
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb420aa
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1896eb4e
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a8099
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@320d60f8
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36926b7c
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367b214
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@218f6ba
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4687e3bf
3.33/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c21e6
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7074ab6a
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7185d45b
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14071572
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c8a3c0d
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f161a7c
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71997a4b
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c38e110
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58553834
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@563e70d1
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6757ad70
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@267b1ce5
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb444a4
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3064b52f
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac74718
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31c68b6b
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b99186f
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eb7f594
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@459cc370
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d5c41
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a8d4e0
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bf47aee
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3edf0c00
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68e510ce
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28cd85ce
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69084e52
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@620c3682
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a4371b4
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468fac56
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@604d0e4b
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f999f4f
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6615df36
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a41e1e4
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59e353e1
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eb87aba
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42fb59ad
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bdb64d0
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41625427
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aa77e02
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@420416f5
3.63/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad2d37c
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c7fdbef
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc990b7
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a6e65e
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f687f1
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13e8ec09
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4072bbe9
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d6aa9ce
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea707c7
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bb2458e
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c46ef09
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63fe6bf7
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1837fef2
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb34c14
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b5fec80
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@204830df
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3add516c
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@355e07c1
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fde2821
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160cbc62
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@758c1024
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bea268d
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@680b66e0
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79f05983
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d29cacd
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e6072d
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6a8e74
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4abbd387
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f200e65
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a13e74
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2a5215
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@343de13c
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18566d9d
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e9157fd
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ea4a09
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@228b327d
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68743517
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e1962c3
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f792d6b
3.63/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5909f0b4
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a057aa9
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c585fce
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@491db9b2
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9aaf06a
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b903cf
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc3209e
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4b4f1d
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cc35809
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7516cbfb
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790b3d82
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1180fb46
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fbca44d
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e22b316
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c19f8b
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bb0822
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af9fd4c
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7feeb4
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f69216b
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5293e31a
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1388b86c
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3e51bd
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c41f70f
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7429f75d
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e495af1
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eaec59b
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7d13eb
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11cd46fa
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478a6438
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf9a344
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b2047e
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@800aa35
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6443ef45
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59933fe6
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a69f1e0
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15174c1d
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794cb64d
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a895899
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770367b8
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eda8d4e
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135a594e
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9f7094
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1582f4a5
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@daaf41f
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a8f8ed
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@391c78c9
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140cf39d
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e55aab6
3.63/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71cd8a7
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a82fc7b
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35266b7c
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed27faa
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed45e22
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417e800c
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18834d27
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55240b0d
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c50434
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b704158
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7429b1
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40f59b06
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4860a4cd
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ea2d5ee
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee3f9cd
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef582be
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fece824
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a8829a5
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4c15bc
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c68996
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bb93174
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@364ccd85
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70720fc3
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69ca8728
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee073c8
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d4f61a
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48988506
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c8d76b
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3167834
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36526871
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa04991
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@174fd4c0
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f358e5f
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d3d1e77
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645dab20
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c298fa1
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e91fd50
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30bb1b0b
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54398eb3
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32223717
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737d0497
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@421f1602
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@784faf27
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f549886
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b7a0da
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100bc216
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7915279
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b2fbc0
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@769a54fb
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134acf26
3.63/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6208f993
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@644834f7
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d75e848
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb7fb4f
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2085f8f2
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e159d44
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@80889bd
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17bc74ab
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c4d52d
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d3e1ab
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c447290
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@175f575
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136f8
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45a3033a
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326141f
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290e163a
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a481250
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf20e08
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24611209
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e47c313
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56e78275
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c93b1bd
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4daf5dd9
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45564cdb
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59810004
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328e42c7
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33352b11
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795f162d
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db0497b
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac33038
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e529c12
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e976d8
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f47e86c
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@415e3d9a
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e3ca977
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19eec4ea
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f85a606
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a42a46
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0459db
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e408e72
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b85df5
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e32b8e
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e3c8700
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d837440
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f48fb82
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b5f08f6
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375e71c7
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca19183
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcbdd8e
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7353e9a8
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1322d655
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e41daf0
3.63/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7953eb43
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfbf
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a30376e
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c75dccf
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a1786
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d652c97
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70a76546
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b693b80
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffad8c
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e45463f
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f3ec21
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5346fd
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a8d140
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5667ed51
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1928b568
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5183c0
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6513bf13
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f959ebc
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8e01625
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c948bcd
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67038a99
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24152d8a
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404e254f
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a0dc24
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1202ca67
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f7865a0
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5db4fef6
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f71ce9
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414c0ffb
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b479257
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@91ad552
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ba7418
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11976b14
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18e9501
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2127313c
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c8f11b
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2202074e
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a30054a
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e8c5eb
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3df7784e
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d37bd02
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@152072a4
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cc9607
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f995282
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f8c1ba
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d54110b
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8f2b399
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45c0f463
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54af2ca3
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bfb3ec7
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eeb6a54
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2933913
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78aa9f25
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e6b1cd5
3.63/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ab83cc
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a7dac1
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773b2506
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6846125d
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dbad4f
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411d326d
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fe6fa8
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea79897
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36bd3a2d
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28b24639
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61aa4176
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6974afe9
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fcc96b9
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d39e1c6
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c12453a
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd709d1
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b78c7d
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6802b82a
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bda9794
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cae9853
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6855f8fa
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64a8b2a2
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511ebcb7
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a4f6695
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301aba
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45dae986
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e076f54
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ad73614
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73fe7bfa
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f8b931
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2382efa5
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@676e426e
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b32b37f
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55daa4f0
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3860ba4b
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe56569
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea40068
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4096a5e4
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74807b4
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14cf5471
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55970bee
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41cd725c
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10ac2dfb
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bff1a1e
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfb4400
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa5a13e
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f9d7e5e
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a47b52d
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8cc307
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a84da43
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11810210
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fd4cfd2
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3cdea5
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55092927
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c104e55
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aa542de
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50a0383d
3.63/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2efd9b96
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4480544a
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4e2546
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4830f635
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1282d9fb
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753d1366
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e785f8
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad1ee3c
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24e6ad3f
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65410440
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3693a1f0
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eef2f42
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1962cad8
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dbcb60
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a6d0a0
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375922f
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55706a3b
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bd8365
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46d0f985
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31736d00
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5be26a8d
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@115109ba
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e536e90
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4ba97b
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@225a6cd9
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1545df4d
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26b8687f
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7774d3f7
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab09f65
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71a4a865
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67fc534a
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62e7ab9c
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@236ccccd
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c197de9
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72e8b837
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ac144c6
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32728e6e
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb9cf83
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dade8f6
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61704c4e
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c9113b
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d2a7565
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5adab1a2
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@307c00ff
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49dee83
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cda161
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce669d0
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@408d5322
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b285ee6
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29422b8a
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9d5f5a
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3443626c
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b00fca
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@733e0225
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6eda99
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f8b89df
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@637f4878
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34ba24
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@399096e3
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f36b00b
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b2003dc
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d610d4f
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52e49f5
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d2a2692
3.63/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489d1246
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edcaf57
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d3625f5
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745e0afc
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d7e7f9b
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b70d58b
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7be7d59f
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10660916
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f89bfa8
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58ba5ddd
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e5dfdda
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a42fd6b
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c544dab
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11cc8dfc
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4716595
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a28761
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8d8555
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d10f930
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26aa4ff4
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b043e03
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25e82165
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20feeb9
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f526d10
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33793135
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68edb192
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f07deab
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75b02f3c
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c8bb131
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bbdbcff
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71384f72
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d215424
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7592a78e
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a646c3
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34c2834b
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c3b1700
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f78f29c
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40cfde77
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2094669e
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287f4901
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37583fca
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb04cfd
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18dfe6f
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ea53bf
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8f01d07
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@622f37fd
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b77d62d
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f463d45
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46b50dd6
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7523196
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29b8d3d8
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42320b36
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6714b
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53861007
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75af959f
3.63/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@690fb65d
3.63/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d99f695
3.63/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@574d5c07
3.63/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dfec882
3.63/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d7a5b9
3.63/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fc0b1e8
3.63/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44cb977c
3.63/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346cf346
3.63/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@538b8662
3.63/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457ba18
3.63/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c141da7
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26b03cc8
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109582a8
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e91a373
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cce626e
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22bdd5a6
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7cba0a
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62408d2d
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bf3becd
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20000f8a
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13a31f00
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bd4bbc8
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3521e24
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42fa7c67
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b0bba9d
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42c3d401
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d4ba49
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b50e7f
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c8b9a6f
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7db1d45d
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a096254
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d9e41a
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@102a414b
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6265fa63
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45851448
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41f35df5
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120fbcc4
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54b3301
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b58c81b
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6d7427
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9ff2b
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2027e857
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752947d0
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b637de
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d67fca7
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6361fde8
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a22e8ee
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4863399d
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58586e2d
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25f9a8fc
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe593ee
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dbf7273
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478a7dca
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18938cd9
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1769ab72
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7789242b
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@612368de
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6824df71
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72a744cc
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a4de854
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb5f8d7
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d9360eb
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38473059
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8a1c41
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3694a427
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52abdcb
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25945610
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@310f6830
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f066a1
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@627dc808
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac46859
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b1756d
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ed463e
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29e8f748
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9512283
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@376749e6
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d7a5d2
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f943144
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24813a02
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38d19e5
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e9a9450
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d37104
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ebb0a9e
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ec767e4
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b89e6d
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec4dcfe
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@405be9e7
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78f8b478
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c0b7793
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4eae9e
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d5e8ae1
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417dca05
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74718d5a
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16ce1261
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b55e6df
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@122891d1
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704ac9a4
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c02a18b
3.92/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c00ca0
3.92/2.34
3.92/2.34
3.92/2.34 Domains
3.92/2.34 nTypes=1, nValues=980, sizes=[2#490]
3.92/2.34 Variables
3.92/2.34 count=490, degrees=[3#8,4#8,5#8,6#8...12#8,13#8,14#8,15#56]
3.92/2.34 Constraints
3.92/2.34 count=737, nSpecific=737, arities=[2#253,3#8,4#8,5#346...12#8,13#8,14#56,169#2]
3.92/2.34 distribution=[SumSimpleGE#2,SumSimpleLE#245,SumWeightedGE#490]
3.92/2.34 wck=0.503, cpu=2.31, mem=45M10
3.92/2.35 Solver SolverBacktrack being built...
3.92/2.35
3.92/2.38
3.92/2.38 Solver
3.92/2.38 guaranteedGAC=true
3.92/2.38 wck=0.543, cpu=2.348, mem=58M295
3.92/2.39
3.92/2.39 Preprocessing
3.92/2.39 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.92/2.39 wck=0.006, cpu=2.356, mem=58M295
3.92/2.39
4.22/2.44 num=0, depth=254..288, filters=2033, wck=0.054, mem=58M295
4.22/2.44 decisions=402, wrong=74, backtracks=73, failedAssignments=10, nogoods=1
4.22/2.44
4.22/2.45 num=1, depth=75..119, filters=3067, wck=0.066, mem=58M295
4.22/2.45 decisions=579, wrong=124, backtracks=114, failedAssignments=21, nogoods=10
4.22/2.45
4.22/2.46 num=2, depth=103..110, filters=4524, wck=0.077, mem=58M295
4.22/2.46 decisions=713, wrong=139, backtracks=127, failedAssignments=33, nogoods=13
4.22/2.46
4.22/2.47 num=3, depth=99..108, filters=5869, wck=0.086, mem=58M295
4.22/2.47 decisions=849, wrong=155, backtracks=138, failedAssignments=46, nogoods=18
4.22/2.47
4.22/2.48 num=4, depth=110..120, filters=7008, wck=0.094, mem=58M295
4.22/2.48 decisions=1024, wrong=187, backtracks=168, failedAssignments=60, nogoods=20
4.22/2.48
4.22/2.48 num=5, depth=119..146, filters=8295, wck=0.101, mem=58M295
4.22/2.48 decisions=1253, wrong=242, backtracks=223, failedAssignments=76, nogoods=21
4.22/2.48
4.22/2.49 num=6, depth=188..200, filters=9858, wck=0.109, mem=58M295
4.22/2.49 decisions=1568, wrong=304, backtracks=283, failedAssignments=93, nogoods=24
4.22/2.49
4.52/2.50 num=7, depth=228..241, filters=12131, wck=0.12, mem=58M295
4.52/2.50 decisions=1977, wrong=394, backtracks=371, failedAssignments=112, nogoods=26
4.52/2.50
4.52/2.51 num=8, depth=211..231, filters=13623, wck=0.127, mem=58M295
4.52/2.51 decisions=2295, wrong=444, backtracks=417, failedAssignments=133, nogoods=30
4.52/2.51
4.52/2.52 num=9, depth=195..206, filters=15519, wck=0.134, mem=58M295
4.52/2.52 decisions=2580, wrong=489, backtracks=461, failedAssignments=156, nogoods=32
4.52/2.52
4.52/2.53 num=10, depth=251..271, filters=17821, wck=0.143, mem=58M295
4.52/2.53 decisions=3035, wrong=591, backtracks=559, failedAssignments=181, nogoods=35
4.52/2.53
4.52/2.53 num=11, depth=230..247, filters=20158, wck=0.151, mem=58M295
4.52/2.53 decisions=3457, wrong=682, backtracks=646, failedAssignments=209, nogoods=37
4.52/2.53
4.52/2.54 num=12, depth=228..247, filters=23037, wck=0.16, mem=58M295
4.52/2.54 decisions=3908, wrong=792, backtracks=755, failedAssignments=240, nogoods=40
4.52/2.54
4.52/2.55 num=13, depth=231..252, filters=26658, wck=0.171, mem=58M295
4.52/2.55 decisions=4456, wrong=948, backtracks=907, failedAssignments=274, nogoods=42
4.52/2.55
4.52/2.56 num=14, depth=247..269, filters=30369, wck=0.181, mem=58M295
4.52/2.56 decisions=5037, wrong=1115, backtracks=1075, failedAssignments=311, nogoods=43
4.52/2.56
4.52/2.57 num=15, depth=233..252, filters=33645, wck=0.191, mem=58M295
4.52/2.57 decisions=5532, wrong=1243, backtracks=1200, failedAssignments=352, nogoods=47
4.52/2.57
4.52/2.59 num=16, depth=240..265, filters=38251, wck=0.203, mem=58M295
4.52/2.59 decisions=6202, wrong=1457, backtracks=1411, failedAssignments=397, nogoods=50
4.52/2.59
4.74/2.60 num=17, depth=242..263, filters=43543, wck=0.217, mem=60M937
4.74/2.60 decisions=6914, wrong=1690, backtracks=1641, failedAssignments=447, nogoods=54
4.74/2.60
4.74/2.61 num=18, depth=229..256, filters=49236, wck=0.232, mem=60M937
4.74/2.61 decisions=7650, wrong=1943, backtracks=1890, failedAssignments=502, nogoods=57
4.74/2.61
4.74/2.63 num=19, depth=242..271, filters=56759, wck=0.25, mem=60M937
4.74/2.63 decisions=8544, wrong=2265, backtracks=2211, failedAssignments=563, nogoods=60
4.74/2.63
4.74/2.65 num=20, depth=228..255, filters=65666, wck=0.271, mem=60M937
4.74/2.65 decisions=9600, wrong=2677, backtracks=2628, failedAssignments=630, nogoods=62
4.74/2.65
4.74/2.67 num=21, depth=233..261, filters=73929, wck=0.29, mem=60M937
4.74/2.67 decisions=10541, wrong=3029, backtracks=2978, failedAssignments=704, nogoods=64
4.74/2.67
4.74/2.69 num=22, depth=248..276, filters=82489, wck=0.309, mem=60M937
4.74/2.69 decisions=11615, wrong=3439, backtracks=3385, failedAssignments=785, nogoods=67
4.74/2.69
4.96/2.72 num=23, depth=223..256, filters=95610, wck=0.337, mem=60M937
4.96/2.72 decisions=13054, wrong=4047, backtracks=3995, failedAssignments=874, nogoods=69
4.96/2.72
4.96/2.74 num=24, depth=241..269, filters=104916, wck=0.358, mem=60M937
4.96/2.74 decisions=14163, wrong=4478, backtracks=4424, failedAssignments=972, nogoods=71
4.96/2.74
4.96/2.76 num=25, depth=254..281, filters=115351, wck=0.381, mem=63M580
4.96/2.76 decisions=15388, wrong=4958, backtracks=4903, failedAssignments=1080, nogoods=74
4.96/2.76
4.96/2.79 num=26, depth=247..278, filters=128213, wck=0.409, mem=63M580
4.96/2.79 decisions=16799, wrong=5536, backtracks=5485, failedAssignments=1199, nogoods=77
4.96/2.79
5.08/2.82 num=27, depth=249..281, filters=142502, wck=0.439, mem=63M580
5.08/2.82 decisions=18339, wrong=6179, backtracks=6136, failedAssignments=1330, nogoods=81
5.08/2.82
5.08/2.85 num=28, depth=242..270, filters=157521, wck=0.47, mem=63M580
5.08/2.85 decisions=19957, wrong=6863, backtracks=6821, failedAssignments=1474, nogoods=85
5.08/2.85
5.08/2.89 num=29, depth=248..281, filters=175469, wck=0.506, mem=63M580
5.08/2.89 decisions=21779, wrong=7648, backtracks=7604, failedAssignments=1632, nogoods=88
5.08/2.89
5.20/2.93 num=30, depth=252..283, filters=194615, wck=0.545, mem=66M222
5.20/2.93 decisions=23851, wrong=8554, backtracks=8509, failedAssignments=1806, nogoods=91
5.20/2.93
5.20/2.97 num=31, depth=241..269, filters=215241, wck=0.59, mem=66M222
5.20/2.97 decisions=26066, wrong=9536, backtracks=9493, failedAssignments=1997, nogoods=94
5.20/2.97
5.31/3.02 num=32, depth=250..285, filters=237010, wck=0.635, mem=66M222
5.31/3.02 decisions=28334, wrong=10541, backtracks=10503, failedAssignments=2208, nogoods=97
5.31/3.02
5.31/3.07 num=33, depth=247..281, filters=264335, wck=0.689, mem=68M865
5.31/3.07 decisions=31055, wrong=11776, backtracks=11747, failedAssignments=2440, nogoods=100
5.31/3.07
5.42/3.13 num=34, depth=235..277, filters=291135, wck=0.744, mem=68M865
5.42/3.13 decisions=33710, wrong=12980, backtracks=12969, failedAssignments=2695, nogoods=102
5.42/3.13
5.42/3.19 num=35, depth=247..286, filters=323576, wck=0.808, mem=71M507
5.42/3.19 decisions=36897, wrong=14445, backtracks=14434, failedAssignments=2976, nogoods=105
5.42/3.19
5.51/3.26 num=36, depth=245..282, filters=357368, wck=0.875, mem=71M507
5.51/3.26 decisions=40201, wrong=15974, backtracks=15975, failedAssignments=3285, nogoods=107
5.51/3.26
5.61/3.33 num=37, depth=240..278, filters=393492, wck=0.948, mem=74M150
5.61/3.33 decisions=43954, wrong=17728, backtracks=17748, failedAssignments=3625, nogoods=110
5.61/3.33
5.72/3.41 num=38, depth=240..271, filters=436488, wck=1.032, mem=74M150
5.72/3.41 decisions=48007, wrong=19629, backtracks=19663, failedAssignments=3999, nogoods=114
5.72/3.41
5.82/3.50 num=39, depth=241..283, filters=480631, wck=1.121, mem=76M792
5.82/3.50 decisions=52195, wrong=21598, backtracks=21633, failedAssignments=4410, nogoods=117
5.82/3.50
5.82/3.60 num=40, depth=247..285, filters=528376, wck=1.214, mem=76M792
5.82/3.60 decisions=56788, wrong=23766, backtracks=23807, failedAssignments=4862, nogoods=120
5.82/3.60
6.02/3.70 num=41, depth=241..280, filters=580524, wck=1.317, mem=79M435
6.02/3.70 decisions=61732, wrong=26117, backtracks=26183, failedAssignments=5359, nogoods=124
6.02/3.70
6.13/3.82 num=42, depth=246..286, filters=640983, wck=1.437, mem=82M77
6.13/3.82 decisions=67420, wrong=28836, backtracks=28919, failedAssignments=5906, nogoods=128
6.13/3.82
6.23/3.95 num=43, depth=236..280, filters=704422, wck=1.564, mem=84M719
6.23/3.95 decisions=73514, wrong=31757, backtracks=31854, failedAssignments=6508, nogoods=131
6.23/3.95
6.34/4.08 num=44, depth=237..274, filters=774420, wck=1.702, mem=87M362
6.34/4.08 decisions=80415, wrong=35086, backtracks=35198, failedAssignments=7170, nogoods=135
6.34/4.08
6.53/4.24 num=45, depth=239..283, filters=851930, wck=1.854, mem=90M4
6.53/4.24 decisions=87941, wrong=38726, backtracks=38854, failedAssignments=7898, nogoods=138
6.53/4.24
6.76/4.40 num=46, depth=241..287, filters=937491, wck=2.022, mem=92M647
6.76/4.40 decisions=95760, wrong=42513, backtracks=42670, failedAssignments=8699, nogoods=141
6.76/4.40
6.86/4.58 num=47, depth=242..279, filters=1027094, wck=2.201, mem=95M289
6.86/4.58 decisions=104053, wrong=46535, backtracks=46723, failedAssignments=9580, nogoods=145
6.86/4.58
7.06/4.79 num=48, depth=238..279, filters=1129332, wck=2.406, mem=100M574
7.06/4.79 decisions=113246, wrong=51007, backtracks=51216, failedAssignments=10550, nogoods=150
7.06/4.79
7.37/5.03 num=49, depth=240..281, filters=1247361, wck=2.645, mem=103M217
7.37/5.03 decisions=124329, wrong=56428, backtracks=56671, failedAssignments=11617, nogoods=154
7.37/5.03
7.56/5.28 num=50, depth=229..277, filters=1372807, wck=2.899, mem=108M501
7.56/5.28 decisions=136490, wrong=62392, backtracks=62684, failedAssignments=12790, nogoods=158
7.56/5.28
7.86/5.55 num=51, depth=232..279, filters=1506459, wck=3.173, mem=113M786
7.86/5.55 decisions=149075, wrong=68560, backtracks=68886, failedAssignments=14081, nogoods=161
7.86/5.55
8.18/5.86 num=52, depth=234..288, filters=1658784, wck=3.479, mem=119M71
8.18/5.86 decisions=163290, wrong=75547, backtracks=75935, failedAssignments=15501, nogoods=163
8.18/5.86
8.50/6.19 num=53, depth=234..286, filters=1823311, wck=3.809, mem=124M356
8.50/6.19 decisions=179047, wrong=83301, backtracks=83740, failedAssignments=17063, nogoods=167
8.50/6.19
8.90/6.55 num=54, depth=233..283, filters=2006995, wck=4.171, mem=132M283
8.90/6.55 decisions=196236, wrong=91774, backtracks=92257, failedAssignments=18781, nogoods=170
8.90/6.55
9.30/6.95 num=55, depth=235..282, filters=2214270, wck=4.571, mem=137M568
9.30/6.95 decisions=215441, wrong=101254, backtracks=101793, failedAssignments=20671, nogoods=172
9.30/6.95
9.73/7.38 num=56, depth=233..284, filters=2430336, wck=4.996, mem=24M597
9.73/7.38 decisions=235759, wrong=111284, backtracks=111896, failedAssignments=22750, nogoods=176
9.73/7.38
10.23/7.82 num=57, depth=223..272, filters=2669237, wck=5.438, mem=34M956
10.23/7.82 decisions=258167, wrong=122371, backtracks=123049, failedAssignments=25037, nogoods=180
10.23/7.82
10.73/8.33 num=58, depth=231..285, filters=2945419, wck=5.943, mem=45M314
10.73/8.33 decisions=283878, wrong=135106, backtracks=135869, failedAssignments=27553, nogoods=184
10.73/8.33
11.23/8.85 num=59, depth=228..278, filters=3232702, wck=6.464, mem=55M672
11.23/8.85 decisions=310529, wrong=148301, backtracks=149143, failedAssignments=30321, nogoods=187
11.23/8.85
11.84/9.46 num=60, depth=230..280, filters=3567599, wck=7.077, mem=66M31
11.84/9.46 decisions=341693, wrong=163761, backtracks=164749, failedAssignments=33365, nogoods=193
11.84/9.46
12.75/10.12 num=61, depth=228..280, filters=3924412, wck=7.742, mem=78M978
12.75/10.12 decisions=375810, wrong=180697, backtracks=181826, failedAssignments=36714, nogoods=196
12.75/10.12
13.47/10.82 num=62, depth=227..282, filters=4300744, wck=8.441, mem=91M926
13.47/10.82 decisions=411680, wrong=198515, backtracks=199746, failedAssignments=40398, nogoods=199
13.47/10.82
14.17/11.59 num=63, depth=227..275, filters=4721041, wck=9.21, mem=107M464
14.17/11.59 decisions=451218, wrong=218166, backtracks=219572, failedAssignments=44450, nogoods=203
14.17/11.59
15.08/12.41 num=64, depth=230..284, filters=5166866, wck=10.026, mem=123M1
15.08/12.41 decisions=494076, wrong=239480, backtracks=241042, failedAssignments=48907, nogoods=205
15.08/12.41
15.98/13.34 num=65, depth=228..286, filters=5681215, wck=10.957, mem=141M128
15.98/13.34 decisions=542482, wrong=263562, backtracks=265341, failedAssignments=53810, nogoods=209
15.98/13.34
17.02/14.35 num=66, depth=228..284, filters=6228975, wck=11.97, mem=27M232
17.02/14.35 decisions=594645, wrong=289521, backtracks=291468, failedAssignments=59204, nogoods=214
17.02/14.35
18.12/15.42 num=67, depth=230..288, filters=6815416, wck=13.041, mem=48M97
18.12/15.42 decisions=651066, wrong=317605, backtracks=319706, failedAssignments=65137, nogoods=218
18.12/15.42
19.32/16.65 num=68, depth=220..275, filters=7484872, wck=14.273, mem=71M569
19.32/16.65 decisions=714205, wrong=349054, backtracks=351435, failedAssignments=71663, nogoods=220
19.32/16.65
20.62/17.98 num=69, depth=228..285, filters=8208858, wck=15.602, mem=97M650
20.62/17.98 decisions=783197, wrong=383427, backtracks=386039, failedAssignments=78842, nogoods=225
20.62/17.98
22.03/19.38 num=70, depth=228..281, filters=8964130, wck=17.001, mem=126M339
22.03/19.38 decisions=856481, wrong=419950, backtracks=422806, failedAssignments=86739, nogoods=229
22.03/19.38
23.63/21.00 num=71, depth=224..287, filters=9839600, wck=18.621, mem=25M198
23.63/21.00 decisions=938189, wrong=460689, backtracks=463843, failedAssignments=95426, nogoods=234
23.63/21.00
25.56/22.89 num=72, depth=228..286, filters=10858271, wck=20.506, mem=60M194
25.56/22.89 decisions=1034082, wrong=508511, backtracks=512028, failedAssignments=104981, nogoods=239
25.56/22.89
27.46/24.75 num=73, depth=227..287, filters=11858118, wck=22.37, mem=95M191
27.46/24.75 decisions=1128734, wrong=555712, backtracks=559577, failedAssignments=115492, nogoods=244
27.46/24.75
29.56/26.89 num=74, depth=223..284, filters=13025871, wck=24.503, mem=136M551
29.56/26.89 decisions=1238978, wrong=610710, backtracks=614941, failedAssignments=127054, nogoods=248
29.56/26.89
31.96/29.21 num=75, depth=222..282, filters=14274775, wck=26.832, mem=181M92
31.96/29.21 decisions=1357566, wrong=669888, backtracks=674591, failedAssignments=139772, nogoods=254
31.96/29.21
34.50/31.74 num=76, depth=224..283, filters=15614316, wck=29.353, mem=69M17
34.50/31.74 decisions=1487423, wrong=734687, backtracks=739759, failedAssignments=153762, nogoods=258
34.50/31.74
37.40/34.60 num=77, depth=219..283, filters=17188744, wck=32.219, mem=125M329
37.40/34.60 decisions=1635323, wrong=808517, backtracks=814053, failedAssignments=169151, nogoods=262
37.40/34.60
40.53/37.72 num=78, depth=220..286, filters=18869926, wck=35.341, mem=28M242
40.53/37.72 decisions=1795462, wrong=888461, backtracks=894522, failedAssignments=186079, nogoods=265
40.53/37.72
44.03/41.25 num=79, depth=219..283, filters=20738461, wck=38.864, mem=92M750
44.03/41.25 decisions=1975499, wrong=978357, backtracks=985125, failedAssignments=204700, nogoods=270
44.03/41.25
48.03/45.20 num=80, depth=216..287, filters=22878193, wck=42.816, mem=166M473
48.03/45.20 decisions=2177846, wrong=1079418, backtracks=1087019, failedAssignments=225184, nogoods=272
48.03/45.20
52.06/49.28 num=81, depth=218..282, filters=25097992, wck=46.902, mem=91M635
52.06/49.28 decisions=2389774, wrong=1185262, backtracks=1193581, failedAssignments=247716, nogoods=277
52.06/49.28
56.70/53.81 num=82, depth=219..279, filters=27553476, wck=51.425, mem=28M63
56.70/53.81 decisions=2626223, wrong=1303365, backtracks=1312528, failedAssignments=272501, nogoods=280
56.70/53.81
61.92/59.02 num=83, depth=217..285, filters=30385773, wck=56.635, mem=126M187
61.92/59.02 decisions=2892316, wrong=1436285, backtracks=1446481, failedAssignments=299765, nogoods=284
61.92/59.02
67.32/64.49 num=84, depth=216..278, filters=33340491, wck=62.111, mem=80M610
67.32/64.49 decisions=3175349, wrong=1577685, backtracks=1588910, failedAssignments=329755, nogoods=289
67.32/64.49
73.23/70.33 num=85, depth=219..280, filters=36494121, wck=67.949, mem=48M31
73.23/70.33 decisions=3479216, wrong=1729506, backtracks=1741839, failedAssignments=362744, nogoods=292
73.23/70.33
80.04/77.14 num=86, depth=215..281, filters=40191897, wck=74.759, mem=33M468
80.04/77.14 decisions=3835344, wrong=1907457, backtracks=1921404, failedAssignments=399032, nogoods=296
80.04/77.14
87.45/84.54 num=87, depth=214..277, filters=44177659, wck=82.156, mem=35M979
87.45/84.54 decisions=4219517, wrong=2099430, backtracks=2114962, failedAssignments=438949, nogoods=302
87.45/84.54
95.26/92.38 num=88, depth=215..280, filters=48415500, wck=89.993, mem=46M540
95.26/92.38 decisions=4624526, wrong=2301821, backtracks=2318979, failedAssignments=482858, nogoods=306
95.26/92.38
104.46/101.51 num=89, depth=213..278, filters=53430924, wck=99.13, mem=83M591
104.46/101.51 decisions=5101157, wrong=2540023, backtracks=2559408, failedAssignments=531158, nogoods=311
104.46/101.51
114.47/111.52 num=90, depth=212..279, filters=58852053, wck=109.135, mem=140M537
114.47/111.52 decisions=5614694, wrong=2796677, backtracks=2818212, failedAssignments=584288, nogoods=317
114.47/111.52
125.39/122.42 num=91, depth=212..279, filters=64696487, wck=120.039, mem=88M517
125.39/122.42 decisions=6168096, wrong=3073260, backtracks=3097111, failedAssignments=642731, nogoods=323
125.39/122.42
137.60/134.60 num=92, depth=211..278, filters=71101620, wck=132.222, mem=59M252
137.60/134.60 decisions=6777978, wrong=3378085, backtracks=3404801, failedAssignments=707018, nogoods=326
137.60/134.60
151.21/148.22 num=93, depth=210..284, filters=78172254, wck=145.843, mem=65M138
151.21/148.22 decisions=7459883, wrong=3718925, backtracks=3748519, failedAssignments=777734, nogoods=332
151.21/148.22
166.63/163.65 num=94, depth=207..279, filters=86209237, wck=161.264, mem=108M36
166.63/163.65 decisions=8214306, wrong=4096029, backtracks=4129107, failedAssignments=855521, nogoods=337
166.63/163.65
183.84/180.85 num=95, depth=204..279, filters=95222449, wck=178.463, mem=77M961
183.84/180.85 decisions=9071526, wrong=4524529, backtracks=4561446, failedAssignments=941087, nogoods=340
183.84/180.85
202.36/199.33 num=96, depth=207..282, filters=104865753, wck=196.947, mem=86M278
202.36/199.33 decisions=10002408, wrong=4989857, backtracks=5030427, failedAssignments=1035210, nogoods=345
202.36/199.33
222.09/219.04 num=97, depth=207..280, filters=115221924, wck=216.661, mem=30M504
222.09/219.04 decisions=10995204, wrong=5486143, backtracks=5530394, failedAssignments=1138745, nogoods=351
222.09/219.04
244.02/240.94 num=98, depth=206..280, filters=126694218, wck=238.559, mem=37M885
244.02/240.94 decisions=12088392, wrong=6032629, backtracks=6081570, failedAssignments=1252634, nogoods=357
244.02/240.94
267.35/264.23 num=99, depth=207..284, filters=138748192, wck=261.844, mem=84M941
267.35/264.23 decisions=13254011, wrong=6615326, backtracks=6668203, failedAssignments=1377912, nogoods=362
267.35/264.23
293.39/290.30 num=100, depth=208..278, filters=152411785, wck=287.914, mem=29M453
293.39/290.30 decisions=14586801, wrong=7281609, backtracks=7339761, failedAssignments=1515718, nogoods=368
293.39/290.30
321.52/318.30 num=101, depth=207..278, filters=166979260, wck=315.915, mem=43M208
321.52/318.30 decisions=15990091, wrong=7983143, backtracks=8047275, failedAssignments=1667304, nogoods=374
321.52/318.30
354.28/351.07 num=102, depth=203..279, filters=184031134, wck=348.687, mem=90M597
354.28/351.07 decisions=17634280, wrong=8805127, backtracks=8877033, failedAssignments=1834049, nogoods=379
354.28/351.07
389.05/385.72 num=103, depth=203..277, filters=202079664, wck=383.342, mem=58M54
389.05/385.72 decisions=19372452, wrong=9674103, backtracks=9752300, failedAssignments=2017468, nogoods=384
389.05/385.72
425.91/422.56 num=104, depth=205..281, filters=221394459, wck=420.182, mem=50M248
425.91/422.56 decisions=21241989, wrong=10608764, backtracks=10694320, failedAssignments=2219229, nogoods=390
425.91/422.56
471.19/467.70 num=105, depth=197..279, filters=245033936, wck=465.315, mem=56M764
471.19/467.70 decisions=23479800, wrong=11727557, backtracks=11822108, failedAssignments=2441167, nogoods=395
471.19/467.70
518.09/514.56 num=106, depth=198..281, filters=269440403, wck=512.175, mem=73M525
518.09/514.56 decisions=25822738, wrong=12898917, backtracks=13002200, failedAssignments=2685298, nogoods=401
518.09/514.56
567.69/564.09 num=107, depth=201..283, filters=295149034, wck=561.711, mem=58M339
567.69/564.09 decisions=28326414, wrong=14150634, backtracks=14261317, failedAssignments=2953843, nogoods=407
567.69/564.09
621.80/618.10 num=108, depth=201..282, filters=323044045, wck=615.713, mem=57M275
621.80/618.10 decisions=31075782, wrong=15525209, backtracks=15646483, failedAssignments=3249242, nogoods=413
621.80/618.10
682.41/678.52 num=109, depth=201..278, filters=354636988, wck=676.134, mem=76M740
682.41/678.52 decisions=34095891, wrong=17035148, backtracks=17166064, failedAssignments=3574181, nogoods=419
682.41/678.52
750.43/746.42 num=110, depth=193..283, filters=390269541, wck=744.039, mem=62M725
750.43/746.42 decisions=37445778, wrong=18709992, backtracks=18850613, failedAssignments=3931614, nogoods=427
750.43/746.42
819.94/815.84 num=111, depth=198..283, filters=426438977, wck=813.46, mem=33M588
819.94/815.84 decisions=40970274, wrong=20472129, backtracks=20622375, failedAssignments=4324790, nogoods=432
819.94/815.84
887.94/883.78 num=112, depth=208..282, filters=461858277, wck=881.394, mem=55M214
887.94/883.78 decisions=44416500, wrong=22195125, backtracks=22349091, failedAssignments=4757284, nogoods=438
887.94/883.78
971.87/967.50 num=113, depth=199..279, filters=505235618, wck=965.119, mem=48M758
971.87/967.50 decisions=48697826, wrong=24335678, backtracks=24504856, failedAssignments=5233028, nogoods=444
971.87/967.50
1071.51/1067.01 num=114, depth=191..281, filters=556938921, wck=1064.629, mem=63M895
1071.51/1067.01 decisions=53701934, wrong=26837615, backtracks=27026442, failedAssignments=5756346, nogoods=448
1071.51/1067.01
1178.03/1173.41 num=115, depth=191..283, filters=612258300, wck=1171.023, mem=42M310
1178.03/1173.41 decisions=59048493, wrong=29510793, backtracks=29717181, failedAssignments=6331996, nogoods=453
1178.03/1173.41
1297.68/1292.92 num=116, depth=186..279, filters=674326467, wck=1290.54, mem=27M206
1297.68/1292.92 decisions=65049424, wrong=32511156, backtracks=32740007, failedAssignments=6965211, nogoods=461
1297.68/1292.92
1426.41/1421.59 num=117, depth=191..288, filters=741147230, wck=1419.204, mem=29M391
1426.41/1421.59 decisions=71472112, wrong=35722392, backtracks=35972695, failedAssignments=7661747, nogoods=467
1426.41/1421.59
1564.97/1559.93 num=118, depth=191..283, filters=812511688, wck=1557.55, mem=56M416
1564.97/1559.93 decisions=78488211, wrong=39230334, backtracks=39504074, failedAssignments=8427937, nogoods=474
1564.97/1559.93
1706.53/1701.30 num=119, depth=197..284, filters=885384660, wck=1698.915, mem=67M241
1706.53/1701.30 decisions=85739325, wrong=42855786, backtracks=43145644, failedAssignments=9270746, nogoods=479
1706.53/1701.30
1868.92/1863.53 num=120, depth=196..284, filters=970625283, wck=1861.151, mem=72M666
1868.92/1863.53 decisions=93980770, wrong=46976403, backtracks=47284722, failedAssignments=10197836, nogoods=484
1868.92/1863.53
2054.71/2049.15 num=121, depth=186..287, filters=1067218917, wck=2046.766, mem=39M210
2054.71/2049.15 decisions=103263927, wrong=51617877, backtracks=51951789, failedAssignments=11217635, nogoods=489
2054.71/2049.15
2255.80/2250.01 num=122, depth=183..273, filters=1171958346, wck=2247.626, mem=29M506
2255.80/2250.01 decisions=113229442, wrong=56600524, backtracks=56965519, failedAssignments=12339414, nogoods=497
2255.80/2250.01
2473.28/2467.37 num=123, depth=182..274, filters=1284080223, wck=2464.988, mem=77M60
2473.28/2467.37 decisions=124125498, wrong=62048450, backtracks=62444915, failedAssignments=13573371, nogoods=504
2473.28/2467.37
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 (12475 MiB free)
memory of node 1: 16384 MiB (13241 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390659-1568384288/watcher-4390659-1568384288 -o /tmp/evaluation-result-4390659-1568384288/solver-4390659-1568384288 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568380473-17199 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390659-1568384288.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18718, runsolver pid=18715
[startup+0.100155 s]*
/proc/loadavg: 1.58 1.67 1.67 4/228 18733
/proc/meminfo: memFree=26319036/32770624 swapFree=66927232/67108860
[pid=18718] ppid=18715 vsize=10659884 memory=27976 CPUtime=0.14 cores=1,3,5,7
/proc/18718/stat : 18718 (java) S 18715 18718 17167 0 -1 1077944320 5508 0 0 0 14 0 0 0 20 0 15 0 414676141 10915721216 6994 33554432000 4194304 4196468 140721678514384 140721678496928 140468763381495 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
/proc/18718/statm: 2664971 6994 2893 1 0 2627468 0
[pid=18718/tid=18720] ppid=18715 vsize=10659884 memory=-8269626465541197434 CPUtime=0.09 cores=1,3,5,7
/proc/18718/task/18720/stat : 18720 (java) R 18715 18718 17167 0 -1 4202560 3215 0 0 0 9 0 0 0 20 0 15 0 414676141 10915721216 7060 33554432000 4194304 4196468 140721678514384 140468767610552 140468747461982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18721] ppid=18715 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18721/stat : 18721 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10915721216 7060 33554432000 4194304 4196468 140721678514384 140468719933840 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18722] ppid=18715 vsize=10659884 memory=139678877697664 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18722/stat : 18722 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10915721216 7060 33554432000 4194304 4196468 140721678514384 140468718881040 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18723] ppid=18715 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18723/stat : 18723 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10915721216 7060 33554432000 4194304 4196468 140721678514384 140468368104080 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18724] ppid=18715 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18724/stat : 18724 (java) S 18715 18718 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414676142 10915721216 7060 33554432000 4194304 4196468 140721678514384 140468367051280 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18725] ppid=18715 vsize=10659884 memory=139678877697664 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18725/stat : 18725 (java) S 18715 18718 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414676143 10915721216 7126 33554432000 4194304 4196468 140721678514384 140468322474608 140468763392642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18726] ppid=18715 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (java) S 18715 18718 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414676144 10915721216 7126 33554432000 4194304 4196468 140721678514384 140468321420576 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18727] ppid=18715 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18727/stat : 18727 (java) S 18715 18718 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414676144 10915721216 7126 33554432000 4194304 4196468 140721678514384 140468320368240 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18728] ppid=18715 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18728/stat : 18728 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414676146 10915721216 7126 33554432000 4194304 4196468 140721678514384 140468319316560 140468763400091 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18729] ppid=18715 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18729/stat : 18729 (java) S 18715 18718 17167 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 414676146 10915721216 7126 33554432000 4194304 4196468 140721678514384 140468318263408 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18730] ppid=18715 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18730/stat : 18730 (java) S 18715 18718 17167 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 414676146 10915721216 7126 33554432000 4194304 4196468 140721678514384 140468317210608 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18731] ppid=18715 vsize=10659884 memory=139678877697664 CPUtime=0.02 cores=1,3,5,7
/proc/18718/task/18731/stat : 18731 (java) R 18715 18718 17167 0 -1 4202560 563 0 0 0 2 0 0 0 20 0 15 0 414676146 10915721216 7126 33554432000 4194304 4196468 140721678514384 140468316155128 140468741750134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18732] ppid=18715 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18732/stat : 18732 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414676146 10915721216 7126 33554432000 4194304 4196468 140721678514384 140468247587296 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18733] ppid=18715 vsize=10659884 memory=139678877697664 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18733/stat : 18733 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676147 10915721216 7126 33554432000 4194304 4196468 140721678514384 140468246535088 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27976 KiB
[startup+0.210724 s]*
/proc/loadavg: 1.58 1.67 1.67 3/228 18733
/proc/meminfo: memFree=26311948/32770624 swapFree=66927232/67108860
[pid=18718] ppid=18715 vsize=10659884 memory=34972 CPUtime=0.32 cores=1,3,5,7
/proc/18718/stat : 18718 (java) S 18715 18718 17167 0 -1 1077944320 6885 0 0 0 32 0 0 0 20 0 15 0 414676141 10915721216 8743 33554432000 4194304 4196468 140721678514384 140721678496928 140468763381495 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
/proc/18718/statm: 2664971 8743 2988 1 0 2627468 0
[pid=18718/tid=18720] ppid=18715 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/18718/task/18720/stat : 18720 (java) R 18715 18718 17167 0 -1 4202560 3861 0 0 0 20 0 0 0 20 0 15 0 414676141 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468767607856 140468763403421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18721] ppid=18715 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18721/stat : 18721 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468719933840 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18722] ppid=18715 vsize=10659884 memory=3473316828160673440 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18722/stat : 18722 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468718881040 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18723] ppid=18715 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18723/stat : 18723 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468368104080 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18724] ppid=18715 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18724/stat : 18724 (java) S 18715 18718 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414676142 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468367051280 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18725] ppid=18715 vsize=10659884 memory=139678877697664 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18725/stat : 18725 (java) S 18715 18718 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414676143 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468322474608 140468763392642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18726] ppid=18715 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (java) S 18715 18718 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414676144 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468321420576 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18727] ppid=18715 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18727/stat : 18727 (java) S 18715 18718 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414676144 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468320368240 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18728] ppid=18715 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18728/stat : 18728 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414676146 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468319316560 140468763400091 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18729] ppid=18715 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18718/task/18729/stat : 18729 (java) S 18715 18718 17167 0 -1 1077944384 632 0 0 0 3 0 0 0 20 0 15 0 414676146 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468318263408 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18730] ppid=18715 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18718/task/18730/stat : 18730 (java) S 18715 18718 17167 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 15 0 414676146 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468317210608 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18731] ppid=18715 vsize=10659884 memory=139678877697664 CPUtime=0.05 cores=1,3,5,7
/proc/18718/task/18731/stat : 18731 (java) S 18715 18718 17167 0 -1 1077944384 756 0 0 0 5 0 0 0 20 0 15 0 414676146 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468316158320 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18732] ppid=18715 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18732/stat : 18732 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414676146 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468247587296 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18733] ppid=18715 vsize=10659884 memory=139678877697664 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18733/stat : 18733 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676147 10915721216 8743 33554432000 4194304 4196468 140721678514384 140468246535088 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34972 KiB
[startup+0.309997 s]*
/proc/loadavg: 1.58 1.67 1.67 4/228 18733
/proc/meminfo: memFree=26303596/32770624 swapFree=66927232/67108860
[pid=18718] ppid=18715 vsize=10659884 memory=40084 CPUtime=0.48 cores=1,3,5,7
/proc/18718/stat : 18718 (java) S 18715 18718 17167 0 -1 1077944320 9434 0 0 0 46 2 0 0 20 0 15 0 414676141 10915721216 10021 33554432000 4194304 4196468 140721678514384 140721678496928 140468763381495 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
/proc/18718/statm: 2664971 10021 3000 1 0 2627468 0
[pid=18718/tid=18720] ppid=18715 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/18718/task/18720/stat : 18720 (java) R 18715 18718 17167 0 -1 4202560 6330 0 0 0 29 1 0 0 20 0 15 0 414676141 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468767613296 140468763393430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18721] ppid=18715 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18721/stat : 18721 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468719933840 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18722] ppid=18715 vsize=10659884 memory=4123520725827405472 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18722/stat : 18722 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468718881040 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18723] ppid=18715 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18723/stat : 18723 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468368104080 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18724] ppid=18715 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18724/stat : 18724 (java) S 18715 18718 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414676142 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468367051280 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18725] ppid=18715 vsize=10659884 memory=139678877697664 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18725/stat : 18725 (java) S 18715 18718 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414676143 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468322474608 140468763392642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18726] ppid=18715 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (java) S 18715 18718 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414676144 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468321420576 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18727] ppid=18715 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18727/stat : 18727 (java) S 18715 18718 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414676144 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468320368240 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18728] ppid=18715 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18728/stat : 18728 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414676146 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468319316560 140468763400091 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18729] ppid=18715 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18718/task/18729/stat : 18729 (java) S 18715 18718 17167 0 -1 1077944384 640 0 0 0 4 0 0 0 20 0 15 0 414676146 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468318263408 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18730] ppid=18715 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/18718/task/18730/stat : 18730 (java) S 18715 18718 17167 0 -1 1077944384 317 0 0 0 4 0 0 0 20 0 15 0 414676146 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468317210608 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18731] ppid=18715 vsize=10659884 memory=139678877697664 CPUtime=0.08 cores=1,3,5,7
/proc/18718/task/18731/stat : 18731 (java) R 18715 18718 17167 0 -1 4202560 790 0 0 0 8 0 0 0 20 0 15 0 414676146 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468316158320 140468763402842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18732] ppid=18715 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18732/stat : 18732 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414676146 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468247587296 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18733] ppid=18715 vsize=10659884 memory=139678877697664 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18733/stat : 18733 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676147 10915721216 10021 33554432000 4194304 4196468 140721678514384 140468246535088 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40084 KiB
[startup+0.70081 s]
/proc/loadavg: 1.58 1.67 1.67 3/228 18733
/proc/meminfo: memFree=26296316/32770624 swapFree=66927232/67108860
[pid=18718] ppid=18715 vsize=10661932 memory=62828 CPUtime=1.1 cores=1,3,5,7
/proc/18718/stat : 18718 (java) S 18715 18718 17167 0 -1 1077944320 12831 0 0 0 106 4 0 0 20 0 15 0 414676141 10917818368 15707 33554432000 4194304 4196468 140721678514384 140721678496928 140468763381495 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
/proc/18718/statm: 2665483 15707 3073 1 0 2627980 0
[pid=18718/tid=18720] ppid=18715 vsize=10661932 memory=1436 CPUtime=0.68 cores=1,3,5,7
/proc/18718/task/18720/stat : 18720 (java) R 18715 18718 17167 0 -1 4202560 8886 0 0 0 65 3 0 0 20 0 15 0 414676141 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468767613520 140468747461982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18721] ppid=18715 vsize=10661932 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18721/stat : 18721 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468719933840 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18722] ppid=18715 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18722/stat : 18722 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468718881040 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18723] ppid=18715 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18723/stat : 18723 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468368104080 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18724] ppid=18715 vsize=10661932 memory=692 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18724/stat : 18724 (java) S 18715 18718 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414676142 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468367051280 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18725] ppid=18715 vsize=10661932 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18725/stat : 18725 (java) S 18715 18718 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414676143 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468322474608 140468763392642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18726] ppid=18715 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (java) S 18715 18718 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414676144 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468321420576 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18727] ppid=18715 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18727/stat : 18727 (java) S 18715 18718 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414676144 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468320368240 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18728] ppid=18715 vsize=10661932 memory=6296683612688699741 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18728/stat : 18728 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414676146 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468319316560 140468763400091 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18729] ppid=18715 vsize=10661932 memory=7739276948478061671 CPUtime=0.1 cores=1,3,5,7
/proc/18718/task/18729/stat : 18729 (java) R 18715 18718 17167 0 -1 4202560 903 0 0 0 10 0 0 0 20 0 15 0 414676146 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468318263408 140468746766284 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18730] ppid=18715 vsize=10661932 memory=7019257425709197167 CPUtime=0.11 cores=1,3,5,7
/proc/18718/task/18730/stat : 18730 (java) S 18715 18718 17167 0 -1 1077944384 537 0 0 0 11 0 0 0 20 0 15 0 414676146 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468317210608 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18731] ppid=18715 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/18718/task/18731/stat : 18731 (java) S 18715 18718 17167 0 -1 1077944384 1154 0 0 0 18 0 0 0 20 0 15 0 414676146 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468316158320 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18732] ppid=18715 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18732/stat : 18732 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414676146 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468247587296 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18733] ppid=18715 vsize=10661932 memory=33 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18733/stat : 18733 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676147 10917818368 15707 33554432000 4194304 4196468 140721678514384 140468246535088 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62828 KiB
[startup+1.50078 s]
/proc/loadavg: 1.58 1.67 1.67 3/228 18733
/proc/meminfo: memFree=26280000/32770624 swapFree=66927232/67108860
[pid=18718] ppid=18715 vsize=10663980 memory=75196 CPUtime=1.98 cores=1,3,5,7
/proc/18718/stat : 18718 (java) S 18715 18718 17167 0 -1 1077944320 18415 0 0 0 194 4 0 0 20 0 15 0 414676141 10919915520 18799 33554432000 4194304 4196468 140721678514384 140721678496928 140468763381495 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
/proc/18718/statm: 2665995 18799 3095 1 0 2628492 0
[pid=18718/tid=18720] ppid=18715 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/18718/task/18720/stat : 18720 (java) R 18715 18718 17167 0 -1 4202560 13145 0 0 0 145 3 0 0 20 0 15 0 414676141 10919915520 18799 33554432000 4194304 4196468 140721678514384 140468767613520 140468743653232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18721] ppid=18715 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18721/stat : 18721 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10919915520 18799 33554432000 4194304 4196468 140721678514384 140468719933840 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18722] ppid=18715 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18722/stat : 18722 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10919915520 18799 33554432000 4194304 4196468 140721678514384 140468718881040 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18723] ppid=18715 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18723/stat : 18723 (java) S 18715 18718 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414676142 10919915520 18799 33554432000 4194304 4196468 140721678514384 140468368104080 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18724] ppid=18715 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18724/stat : 18724 (java) S 18715 18718 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414676142 10919915520 18799 33554432000 4194304 4196468 140721678514384 140468367051280 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18725] ppid=18715 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18725/stat : 18725 (java) S 18715 18718 17167 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 414676143 10919915520 18799 33554432000 4194304 4196468 140721678514384 140468322474608 140468763392642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
################
# More data... #
################
/proc/18718/task/18724/stat : 18724 (java) S 18715 18718 17167 0 -1 1077944384 4673 0 0 0 96 5 0 0 20 0 16 0 414676142 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468367051280 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18725] ppid=18715 vsize=10748324 memory=279357559713312 CPUtime=0.58 cores=1,3,5,7
/proc/18718/task/18725/stat : 18725 (java) S 18715 18718 17167 0 -1 1077944384 6646 0 0 0 53 5 0 0 20 0 16 0 414676143 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468322474608 140468763392642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18726] ppid=18715 vsize=10748324 memory=197468 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (java) S 18715 18718 17167 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414676144 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468321420640 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18727] ppid=18715 vsize=10748324 memory=197468 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18727/stat : 18727 (java) S 18715 18718 17167 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414676144 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468320368256 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18728] ppid=18715 vsize=10748324 memory=197468 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18728/stat : 18728 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468319316560 140468763400091 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18729] ppid=18715 vsize=10748324 memory=197468 CPUtime=1 cores=1,3,5,7
/proc/18718/task/18729/stat : 18729 (java) S 18715 18718 17167 0 -1 1077944384 5376 0 0 0 99 1 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468318263408 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18730] ppid=18715 vsize=10748324 memory=197468 CPUtime=1.02 cores=1,3,5,7
/proc/18718/task/18730/stat : 18730 (java) S 18715 18718 17167 0 -1 1077944384 4501 0 0 0 102 0 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468317210608 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18731] ppid=18715 vsize=10748324 memory=197468 CPUtime=0.69 cores=1,3,5,7
/proc/18718/task/18731/stat : 18731 (java) S 18715 18718 17167 0 -1 1077944384 7925 0 0 0 68 1 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468316158320 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18732] ppid=18715 vsize=10748324 memory=920 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18732/stat : 18732 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468247587296 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18733] ppid=18715 vsize=10748324 memory=3848 CPUtime=0.46 cores=1,3,5,7
/proc/18718/task/18733/stat : 18733 (java) S 18715 18718 17167 0 -1 1077944384 819 0 0 0 21 25 0 0 20 0 16 0 414676147 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468246535088 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18734] ppid=18715 vsize=10748324 memory=197468 CPUtime=2378.45 cores=1,3,5,7
/proc/18718/task/18734/stat : 18734 (java) R 18715 18718 17167 0 -1 4202560 16352 0 0 0 237839 6 0 0 20 0 16 0 414676328 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468229873408 140468405323317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
Current children cumulated CPU time: 2388.23 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197468 KiB
[startup+2442.3 s]
/proc/loadavg: 1.79 1.77 1.78 3/229 19377
/proc/meminfo: memFree=26163712/32770624 swapFree=66927240/67108860
[pid=18718] ppid=18715 vsize=10748324 memory=197468 CPUtime=2448.26 cores=1,3,5,7
/proc/18718/stat : 18718 (java) S 18715 18718 17167 0 -1 1077944320 76488 0 0 0 244772 54 0 0 20 0 16 0 414676141 11006283776 49367 33554432000 4194304 4196468 140721678514384 140721678496928 140468763381495 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
/proc/18718/statm: 2687081 49367 3375 1 0 2647217 0
[pid=18718/tid=18720] ppid=18715 vsize=10748324 memory=197468 CPUtime=1.85 cores=1,3,5,7
/proc/18718/task/18720/stat : 18720 (java) S 18715 18718 17167 0 -1 1077944384 15376 0 0 0 181 4 0 0 20 0 16 0 414676141 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468767624368 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18721] ppid=18715 vsize=10748324 memory=197464 CPUtime=1.03 cores=1,3,5,7
/proc/18718/task/18721/stat : 18721 (java) S 18715 18718 17167 0 -1 1077944384 4179 0 0 0 98 5 0 0 20 0 16 0 414676142 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468719933840 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18722] ppid=18715 vsize=10748324 memory=197468 CPUtime=1.03 cores=1,3,5,7
/proc/18718/task/18722/stat : 18722 (java) S 18715 18718 17167 0 -1 1077944384 4195 0 0 0 99 4 0 0 20 0 16 0 414676142 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468718881040 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18723] ppid=18715 vsize=10748324 memory=197468 CPUtime=1.04 cores=1,3,5,7
/proc/18718/task/18723/stat : 18723 (java) S 18715 18718 17167 0 -1 1077944384 4659 0 0 0 100 4 0 0 20 0 16 0 414676142 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468368104080 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18724] ppid=18715 vsize=10748324 memory=197468 CPUtime=1.02 cores=1,3,5,7
/proc/18718/task/18724/stat : 18724 (java) S 18715 18718 17167 0 -1 1077944384 4687 0 0 0 97 5 0 0 20 0 16 0 414676142 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468367051280 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18725] ppid=18715 vsize=10748324 memory=197468 CPUtime=0.6 cores=1,3,5,7
/proc/18718/task/18725/stat : 18725 (java) S 18715 18718 17167 0 -1 1077944384 6829 0 0 0 55 5 0 0 20 0 16 0 414676143 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468322474608 140468763392642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18726] ppid=18715 vsize=10748324 memory=197468 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (java) S 18715 18718 17167 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414676144 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468321420640 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18727] ppid=18715 vsize=10748324 memory=197468 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18727/stat : 18727 (java) S 18715 18718 17167 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414676144 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468320368256 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18728] ppid=18715 vsize=10748324 memory=197468 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18728/stat : 18728 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468319316560 140468763400091 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18729] ppid=18715 vsize=10748324 memory=197468 CPUtime=1 cores=1,3,5,7
/proc/18718/task/18729/stat : 18729 (java) S 18715 18718 17167 0 -1 1077944384 5378 0 0 0 99 1 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468318263408 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18730] ppid=18715 vsize=10748324 memory=197468 CPUtime=1.02 cores=1,3,5,7
/proc/18718/task/18730/stat : 18730 (java) S 18715 18718 17167 0 -1 1077944384 4503 0 0 0 102 0 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468317210608 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18731] ppid=18715 vsize=10748324 memory=197468 CPUtime=0.69 cores=1,3,5,7
/proc/18718/task/18731/stat : 18731 (java) S 18715 18718 17167 0 -1 1077944384 7927 0 0 0 68 1 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468316158320 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18732] ppid=18715 vsize=10748324 memory=197468 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18732/stat : 18732 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468247587296 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18733] ppid=18715 vsize=10748324 memory=197468 CPUtime=0.47 cores=1,3,5,7
/proc/18718/task/18733/stat : 18733 (java) S 18715 18718 17167 0 -1 1077944384 849 0 0 0 21 26 0 0 20 0 16 0 414676147 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468246535088 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18734] ppid=18715 vsize=10748324 memory=197468 CPUtime=2438.41 cores=1,3,5,7
/proc/18718/task/18734/stat : 18734 (java) R 18715 18718 17167 0 -1 4202560 16468 0 0 0 243835 6 0 0 20 0 16 0 414676328 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468229873408 140468405409009 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
Current children cumulated CPU time: 2448.26 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197468 KiB
[startup+2502.3 s]
/proc/loadavg: 1.81 1.77 1.78 3/229 19381
/proc/meminfo: memFree=26163208/32770624 swapFree=66927240/67108860
[pid=18718] ppid=18715 vsize=10748324 memory=197468 CPUtime=2508.35 cores=1,3,5,7
/proc/18718/stat : 18718 (java) S 18715 18718 17167 0 -1 1077944320 76917 0 0 0 250780 55 0 0 20 0 16 0 414676141 11006283776 49367 33554432000 4194304 4196468 140721678514384 140721678496928 140468763381495 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
/proc/18718/statm: 2687081 49367 3375 1 0 2647217 0
[pid=18718/tid=18720] ppid=18715 vsize=10748324 memory=197468 CPUtime=1.85 cores=1,3,5,7
/proc/18718/task/18720/stat : 18720 (java) S 18715 18718 17167 0 -1 1077944384 15376 0 0 0 181 4 0 0 20 0 16 0 414676141 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468767624368 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18721] ppid=18715 vsize=10748324 memory=197468 CPUtime=1.06 cores=1,3,5,7
/proc/18718/task/18721/stat : 18721 (java) S 18715 18718 17167 0 -1 1077944384 4186 0 0 0 101 5 0 0 20 0 16 0 414676142 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468719933840 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18722] ppid=18715 vsize=10748324 memory=197468 CPUtime=1.06 cores=1,3,5,7
/proc/18718/task/18722/stat : 18722 (java) S 18715 18718 17167 0 -1 1077944384 4199 0 0 0 102 4 0 0 20 0 16 0 414676142 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468718881040 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18723] ppid=18715 vsize=10748324 memory=197468 CPUtime=1.06 cores=1,3,5,7
/proc/18718/task/18723/stat : 18723 (java) S 18715 18718 17167 0 -1 1077944384 4661 0 0 0 102 4 0 0 20 0 16 0 414676142 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468368104080 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18724] ppid=18715 vsize=10748324 memory=197468 CPUtime=1.05 cores=1,3,5,7
/proc/18718/task/18724/stat : 18724 (java) S 18715 18718 17167 0 -1 1077944384 4698 0 0 0 100 5 0 0 20 0 16 0 414676142 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468367051280 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18725] ppid=18715 vsize=10748324 memory=197468 CPUtime=0.61 cores=1,3,5,7
/proc/18718/task/18725/stat : 18725 (java) S 18715 18718 17167 0 -1 1077944384 6835 0 0 0 56 5 0 0 20 0 16 0 414676143 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468322474608 140468763392642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18726] ppid=18715 vsize=10748324 memory=197468 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (java) S 18715 18718 17167 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414676144 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468321420640 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18727] ppid=18715 vsize=10748324 memory=197468 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18727/stat : 18727 (java) S 18715 18718 17167 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414676144 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468320368256 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18728] ppid=18715 vsize=10748324 memory=197468 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18728/stat : 18728 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468319316560 140468763400091 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18729] ppid=18715 vsize=10748324 memory=197468 CPUtime=1 cores=1,3,5,7
/proc/18718/task/18729/stat : 18729 (java) S 18715 18718 17167 0 -1 1077944384 5378 0 0 0 99 1 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468318263408 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18730] ppid=18715 vsize=10748324 memory=6791534058613427641 CPUtime=1.02 cores=1,3,5,7
/proc/18718/task/18730/stat : 18730 (java) S 18715 18718 17167 0 -1 1077944384 4503 0 0 0 102 0 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468317210608 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18731] ppid=18715 vsize=10748324 memory=21540 CPUtime=0.69 cores=1,3,5,7
/proc/18718/task/18731/stat : 18731 (java) S 18715 18718 17167 0 -1 1077944384 8072 0 0 0 68 1 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468316158320 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18732] ppid=18715 vsize=10748324 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18732/stat : 18732 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414676146 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468247587296 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18733] ppid=18715 vsize=10748324 memory=776 CPUtime=0.48 cores=1,3,5,7
/proc/18718/task/18733/stat : 18733 (java) S 18715 18718 17167 0 -1 1077944384 853 0 0 0 21 27 0 0 20 0 16 0 414676147 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468246535088 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18734] ppid=18715 vsize=10748324 memory=39636 CPUtime=2498.36 cores=1,3,5,7
/proc/18718/task/18734/stat : 18734 (java) R 18715 18718 17167 0 -1 4202560 16718 0 0 0 249830 6 0 0 20 0 16 0 414676328 11006283776 49367 33554432000 4194304 4196468 140721678514384 140468229873408 140468405323422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
Current children cumulated CPU time: 2508.35 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197468 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514 s]*
/proc/loadavg: 1.85 1.78 1.78 3/230 19384
/proc/meminfo: memFree=26160488/32770624 swapFree=66927240/67108860
[pid=18718] ppid=18715 vsize=10748324 memory=199516 CPUtime=2520.08 cores=1,3,5,7
/proc/18718/stat : 18718 (java) S 18715 18718 17167 0 -1 1077944320 76928 0 0 0 251953 55 0 0 20 0 16 0 414676141 11006283776 49879 33554432000 4194304 4196468 140721678514384 140721678496928 140468763381495 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
/proc/18718/statm: 2687081 49879 3375 1 0 2647217 0
[pid=18718/tid=18720] ppid=18715 vsize=10748324 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/18718/task/18720/stat : 18720 (java) S 18715 18718 17167 0 -1 1077944384 15376 0 0 0 181 4 0 0 20 0 16 0 414676141 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468767624368 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18721] ppid=18715 vsize=10748324 memory=4872558044660077418 CPUtime=1.07 cores=1,3,5,7
/proc/18718/task/18721/stat : 18721 (java) S 18715 18718 17167 0 -1 1077944384 4186 0 0 0 102 5 0 0 20 0 16 0 414676142 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468719933840 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18722] ppid=18715 vsize=10748324 memory=-9001728533042062950 CPUtime=1.06 cores=1,3,5,7
/proc/18718/task/18722/stat : 18722 (java) S 18715 18718 17167 0 -1 1077944384 4201 0 0 0 102 4 0 0 20 0 16 0 414676142 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468718881040 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18723] ppid=18715 vsize=10748324 memory=-7313218805096079717 CPUtime=1.07 cores=1,3,5,7
/proc/18718/task/18723/stat : 18723 (java) S 18715 18718 17167 0 -1 1077944384 4663 0 0 0 103 4 0 0 20 0 16 0 414676142 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468368104080 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18724] ppid=18715 vsize=10748324 memory=-7240599198935759669 CPUtime=1.06 cores=1,3,5,7
/proc/18718/task/18724/stat : 18724 (java) S 18715 18718 17167 0 -1 1077944384 4698 0 0 0 100 6 0 0 20 0 16 0 414676142 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468367051280 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18725] ppid=18715 vsize=10748324 memory=4498404016631593318 CPUtime=0.61 cores=1,3,5,7
/proc/18718/task/18725/stat : 18725 (java) S 18715 18718 17167 0 -1 1077944384 6835 0 0 0 56 5 0 0 20 0 16 0 414676143 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468322474608 140468763392642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18726] ppid=18715 vsize=10748324 memory=828 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (java) S 18715 18718 17167 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414676144 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468321420640 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18727] ppid=18715 vsize=10748324 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18727/stat : 18727 (java) S 18715 18718 17167 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414676144 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468320368256 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18728] ppid=18715 vsize=10748324 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18728/stat : 18728 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414676146 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468319316560 140468763400091 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18729] ppid=18715 vsize=10748324 memory=2496 CPUtime=1 cores=1,3,5,7
/proc/18718/task/18729/stat : 18729 (java) S 18715 18718 17167 0 -1 1077944384 5378 0 0 0 99 1 0 0 20 0 16 0 414676146 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468318263408 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18730] ppid=18715 vsize=10748324 memory=1764 CPUtime=1.02 cores=1,3,5,7
/proc/18718/task/18730/stat : 18730 (java) S 18715 18718 17167 0 -1 1077944384 4503 0 0 0 102 0 0 0 20 0 16 0 414676146 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468317210608 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18731] ppid=18715 vsize=10748324 memory=111632 CPUtime=0.69 cores=1,3,5,7
/proc/18718/task/18731/stat : 18731 (java) S 18715 18718 17167 0 -1 1077944384 8072 0 0 0 68 1 0 0 20 0 16 0 414676146 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468316158320 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18732] ppid=18715 vsize=10748324 memory=804 CPUtime=0 cores=1,3,5,7
/proc/18718/task/18732/stat : 18732 (java) S 18715 18718 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414676146 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468247587296 140468763391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18733] ppid=18715 vsize=10748324 memory=1804 CPUtime=0.48 cores=1,3,5,7
/proc/18718/task/18733/stat : 18733 (java) S 18715 18718 17167 0 -1 1077944384 855 0 0 0 21 27 0 0 20 0 16 0 414676147 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468246535088 140468763392642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
[pid=18718/tid=18734] ppid=18715 vsize=10748324 memory=920 CPUtime=2510.06 cores=1,3,5,7
/proc/18718/task/18734/stat : 18734 (java) R 18715 18718 17167 0 -1 4202560 16723 0 0 0 251000 6 0 0 20 0 16 0 414676328 11006283776 49879 33554432000 4194304 4196468 140721678514384 140468229873296 140468405538179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140721678517259 140721678517362 140721678517362 140721678520271 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 199516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.02 s]
# the end of solver process 18718 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.55 s, system=0.560119 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2514.02
CPU time (s): 2520.11
CPU user time (s): 2519.55
CPU system time (s): 0.560119
CPU usage (%): 100.242
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 273904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.55
system time used= 0.560119
maximum resident set size= 274440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77205
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69435
involuntary context switches= 1829
# summary of solver processes directly reported to runsolver:
# pid: 18718
# total CPU time (s): 2520.11
# total CPU user time (s): 2519.55
# total CPU system time (s): 0.560119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0328 second user time and 20.6885 second system time
The end