2.35/1.89
2.35/1.89 AbsCon 2
2.59/1.91
3.23/2.19 Instance
3.23/2.19 name=instance-4391279-1568389329, framework=COP, bounds=-infty..+infty
3.23/2.19
3.23/2.19 Loading variables...
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b634d9
3.94/2.38 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70dd3c7f
3.94/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@786f85ac
4.26/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d85b917
4.26/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aeb128b
4.26/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cfba4eb
4.26/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d082c4a
4.26/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a32703
4.26/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cd4e36a
4.26/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@141736da
4.26/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f277144
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@734258c9
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b8d712b
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25534dc8
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dd2a765
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50985a97
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1128309b
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fed4123
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ca1f97b
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b465c41
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69c7f68b
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31cba88b
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48eb6c6a
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e78a7e2
4.26/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d246c6
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419f5845
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f4d0120
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63a51ecf
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437b776e
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49266625
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f5c5af
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ec8290e
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d94c4a
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@702b0afd
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79b26c3f
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7809f31f
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fd6bf2c
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532ee867
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@733f21ca
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ae098a
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3530d8a1
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c294a5a
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf8d065
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198d502c
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bdd8934
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@624864d5
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24f297c7
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e76626a
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c4ee93
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c8f580
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8c6578
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@101415a5
4.26/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6da1f45f
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e5d9529
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af58142
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@667af2c0
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf30291
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f1d52af
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42658353
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1e6f72
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14dc112e
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c635f36
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@494f77f5
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd67e21
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30956a10
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65394c02
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a3cdd5
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725f0c05
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18496a8c
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7573f14
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72324382
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50f153e7
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7301c372
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@444d308f
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ed31d0
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d11336e
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a52f471
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b14258
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33fb0548
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610903c0
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@783aabde
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ce5515
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f782059
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26503d3a
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42d3ec1c
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54daac8f
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eed1cc2
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bf37fdb
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33de4656
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4953c77d
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b5564
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ae1cee0
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4376cc2b
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ee3e566
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d8b7023
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bc4e008
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4af22d5b
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c543ee
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16724daf
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59affe8e
4.26/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198c2125
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f07c94a
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2086635
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6c7d11
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e9e12c1
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5938bf32
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe62e76
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1df6a806
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3296365
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7076ea1b
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4609aa9f
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fe2a660
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@444f166
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1336b9
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@708f74ee
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21fa57f6
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6273c874
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12466b44
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f9fa6b
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4678f7f5
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58961a59
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@133f1280
4.26/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7068057a
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454c3d71
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4940b7f0
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270c38ce
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b1f4a02
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b569c9
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65550f40
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@471ef5a0
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@461fc3d6
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64d65371
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@386185f1
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@122e4b00
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f17d58
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b11f4d4
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d4764ac
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c61f1cd
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba778ce
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402b4e0a
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d2e7f8
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ff2b57
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e0e2b7f
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e087e49
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e13861
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1759e2d6
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb0051a
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fbdb96c
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd28e63
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c4e6d4c
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@429af473
4.26/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553a4690
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e766cb
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@424abd96
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3578964c
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c3fa35c
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64bc394a
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e20ca31
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56c36a67
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@740a1b51
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69cee53a
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58e15358
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7baad227
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d3a92bc
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de67756
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30bb84d1
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb845e3
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34563cef
4.63/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ef76657
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e309ff2
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41d3d841
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6333b322
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666ebbb0
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b11ea7
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be30c22
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65491ccd
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7212c344
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bce9bd9
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3460d7ed
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fb26955
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c505f83
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19460a69
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404e0e46
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d5e185a
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6475054d
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fef39de
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f745198
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78646451
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0080c1
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44704a1c
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@321bd366
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a238f
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51e907ea
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@236ac853
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca84b7b
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@604fbc18
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dd45e7
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b4b2f50
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ebf3e60
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151b036a
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1608eeb2
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48053b5c
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7471d221
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530758bb
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62216904
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73185cc4
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58e6482e
4.63/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bf551a1
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32e4c3c
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e632cac
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48b93c38
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4008a6ef
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46955943
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bd9c3d6
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@572dbb27
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5529cad
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71deec15
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3179d7ce
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7808b82f
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b37e83a
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a62aee4
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26c11e3e
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc07505
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d16c842
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16383449
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e6be15d
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7706a014
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ff46ed
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489b9707
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a5a8bbe
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@384694db
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@257fce11
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da91d09
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4828eb49
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2148b32e
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58bc2bcc
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d1b590b
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c5fbcd1
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10689b30
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@747e7cbb
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@356ce920
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502b08fd
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29072efa
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f52fda8
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23d473e8
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3bf25e
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8c5b3b
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b4c953a
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2001e436
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d9402af
4.63/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@224bf11d
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@685a147a
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c2f15ac
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4662371d
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc66325
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca55ff0
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f279113
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30902cbb
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4211bdac
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e0074f
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26eb2933
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f57b3f
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6172c3b2
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@449365b6
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53db1ed3
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ad76752
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cba4be2
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2841b1da
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16743de6
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7755a84
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74800df8
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d4142
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5746f350
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c77635b
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31f30564
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173e2644
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12afc227
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6313bd83
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4515ae59
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@731ee857
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dbdde9e
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7914eef6
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6967d6c1
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d66634b
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d4bdce9
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2adfc13f
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8cc7d8
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@416d48da
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf5597a
4.63/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38598e61
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed8c071
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@707fab6e
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0c7cf3
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d3074b6
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59aa7664
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bec2416
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b93fa5
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b8dc4c
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10cc4562
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@588c8335
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f424c9c
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e561ffc
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21207bed
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ca4963
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418d5666
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3530f482
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78247116
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@640da7e5
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@658ad82f
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6478c8e7
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43fdf32
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d64c9e
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24318bf7
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@686aa8c9
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76dd65c9
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1414f2e0
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef8fa69
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d92a26a
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5673d040
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66f525c3
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9b5602
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58035a22
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59c49f58
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31183a99
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332e9e3
4.63/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45d491ff
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23071c57
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326ce083
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8a246d
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac71de7
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332ea052
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa63b1f
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26394123
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14c774b3
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@238d24f
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14aa8980
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bdcad81
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@581bb85f
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c990416
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1facc0d9
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1157470c
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70b848c8
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c31d269
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5899d78a
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@510230dc
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c71313
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37400546
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c7a9a46
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e8bb935
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6e6bf6
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21fc257f
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495722bc
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40248eac
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f54422
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404fbf2d
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24d27129
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df057a2
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b259097
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d979683
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7943b5dd
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60b05ab
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55cd645f
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5104cd1c
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7811053a
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@652402d4
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5098a042
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d354edc
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a051c2f
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33b032f2
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f5b8d85
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb04ffd
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795feb21
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6763e988
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@409b473f
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e4f9454
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f268a4a
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b826477
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6169ce77
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d086f91
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bdf668c
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@486d1307
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c38441a
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4615079a
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4951f204
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479dce03
4.63/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d92c050
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cdf886c
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52830cc8
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a94833e
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe37155
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c3287a3
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bc38c36
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a01f8d1
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@139ee864
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67eeda1e
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf49673
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c7990b8
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@196c3c
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6943ad69
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bad4655
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e5a1f86
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ad8bb6e
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4880da04
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a5a1d7d
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40631fa4
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3906256a
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa5d9f
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@528650d1
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ffb1d70
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1de6217f
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b3d7b0
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e889cc9
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4554badc
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6027a991
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@448768d4
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba6e78c
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d52e8a3
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@223827e8
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d73ee1e
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@119f5d49
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@242a84d4
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64786d93
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0dbc96
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468649a0
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57029588
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f63382e
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b155fbd
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae6273
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b79eee0
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a5aa4b8
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@110a302d
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@beb43ce
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38472cfe
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1742dea6
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@974095c
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ed614f9
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7090f516
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43208fe5
4.63/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54c40411
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@672cdd95
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b26bd4d
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bdc0bf2
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ce0e69f
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e852fc
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3af528
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a11528
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@701aecb9
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ca6558e
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14294c08
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b17571
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46e310af
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e87677
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dab5034
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42abaafa
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c5872d2
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aba39a8
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43d3a664
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4092238e
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5668e181
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d92004e
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40be319a
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f1c4ced
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@526e8d2d
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@400202dc
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f56178b
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ac21f5
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@797b1a94
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef9099b
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cb6f727
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c6820c6
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc39f54
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d5e3ee
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dbde156
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b73c16c
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a95ad2e
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f7ae0b4
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42eab341
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a8aca0
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1787e5b9
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@465fd4fa
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4e1755
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@280ad3ba
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14cfc9d5
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b47b058
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ebd308e
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c96d3e3
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69493f01
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62723fe6
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1618cf0d
4.63/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6296b64a
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eac9784
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d3c5f1
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f16c59b
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56273fa1
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@296e927d
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c3e00a
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13dc3ddb
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53091362
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a069e1d
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d4c561f
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39b9b606
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ebabef6
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140ccb12
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21be77fc
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39c7784a
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303d4846
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72e879c7
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c24d3c6
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70315a4
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@750b99b4
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9cd795
4.63/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@670283bf
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@749cb8d8
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@229797d2
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@716f1668
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e42a62
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291292ec
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0b69e7
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b8af0e8
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a58af4
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29cdb95a
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742e8662
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59111fd
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30645e63
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f481993
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d621fe
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118d6c9c
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2daccbf1
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a66c5be
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30b947e6
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51435cc2
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f8b3b29
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b217d5
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15fadc84
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2927e0a1
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4d7ac3
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33ce842c
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f61a567
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f120694
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d49b980
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad0cea1
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ecc0036
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1da24c0b
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f113c8
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a5c87c
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26554262
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47f5cdba
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120de250
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511d5964
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d34ff62
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68b5c2d7
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a01252
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b053bf
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@537e9388
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba8d9c9
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18ec4cc2
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e40bf5
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@389ab31c
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad28961
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6628cbd6
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18b5e7cf
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcce7e5
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393c9bc2
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2938e877
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e7f6c2d
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ff59894
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6985afbd
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eafb1ce
4.63/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7354439b
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f59d0a
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21206605
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65c55862
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aab5b2b
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f7a9e1
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68dfb623
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d75a1c4
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed50686
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c72056
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18b89a0a
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dd5621
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f5162a1
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fad89fe
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26657fbb
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42213187
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7703602
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38338972
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c70544c
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@623f7460
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53637985
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1435b239
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfe8156
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b802161
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc34a91
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b198462
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c9dacd7
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ba86c1f
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@672534cb
4.63/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d699949
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3d2b81
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11361f7e
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30e2dda2
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52a62d9d
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a1a5a09
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad139f1
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28f961e
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29fe634e
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4798ce21
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49db2f18
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d1cc428
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a6a955
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@504df1ad
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a13d44e
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@345d0ec1
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e6bdd3c
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b93bb05
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773f38e7
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@128497cf
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c8855
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f69bc27
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5668a683
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4ea71
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ab38259
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@782a1b6a
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1401b2da
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d01cc5
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b14a4ca
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e53b5eb
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20ac93a3
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2611101
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aaa84d9
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41f715b2
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2894a29c
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3da9bedc
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a15067
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72d8abcc
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b8be05
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1911e94b
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c07bd16
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51cd1ff5
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@632f0a57
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0bed6a
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb14ab4
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59d6dd8f
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744543db
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f799219
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393d097b
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a223e39
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a32be5c
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cbd9cbc
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6010af66
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4acb8654
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f81fb1
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ed6c01
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a1a5340
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72f8945f
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ffb5e62
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5b2dbf
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6532224f
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3265ab75
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df65684
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68fc9bf4
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f26e62c
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@298d133a
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f714e13
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bc94011
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fa87243
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6017b9a1
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4304d28b
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32d2db5e
4.97/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c54d91e
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a02478d
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67c3f8f9
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22bf6cc4
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7db29607
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752ba7fb
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ced423a
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b034f3
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50fddc6
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e3debc1
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b64ac91
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16ea6ed0
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d5ac775
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@89b031f
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@474cf3a1
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4947b637
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72aaf8dd
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39eca938
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b4e103
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d9b9b4
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d2dd213
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f0b02d6
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62e8bf0d
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c700dfd
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@891f167
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a79b697
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1346a1df
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@90bc43
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696d486d
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ad900a
4.97/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ed69f6e
5.34/2.72
5.34/2.72
5.34/2.72 Domains
5.34/2.72 nTypes=11, nValues=698280, sizes=[2#690,7#690,56#690,64#690...121#690,141#690,162#690,166#690]
5.34/2.72 Variables
5.34/2.72 count=7590, degrees=[3#710,4#6880]
5.34/2.72 Objectives
5.34/2.72 way=min, type=SumSimpleLE
5.34/2.72 Constraints
5.34/2.72 count=1391, nSpecific=1391, arities=[11#690,20#689,690#12]
5.34/2.72 distribution=[LexicographicLe#689,OrderedGE#1,SumSimpleEQ#10,SumSimpleLE#1,SumWeightedLE#690]
5.34/2.72 wck=0.853, cpu=2.684, mem=132M224
5.34/2.76 Solver SolverBacktrack being built...
5.34/2.76
5.64/2.85
5.64/2.85 Solver
5.64/2.85 guaranteedGAC=false
5.64/2.85 wck=0.986, cpu=2.794, mem=103M329
6.27/3.12
6.27/3.12 Preprocessing
6.27/3.12 filters=752, nACremovedValues=670680, nTotalRemovedValues=670680, inconcistency=false
6.27/3.12 wck=0.267, cpu=3.065, mem=103M329
6.27/3.12
7.24/3.55 num=0, depth=0..698, filters=6643, wck=0.699, mem=103M329
7.24/3.55 decisions=720, wrong=13, backtracks=4, failedAssignments=10, nogoods=7
7.24/3.55
7.79/3.74 num=1, depth=897..907, filters=11812, wck=0.885, mem=103M329
7.79/3.74 decisions=1640, wrong=24, backtracks=4, failedAssignments=21, nogoods=18
7.79/3.74
7.92/3.88 num=2, depth=891..892, filters=15125, wck=1.028, mem=103M329
7.92/3.88 decisions=2562, wrong=39, backtracks=7, failedAssignments=33, nogoods=23
7.92/3.88
8.05/3.98 num=3, depth=234..246, filters=20137, wck=1.131, mem=103M329
8.05/3.98 decisions=2823, wrong=52, backtracks=7, failedAssignments=46, nogoods=36
8.05/3.98
8.59/4.47 num=4, depth=35..201, filters=44471, wck=1.615, mem=103M329
8.59/4.47 decisions=3512, wrong=379, backtracks=327, failedAssignments=60, nogoods=37
8.59/4.47
8.70/4.53 num=5, depth=0..20, filters=47785, wck=1.68, mem=103M329
8.70/4.53 decisions=3559, wrong=400, backtracks=332, failedAssignments=76, nogoods=51
8.70/4.53
8.70/4.57 num=6, depth=0..23, filters=49877, wck=1.719, mem=103M329
8.70/4.57 decisions=3602, wrong=418, backtracks=333, failedAssignments=93, nogoods=66
8.70/4.57
8.85/4.63 num=7, depth=0..68, filters=53442, wck=1.775, mem=103M329
8.85/4.63 decisions=3690, wrong=437, backtracks=333, failedAssignments=112, nogoods=84
8.85/4.63
9.01/4.72 num=8, depth=1..30, filters=60333, wck=1.868, mem=103M329
9.01/4.72 decisions=3808, wrong=485, backtracks=368, failedAssignments=133, nogoods=91
9.01/4.72
9.01/4.78 num=9, depth=1..37, filters=64861, wck=1.934, mem=103M329
9.01/4.78 decisions=3920, wrong=528, backtracks=394, failedAssignments=156, nogoods=97
9.01/4.78
9.11/4.87 num=10, depth=2..24, filters=70183, wck=2.024, mem=103M329
9.11/4.87 decisions=4030, wrong=579, backtracks=435, failedAssignments=181, nogoods=107
9.11/4.87
9.21/4.97 num=11, depth=0..31, filters=76787, wck=2.116, mem=103M329
9.21/4.97 decisions=4155, wrong=635, backtracks=472, failedAssignments=209, nogoods=112
9.21/4.97
9.34/5.09 num=12, depth=8..31, filters=83252, wck=2.236, mem=103M329
9.34/5.09 decisions=4293, wrong=699, backtracks=531, failedAssignments=240, nogoods=115
9.34/5.09
9.44/5.15 num=13, depth=0..45, filters=88197, wck=2.303, mem=103M329
9.44/5.15 decisions=4431, wrong=756, backtracks=566, failedAssignments=274, nogoods=121
9.44/5.15
9.53/5.28 num=14, depth=0..37, filters=95767, wck=2.43, mem=103M329
9.53/5.28 decisions=4627, wrong=842, backtracks=639, failedAssignments=311, nogoods=127
9.53/5.28
9.67/5.34 num=15, depth=1..198, filters=99487, wck=2.492, mem=103M329
9.67/5.34 decisions=4887, wrong=888, backtracks=644, failedAssignments=352, nogoods=167
9.67/5.34
9.99/5.56 o 684
9.99/5.58 num=16, depth=1..7589, filters=104719, ccks=1391, wck=2.725, mem=109M878
9.99/5.58 decisions=5182, wrong=939, backtracks=661, failedAssignments=386, nogoods=194, foundSolutions=1, bestBound=684
9.99/5.58
10.70/5.98 o 680
10.70/5.99 num=17, depth=9..7589, filters=108879, ccks=2782, wck=3.135, mem=112M492
10.70/5.99 decisions=5452, wrong=977, backtracks=673, failedAssignments=415, nogoods=219, foundSolutions=2, bestBound=680
10.70/5.99
11.12/6.24 num=18, depth=23..209, filters=112092, ccks=2782, wck=3.388, mem=112M492
11.12/6.24 decisions=5676, wrong=989, backtracks=674, failedAssignments=426, nogoods=229, foundSolutions=2, bestBound=680
11.12/6.24
11.24/6.30 num=19, depth=26..258, filters=115156, ccks=2782, wck=3.447, mem=112M492
11.24/6.30 decisions=5949, wrong=1000, backtracks=674, failedAssignments=437, nogoods=240, foundSolutions=2, bestBound=680
11.24/6.30
11.24/6.36 num=20, depth=21..273, filters=118566, ccks=2782, wck=3.513, mem=112M492
11.24/6.36 decisions=6258, wrong=1023, backtracks=685, failedAssignments=449, nogoods=251, foundSolutions=2, bestBound=680
11.24/6.36
11.34/6.41 num=21, depth=6..23, filters=121993, ccks=2782, wck=3.561, mem=112M492
11.34/6.41 decisions=6348, wrong=1063, backtracks=719, failedAssignments=462, nogoods=253, foundSolutions=2, bestBound=680
11.34/6.41
11.34/6.47 num=22, depth=8..206, filters=125707, ccks=2782, wck=3.621, mem=112M492
11.34/6.47 decisions=6584, wrong=1083, backtracks=727, failedAssignments=476, nogoods=265, foundSolutions=2, bestBound=680
11.34/6.47
11.44/6.52 num=23, depth=135..146, filters=128871, ccks=2782, wck=3.672, mem=112M492
11.44/6.52 decisions=6757, wrong=1101, backtracks=732, failedAssignments=492, nogoods=271, foundSolutions=2, bestBound=680
11.44/6.52
11.57/6.69 o 652
11.68/6.70 num=24, depth=66..7589, filters=131887, ccks=4173, wck=3.847, mem=115M106
11.68/6.70 decisions=6896, wrong=1107, backtracks=732, failedAssignments=498, nogoods=277, foundSolutions=3, bestBound=652
11.68/6.70
12.02/7.06 o 651
12.02/7.07 num=25, depth=89..7589, filters=134801, ccks=5564, wck=4.217, mem=120M372
12.02/7.07 decisions=7055, wrong=1120, backtracks=732, failedAssignments=511, nogoods=290, foundSolutions=4, bestBound=651
12.02/7.07
12.35/7.31 num=26, depth=121..136, filters=137746, ccks=5564, wck=4.461, mem=120M372
12.35/7.31 decisions=7220, wrong=1140, backtracks=742, failedAssignments=522, nogoods=292, foundSolutions=4, bestBound=651
12.35/7.31
12.35/7.36 num=27, depth=98..139, filters=140380, ccks=5564, wck=4.505, mem=120M372
12.35/7.36 decisions=7385, wrong=1156, backtracks=748, failedAssignments=533, nogoods=295, foundSolutions=4, bestBound=651
12.35/7.36
12.45/7.40 num=28, depth=83..109, filters=143701, ccks=5564, wck=4.554, mem=120M372
12.45/7.40 decisions=7526, wrong=1179, backtracks=763, failedAssignments=545, nogoods=297, foundSolutions=4, bestBound=651
12.45/7.40
12.45/7.45 num=29, depth=60..115, filters=146430, ccks=5564, wck=4.598, mem=120M372
12.45/7.45 decisions=7655, wrong=1192, backtracks=763, failedAssignments=558, nogoods=310, foundSolutions=4, bestBound=651
12.45/7.45
12.45/7.50 num=30, depth=56..141, filters=149228, ccks=5564, wck=4.645, mem=120M372
12.45/7.50 decisions=7812, wrong=1206, backtracks=763, failedAssignments=572, nogoods=324, foundSolutions=4, bestBound=651
12.45/7.50
12.56/7.54 num=31, depth=54..124, filters=152359, ccks=5564, wck=4.693, mem=120M372
12.56/7.54 decisions=7960, wrong=1222, backtracks=763, failedAssignments=588, nogoods=340, foundSolutions=4, bestBound=651
12.56/7.54
12.56/7.59 num=32, depth=61..133, filters=155434, ccks=5564, wck=4.742, mem=120M372
12.56/7.59 decisions=8130, wrong=1247, backtracks=772, failedAssignments=605, nogoods=348, foundSolutions=4, bestBound=651
12.56/7.59
12.66/7.65 num=33, depth=54..72, filters=158930, ccks=5564, wck=4.798, mem=120M372
12.66/7.65 decisions=8250, wrong=1280, backtracks=790, failedAssignments=624, nogoods=349, foundSolutions=4, bestBound=651
12.66/7.65
12.76/7.71 num=34, depth=32..60, filters=163769, ccks=5564, wck=4.861, mem=120M372
12.76/7.71 decisions=8367, wrong=1314, backtracks=809, failedAssignments=645, nogoods=357, foundSolutions=4, bestBound=651
12.76/7.71
12.76/7.78 num=35, depth=17..36, filters=168975, ccks=5564, wck=4.93, mem=120M372
12.76/7.78 decisions=8508, wrong=1372, backtracks=855, failedAssignments=668, nogoods=362, foundSolutions=4, bestBound=651
12.76/7.78
12.86/7.86 num=36, depth=8..60, filters=174654, ccks=5564, wck=5.01, mem=120M372
12.86/7.86 decisions=8658, wrong=1422, backtracks=887, failedAssignments=693, nogoods=373, foundSolutions=4, bestBound=651
12.86/7.86
12.96/7.95 num=37, depth=5..45, filters=179843, ccks=5564, wck=5.098, mem=120M372
12.96/7.95 decisions=8823, wrong=1490, backtracks=934, failedAssignments=721, nogoods=386, foundSolutions=4, bestBound=651
12.96/7.95
13.07/8.03 num=38, depth=6..45, filters=184867, ccks=5564, wck=5.177, mem=120M372
13.07/8.03 decisions=8962, wrong=1547, backtracks=974, failedAssignments=752, nogoods=393, foundSolutions=4, bestBound=651
13.07/8.03
13.17/8.12 num=39, depth=6..57, filters=190855, ccks=5564, wck=5.27, mem=120M372
13.17/8.12 decisions=9138, wrong=1616, backtracks=1020, failedAssignments=786, nogoods=411, foundSolutions=4, bestBound=651
13.17/8.12
13.17/8.19 num=40, depth=8..89, filters=195728, ccks=5564, wck=5.344, mem=120M372
13.17/8.19 decisions=9323, wrong=1674, backtracks=1055, failedAssignments=823, nogoods=431, foundSolutions=4, bestBound=651
13.17/8.19
13.26/8.25 num=41, depth=16..83, filters=198776, ccks=5564, wck=5.395, mem=120M372
13.26/8.25 decisions=9456, wrong=1719, backtracks=1060, failedAssignments=864, nogoods=471, foundSolutions=4, bestBound=651
13.26/8.25
13.36/8.34 num=42, depth=7..67, filters=204270, ccks=5564, wck=5.487, mem=120M372
13.36/8.34 decisions=9648, wrong=1792, backtracks=1113, failedAssignments=909, nogoods=487, foundSolutions=4, bestBound=651
13.36/8.34
13.46/8.42 num=43, depth=7..95, filters=209740, ccks=5564, wck=5.573, mem=120M372
13.46/8.42 decisions=9860, wrong=1861, backtracks=1141, failedAssignments=959, nogoods=511, foundSolutions=4, bestBound=651
13.46/8.42
13.57/8.56 num=44, depth=7..97, filters=218699, ccks=5564, wck=5.71, mem=120M372
13.57/8.56 decisions=10128, wrong=1958, backtracks=1202, failedAssignments=1014, nogoods=538, foundSolutions=4, bestBound=651
13.57/8.56
13.77/8.76 o 592
13.77/8.76 num=45, depth=9..7589, filters=222789, ccks=6955, wck=5.911, mem=122M986
13.77/8.76 decisions=10322, wrong=2014, backtracks=1223, failedAssignments=1060, nogoods=573, foundSolutions=5, bestBound=592
13.77/8.76
14.23/9.15 o 591
14.23/9.15 num=46, depth=9..7589, filters=226780, ccks=8346, wck=6.301, mem=125M600
14.23/9.15 decisions=10522, wrong=2069, backtracks=1229, failedAssignments=1112, nogoods=622, foundSolutions=6, bestBound=591
14.23/9.15
14.51/9.37 num=47, depth=9..40, filters=228034, ccks=8346, wck=6.521, mem=125M600
14.51/9.37 decisions=10585, wrong=2085, backtracks=1237, failedAssignments=1123, nogoods=630, foundSolutions=6, bestBound=591
14.51/9.37
14.61/9.43 num=48, depth=0..26, filters=231803, ccks=8346, wck=6.581, mem=125M600
14.61/9.43 decisions=10683, wrong=2124, backtracks=1271, failedAssignments=1134, nogoods=632, foundSolutions=6, bestBound=591
14.61/9.43
14.61/9.47 num=49, depth=5..23, filters=234307, ccks=8346, wck=6.623, mem=125M600
14.61/9.47 decisions=10763, wrong=2158, backtracks=1296, failedAssignments=1146, nogoods=636, foundSolutions=6, bestBound=591
14.61/9.47
14.71/9.51 num=50, depth=1..33, filters=236304, ccks=8346, wck=6.654, mem=125M600
14.71/9.51 decisions=10832, wrong=2181, backtracks=1306, failedAssignments=1159, nogoods=646, foundSolutions=6, bestBound=591
14.71/9.51
14.71/9.55 num=51, depth=1..31, filters=239059, ccks=8346, wck=6.695, mem=125M600
14.71/9.55 decisions=10900, wrong=2206, backtracks=1318, failedAssignments=1173, nogoods=653, foundSolutions=6, bestBound=591
14.71/9.55
14.81/9.60 num=52, depth=1..27, filters=242410, ccks=8346, wck=6.752, mem=125M600
14.81/9.60 decisions=10997, wrong=2250, backtracks=1353, failedAssignments=1189, nogoods=659, foundSolutions=6, bestBound=591
14.81/9.60
14.81/9.66 num=53, depth=1..49, filters=245094, ccks=8346, wck=6.806, mem=125M600
14.81/9.66 decisions=11090, wrong=2280, backtracks=1370, failedAssignments=1206, nogoods=673, foundSolutions=6, bestBound=591
14.81/9.66
14.91/9.70 num=54, depth=1..39, filters=248016, ccks=8346, wck=6.854, mem=125M600
14.91/9.70 decisions=11180, wrong=2311, backtracks=1389, failedAssignments=1225, nogoods=683, foundSolutions=6, bestBound=591
14.91/9.70
14.91/9.76 num=55, depth=4..38, filters=250838, ccks=8346, wck=6.905, mem=125M600
14.91/9.76 decisions=11265, wrong=2341, backtracks=1412, failedAssignments=1246, nogoods=691, foundSolutions=6, bestBound=591
14.91/9.76
15.01/9.83 num=56, depth=4..35, filters=254656, ccks=8346, wck=6.984, mem=125M600
15.01/9.83 decisions=11367, wrong=2382, backtracks=1444, failedAssignments=1269, nogoods=697, foundSolutions=6, bestBound=591
15.01/9.83
15.13/9.90 num=57, depth=4..26, filters=259905, ccks=8346, wck=7.048, mem=125M600
15.13/9.90 decisions=11484, wrong=2435, backtracks=1480, failedAssignments=1294, nogoods=702, foundSolutions=6, bestBound=591
15.13/9.90
15.24/10.01 num=58, depth=0..37, filters=266278, ccks=8346, wck=7.161, mem=125M600
15.24/10.01 decisions=11624, wrong=2493, backtracks=1522, failedAssignments=1322, nogoods=710, foundSolutions=6, bestBound=591
15.24/10.01
15.24/10.07 num=59, depth=15..26, filters=269670, ccks=8346, wck=7.219, mem=125M600
15.24/10.07 decisions=11774, wrong=2557, backtracks=1574, failedAssignments=1353, nogoods=715, foundSolutions=6, bestBound=591
15.24/10.07
15.34/10.18 num=60, depth=8..22, filters=277511, ccks=8346, wck=7.333, mem=125M600
15.34/10.18 decisions=11924, wrong=2624, backtracks=1616, failedAssignments=1387, nogoods=721, foundSolutions=6, bestBound=591
15.34/10.18
15.54/10.35 o 586
15.54/10.36 num=61, depth=12..7589, filters=280386, ccks=9737, wck=7.508, mem=128M214
15.54/10.36 decisions=12027, wrong=2639, backtracks=1617, failedAssignments=1401, nogoods=735, foundSolutions=7, bestBound=586
15.54/10.36
16.05/10.75 o 585
16.05/10.76 num=62, depth=10..7589, filters=284153, ccks=11128, wck=7.905, mem=130M827
16.05/10.76 decisions=12148, wrong=2665, backtracks=1617, failedAssignments=1427, nogoods=761, foundSolutions=8, bestBound=585
16.05/10.76
16.28/10.99 num=63, depth=12..30, filters=286729, ccks=11128, wck=8.14, mem=130M827
16.28/10.99 decisions=12195, wrong=2678, backtracks=1620, failedAssignments=1438, nogoods=770, foundSolutions=8, bestBound=585
16.28/10.99
16.40/11.04 num=64, depth=5..35, filters=289419, ccks=11128, wck=8.184, mem=130M827
16.40/11.04 decisions=12256, wrong=2696, backtracks=1627, failedAssignments=1449, nogoods=781, foundSolutions=8, bestBound=585
16.40/11.04
16.40/11.08 num=65, depth=12..35, filters=292135, ccks=11128, wck=8.234, mem=130M827
16.40/11.08 decisions=12311, wrong=2713, backtracks=1633, failedAssignments=1461, nogoods=790, foundSolutions=8, bestBound=585
16.40/11.08
16.59/11.25 o 584
16.59/11.25 num=66, depth=27..7589, filters=294636, ccks=12519, wck=8.4, mem=136M86
16.59/11.25 decisions=12404, wrong=2724, backtracks=1633, failedAssignments=1472, nogoods=801, foundSolutions=9, bestBound=584
16.59/11.25
16.90/11.50 num=67, depth=19..32, filters=297340, ccks=12519, wck=8.648, mem=136M86
16.90/11.50 decisions=12478, wrong=2751, backtracks=1653, failedAssignments=1486, nogoods=806, foundSolutions=9, bestBound=584
16.90/11.50
16.90/11.54 num=68, depth=19..55, filters=299867, ccks=12519, wck=8.692, mem=136M86
16.90/11.54 decisions=12549, wrong=2764, backtracks=1655, failedAssignments=1497, nogoods=817, foundSolutions=9, bestBound=584
16.90/11.54
16.90/11.59 num=69, depth=14..47, filters=302691, ccks=12519, wck=8.738, mem=136M86
16.90/11.59 decisions=12614, wrong=2778, backtracks=1658, failedAssignments=1509, nogoods=828, foundSolutions=9, bestBound=584
16.90/11.59
17.00/11.65 num=70, depth=14..58, filters=306192, ccks=12519, wck=8.796, mem=136M86
17.00/11.65 decisions=12699, wrong=2797, backtracks=1664, failedAssignments=1522, nogoods=840, foundSolutions=9, bestBound=584
17.00/11.65
17.20/11.81 o 583
17.20/11.81 num=71, depth=15..7589, filters=309023, ccks=13910, wck=8.964, mem=138M700
17.20/11.81 decisions=12785, wrong=2811, backtracks=1669, failedAssignments=1533, nogoods=849, foundSolutions=10, bestBound=583
17.20/11.81
17.41/12.07 num=72, depth=8..28, filters=312700, ccks=13910, wck=9.219, mem=138M700
17.41/12.07 decisions=12870, wrong=2843, backtracks=1693, failedAssignments=1549, nogoods=854, foundSolutions=10, bestBound=583
17.41/12.07
17.51/12.11 num=73, depth=2..21, filters=315495, ccks=13910, wck=9.263, mem=138M700
17.51/12.11 decisions=12936, wrong=2870, backtracks=1712, failedAssignments=1560, nogoods=863, foundSolutions=10, bestBound=583
17.51/12.11
17.51/12.16 num=74, depth=2..30, filters=317862, ccks=13910, wck=9.31, mem=138M700
17.51/12.16 decisions=12997, wrong=2896, backtracks=1732, failedAssignments=1572, nogoods=868, foundSolutions=10, bestBound=583
17.51/12.16
17.60/12.21 num=75, depth=2..48, filters=320517, ccks=13910, wck=9.364, mem=138M700
17.60/12.21 decisions=13067, wrong=2913, backtracks=1737, failedAssignments=1585, nogoods=880, foundSolutions=10, bestBound=583
17.60/12.21
17.60/12.27 num=76, depth=2..63, filters=323579, ccks=13910, wck=9.415, mem=138M700
17.60/12.27 decisions=13147, wrong=2928, backtracks=1738, failedAssignments=1599, nogoods=894, foundSolutions=10, bestBound=583
17.60/12.27
17.70/12.32 num=77, depth=2..52, filters=326685, ccks=13910, wck=9.466, mem=138M700
17.70/12.32 decisions=13217, wrong=2945, backtracks=1739, failedAssignments=1615, nogoods=910, foundSolutions=10, bestBound=583
17.70/12.32
17.70/12.37 num=78, depth=2..83, filters=330183, ccks=13910, wck=9.523, mem=138M700
17.70/12.37 decisions=13326, wrong=2964, backtracks=1741, failedAssignments=1632, nogoods=927, foundSolutions=10, bestBound=583
17.70/12.37
17.80/12.44 num=79, depth=2..59, filters=334758, ccks=13910, wck=9.592, mem=138M700
17.80/12.44 decisions=13411, wrong=2986, backtracks=1744, failedAssignments=1651, nogoods=945, foundSolutions=10, bestBound=583
17.80/12.44
17.90/12.52 num=80, depth=1..92, filters=339770, ccks=13910, wck=9.667, mem=138M700
17.90/12.52 decisions=13537, wrong=3011, backtracks=1749, failedAssignments=1672, nogoods=964, foundSolutions=10, bestBound=583
17.90/12.52
18.00/12.64 num=81, depth=1..50, filters=345698, ccks=13910, wck=9.79, mem=138M700
18.00/12.64 decisions=13671, wrong=3055, backtracks=1780, failedAssignments=1695, nogoods=969, foundSolutions=10, bestBound=583
18.00/12.64
18.10/12.73 num=82, depth=1..30, filters=351392, ccks=13910, wck=9.882, mem=138M700
18.10/12.73 decisions=13765, wrong=3093, backtracks=1802, failedAssignments=1720, nogoods=979, foundSolutions=10, bestBound=583
18.10/12.73
18.20/12.87 num=83, depth=1..60, filters=358815, ccks=13910, wck=10.017, mem=138M700
18.20/12.87 decisions=13906, wrong=3138, backtracks=1830, failedAssignments=1748, nogoods=989, foundSolutions=10, bestBound=583
18.20/12.87
18.41/13.01 num=84, depth=1..29, filters=367582, ccks=13910, wck=10.156, mem=138M700
18.41/13.01 decisions=14038, wrong=3193, backtracks=1869, failedAssignments=1779, nogoods=997, foundSolutions=10, bestBound=583
18.41/13.01
18.51/13.12 num=85, depth=1..30, filters=373465, ccks=13910, wck=10.269, mem=138M700
18.51/13.12 decisions=14167, wrong=3249, backtracks=1911, failedAssignments=1813, nogoods=1007, foundSolutions=10, bestBound=583
18.51/13.12
18.60/13.29 o 580
18.60/13.29 num=86, depth=3..7589, filters=376684, ccks=15301, wck=10.44, mem=141M314
18.60/13.29 decisions=14270, wrong=3268, backtracks=1914, failedAssignments=1831, nogoods=1023, foundSolutions=11, bestBound=580
18.60/13.29
19.00/13.65 o 579
19.00/13.65 num=87, depth=4..7589, filters=379323, ccks=16692, wck=10.8, mem=143M928
19.00/13.65 decisions=14375, wrong=3282, backtracks=1914, failedAssignments=1845, nogoods=1037, foundSolutions=12, bestBound=579
19.00/13.65
19.23/13.86
19.23/13.86 New Bounds: 579..578
19.23/13.88 num=88, depth=0..17, filters=380774, ccks=16692, wck=11.026, mem=143M928
19.23/13.88 decisions=14411, wrong=3301, backtracks=1932, failedAssignments=1849, foundSolutions=12, bestBound=579
19.23/13.88
19.23/13.88 Global
19.23/13.88 filters=380774, ccks=16692
19.23/13.88 Stop=FULL_EXPLORATION, wrong=3301, bestBound=579, bestBoundWck=11.783, bestBoundCpu=13.588, foundSolutions=12, firstSolCpu=5.494
19.23/13.88 wck=12.014, cpu=13.82, mem=143M928
19.23/13.89
19.23/13.89 v <instantiation id='sol12' type='solution' cost='579'> <list> p[] r[][] </list> <values> 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 3 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> </instantiation>
19.23/13.89 s OPTIMUM FOUND
19.23/13.89
19.23/13.89 d WRONG_DECISIONS 3301
19.23/13.89 d NUMBER_SOLUTIONS 12
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 (15489 MiB free)
memory of node 1: 16384 MiB (13068 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391279-1568389329/watcher-4391279-1568389329 -o /tmp/evaluation-result-4391279-1568389329/solver-4391279-1568389329 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568389279-23587 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391279-1568389329.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23866, runsolver pid=23863
[startup+0.100559 s]*
/proc/loadavg: 0.85 0.74 0.97 4/229 23881
/proc/meminfo: memFree=29226492/32770624 swapFree=66958212/67108860
[pid=23866] ppid=23863 vsize=10659884 memory=28744 CPUtime=0.14 cores=0,2,4,6
/proc/23866/stat : 23866 (java) S 23863 23866 21280 0 -1 1077944320 5605 0 0 0 13 1 0 0 20 0 15 0 414869457 10915721216 7186 33554432000 4194304 4196468 140720481300000 140720481282544 139775460470519 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
/proc/23866/statm: 2664971 7186 2913 1 0 2627468 0
[pid=23866/tid=23868] ppid=23863 vsize=10659884 memory=-8094235084319000145 CPUtime=0.09 cores=0,2,4,6
/proc/23866/task/23868/stat : 23868 (java) R 23863 23866 21280 0 -1 4202560 3295 0 0 0 9 0 0 0 20 0 15 0 414869458 10915721216 7252 33554432000 4194304 4196468 140720481300000 139775464699480 139775452707646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23869] ppid=23863 vsize=10659884 memory=4211973496543456650 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23869/stat : 23869 (java) S 23863 23866 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414869458 10915721216 7252 33554432000 4194304 4196468 140720481300000 139775417023376 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23870] ppid=23863 vsize=10659884 memory=139770338666112 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23870/stat : 23870 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10915721216 7252 33554432000 4194304 4196468 140720481300000 139775066430224 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23871] ppid=23863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23871/stat : 23871 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10915721216 7252 33554432000 4194304 4196468 140720481300000 139775065377936 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23872] ppid=23863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23872/stat : 23872 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10915721216 7252 33554432000 4194304 4196468 140720481300000 139775064325136 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23873] ppid=23863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23873/stat : 23873 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869460 10915721216 7252 33554432000 4194304 4196468 140720481300000 139775019645040 139775460481666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23874] ppid=23863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23874/stat : 23874 (java) S 23863 23866 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414869460 10915721216 7252 33554432000 4194304 4196468 140720481300000 139775018591008 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23875] ppid=23863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23875/stat : 23875 (java) S 23863 23866 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414869461 10915721216 7252 33554432000 4194304 4196468 140720481300000 139775017538672 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23876] ppid=23863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23876/stat : 23876 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414869463 10915721216 7252 33554432000 4194304 4196468 140720481300000 139775016486992 139775460489115 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23877] ppid=23863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23877/stat : 23877 (java) S 23863 23866 21280 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 15 0 414869463 10915721216 7252 33554432000 4194304 4196468 140720481300000 139775015434864 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23878] ppid=23863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23878/stat : 23878 (java) S 23863 23866 21280 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 414869463 10915721216 7252 33554432000 4194304 4196468 140720481300000 139775014382064 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23879] ppid=23863 vsize=10659884 memory=139770338666112 CPUtime=0.02 cores=0,2,4,6
/proc/23866/task/23879/stat : 23879 (java) R 23863 23866 21280 0 -1 4202560 511 0 0 0 2 0 0 0 20 0 15 0 414869463 10915721216 7252 33554432000 4194304 4196468 140720481300000 139774945909736 139775452707646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23880] ppid=23863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23880/stat : 23880 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414869463 10915721216 7252 33554432000 4194304 4196468 140720481300000 139774944861152 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23881] ppid=23863 vsize=10659884 memory=139770338666112 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23881/stat : 23881 (java) S 23863 23866 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414869463 10915721216 7252 33554432000 4194304 4196468 140720481300000 139774943807920 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28744 KiB
[startup+0.211079 s]*
/proc/loadavg: 0.85 0.74 0.97 4/229 23881
/proc/meminfo: memFree=29215996/32770624 swapFree=66958212/67108860
[pid=23866] ppid=23863 vsize=10659884 memory=37080 CPUtime=0.33 cores=0,2,4,6
/proc/23866/stat : 23866 (java) S 23863 23866 21280 0 -1 1077944320 9018 0 0 0 30 3 0 0 20 0 15 0 414869457 10915721216 9270 33554432000 4194304 4196468 140720481300000 140720481282544 139775460470519 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
/proc/23866/statm: 2664971 9270 2989 1 0 2627468 0
[pid=23866/tid=23868] ppid=23863 vsize=10659884 memory=8246674155440865347 CPUtime=0.2 cores=0,2,4,6
/proc/23866/task/23868/stat : 23868 (java) R 23863 23866 21280 0 -1 4202560 6115 0 0 0 18 2 0 0 20 0 15 0 414869458 10915721216 9270 33554432000 4194304 4196468 140720481300000 139775464696880 139775460492445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23869] ppid=23863 vsize=10659884 memory=4211973496543456650 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23869/stat : 23869 (java) S 23863 23866 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414869458 10915721216 9270 33554432000 4194304 4196468 140720481300000 139775417023376 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23870] ppid=23863 vsize=10659884 memory=139770338666112 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23870/stat : 23870 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10915721216 9270 33554432000 4194304 4196468 140720481300000 139775066430224 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23871] ppid=23863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23871/stat : 23871 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10915721216 9270 33554432000 4194304 4196468 140720481300000 139775065377936 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23872] ppid=23863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23872/stat : 23872 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10915721216 9270 33554432000 4194304 4196468 140720481300000 139775064325136 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23873] ppid=23863 vsize=10659884 memory=139770338666112 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23873/stat : 23873 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869460 10915721216 9270 33554432000 4194304 4196468 140720481300000 139775019645040 139775460481666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23874] ppid=23863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23874/stat : 23874 (java) S 23863 23866 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414869460 10915721216 9270 33554432000 4194304 4196468 140720481300000 139775018591008 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23875] ppid=23863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23875/stat : 23875 (java) S 23863 23866 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414869461 10915721216 9270 33554432000 4194304 4196468 140720481300000 139775017538672 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23876] ppid=23863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23876/stat : 23876 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414869463 10915721216 9270 33554432000 4194304 4196468 140720481300000 139775016486992 139775460489115 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23877] ppid=23863 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23877/stat : 23877 (java) S 23863 23866 21280 0 -1 1077944384 551 0 0 0 3 0 0 0 20 0 15 0 414869463 10915721216 9270 33554432000 4194304 4196468 140720481300000 139775015434864 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23878] ppid=23863 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23866/task/23878/stat : 23878 (java) S 23863 23866 21280 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 15 0 414869463 10915721216 9270 33554432000 4194304 4196468 140720481300000 139775014382064 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23879] ppid=23863 vsize=10659884 memory=139770338666112 CPUtime=0.05 cores=0,2,4,6
/proc/23866/task/23879/stat : 23879 (java) S 23863 23866 21280 0 -1 1077944384 719 0 0 0 5 0 0 0 20 0 15 0 414869463 10915721216 9270 33554432000 4194304 4196468 140720481300000 139774945913712 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23880] ppid=23863 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23880/stat : 23880 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414869463 10915721216 9270 33554432000 4194304 4196468 140720481300000 139774944861152 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23881] ppid=23863 vsize=10659884 memory=139770338666112 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23881/stat : 23881 (java) S 23863 23866 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414869463 10915721216 9270 33554432000 4194304 4196468 140720481300000 139774943807920 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37080 KiB
[startup+0.310199 s]*
/proc/loadavg: 0.85 0.74 0.97 4/229 23881
/proc/meminfo: memFree=29212016/32770624 swapFree=66958212/67108860
[pid=23866] ppid=23863 vsize=10659884 memory=39876 CPUtime=0.47 cores=0,2,4,6
/proc/23866/stat : 23866 (java) S 23863 23866 21280 0 -1 1077944320 9243 0 0 0 44 3 0 0 20 0 15 0 414869457 10915721216 9969 33554432000 4194304 4196468 140720481300000 140720481282544 139775460470519 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
/proc/23866/statm: 2664971 9969 3002 1 0 2627468 0
[pid=23866/tid=23868] ppid=23863 vsize=10659884 memory=-6933350163988323266 CPUtime=0.3 cores=0,2,4,6
/proc/23866/task/23868/stat : 23868 (java) R 23863 23866 21280 0 -1 4202560 6243 0 0 0 28 2 0 0 20 0 15 0 414869458 10915721216 9969 33554432000 4194304 4196468 140720481300000 139775464702320 139775460492445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23869] ppid=23863 vsize=10659884 memory=4211973496543456650 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23869/stat : 23869 (java) S 23863 23866 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414869458 10915721216 9969 33554432000 4194304 4196468 140720481300000 139775417023376 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23870] ppid=23863 vsize=10659884 memory=139770338666112 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23870/stat : 23870 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10915721216 9969 33554432000 4194304 4196468 140720481300000 139775066430224 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23871] ppid=23863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23871/stat : 23871 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10915721216 9969 33554432000 4194304 4196468 140720481300000 139775065377936 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23872] ppid=23863 vsize=10659884 memory=139770181326367 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23872/stat : 23872 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10915721216 9969 33554432000 4194304 4196468 140720481300000 139775064325136 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23873] ppid=23863 vsize=10659884 memory=279540362631968 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23873/stat : 23873 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869460 10915721216 9969 33554432000 4194304 4196468 140720481300000 139775019645040 139775460481666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23874] ppid=23863 vsize=10659884 memory=139770181303311 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23874/stat : 23874 (java) S 23863 23866 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414869460 10915721216 9969 33554432000 4194304 4196468 140720481300000 139775018591008 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23875] ppid=23863 vsize=10659884 memory=279540519976320 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23875/stat : 23875 (java) S 23863 23866 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414869461 10915721216 9969 33554432000 4194304 4196468 140720481300000 139775017538672 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23876] ppid=23863 vsize=10659884 memory=139770181307919 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23876/stat : 23876 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414869463 10915721216 9969 33554432000 4194304 4196468 140720481300000 139775016486992 139775460489115 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23877] ppid=23863 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23866/task/23877/stat : 23877 (java) S 23863 23866 21280 0 -1 1077944384 561 0 0 0 4 0 0 0 20 0 15 0 414869463 10915721216 9969 33554432000 4194304 4196468 140720481300000 139775015434864 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23878] ppid=23863 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/23866/task/23878/stat : 23878 (java) S 23863 23866 21280 0 -1 1077944384 312 0 0 0 4 0 0 0 20 0 15 0 414869463 10915721216 9969 33554432000 4194304 4196468 140720481300000 139775014382064 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23879] ppid=23863 vsize=10659884 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23866/task/23879/stat : 23879 (java) S 23863 23866 21280 0 -1 1077944384 767 0 0 0 8 0 0 0 20 0 15 0 414869463 10915721216 9969 33554432000 4194304 4196468 140720481300000 139774945913712 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23880] ppid=23863 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23880/stat : 23880 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414869463 10915721216 9969 33554432000 4194304 4196468 140720481300000 139774944861152 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23881] ppid=23863 vsize=10659884 memory=28744 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23881/stat : 23881 (java) S 23863 23866 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414869463 10915721216 9969 33554432000 4194304 4196468 140720481300000 139774943807920 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39876 KiB
[startup+0.700785 s]
/proc/loadavg: 0.85 0.74 0.97 2/212 23883
/proc/meminfo: memFree=29431636/32770624 swapFree=66958212/67108860
[pid=23866] ppid=23863 vsize=10661932 memory=59864 CPUtime=1.08 cores=0,2,4,6
/proc/23866/stat : 23866 (java) S 23863 23866 21280 0 -1 1077944320 12567 0 0 0 103 5 0 0 20 0 15 0 414869457 10917818368 14966 33554432000 4194304 4196468 140720481300000 140720481282544 139775460470519 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
/proc/23866/statm: 2665483 14966 3075 1 0 2627980 0
[pid=23866/tid=23868] ppid=23863 vsize=10661932 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/23866/task/23868/stat : 23868 (java) R 23863 23866 21280 0 -1 4202560 8775 0 0 0 65 3 0 0 20 0 15 0 414869458 10917818368 14966 33554432000 4194304 4196468 140720481300000 139775464696400 139775460492445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23869] ppid=23863 vsize=10661932 memory=7593464144715014744 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23869/stat : 23869 (java) S 23863 23866 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414869458 10917818368 14966 33554432000 4194304 4196468 140720481300000 139775417023376 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23870] ppid=23863 vsize=10661932 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23870/stat : 23870 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10917818368 14966 33554432000 4194304 4196468 140720481300000 139775066430224 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23871] ppid=23863 vsize=10661932 memory=7100839878645814387 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23871/stat : 23871 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10917818368 14966 33554432000 4194304 4196468 140720481300000 139775065377936 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23872] ppid=23863 vsize=10661932 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23872/stat : 23872 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10917818368 14966 33554432000 4194304 4196468 140720481300000 139775064325136 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23873] ppid=23863 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23873/stat : 23873 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869460 10917818368 14966 33554432000 4194304 4196468 140720481300000 139775019645040 139775460481666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23874] ppid=23863 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23874/stat : 23874 (java) S 23863 23866 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414869460 10917818368 14966 33554432000 4194304 4196468 140720481300000 139775018591008 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23875] ppid=23863 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23875/stat : 23875 (java) S 23863 23866 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414869461 10917818368 14966 33554432000 4194304 4196468 140720481300000 139775017538672 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23876] ppid=23863 vsize=10661932 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23876/stat : 23876 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414869463 10917818368 14966 33554432000 4194304 4196468 140720481300000 139775016486992 139775460489115 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23877] ppid=23863 vsize=10661932 memory=1196 CPUtime=0.09 cores=0,2,4,6
/proc/23866/task/23877/stat : 23877 (java) S 23863 23866 21280 0 -1 1077944384 790 0 0 0 9 0 0 0 20 0 15 0 414869463 10917818368 14966 33554432000 4194304 4196468 140720481300000 139775015434864 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23878] ppid=23863 vsize=10661932 memory=1044 CPUtime=0.1 cores=0,2,4,6
/proc/23866/task/23878/stat : 23878 (java) S 23863 23866 21280 0 -1 1077944384 551 0 0 0 10 0 0 0 20 0 15 0 414869463 10917818368 14966 33554432000 4194304 4196468 140720481300000 139775014382064 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23879] ppid=23863 vsize=10661932 memory=712 CPUtime=0.18 cores=0,2,4,6
/proc/23866/task/23879/stat : 23879 (java) S 23863 23866 21280 0 -1 1077944384 1090 0 0 0 18 0 0 0 20 0 15 0 414869463 10917818368 14966 33554432000 4194304 4196468 140720481300000 139774945913712 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23880] ppid=23863 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23880/stat : 23880 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414869463 10917818368 14966 33554432000 4194304 4196468 140720481300000 139774944861152 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23881] ppid=23863 vsize=10661932 memory=7976 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23881/stat : 23881 (java) S 23863 23866 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414869463 10917818368 14966 33554432000 4194304 4196468 140720481300000 139774943807920 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 59864 KiB
[startup+1.5008 s]
/proc/loadavg: 0.85 0.74 0.97 4/227 23912
/proc/meminfo: memFree=29367288/32770624 swapFree=66958212/67108860
[pid=23866] ppid=23863 vsize=10663980 memory=74660 CPUtime=1.97 cores=0,2,4,6
/proc/23866/stat : 23866 (java) S 23863 23866 21280 0 -1 1077944320 17954 0 0 0 191 6 0 0 20 0 15 0 414869457 10919915520 18665 33554432000 4194304 4196468 140720481300000 140720481282544 139775460470519 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
/proc/23866/statm: 2665995 18665 3094 1 0 2628492 0
[pid=23866/tid=23868] ppid=23863 vsize=10663980 memory=7661020312478509166 CPUtime=1.48 cores=0,2,4,6
/proc/23866/task/23868/stat : 23868 (java) R 23863 23866 21280 0 -1 4202560 12881 0 0 0 144 4 0 0 20 0 15 0 414869458 10919915520 18665 33554432000 4194304 4196468 140720481300000 139775464702848 139775444551006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23869] ppid=23863 vsize=10663980 memory=7092134095660017238 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23869/stat : 23869 (java) S 23863 23866 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414869458 10919915520 18665 33554432000 4194304 4196468 140720481300000 139775417023376 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23870] ppid=23863 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23870/stat : 23870 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10919915520 18665 33554432000 4194304 4196468 140720481300000 139775066430224 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23871] ppid=23863 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23871/stat : 23871 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10919915520 18665 33554432000 4194304 4196468 140720481300000 139775065377936 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23872] ppid=23863 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23872/stat : 23872 (java) S 23863 23866 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414869458 10919915520 18665 33554432000 4194304 4196468 140720481300000 139775064325136 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23873] ppid=23863 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23873/stat : 23873 (java) S 23863 23866 21280 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 414869460 10919915520 18665 33554432000 4194304 4196468 140720481300000 139775019645040 139775460481666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
################
# More data... #
################
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8009 s]
/proc/loadavg: 0.95 0.77 0.97 3/230 23962
/proc/meminfo: memFree=28920172/32770624 swapFree=66958212/67108860
[pid=23866] ppid=23863 vsize=10748324 memory=293640 CPUtime=18.2 cores=0,2,4,6
/proc/23866/stat : 23866 (java) S 23863 23866 21280 0 -1 1077944320 51924 0 0 0 1802 18 0 0 20 0 16 0 414869457 11006283776 73410 33554432000 4194304 4196468 140720481300000 140720481282544 139775460470519 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
/proc/23866/statm: 2687081 73410 3380 1 0 2647217 0
[pid=23866/tid=23868] ppid=23863 vsize=10748324 memory=139770181519760 CPUtime=1.88 cores=0,2,4,6
/proc/23866/task/23868/stat : 23868 (java) S 23863 23866 21280 0 -1 1077944384 15179 0 0 0 182 6 0 0 20 0 16 0 414869458 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775464713392 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23869] ppid=23863 vsize=10748324 memory=2273 CPUtime=0.01 cores=0,2,4,6
/proc/23866/task/23869/stat : 23869 (java) S 23863 23866 21280 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 16 0 414869458 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775417023376 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23870] ppid=23863 vsize=10748324 memory=2753 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23870/stat : 23870 (java) S 23863 23866 21280 0 -1 1077944384 180 0 0 0 2 1 0 0 20 0 16 0 414869458 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775066430224 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23871] ppid=23863 vsize=10748324 memory=7594587674001172330 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23871/stat : 23871 (java) S 23863 23866 21280 0 -1 1077944384 241 0 0 0 2 1 0 0 20 0 16 0 414869458 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775065377936 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23872] ppid=23863 vsize=10748324 memory=7373916858537504097 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23872/stat : 23872 (java) S 23863 23866 21280 0 -1 1077944384 107 0 0 0 2 1 0 0 20 0 16 0 414869458 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775064325136 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23873] ppid=23863 vsize=10748324 memory=1432 CPUtime=0.01 cores=0,2,4,6
/proc/23866/task/23873/stat : 23873 (java) S 23863 23866 21280 0 -1 1077944384 1222 0 0 0 1 0 0 0 20 0 16 0 414869460 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775019645040 139775460481666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23874] ppid=23863 vsize=10748324 memory=776 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23874/stat : 23874 (java) S 23863 23866 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414869460 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775018591072 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23875] ppid=23863 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23875/stat : 23875 (java) S 23863 23866 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414869461 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775017538688 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23876] ppid=23863 vsize=10748324 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23876/stat : 23876 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414869463 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775016486992 139775460489115 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23877] ppid=23863 vsize=10748324 memory=1552 CPUtime=2.21 cores=0,2,4,6
/proc/23866/task/23877/stat : 23877 (java) S 23863 23866 21280 0 -1 1077944384 8667 0 0 0 220 1 0 0 20 0 16 0 414869463 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775015434864 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23878] ppid=23863 vsize=10748324 memory=1556 CPUtime=2.19 cores=0,2,4,6
/proc/23866/task/23878/stat : 23878 (java) S 23863 23866 21280 0 -1 1077944384 9968 0 0 0 218 1 0 0 20 0 16 0 414869463 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775014382064 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23879] ppid=23863 vsize=10748324 memory=1196 CPUtime=0.89 cores=0,2,4,6
/proc/23866/task/23879/stat : 23879 (java) S 23863 23866 21280 0 -1 1077944384 6969 0 0 0 88 1 0 0 20 0 16 0 414869463 11006283776 73410 33554432000 4194304 4196468 140720481300000 139774945913712 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23880] ppid=23863 vsize=10748324 memory=1044 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23880/stat : 23880 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414869463 11006283776 73410 33554432000 4194304 4196468 140720481300000 139774944861152 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23881] ppid=23863 vsize=10748324 memory=712 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23881/stat : 23881 (java) S 23863 23866 21280 0 -1 1077944384 967 0 0 0 0 0 0 0 20 0 16 0 414869463 11006283776 73410 33554432000 4194304 4196468 140720481300000 139774943807920 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23959] ppid=23863 vsize=10748324 memory=279540363065568 CPUtime=10.84 cores=0,2,4,6
/proc/23866/task/23959/stat : 23959 (java) R 23863 23866 21280 0 -1 4202560 6947 0 0 0 1081 3 0 0 20 0 16 0 414869647 11006283776 73410 33554432000 4194304 4196468 140720481300000 139774927020976 139775105920938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
Current children cumulated CPU time: 18.2 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 293640 KiB
[startup+13.6007 s]
/proc/loadavg: 0.95 0.77 0.97 3/230 23962
/proc/meminfo: memFree=28920272/32770624 swapFree=66958212/67108860
[pid=23866] ppid=23863 vsize=10748324 memory=293640 CPUtime=19 cores=0,2,4,6
/proc/23866/stat : 23866 (java) S 23863 23866 21280 0 -1 1077944320 53130 0 0 0 1882 18 0 0 20 0 16 0 414869457 11006283776 73410 33554432000 4194304 4196468 140720481300000 140720481282544 139775460470519 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
/proc/23866/statm: 2687081 73410 3380 1 0 2647217 0
[pid=23866/tid=23868] ppid=23863 vsize=10748324 memory=7100839861465685612 CPUtime=1.88 cores=0,2,4,6
/proc/23866/task/23868/stat : 23868 (java) S 23863 23866 21280 0 -1 1077944384 15179 0 0 0 182 6 0 0 20 0 16 0 414869458 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775464713392 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23869] ppid=23863 vsize=10748324 memory=-7175204567652784766 CPUtime=0.01 cores=0,2,4,6
/proc/23866/task/23869/stat : 23869 (java) S 23863 23866 21280 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 16 0 414869458 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775417023376 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23870] ppid=23863 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23870/stat : 23870 (java) S 23863 23866 21280 0 -1 1077944384 180 0 0 0 2 1 0 0 20 0 16 0 414869458 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775066430224 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23871] ppid=23863 vsize=10748324 memory=293264 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23871/stat : 23871 (java) S 23863 23866 21280 0 -1 1077944384 241 0 0 0 2 1 0 0 20 0 16 0 414869458 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775065377936 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23872] ppid=23863 vsize=10748324 memory=293636 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23872/stat : 23872 (java) S 23863 23866 21280 0 -1 1077944384 107 0 0 0 2 1 0 0 20 0 16 0 414869458 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775064325136 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23873] ppid=23863 vsize=10748324 memory=1552 CPUtime=0.01 cores=0,2,4,6
/proc/23866/task/23873/stat : 23873 (java) S 23863 23866 21280 0 -1 1077944384 1280 0 0 0 1 0 0 0 20 0 16 0 414869460 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775019645040 139775460481666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23874] ppid=23863 vsize=10748324 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23874/stat : 23874 (java) S 23863 23866 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414869460 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775018591072 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23875] ppid=23863 vsize=10748324 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23875/stat : 23875 (java) S 23863 23866 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414869461 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775017538688 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23876] ppid=23863 vsize=10748324 memory=1044 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23876/stat : 23876 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414869463 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775016486992 139775460489115 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23877] ppid=23863 vsize=10748324 memory=712 CPUtime=2.21 cores=0,2,4,6
/proc/23866/task/23877/stat : 23877 (java) S 23863 23866 21280 0 -1 1077944384 8669 0 0 0 220 1 0 0 20 0 16 0 414869463 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775015434864 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23878] ppid=23863 vsize=10748324 memory=2832 CPUtime=2.19 cores=0,2,4,6
/proc/23866/task/23878/stat : 23878 (java) S 23863 23866 21280 0 -1 1077944384 9970 0 0 0 218 1 0 0 20 0 16 0 414869463 11006283776 73410 33554432000 4194304 4196468 140720481300000 139775014382064 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23879] ppid=23863 vsize=10748324 memory=7976 CPUtime=0.89 cores=0,2,4,6
/proc/23866/task/23879/stat : 23879 (java) S 23863 23866 21280 0 -1 1077944384 7268 0 0 0 88 1 0 0 20 0 16 0 414869463 11006283776 73410 33554432000 4194304 4196468 140720481300000 139774945913712 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23880] ppid=23863 vsize=10748324 memory=10428 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23880/stat : 23880 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414869463 11006283776 73410 33554432000 4194304 4196468 140720481300000 139774944861152 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23881] ppid=23863 vsize=10748324 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23881/stat : 23881 (java) S 23863 23866 21280 0 -1 1077944384 996 0 0 0 0 0 0 0 20 0 16 0 414869463 11006283776 73410 33554432000 4194304 4196468 140720481300000 139774943807920 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23959] ppid=23863 vsize=10748324 memory=14080 CPUtime=11.64 cores=0,2,4,6
/proc/23866/task/23959/stat : 23959 (java) R 23863 23866 21280 0 -1 4202560 7763 0 0 0 1161 3 0 0 20 0 16 0 414869647 11006283776 73410 33554432000 4194304 4196468 140720481300000 139774927027504 139775105920485 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
Current children cumulated CPU time: 19 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 293640 KiB
[startup+13.8008 s]
/proc/loadavg: 0.95 0.77 0.97 3/230 23962
/proc/meminfo: memFree=28920272/32770624 swapFree=66958212/67108860
[pid=23866] ppid=23863 vsize=10748324 memory=293668 CPUtime=19.23 cores=0,2,4,6
/proc/23866/stat : 23866 (java) S 23863 23866 21280 0 -1 1077944320 54610 0 0 0 1905 18 0 0 20 0 16 0 414869457 11006283776 73417 33554432000 4194304 4196468 140720481300000 140720481282544 139775460470519 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
/proc/23866/statm: 2687081 73417 3380 1 0 2647217 0
[pid=23866/tid=23868] ppid=23863 vsize=10748324 memory=1 CPUtime=1.88 cores=0,2,4,6
/proc/23866/task/23868/stat : 23868 (java) S 23863 23866 21280 0 -1 1077944384 15179 0 0 0 182 6 0 0 20 0 16 0 414869458 11006283776 73417 33554432000 4194304 4196468 140720481300000 139775464713392 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23869] ppid=23863 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23866/task/23869/stat : 23869 (java) S 23863 23866 21280 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 16 0 414869458 11006283776 73417 33554432000 4194304 4196468 140720481300000 139775417023376 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23870] ppid=23863 vsize=10748324 memory=1 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23870/stat : 23870 (java) S 23863 23866 21280 0 -1 1077944384 180 0 0 0 2 1 0 0 20 0 16 0 414869458 11006283776 73417 33554432000 4194304 4196468 140720481300000 139775066430224 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23871] ppid=23863 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23871/stat : 23871 (java) S 23863 23866 21280 0 -1 1077944384 241 0 0 0 2 1 0 0 20 0 16 0 414869458 11006283776 73417 33554432000 4194304 4196468 140720481300000 139775065377936 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23872] ppid=23863 vsize=10748324 memory=2196 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23872/stat : 23872 (java) S 23863 23866 21280 0 -1 1077944384 107 0 0 0 2 1 0 0 20 0 16 0 414869458 11006283776 73417 33554432000 4194304 4196468 140720481300000 139775064325136 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23873] ppid=23863 vsize=10748324 memory=663 CPUtime=0.01 cores=0,2,4,6
/proc/23866/task/23873/stat : 23873 (java) S 23863 23866 21280 0 -1 1077944384 1280 0 0 0 1 0 0 0 20 0 16 0 414869460 11006283776 73417 33554432000 4194304 4196468 140720481300000 139775019645040 139775460481666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23874] ppid=23863 vsize=10748324 memory=2 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23874/stat : 23874 (java) S 23863 23866 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414869460 11006283776 73417 33554432000 4194304 4196468 140720481300000 139775018591072 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23875] ppid=23863 vsize=10748324 memory=1128 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23875/stat : 23875 (java) S 23863 23866 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414869461 11006283776 73417 33554432000 4194304 4196468 140720481300000 139775017538688 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23876] ppid=23863 vsize=10748324 memory=233 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23876/stat : 23876 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414869463 11006283776 73417 33554432000 4194304 4196468 140720481300000 139775016486992 139775460489115 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23877] ppid=23863 vsize=10748324 memory=262 CPUtime=2.24 cores=0,2,4,6
/proc/23866/task/23877/stat : 23877 (java) S 23863 23866 21280 0 -1 1077944384 10142 0 0 0 223 1 0 0 20 0 16 0 414869463 11006283776 73417 33554432000 4194304 4196468 140720481300000 139775015434864 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23878] ppid=23863 vsize=10748324 memory=236743 CPUtime=2.19 cores=0,2,4,6
/proc/23866/task/23878/stat : 23878 (java) S 23863 23866 21280 0 -1 1077944384 9970 0 0 0 218 1 0 0 20 0 16 0 414869463 11006283776 73417 33554432000 4194304 4196468 140720481300000 139775014382064 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23879] ppid=23863 vsize=10748324 memory=1 CPUtime=0.89 cores=0,2,4,6
/proc/23866/task/23879/stat : 23879 (java) S 23863 23866 21280 0 -1 1077944384 7268 0 0 0 88 1 0 0 20 0 16 0 414869463 11006283776 73417 33554432000 4194304 4196468 140720481300000 139774945913712 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23880] ppid=23863 vsize=10748324 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23880/stat : 23880 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414869463 11006283776 73417 33554432000 4194304 4196468 140720481300000 139774944861152 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23881] ppid=23863 vsize=10748324 memory=4137284780655939955 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23881/stat : 23881 (java) S 23863 23866 21280 0 -1 1077944384 996 0 0 0 0 0 0 0 20 0 16 0 414869463 11006283776 73417 33554432000 4194304 4196468 140720481300000 139774943807920 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23959] ppid=23863 vsize=10748324 memory=288293268213727853 CPUtime=11.84 cores=0,2,4,6
/proc/23866/task/23959/stat : 23959 (java) R 23863 23866 21280 0 -1 4202560 7770 0 0 0 1181 3 0 0 20 0 16 0 414869647 11006283776 73417 33554432000 4194304 4196468 140720481300000 139774927027504 139775106096245 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
Current children cumulated CPU time: 19.23 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 293668 KiB
[startup+13.9007 s]
/proc/loadavg: 0.95 0.77 0.97 3/230 23962
/proc/meminfo: memFree=28920272/32770624 swapFree=66958212/67108860
[pid=23866] ppid=23863 vsize=10814888 memory=293648 CPUtime=19.36 cores=0,2,4,6
/proc/23866/stat : 23866 (java) S 23863 23866 21280 0 -1 1077944320 55482 0 0 0 1918 18 0 0 20 0 14 0 414869457 11074445312 73412 33554432000 4194304 4196468 140720481300000 140720481282544 139775460470519 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
/proc/23866/statm: 2703722 73412 3381 1 0 2663858 0
[pid=23866/tid=23868] ppid=23863 vsize=10814888 memory=293640 CPUtime=1.88 cores=0,2,4,6
/proc/23866/task/23868/stat : 23868 (java) S 23863 23866 21280 0 -1 1077944384 15397 0 0 0 182 6 0 0 20 0 14 0 414869458 11074445312 73412 33554432000 4194304 4196468 140720481300000 139775464713360 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23869] ppid=23863 vsize=10814888 memory=293640 CPUtime=0.01 cores=0,2,4,6
/proc/23866/task/23869/stat : 23869 (java) S 23863 23866 21280 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 14 0 414869458 11074445312 73412 33554432000 4194304 4196468 140720481300000 139775417023376 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23870] ppid=23863 vsize=10814888 memory=293608 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23870/stat : 23870 (java) S 23863 23866 21280 0 -1 1077944384 180 0 0 0 2 1 0 0 20 0 14 0 414869458 11074445312 73412 33554432000 4194304 4196468 140720481300000 139775066430224 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23871] ppid=23863 vsize=10814888 memory=-8707038579349950309 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23871/stat : 23871 (java) S 23863 23866 21280 0 -1 1077944384 241 0 0 0 2 1 0 0 20 0 14 0 414869458 11074445312 73412 33554432000 4194304 4196468 140720481300000 139775065377936 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23872] ppid=23863 vsize=10814888 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23866/task/23872/stat : 23872 (java) S 23863 23866 21280 0 -1 1077944384 107 0 0 0 2 1 0 0 20 0 14 0 414869458 11074445312 73412 33554432000 4194304 4196468 140720481300000 139775064325136 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23873] ppid=23863 vsize=10814888 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23866/task/23873/stat : 23873 (java) S 23863 23866 21280 0 -1 1077944384 1280 0 0 0 1 0 0 0 20 0 14 0 414869460 11074445312 73412 33554432000 4194304 4196468 140720481300000 139775019645248 139775460481666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23874] ppid=23863 vsize=10814888 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23874/stat : 23874 (java) S 23863 23866 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 14 0 414869460 11074445312 73412 33554432000 4194304 4196468 140720481300000 139775018591072 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23875] ppid=23863 vsize=10814888 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23875/stat : 23875 (java) S 23863 23866 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 14 0 414869461 11074445312 73412 33554432000 4194304 4196468 140720481300000 139775017538688 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23876] ppid=23863 vsize=10814888 memory=139770181468464 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23876/stat : 23876 (java) S 23863 23866 21280 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 414869463 11074445312 73412 33554432000 4194304 4196468 140720481300000 139775016486640 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23877] ppid=23863 vsize=10814888 memory=0 CPUtime=2.25 cores=0,2,4,6
/proc/23866/task/23877/stat : 23877 (java) S 23863 23866 21280 0 -1 1077944384 10157 0 0 0 224 1 0 0 20 0 14 0 414869463 11074445312 73412 33554432000 4194304 4196468 140720481300000 139775015434864 139775460481666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23878] ppid=23863 vsize=10814888 memory=5859535235326444939 CPUtime=2.21 cores=0,2,4,6
/proc/23866/task/23878/stat : 23878 (java) S 23863 23866 21280 0 -1 1077944384 10067 0 0 0 220 1 0 0 20 0 14 0 414869463 11074445312 73412 33554432000 4194304 4196468 140720481300000 139775014367024 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23879] ppid=23863 vsize=10814888 memory=-8961168018402230209 CPUtime=0.89 cores=0,2,4,6
/proc/23866/task/23879/stat : 23879 (java) S 23863 23866 21280 0 -1 1077944384 7326 0 0 0 88 1 0 0 20 0 14 0 414869463 11074445312 73412 33554432000 4194304 4196468 140720481300000 139774945909584 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
[pid=23866/tid=23880] ppid=23863 vsize=10814888 memory=279540519857416 CPUtime=0 cores=0,2,4,6
/proc/23866/task/23880/stat : 23880 (java) S 23863 23866 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414869463 11074445312 73412 33554432000 4194304 4196468 140720481300000 139774944861152 139775460480725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36020224 140720481301515 140720481301618 140720481301618 140720481304527 0
Current children cumulated CPU time: 19.36 s
Current children cumulated vsize: 10814888 KiB
Current children cumulated memory: 293648 KiB
Child status: 0
Real time (s): 13.9147
CPU time (s): 19.3887
CPU user time (s): 19.19
CPU system time (s): 0.198725
CPU usage (%): 139.339
Max. virtual memory (cumulated for all children) (KiB): 10814888
Max. memory (cumulated for all children) (KiB): 293668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.19
system time used= 0.198725
maximum resident set size= 294348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3354
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 23866
# total CPU time (s): 19.3887
# total CPU user time (s): 19.19
# total CPU system time (s): 0.198725
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.109466 second user time and 0.185536 second system time
The end