2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.88
3.37/2.17 Instance
3.37/2.17 name=instance-4390979-1568380678, framework=COP, bounds=-infty..+infty
3.37/2.17
3.37/2.17 Loading variables...
4.02/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b634d9
4.02/2.36 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70dd3c7f
4.02/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@786f85ac
4.02/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d85b917
4.02/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aeb128b
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cfba4eb
4.35/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d082c4a
4.35/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a32703
4.35/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cd4e36a
4.35/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@141736da
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f277144
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@734258c9
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b8d712b
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25534dc8
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dd2a765
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50985a97
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1128309b
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fed4123
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ca1f97b
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b465c41
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69c7f68b
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31cba88b
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48eb6c6a
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e78a7e2
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d246c6
4.35/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419f5845
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f4d0120
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63a51ecf
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437b776e
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49266625
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f5c5af
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ec8290e
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d94c4a
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@702b0afd
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79b26c3f
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7809f31f
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fd6bf2c
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532ee867
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@733f21ca
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ae098a
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3530d8a1
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c294a5a
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf8d065
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198d502c
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bdd8934
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@624864d5
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24f297c7
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e76626a
4.35/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c4ee93
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c8f580
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8c6578
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@101415a5
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6da1f45f
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e5d9529
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af58142
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@667af2c0
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf30291
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f1d52af
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42658353
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1e6f72
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14dc112e
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c635f36
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@494f77f5
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd67e21
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30956a10
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65394c02
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a3cdd5
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725f0c05
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18496a8c
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7573f14
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72324382
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50f153e7
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7301c372
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@444d308f
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ed31d0
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d11336e
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a52f471
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b14258
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33fb0548
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610903c0
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@783aabde
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ce5515
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f782059
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26503d3a
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42d3ec1c
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54daac8f
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eed1cc2
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bf37fdb
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33de4656
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4953c77d
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b5564
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ae1cee0
4.35/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4376cc2b
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ee3e566
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d8b7023
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bc4e008
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4af22d5b
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c543ee
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16724daf
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59affe8e
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198c2125
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f07c94a
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2086635
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6c7d11
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e9e12c1
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5938bf32
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe62e76
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1df6a806
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3296365
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7076ea1b
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4609aa9f
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fe2a660
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@444f166
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1336b9
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@708f74ee
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21fa57f6
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6273c874
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12466b44
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f9fa6b
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4678f7f5
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58961a59
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@133f1280
4.35/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7068057a
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454c3d71
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4940b7f0
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270c38ce
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b1f4a02
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b569c9
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65550f40
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@471ef5a0
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@461fc3d6
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64d65371
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@386185f1
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@122e4b00
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f17d58
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b11f4d4
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d4764ac
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c61f1cd
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba778ce
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402b4e0a
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d2e7f8
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ff2b57
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e0e2b7f
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e087e49
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e13861
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1759e2d6
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb0051a
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fbdb96c
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd28e63
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c4e6d4c
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@429af473
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553a4690
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e766cb
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@424abd96
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3578964c
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c3fa35c
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64bc394a
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e20ca31
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56c36a67
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@740a1b51
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69cee53a
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58e15358
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7baad227
4.35/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d3a92bc
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de67756
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30bb84d1
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb845e3
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34563cef
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ef76657
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e309ff2
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41d3d841
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6333b322
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666ebbb0
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b11ea7
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be30c22
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65491ccd
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7212c344
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bce9bd9
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3460d7ed
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fb26955
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c505f83
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19460a69
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404e0e46
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d5e185a
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6475054d
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fef39de
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f745198
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78646451
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0080c1
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44704a1c
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@321bd366
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a238f
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51e907ea
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@236ac853
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca84b7b
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@604fbc18
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dd45e7
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b4b2f50
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ebf3e60
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151b036a
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1608eeb2
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48053b5c
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7471d221
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530758bb
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62216904
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73185cc4
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58e6482e
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bf551a1
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32e4c3c
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e632cac
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48b93c38
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4008a6ef
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46955943
4.35/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bd9c3d6
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@572dbb27
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5529cad
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71deec15
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3179d7ce
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7808b82f
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b37e83a
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a62aee4
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26c11e3e
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc07505
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d16c842
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16383449
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e6be15d
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7706a014
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ff46ed
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489b9707
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a5a8bbe
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@384694db
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@257fce11
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da91d09
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4828eb49
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2148b32e
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58bc2bcc
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d1b590b
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c5fbcd1
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10689b30
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@747e7cbb
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@356ce920
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502b08fd
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29072efa
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f52fda8
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23d473e8
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3bf25e
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8c5b3b
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b4c953a
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2001e436
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d9402af
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@224bf11d
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@685a147a
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c2f15ac
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4662371d
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc66325
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca55ff0
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f279113
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30902cbb
4.35/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4211bdac
4.35/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e0074f
4.35/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26eb2933
4.35/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f57b3f
4.35/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6172c3b2
4.35/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@449365b6
4.35/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53db1ed3
4.35/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ad76752
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cba4be2
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2841b1da
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16743de6
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7755a84
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74800df8
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d4142
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5746f350
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c77635b
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31f30564
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173e2644
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12afc227
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6313bd83
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4515ae59
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@731ee857
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dbdde9e
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7914eef6
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6967d6c1
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d66634b
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d4bdce9
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2adfc13f
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8cc7d8
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@416d48da
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf5597a
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38598e61
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed8c071
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@707fab6e
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0c7cf3
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d3074b6
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59aa7664
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bec2416
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b93fa5
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b8dc4c
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10cc4562
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@588c8335
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f424c9c
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e561ffc
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21207bed
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ca4963
4.72/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418d5666
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3530f482
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78247116
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@640da7e5
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@658ad82f
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6478c8e7
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43fdf32
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d64c9e
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24318bf7
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@686aa8c9
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76dd65c9
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1414f2e0
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef8fa69
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d92a26a
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5673d040
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66f525c3
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9b5602
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58035a22
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59c49f58
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31183a99
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332e9e3
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45d491ff
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23071c57
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326ce083
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8a246d
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac71de7
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332ea052
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa63b1f
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26394123
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14c774b3
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@238d24f
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14aa8980
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bdcad81
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@581bb85f
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c990416
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1facc0d9
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1157470c
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70b848c8
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c31d269
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5899d78a
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@510230dc
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c71313
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37400546
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c7a9a46
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e8bb935
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6e6bf6
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21fc257f
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495722bc
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40248eac
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f54422
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404fbf2d
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24d27129
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df057a2
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b259097
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d979683
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7943b5dd
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60b05ab
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55cd645f
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5104cd1c
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7811053a
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@652402d4
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5098a042
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d354edc
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a051c2f
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33b032f2
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f5b8d85
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb04ffd
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795feb21
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6763e988
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@409b473f
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e4f9454
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f268a4a
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b826477
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6169ce77
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d086f91
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bdf668c
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@486d1307
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c38441a
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4615079a
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4951f204
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479dce03
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d92c050
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cdf886c
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52830cc8
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a94833e
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe37155
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c3287a3
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bc38c36
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a01f8d1
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@139ee864
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67eeda1e
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf49673
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c7990b8
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@196c3c
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6943ad69
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bad4655
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e5a1f86
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ad8bb6e
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4880da04
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a5a1d7d
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40631fa4
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3906256a
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa5d9f
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@528650d1
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ffb1d70
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1de6217f
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b3d7b0
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e889cc9
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4554badc
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6027a991
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@448768d4
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba6e78c
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d52e8a3
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@223827e8
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d73ee1e
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@119f5d49
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@242a84d4
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64786d93
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0dbc96
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468649a0
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57029588
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f63382e
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b155fbd
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae6273
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b79eee0
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a5aa4b8
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@110a302d
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@beb43ce
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38472cfe
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1742dea6
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@974095c
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ed614f9
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7090f516
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43208fe5
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54c40411
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@672cdd95
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b26bd4d
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bdc0bf2
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ce0e69f
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e852fc
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3af528
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a11528
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@701aecb9
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ca6558e
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14294c08
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b17571
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46e310af
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e87677
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dab5034
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42abaafa
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c5872d2
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aba39a8
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43d3a664
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4092238e
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5668e181
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d92004e
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40be319a
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f1c4ced
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@526e8d2d
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@400202dc
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f56178b
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ac21f5
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@797b1a94
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef9099b
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cb6f727
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c6820c6
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc39f54
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d5e3ee
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dbde156
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b73c16c
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a95ad2e
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f7ae0b4
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42eab341
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a8aca0
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1787e5b9
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@465fd4fa
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4e1755
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@280ad3ba
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14cfc9d5
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b47b058
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ebd308e
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c96d3e3
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69493f01
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62723fe6
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1618cf0d
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6296b64a
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eac9784
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d3c5f1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f16c59b
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56273fa1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@296e927d
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c3e00a
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13dc3ddb
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53091362
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a069e1d
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d4c561f
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39b9b606
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ebabef6
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140ccb12
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21be77fc
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39c7784a
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303d4846
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72e879c7
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c24d3c6
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70315a4
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@750b99b4
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9cd795
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@670283bf
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@749cb8d8
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@229797d2
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@716f1668
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e42a62
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291292ec
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0b69e7
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b8af0e8
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a58af4
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29cdb95a
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742e8662
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59111fd
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30645e63
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f481993
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d621fe
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118d6c9c
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2daccbf1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a66c5be
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30b947e6
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51435cc2
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f8b3b29
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b217d5
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15fadc84
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2927e0a1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4d7ac3
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33ce842c
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f61a567
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f120694
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d49b980
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad0cea1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ecc0036
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1da24c0b
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f113c8
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a5c87c
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26554262
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47f5cdba
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120de250
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511d5964
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d34ff62
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68b5c2d7
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a01252
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b053bf
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@537e9388
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba8d9c9
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18ec4cc2
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e40bf5
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@389ab31c
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad28961
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6628cbd6
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18b5e7cf
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcce7e5
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393c9bc2
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2938e877
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e7f6c2d
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ff59894
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6985afbd
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eafb1ce
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7354439b
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f59d0a
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21206605
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65c55862
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aab5b2b
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f7a9e1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68dfb623
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d75a1c4
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed50686
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c72056
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18b89a0a
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dd5621
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f5162a1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fad89fe
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26657fbb
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42213187
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7703602
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38338972
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c70544c
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@623f7460
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53637985
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1435b239
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfe8156
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b802161
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc34a91
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b198462
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c9dacd7
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ba86c1f
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@672534cb
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d699949
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3d2b81
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11361f7e
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30e2dda2
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52a62d9d
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a1a5a09
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad139f1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28f961e
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29fe634e
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4798ce21
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49db2f18
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d1cc428
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a6a955
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@504df1ad
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a13d44e
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@345d0ec1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e6bdd3c
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b93bb05
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773f38e7
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@128497cf
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c8855
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f69bc27
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5668a683
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4ea71
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ab38259
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@782a1b6a
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1401b2da
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d01cc5
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b14a4ca
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e53b5eb
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20ac93a3
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2611101
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aaa84d9
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41f715b2
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2894a29c
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3da9bedc
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a15067
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72d8abcc
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b8be05
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1911e94b
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c07bd16
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51cd1ff5
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@632f0a57
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0bed6a
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb14ab4
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59d6dd8f
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744543db
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f799219
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393d097b
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a223e39
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a32be5c
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cbd9cbc
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6010af66
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4acb8654
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f81fb1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ed6c01
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a1a5340
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72f8945f
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ffb5e62
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5b2dbf
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6532224f
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3265ab75
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df65684
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68fc9bf4
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f26e62c
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@298d133a
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f714e13
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bc94011
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fa87243
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6017b9a1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4304d28b
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32d2db5e
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c54d91e
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a02478d
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67c3f8f9
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22bf6cc4
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7db29607
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752ba7fb
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ced423a
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b034f3
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50fddc6
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e3debc1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b64ac91
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16ea6ed0
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d5ac775
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@89b031f
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@474cf3a1
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4947b637
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72aaf8dd
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39eca938
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b4e103
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d9b9b4
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d2dd213
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f0b02d6
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62e8bf0d
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c700dfd
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@891f167
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a79b697
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1346a1df
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@90bc43
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696d486d
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ad900a
5.07/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ed69f6e
5.07/2.69
5.07/2.69
5.07/2.69 Domains
5.07/2.69 nTypes=11, nValues=698280, sizes=[2#690,7#690,56#690,64#690...121#690,141#690,162#690,166#690]
5.07/2.69 Variables
5.07/2.69 count=7590, degrees=[3#710,4#6880]
5.07/2.69 Objectives
5.07/2.69 way=min, type=SumSimpleLE
5.07/2.69 Constraints
5.07/2.69 count=1391, nSpecific=1391, arities=[11#690,20#689,690#12]
5.07/2.69 distribution=[LexicographicLe#689,OrderedGE#1,SumSimpleEQ#10,SumSimpleLE#1,SumWeightedLE#690]
5.07/2.69 wck=0.851, cpu=2.648, mem=132M223
5.40/2.74 Solver SolverBacktrack being built...
5.40/2.74
5.67/2.82
5.67/2.82 Solver
5.67/2.82 guaranteedGAC=false
5.67/2.82 wck=0.987, cpu=2.76, mem=103M437
6.19/3.10
6.19/3.10 Preprocessing
6.19/3.10 filters=752, nACremovedValues=670680, nTotalRemovedValues=670680, inconcistency=false
6.19/3.10 wck=0.268, cpu=3.033, mem=119M122
6.19/3.10
7.32/3.51 num=0, depth=0..698, filters=6643, wck=0.676, mem=119M122
7.32/3.51 decisions=720, wrong=13, backtracks=4, failedAssignments=10, nogoods=7
7.32/3.51
7.57/3.68 num=1, depth=897..907, filters=11812, wck=0.851, mem=119M122
7.57/3.68 decisions=1640, wrong=24, backtracks=4, failedAssignments=21, nogoods=18
7.57/3.68
7.91/3.82 num=2, depth=891..892, filters=15125, wck=0.989, mem=119M122
7.91/3.82 decisions=2562, wrong=39, backtracks=7, failedAssignments=33, nogoods=23
7.91/3.82
8.04/3.92 num=3, depth=234..246, filters=20137, wck=1.088, mem=119M122
8.04/3.92 decisions=2823, wrong=52, backtracks=7, failedAssignments=46, nogoods=36
8.04/3.92
8.48/4.37 num=4, depth=35..201, filters=44471, wck=1.544, mem=119M122
8.48/4.37 decisions=3512, wrong=379, backtracks=327, failedAssignments=60, nogoods=37
8.48/4.37
8.59/4.43 num=5, depth=0..20, filters=47785, wck=1.603, mem=119M122
8.59/4.43 decisions=3559, wrong=400, backtracks=332, failedAssignments=76, nogoods=51
8.59/4.43
8.59/4.47 num=6, depth=0..23, filters=49877, wck=1.639, mem=119M122
8.59/4.47 decisions=3602, wrong=418, backtracks=333, failedAssignments=93, nogoods=66
8.59/4.47
8.70/4.52 num=7, depth=0..68, filters=53442, wck=1.693, mem=119M122
8.70/4.52 decisions=3690, wrong=437, backtracks=333, failedAssignments=112, nogoods=84
8.70/4.52
8.80/4.61 num=8, depth=1..30, filters=60333, wck=1.781, mem=119M122
8.80/4.61 decisions=3808, wrong=485, backtracks=368, failedAssignments=133, nogoods=91
8.80/4.61
8.80/4.67 num=9, depth=1..37, filters=64861, wck=1.843, mem=119M122
8.80/4.67 decisions=3920, wrong=528, backtracks=394, failedAssignments=156, nogoods=97
8.80/4.67
8.92/4.76 num=10, depth=2..24, filters=70183, wck=1.932, mem=119M122
8.92/4.76 decisions=4030, wrong=579, backtracks=435, failedAssignments=181, nogoods=107
8.92/4.76
9.04/4.85 num=11, depth=0..31, filters=76787, wck=2.02, mem=119M122
9.04/4.85 decisions=4155, wrong=635, backtracks=472, failedAssignments=209, nogoods=112
9.04/4.85
9.16/4.96 num=12, depth=8..31, filters=83252, wck=2.137, mem=119M122
9.16/4.96 decisions=4293, wrong=699, backtracks=531, failedAssignments=240, nogoods=115
9.16/4.96
9.27/5.03 num=13, depth=0..45, filters=88197, wck=2.201, mem=119M122
9.27/5.03 decisions=4431, wrong=756, backtracks=566, failedAssignments=274, nogoods=121
9.27/5.03
9.42/5.15 num=14, depth=0..37, filters=95767, wck=2.325, mem=119M122
9.42/5.15 decisions=4627, wrong=842, backtracks=639, failedAssignments=311, nogoods=127
9.42/5.15
9.52/5.21 num=15, depth=1..198, filters=99487, wck=2.384, mem=119M122
9.52/5.21 decisions=4887, wrong=888, backtracks=644, failedAssignments=352, nogoods=167
9.52/5.21
9.90/5.42 o 684
9.90/5.44 num=16, depth=1..7589, filters=104719, ccks=1391, wck=2.61, mem=123M58
9.90/5.44 decisions=5182, wrong=939, backtracks=661, failedAssignments=386, nogoods=194, foundSolutions=1, bestBound=684
9.90/5.44
10.56/5.83 o 680
10.56/5.84 num=17, depth=9..7589, filters=108879, ccks=2782, wck=3.01, mem=128M286
10.56/5.84 decisions=5452, wrong=977, backtracks=673, failedAssignments=415, nogoods=219, foundSolutions=2, bestBound=680
10.56/5.84
10.88/6.08 num=18, depth=23..209, filters=112092, ccks=2782, wck=3.255, mem=128M286
10.88/6.08 decisions=5676, wrong=989, backtracks=674, failedAssignments=426, nogoods=229, foundSolutions=2, bestBound=680
10.88/6.08
10.99/6.14 num=19, depth=26..258, filters=115156, ccks=2782, wck=3.309, mem=128M286
10.99/6.14 decisions=5949, wrong=1000, backtracks=674, failedAssignments=437, nogoods=240, foundSolutions=2, bestBound=680
10.99/6.14
11.09/6.20 num=20, depth=21..273, filters=118566, ccks=2782, wck=3.369, mem=128M286
11.09/6.20 decisions=6258, wrong=1023, backtracks=685, failedAssignments=449, nogoods=251, foundSolutions=2, bestBound=680
11.09/6.20
11.09/6.24 num=21, depth=6..23, filters=121993, ccks=2782, wck=3.415, mem=128M286
11.09/6.24 decisions=6348, wrong=1063, backtracks=719, failedAssignments=462, nogoods=253, foundSolutions=2, bestBound=680
11.09/6.24
11.20/6.30 num=22, depth=8..206, filters=125707, ccks=2782, wck=3.471, mem=128M286
11.20/6.30 decisions=6584, wrong=1083, backtracks=727, failedAssignments=476, nogoods=265, foundSolutions=2, bestBound=680
11.20/6.30
11.20/6.35 num=23, depth=135..146, filters=128871, ccks=2782, wck=3.518, mem=128M286
11.20/6.35 decisions=6757, wrong=1101, backtracks=732, failedAssignments=492, nogoods=271, foundSolutions=2, bestBound=680
11.20/6.35
11.45/6.51 o 652
11.45/6.52 num=24, depth=66..7589, filters=131887, ccks=4173, wck=3.689, mem=130M900
11.45/6.52 decisions=6896, wrong=1107, backtracks=732, failedAssignments=498, nogoods=277, foundSolutions=3, bestBound=652
11.45/6.52
11.79/6.87 o 651
11.79/6.88 num=25, depth=89..7589, filters=134801, ccks=5564, wck=4.05, mem=133M545
11.79/6.88 decisions=7055, wrong=1120, backtracks=732, failedAssignments=511, nogoods=290, foundSolutions=4, bestBound=651
11.79/6.88
12.13/7.12 num=26, depth=121..136, filters=137746, ccks=5564, wck=4.288, mem=133M545
12.13/7.12 decisions=7220, wrong=1140, backtracks=742, failedAssignments=522, nogoods=292, foundSolutions=4, bestBound=651
12.13/7.12
12.13/7.16 num=27, depth=98..139, filters=140380, ccks=5564, wck=4.33, mem=133M545
12.13/7.16 decisions=7385, wrong=1156, backtracks=748, failedAssignments=533, nogoods=295, foundSolutions=4, bestBound=651
12.13/7.16
12.23/7.20 num=28, depth=83..109, filters=143701, ccks=5564, wck=4.375, mem=133M545
12.23/7.20 decisions=7526, wrong=1179, backtracks=763, failedAssignments=545, nogoods=297, foundSolutions=4, bestBound=651
12.23/7.20
12.23/7.24 num=29, depth=60..115, filters=146430, ccks=5564, wck=4.416, mem=133M545
12.23/7.24 decisions=7655, wrong=1192, backtracks=763, failedAssignments=558, nogoods=310, foundSolutions=4, bestBound=651
12.23/7.24
12.23/7.29 num=30, depth=56..141, filters=149228, ccks=5564, wck=4.46, mem=133M545
12.23/7.29 decisions=7812, wrong=1206, backtracks=763, failedAssignments=572, nogoods=324, foundSolutions=4, bestBound=651
12.23/7.29
12.34/7.33 num=31, depth=54..124, filters=152359, ccks=5564, wck=4.505, mem=133M545
12.34/7.33 decisions=7960, wrong=1222, backtracks=763, failedAssignments=588, nogoods=340, foundSolutions=4, bestBound=651
12.34/7.33
12.34/7.38 num=32, depth=61..133, filters=155434, ccks=5564, wck=4.551, mem=133M545
12.34/7.38 decisions=8130, wrong=1247, backtracks=772, failedAssignments=605, nogoods=348, foundSolutions=4, bestBound=651
12.34/7.38
12.44/7.43 num=33, depth=54..72, filters=158930, ccks=5564, wck=4.602, mem=133M545
12.44/7.43 decisions=8250, wrong=1280, backtracks=790, failedAssignments=624, nogoods=349, foundSolutions=4, bestBound=651
12.44/7.43
12.44/7.49 num=34, depth=32..60, filters=163769, ccks=5564, wck=4.661, mem=133M545
12.44/7.49 decisions=8367, wrong=1314, backtracks=809, failedAssignments=645, nogoods=357, foundSolutions=4, bestBound=651
12.44/7.49
12.54/7.55 num=35, depth=17..36, filters=168975, ccks=5564, wck=4.724, mem=133M545
12.54/7.55 decisions=8508, wrong=1372, backtracks=855, failedAssignments=668, nogoods=362, foundSolutions=4, bestBound=651
12.54/7.55
12.64/7.63 num=36, depth=8..60, filters=174654, ccks=5564, wck=4.798, mem=133M545
12.64/7.63 decisions=8658, wrong=1422, backtracks=887, failedAssignments=693, nogoods=373, foundSolutions=4, bestBound=651
12.64/7.63
12.74/7.71 num=37, depth=5..45, filters=179843, ccks=5564, wck=4.882, mem=133M545
12.74/7.71 decisions=8823, wrong=1490, backtracks=934, failedAssignments=721, nogoods=386, foundSolutions=4, bestBound=651
12.74/7.71
12.74/7.78 num=38, depth=6..45, filters=184867, ccks=5564, wck=4.956, mem=133M545
12.74/7.78 decisions=8962, wrong=1547, backtracks=974, failedAssignments=752, nogoods=393, foundSolutions=4, bestBound=651
12.74/7.78
12.84/7.87 num=39, depth=6..57, filters=190855, ccks=5564, wck=5.045, mem=133M545
12.84/7.87 decisions=9138, wrong=1616, backtracks=1020, failedAssignments=786, nogoods=411, foundSolutions=4, bestBound=651
12.84/7.87
12.94/7.94 num=40, depth=8..89, filters=195728, ccks=5564, wck=5.115, mem=133M545
12.94/7.94 decisions=9323, wrong=1674, backtracks=1055, failedAssignments=823, nogoods=431, foundSolutions=4, bestBound=651
12.94/7.94
12.94/7.99 num=41, depth=16..83, filters=198776, ccks=5564, wck=5.162, mem=133M545
12.94/7.99 decisions=9456, wrong=1719, backtracks=1060, failedAssignments=864, nogoods=471, foundSolutions=4, bestBound=651
12.94/7.99
13.05/8.08 num=42, depth=7..67, filters=204270, ccks=5564, wck=5.251, mem=133M545
13.05/8.08 decisions=9648, wrong=1792, backtracks=1113, failedAssignments=909, nogoods=487, foundSolutions=4, bestBound=651
13.05/8.08
13.15/8.16 num=43, depth=7..95, filters=209740, ccks=5564, wck=5.332, mem=133M545
13.15/8.16 decisions=9860, wrong=1861, backtracks=1141, failedAssignments=959, nogoods=511, foundSolutions=4, bestBound=651
13.15/8.16
13.24/8.29 num=44, depth=7..97, filters=218699, ccks=5564, wck=5.461, mem=133M545
13.24/8.29 decisions=10128, wrong=1958, backtracks=1202, failedAssignments=1014, nogoods=538, foundSolutions=4, bestBound=651
13.24/8.29
13.44/8.48 o 592
13.44/8.48 num=45, depth=9..7589, filters=222789, ccks=6955, wck=5.655, mem=136M159
13.44/8.48 decisions=10322, wrong=2014, backtracks=1223, failedAssignments=1060, nogoods=573, foundSolutions=5, bestBound=592
13.44/8.48
13.88/8.86 o 591
13.88/8.86 num=46, depth=9..7589, filters=226780, ccks=8346, wck=6.034, mem=141M413
13.88/8.86 decisions=10522, wrong=2069, backtracks=1229, failedAssignments=1112, nogoods=622, foundSolutions=6, bestBound=591
13.88/8.86
14.16/9.08 num=47, depth=9..40, filters=228034, ccks=8346, wck=6.25, mem=141M413
14.16/9.08 decisions=10585, wrong=2085, backtracks=1237, failedAssignments=1123, nogoods=630, foundSolutions=6, bestBound=591
14.16/9.08
14.27/9.13 num=48, depth=0..26, filters=231803, ccks=8346, wck=6.307, mem=141M413
14.27/9.13 decisions=10683, wrong=2124, backtracks=1271, failedAssignments=1134, nogoods=632, foundSolutions=6, bestBound=591
14.27/9.13
14.27/9.17 num=49, depth=5..23, filters=234307, ccks=8346, wck=6.347, mem=141M413
14.27/9.17 decisions=10763, wrong=2158, backtracks=1296, failedAssignments=1146, nogoods=636, foundSolutions=6, bestBound=591
14.27/9.17
14.36/9.20 num=50, depth=1..33, filters=236304, ccks=8346, wck=6.376, mem=141M413
14.36/9.20 decisions=10832, wrong=2181, backtracks=1306, failedAssignments=1159, nogoods=646, foundSolutions=6, bestBound=591
14.36/9.20
14.36/9.24 num=51, depth=1..31, filters=239059, ccks=8346, wck=6.413, mem=141M413
14.36/9.24 decisions=10900, wrong=2206, backtracks=1318, failedAssignments=1173, nogoods=653, foundSolutions=6, bestBound=591
14.36/9.24
14.36/9.29 num=52, depth=1..27, filters=242410, ccks=8346, wck=6.467, mem=141M413
14.36/9.29 decisions=10997, wrong=2250, backtracks=1353, failedAssignments=1189, nogoods=659, foundSolutions=6, bestBound=591
14.36/9.29
14.46/9.35 num=53, depth=1..49, filters=245094, ccks=8346, wck=6.518, mem=141M413
14.46/9.35 decisions=11090, wrong=2280, backtracks=1370, failedAssignments=1206, nogoods=673, foundSolutions=6, bestBound=591
14.46/9.35
14.46/9.39 num=54, depth=1..39, filters=248016, ccks=8346, wck=6.563, mem=141M413
14.46/9.39 decisions=11180, wrong=2311, backtracks=1389, failedAssignments=1225, nogoods=683, foundSolutions=6, bestBound=591
14.46/9.39
14.56/9.44 num=55, depth=4..38, filters=250838, ccks=8346, wck=6.611, mem=141M413
14.56/9.44 decisions=11265, wrong=2341, backtracks=1412, failedAssignments=1246, nogoods=691, foundSolutions=6, bestBound=591
14.56/9.44
14.67/9.51 num=56, depth=4..35, filters=254656, ccks=8346, wck=6.686, mem=141M413
14.67/9.51 decisions=11367, wrong=2382, backtracks=1444, failedAssignments=1269, nogoods=697, foundSolutions=6, bestBound=591
14.67/9.51
14.67/9.57 num=57, depth=4..26, filters=259905, ccks=8346, wck=6.746, mem=141M413
14.67/9.57 decisions=11484, wrong=2435, backtracks=1480, failedAssignments=1294, nogoods=702, foundSolutions=6, bestBound=591
14.67/9.57
14.78/9.68 num=58, depth=0..37, filters=266278, ccks=8346, wck=6.852, mem=141M413
14.78/9.68 decisions=11624, wrong=2493, backtracks=1522, failedAssignments=1322, nogoods=710, foundSolutions=6, bestBound=591
14.78/9.68
14.88/9.73 num=59, depth=15..26, filters=269670, ccks=8346, wck=6.906, mem=141M413
14.88/9.73 decisions=11774, wrong=2557, backtracks=1574, failedAssignments=1353, nogoods=715, foundSolutions=6, bestBound=591
14.88/9.73
14.98/9.84 num=60, depth=8..22, filters=277511, ccks=8346, wck=7.013, mem=141M413
14.98/9.84 decisions=11924, wrong=2624, backtracks=1616, failedAssignments=1387, nogoods=721, foundSolutions=6, bestBound=591
14.98/9.84
15.08/10.00 o 586
15.20/10.01 num=61, depth=12..7589, filters=280386, ccks=9737, wck=7.183, mem=144M64
15.20/10.01 decisions=12027, wrong=2639, backtracks=1617, failedAssignments=1401, nogoods=735, foundSolutions=7, bestBound=586
15.20/10.01
15.57/10.39 o 585
15.67/10.40 num=62, depth=10..7589, filters=284153, ccks=11128, wck=7.57, mem=146M678
15.67/10.40 decisions=12148, wrong=2665, backtracks=1617, failedAssignments=1427, nogoods=761, foundSolutions=8, bestBound=585
15.67/10.40
15.87/10.63 num=63, depth=12..30, filters=286729, ccks=11128, wck=7.8, mem=146M678
15.87/10.63 decisions=12195, wrong=2678, backtracks=1620, failedAssignments=1438, nogoods=770, foundSolutions=8, bestBound=585
15.87/10.63
15.87/10.67 num=64, depth=5..35, filters=289419, ccks=11128, wck=7.84, mem=146M678
15.87/10.67 decisions=12256, wrong=2696, backtracks=1627, failedAssignments=1449, nogoods=781, foundSolutions=8, bestBound=585
15.87/10.67
15.97/10.71 num=65, depth=12..35, filters=292135, ccks=11128, wck=7.886, mem=146M678
15.97/10.71 decisions=12311, wrong=2713, backtracks=1633, failedAssignments=1461, nogoods=790, foundSolutions=8, bestBound=585
15.97/10.71
16.08/10.87 o 584
16.08/10.87 num=66, depth=27..7589, filters=294636, ccks=12519, wck=8.047, mem=149M353
16.08/10.87 decisions=12404, wrong=2724, backtracks=1633, failedAssignments=1472, nogoods=801, foundSolutions=9, bestBound=584
16.08/10.87
16.39/11.12 num=67, depth=19..32, filters=297340, ccks=12519, wck=8.29, mem=149M353
16.39/11.12 decisions=12478, wrong=2751, backtracks=1653, failedAssignments=1486, nogoods=806, foundSolutions=9, bestBound=584
16.39/11.12
16.39/11.16 num=68, depth=19..55, filters=299867, ccks=12519, wck=8.331, mem=149M353
16.39/11.16 decisions=12549, wrong=2764, backtracks=1655, failedAssignments=1497, nogoods=817, foundSolutions=9, bestBound=584
16.39/11.16
16.49/11.20 num=69, depth=14..47, filters=302691, ccks=12519, wck=8.374, mem=149M353
16.49/11.20 decisions=12614, wrong=2778, backtracks=1658, failedAssignments=1509, nogoods=828, foundSolutions=9, bestBound=584
16.49/11.20
16.49/11.26 num=70, depth=14..58, filters=306192, ccks=12519, wck=8.428, mem=149M353
16.49/11.26 decisions=12699, wrong=2797, backtracks=1664, failedAssignments=1522, nogoods=840, foundSolutions=9, bestBound=584
16.49/11.26
16.69/11.41 o 583
16.69/11.42 num=71, depth=15..7589, filters=309023, ccks=13910, wck=8.592, mem=151M968
16.69/11.42 decisions=12785, wrong=2811, backtracks=1669, failedAssignments=1533, nogoods=849, foundSolutions=10, bestBound=583
16.69/11.42
16.89/11.67 num=72, depth=8..28, filters=312700, ccks=13910, wck=8.84, mem=151M968
16.89/11.67 decisions=12870, wrong=2843, backtracks=1693, failedAssignments=1549, nogoods=854, foundSolutions=10, bestBound=583
16.89/11.67
16.99/11.71 num=73, depth=2..21, filters=315495, ccks=13910, wck=8.88, mem=151M968
16.99/11.71 decisions=12936, wrong=2870, backtracks=1712, failedAssignments=1560, nogoods=863, foundSolutions=10, bestBound=583
16.99/11.71
16.99/11.75 num=74, depth=2..30, filters=317862, ccks=13910, wck=8.925, mem=151M968
16.99/11.75 decisions=12997, wrong=2896, backtracks=1732, failedAssignments=1572, nogoods=868, foundSolutions=10, bestBound=583
16.99/11.75
17.09/11.80 num=75, depth=2..48, filters=320517, ccks=13910, wck=8.975, mem=151M968
17.09/11.80 decisions=13067, wrong=2913, backtracks=1737, failedAssignments=1585, nogoods=880, foundSolutions=10, bestBound=583
17.09/11.80
17.09/11.85 num=76, depth=2..63, filters=323579, ccks=13910, wck=9.022, mem=151M968
17.09/11.85 decisions=13147, wrong=2928, backtracks=1738, failedAssignments=1599, nogoods=894, foundSolutions=10, bestBound=583
17.09/11.85
17.19/11.90 num=77, depth=2..52, filters=326685, ccks=13910, wck=9.07, mem=151M968
17.19/11.90 decisions=13217, wrong=2945, backtracks=1739, failedAssignments=1615, nogoods=910, foundSolutions=10, bestBound=583
17.19/11.90
17.19/11.95 num=78, depth=2..83, filters=330183, ccks=13910, wck=9.123, mem=151M968
17.19/11.95 decisions=13326, wrong=2964, backtracks=1741, failedAssignments=1632, nogoods=927, foundSolutions=10, bestBound=583
17.19/11.95
17.30/12.01 num=79, depth=2..59, filters=334758, ccks=13910, wck=9.187, mem=151M968
17.30/12.01 decisions=13411, wrong=2986, backtracks=1744, failedAssignments=1651, nogoods=945, foundSolutions=10, bestBound=583
17.30/12.01
17.30/12.08 num=80, depth=1..92, filters=339770, ccks=13910, wck=9.255, mem=151M968
17.30/12.08 decisions=13537, wrong=3011, backtracks=1749, failedAssignments=1672, nogoods=964, foundSolutions=10, bestBound=583
17.30/12.08
17.49/12.20 num=81, depth=1..50, filters=345698, ccks=13910, wck=9.372, mem=151M968
17.49/12.20 decisions=13671, wrong=3055, backtracks=1780, failedAssignments=1695, nogoods=969, foundSolutions=10, bestBound=583
17.49/12.20
17.49/12.29 num=82, depth=1..30, filters=351392, ccks=13910, wck=9.459, mem=151M968
17.49/12.29 decisions=13765, wrong=3093, backtracks=1802, failedAssignments=1720, nogoods=979, foundSolutions=10, bestBound=583
17.49/12.29
17.69/12.41 num=83, depth=1..60, filters=358815, ccks=13910, wck=9.585, mem=151M968
17.69/12.41 decisions=13906, wrong=3138, backtracks=1830, failedAssignments=1748, nogoods=989, foundSolutions=10, bestBound=583
17.69/12.41
17.79/12.54 num=84, depth=1..29, filters=367582, ccks=13910, wck=9.716, mem=151M968
17.79/12.54 decisions=14038, wrong=3193, backtracks=1869, failedAssignments=1779, nogoods=997, foundSolutions=10, bestBound=583
17.79/12.54
17.89/12.65 num=85, depth=1..30, filters=373465, ccks=13910, wck=9.822, mem=151M968
17.89/12.65 decisions=14167, wrong=3249, backtracks=1911, failedAssignments=1813, nogoods=1007, foundSolutions=10, bestBound=583
17.89/12.65
18.09/12.81 o 580
18.09/12.82 num=86, depth=3..7589, filters=376684, ccks=15301, wck=9.989, mem=154M586
18.09/12.82 decisions=14270, wrong=3268, backtracks=1914, failedAssignments=1831, nogoods=1023, foundSolutions=11, bestBound=580
18.09/12.82
18.40/13.16 o 579
18.40/13.17 num=87, depth=4..7589, filters=379323, ccks=16692, wck=10.34, mem=159M815
18.40/13.17 decisions=14375, wrong=3282, backtracks=1914, failedAssignments=1845, nogoods=1037, foundSolutions=12, bestBound=579
18.40/13.17
18.62/13.38
18.62/13.38 New Bounds: 579..578
18.62/13.39 num=88, depth=0..17, filters=380774, ccks=16692, wck=10.562, mem=159M815
18.62/13.39 decisions=14411, wrong=3301, backtracks=1932, failedAssignments=1849, foundSolutions=12, bestBound=579
18.62/13.39
18.62/13.39 Global
18.62/13.39 filters=380774, ccks=16692
18.62/13.39 Stop=FULL_EXPLORATION, wrong=3301, bestBound=579, bestBoundWck=11.325, bestBoundCpu=13.094, foundSolutions=12, firstSolCpu=5.346
18.62/13.39 wck=11.552, cpu=13.321, mem=159M815
18.75/13.40
18.75/13.40 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>
18.75/13.40 s OPTIMUM FOUND
18.75/13.40
18.75/13.40 d WRONG_DECISIONS 3301
18.75/13.40 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 (14746 MiB free)
memory of node 1: 16384 MiB (15438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390979-1568380678/watcher-4390979-1568380678 -o /tmp/evaluation-result-4390979-1568380678/solver-4390979-1568380678 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5059 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390979-1568380678.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5894, runsolver pid=5891
[startup+0.100059 s]*
/proc/loadavg: 2.14 0.93 0.39 4/228 5909
/proc/meminfo: memFree=30893200/32770624 swapFree=66934464/67108860
[pid=5894] ppid=5891 vsize=10659884 memory=28184 CPUtime=0.14 cores=1,3,5,7
/proc/5894/stat : 5894 (java) S 5891 5894 5027 0 -1 1077944320 5522 0 0 0 13 1 0 0 20 0 15 0 414339219 10915721216 7046 33554432000 4194304 4196468 140727517909248 140727517891792 140522312097527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
/proc/5894/statm: 2664971 7046 2898 1 0 2627468 0
[pid=5894/tid=5896] ppid=5891 vsize=10659884 memory=-8413716295845056867 CPUtime=0.09 cores=1,3,5,7
/proc/5894/task/5896/stat : 5896 (java) R 5891 5894 5027 0 -1 4202560 3226 0 0 0 9 0 0 0 20 0 15 0 414339219 10915721216 7046 33554432000 4194304 4196468 140727517909248 140522316328592 140522305082619 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5897] ppid=5891 vsize=10659884 memory=5793855698402732473 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5897/stat : 5897 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10915721216 7046 33554432000 4194304 4196468 140727517909248 140521918769552 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5898] ppid=5891 vsize=10659884 memory=140447392839296 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5898/stat : 5898 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10915721216 7046 33554432000 4194304 4196468 140727517909248 140521917716752 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5899] ppid=5891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5899/stat : 5899 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10915721216 7046 33554432000 4194304 4196468 140727517909248 140521916664464 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5900] ppid=5891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5900/stat : 5900 (java) S 5891 5894 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414339220 10915721216 7046 33554432000 4194304 4196468 140727517909248 140521915611664 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5901] ppid=5891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5901/stat : 5901 (java) S 5891 5894 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414339221 10915721216 7046 33554432000 4194304 4196468 140727517909248 140521871170160 140522312108674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5902] ppid=5891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5902/stat : 5902 (java) S 5891 5894 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414339221 10915721216 7046 33554432000 4194304 4196468 140727517909248 140521870116128 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5903] ppid=5891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5903/stat : 5903 (java) S 5891 5894 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414339222 10915721216 7046 33554432000 4194304 4196468 140727517909248 140521869063792 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5904] ppid=5891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5904/stat : 5904 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414339224 10915721216 7046 33554432000 4194304 4196468 140727517909248 140521800460880 140522312116123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5905] ppid=5891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5905/stat : 5905 (java) S 5891 5894 5027 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 15 0 414339224 10915721216 7112 33554432000 4194304 4196468 140727517909248 140521799407728 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5906] ppid=5891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5906/stat : 5906 (java) S 5891 5894 5027 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 15 0 414339224 10915721216 7112 33554432000 4194304 4196468 140727517909248 140521798354928 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5907] ppid=5891 vsize=10659884 memory=140447392839296 CPUtime=0.02 cores=1,3,5,7
/proc/5894/task/5907/stat : 5907 (java) R 5891 5894 5027 0 -1 4202560 468 0 0 0 2 0 0 0 20 0 15 0 414339224 10915721216 7112 33554432000 4194304 4196468 140727517909248 140521797299320 140522291496043 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5908] ppid=5891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5908/stat : 5908 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414339224 10915721216 7112 33554432000 4194304 4196468 140727517909248 140521796250080 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5909] ppid=5891 vsize=10659884 memory=140447392839296 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5909/stat : 5909 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339224 10915721216 7112 33554432000 4194304 4196468 140727517909248 140521795197872 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28184 KiB
[startup+0.210526 s]*
/proc/loadavg: 2.14 0.93 0.39 3/228 5909
/proc/meminfo: memFree=30881448/32770624 swapFree=66934464/67108860
[pid=5894] ppid=5891 vsize=10659884 memory=37840 CPUtime=0.32 cores=1,3,5,7
/proc/5894/stat : 5894 (java) S 5891 5894 5027 0 -1 1077944320 9158 0 0 0 30 2 0 0 20 0 15 0 414339219 10915721216 9460 33554432000 4194304 4196468 140727517909248 140727517891792 140522312097527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
/proc/5894/statm: 2664971 9460 2990 1 0 2627468 0
[pid=5894/tid=5896] ppid=5891 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/5894/task/5896/stat : 5896 (java) R 5891 5894 5027 0 -1 4202560 6109 0 0 0 19 1 0 0 20 0 15 0 414339219 10915721216 9460 33554432000 4194304 4196468 140727517909248 140522316323888 140522312119453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5897] ppid=5891 vsize=10659884 memory=4211974173597629834 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5897/stat : 5897 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521918769552 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5898] ppid=5891 vsize=10659884 memory=140447392839296 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5898/stat : 5898 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521917716752 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5899] ppid=5891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5899/stat : 5899 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521916664464 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5900] ppid=5891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5900/stat : 5900 (java) S 5891 5894 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414339220 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521915611664 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5901] ppid=5891 vsize=10659884 memory=140447392839296 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5901/stat : 5901 (java) S 5891 5894 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414339221 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521871170160 140522312108674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5902] ppid=5891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5902/stat : 5902 (java) S 5891 5894 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414339221 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521870116128 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5903] ppid=5891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5903/stat : 5903 (java) S 5891 5894 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414339222 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521869063792 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5904] ppid=5891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5904/stat : 5904 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414339224 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521800460880 140522312116123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5905] ppid=5891 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5894/task/5905/stat : 5905 (java) S 5891 5894 5027 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 414339224 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521799407728 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5906] ppid=5891 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5906/stat : 5906 (java) S 5891 5894 5027 0 -1 1077944384 547 0 0 0 3 0 0 0 20 0 15 0 414339224 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521798354928 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5907] ppid=5891 vsize=10659884 memory=140447392839296 CPUtime=0.05 cores=1,3,5,7
/proc/5894/task/5907/stat : 5907 (java) S 5891 5894 5027 0 -1 1077944384 726 0 0 0 5 0 0 0 20 0 15 0 414339224 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521797302640 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5908] ppid=5891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5908/stat : 5908 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414339224 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521796250080 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5909] ppid=5891 vsize=10659884 memory=140447392839296 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5909/stat : 5909 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339224 10915721216 9460 33554432000 4194304 4196468 140727517909248 140521795197872 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37840 KiB
[startup+0.310188 s]*
/proc/loadavg: 2.14 0.93 0.39 4/228 5909
/proc/meminfo: memFree=30879648/32770624 swapFree=66934464/67108860
[pid=5894] ppid=5891 vsize=10659884 memory=40380 CPUtime=0.47 cores=1,3,5,7
/proc/5894/stat : 5894 (java) S 5891 5894 5027 0 -1 1077944320 9380 0 0 0 44 3 0 0 20 0 15 0 414339219 10915721216 10095 33554432000 4194304 4196468 140727517909248 140727517891792 140522312097527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
/proc/5894/statm: 2664971 10095 3002 1 0 2627468 0
[pid=5894/tid=5896] ppid=5891 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/5894/task/5896/stat : 5896 (java) R 5891 5894 5027 0 -1 4202560 6264 0 0 0 28 2 0 0 20 0 15 0 414339219 10915721216 10095 33554432000 4194304 4196468 140727517909248 140522316329328 140522312119453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5897] ppid=5891 vsize=10659884 memory=4211974173597629834 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5897/stat : 5897 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521918769552 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5898] ppid=5891 vsize=10659884 memory=140447392844323 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5898/stat : 5898 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521917716752 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5899] ppid=5891 vsize=10659884 memory=140447242632653 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5899/stat : 5899 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521916664464 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5900] ppid=5891 vsize=10659884 memory=140447242636751 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5900/stat : 5900 (java) S 5891 5894 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414339220 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521915611664 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5901] ppid=5891 vsize=10659884 memory=140447392844354 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5901/stat : 5901 (java) S 5891 5894 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414339221 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521871170160 140522312108674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5902] ppid=5891 vsize=10659884 memory=140447242645967 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5902/stat : 5902 (java) S 5891 5894 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414339221 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521870116128 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5903] ppid=5891 vsize=10659884 memory=280894485282704 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5903/stat : 5903 (java) S 5891 5894 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414339222 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521869063792 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5904] ppid=5891 vsize=10659884 memory=280894485280368 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5904/stat : 5904 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414339224 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521800460880 140522312116123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5905] ppid=5891 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5905/stat : 5905 (java) S 5891 5894 5027 0 -1 1077944384 434 0 0 0 3 0 0 0 20 0 15 0 414339224 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521799407728 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5906] ppid=5891 vsize=10659884 memory=2240 CPUtime=0.04 cores=1,3,5,7
/proc/5894/task/5906/stat : 5906 (java) S 5891 5894 5027 0 -1 1077944384 578 0 0 0 4 0 0 0 20 0 15 0 414339224 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521798354928 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5907] ppid=5891 vsize=10659884 memory=140447392839296 CPUtime=0.08 cores=1,3,5,7
/proc/5894/task/5907/stat : 5907 (java) S 5891 5894 5027 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 15 0 414339224 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521797302640 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5908] ppid=5891 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5908/stat : 5908 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414339224 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521796250080 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5909] ppid=5891 vsize=10659884 memory=140447392839296 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5909/stat : 5909 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339224 10915721216 10095 33554432000 4194304 4196468 140727517909248 140521795197872 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40380 KiB
[startup+0.700778 s]
/proc/loadavg: 2.14 0.93 0.39 3/228 5909
/proc/meminfo: memFree=30869124/32770624 swapFree=66934464/67108860
[pid=5894] ppid=5891 vsize=10661932 memory=63660 CPUtime=1.11 cores=1,3,5,7
/proc/5894/stat : 5894 (java) S 5891 5894 5027 0 -1 1077944320 12940 0 0 0 106 5 0 0 20 0 15 0 414339219 10917818368 15915 33554432000 4194304 4196468 140727517909248 140727517891792 140522312097527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
/proc/5894/statm: 2665483 15915 3060 1 0 2627980 0
[pid=5894/tid=5896] ppid=5891 vsize=10661932 memory=3932 CPUtime=0.68 cores=1,3,5,7
/proc/5894/task/5896/stat : 5896 (java) R 5891 5894 5027 0 -1 4202560 8812 0 0 0 65 3 0 0 20 0 15 0 414339219 10917818368 15915 33554432000 4194304 4196468 140727517909248 140522316329888 140522295290294 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5897] ppid=5891 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5897/stat : 5897 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521918769552 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5898] ppid=5891 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5898/stat : 5898 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521917716752 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5899] ppid=5891 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5899/stat : 5899 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521916664464 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5900] ppid=5891 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5900/stat : 5900 (java) S 5891 5894 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414339220 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521915611664 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5901] ppid=5891 vsize=10661932 memory=5787500903046145365 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5901/stat : 5901 (java) S 5891 5894 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414339221 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521871170160 140522312108674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5902] ppid=5891 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5902/stat : 5902 (java) S 5891 5894 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414339221 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521870116128 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5903] ppid=5891 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5903/stat : 5903 (java) S 5891 5894 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414339222 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521869063792 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5904] ppid=5891 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5904/stat : 5904 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414339224 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521800460880 140522312116123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5905] ppid=5891 vsize=10661932 memory=345 CPUtime=0.11 cores=1,3,5,7
/proc/5894/task/5905/stat : 5905 (java) R 5891 5894 5027 0 -1 4202560 738 0 0 0 11 0 0 0 20 0 15 0 414339224 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521799407728 140522293641250 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5906] ppid=5891 vsize=10661932 memory=10 CPUtime=0.11 cores=1,3,5,7
/proc/5894/task/5906/stat : 5906 (java) S 5891 5894 5027 0 -1 1077944384 827 0 0 0 11 0 0 0 20 0 15 0 414339224 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521798354928 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5907] ppid=5891 vsize=10661932 memory=26446 CPUtime=0.18 cores=1,3,5,7
/proc/5894/task/5907/stat : 5907 (java) S 5891 5894 5027 0 -1 1077944384 1205 0 0 0 18 0 0 0 20 0 15 0 414339224 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521797302640 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5908] ppid=5891 vsize=10661932 memory=280894485466608 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5908/stat : 5908 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414339224 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521796250080 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5909] ppid=5891 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5909/stat : 5909 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339224 10917818368 15915 33554432000 4194304 4196468 140727517909248 140521795197872 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63660 KiB
[startup+1.50076 s]
/proc/loadavg: 2.14 0.93 0.39 3/228 5909
/proc/meminfo: memFree=30852824/32770624 swapFree=66934464/67108860
[pid=5894] ppid=5891 vsize=10663980 memory=75660 CPUtime=1.99 cores=1,3,5,7
/proc/5894/stat : 5894 (java) S 5891 5894 5027 0 -1 1077944320 18547 0 0 0 193 6 0 0 20 0 15 0 414339219 10919915520 18915 33554432000 4194304 4196468 140727517909248 140727517891792 140522312097527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
/proc/5894/statm: 2665995 18915 3092 1 0 2628492 0
[pid=5894/tid=5896] ppid=5891 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/5894/task/5896/stat : 5896 (java) R 5891 5894 5027 0 -1 4202560 13074 0 0 0 143 4 0 0 20 0 15 0 414339219 10919915520 18915 33554432000 4194304 4196468 140727517909248 140522316328208 140522296178014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5897] ppid=5891 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5897/stat : 5897 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10919915520 18915 33554432000 4194304 4196468 140727517909248 140521918769552 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5898] ppid=5891 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5898/stat : 5898 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10919915520 18915 33554432000 4194304 4196468 140727517909248 140521917716752 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5899] ppid=5891 vsize=10663980 memory=-6305718286698570368 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5899/stat : 5899 (java) S 5891 5894 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414339220 10919915520 18915 33554432000 4194304 4196468 140727517909248 140521916664464 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5900] ppid=5891 vsize=10663980 memory=4947937137919368832 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5900/stat : 5900 (java) S 5891 5894 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414339220 10919915520 18915 33554432000 4194304 4196468 140727517909248 140521915611664 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5901] ppid=5891 vsize=10663980 memory=-6152018833316407140 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5901/stat : 5901 (java) S 5891 5894 5027 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 414339221 10919915520 18915 33554432000 4194304 4196468 140727517909248 140521871170160 140522312108674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
################
# More data... #
################
[pid=5894/tid=5897] ppid=5891 vsize=10748324 memory=2308 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5897/stat : 5897 (java) S 5891 5894 5027 0 -1 1077944384 95 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521918769552 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5898] ppid=5891 vsize=10748324 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5898/stat : 5898 (java) S 5891 5894 5027 0 -1 1077944384 137 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521917716752 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5899] ppid=5891 vsize=10748324 memory=2958613 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5899/stat : 5899 (java) S 5891 5894 5027 0 -1 1077944384 166 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521916664464 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5900] ppid=5891 vsize=10748324 memory=3472468576288449218 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5900/stat : 5900 (java) S 5891 5894 5027 0 -1 1077944384 218 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521915611664 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5901] ppid=5891 vsize=10748324 memory=-7533522213388100735 CPUtime=0.01 cores=1,3,5,7
/proc/5894/task/5901/stat : 5901 (java) S 5891 5894 5027 0 -1 1077944384 1279 0 0 0 1 0 0 0 20 0 16 0 414339221 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521871170160 140522312108674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5902] ppid=5891 vsize=10748324 memory=294700 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5902/stat : 5902 (java) S 5891 5894 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414339221 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521870116192 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5903] ppid=5891 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5903/stat : 5903 (java) S 5891 5894 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414339222 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521869063808 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5904] ppid=5891 vsize=10748324 memory=280894485378864 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5904/stat : 5904 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414339224 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521800460880 140522312116123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5905] ppid=5891 vsize=10748324 memory=3620 CPUtime=2.14 cores=1,3,5,7
/proc/5894/task/5905/stat : 5905 (java) S 5891 5894 5027 0 -1 1077944384 8425 0 0 0 213 1 0 0 20 0 16 0 414339224 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521799407728 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5906] ppid=5891 vsize=10748324 memory=22076 CPUtime=2.15 cores=1,3,5,7
/proc/5894/task/5906/stat : 5906 (java) S 5891 5894 5027 0 -1 1077944384 8882 0 0 0 214 1 0 0 20 0 16 0 414339224 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521798354928 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5907] ppid=5891 vsize=10748324 memory=280894485253184 CPUtime=0.88 cores=1,3,5,7
/proc/5894/task/5907/stat : 5907 (java) S 5891 5894 5027 0 -1 1077944384 5581 0 0 0 86 2 0 0 20 0 16 0 414339224 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521797302640 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5908] ppid=5891 vsize=10748324 memory=280894485381352 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5908/stat : 5908 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414339224 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521796250080 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5909] ppid=5891 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5909/stat : 5909 (java) S 5891 5894 5027 0 -1 1077944384 879 0 0 0 0 0 0 0 20 0 16 0 414339224 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521795197872 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5910] ppid=5891 vsize=10748324 memory=0 CPUtime=10.76 cores=1,3,5,7
/proc/5894/task/5910/stat : 5910 (java) R 5891 5894 5027 0 -1 4202560 7685 0 0 0 1072 4 0 0 20 0 16 0 414339406 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521778528048 140521958471909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
Current children cumulated CPU time: 17.99 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 295004 KiB
[startup+13.4252 s]
# the end of solver process 5894 was just reported to runsolver
# cumulated CPU time of all completed processes: user=18.5495 s, system=0.232935 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8009 s]
/proc/loadavg: 1.96 0.95 0.41 3/229 5910
/proc/meminfo: memFree=30630972/32770624 swapFree=66934464/67108860
[pid=5894] ppid=5891 vsize=10748324 memory=295004 CPUtime=18.09 cores=1,3,5,7
/proc/5894/stat : 5894 (java) S 5891 5894 5027 0 -1 1077944320 50041 0 0 0 1787 22 0 0 20 0 16 0 414339219 11006283776 73751 33554432000 4194304 4196468 140727517909248 140727517891792 140522312097527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
/proc/5894/statm: 2687081 73751 3380 1 0 2647217 0
[pid=5894/tid=5896] ppid=5891 vsize=10748324 memory=140447242525897 CPUtime=1.85 cores=1,3,5,7
/proc/5894/task/5896/stat : 5896 (java) S 5891 5894 5027 0 -1 1077944384 15299 0 0 0 179 6 0 0 20 0 16 0 414339219 11006283776 73751 33554432000 4194304 4196468 140727517909248 140522316340400 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5897] ppid=5891 vsize=10748324 memory=3472328296227685345 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5897/stat : 5897 (java) S 5891 5894 5027 0 -1 1077944384 95 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521918769552 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5898] ppid=5891 vsize=10748324 memory=3472328296227683137 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5898/stat : 5898 (java) S 5891 5894 5027 0 -1 1077944384 137 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521917716752 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5899] ppid=5891 vsize=10748324 memory=2832 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5899/stat : 5899 (java) S 5891 5894 5027 0 -1 1077944384 166 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521916664464 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5900] ppid=5891 vsize=10748324 memory=1548 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5900/stat : 5900 (java) S 5891 5894 5027 0 -1 1077944384 218 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521915611664 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5901] ppid=5891 vsize=10748324 memory=1056 CPUtime=0.01 cores=1,3,5,7
/proc/5894/task/5901/stat : 5901 (java) S 5891 5894 5027 0 -1 1077944384 1279 0 0 0 1 0 0 0 20 0 16 0 414339221 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521871170160 140522312108674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5902] ppid=5891 vsize=10748324 memory=744 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5902/stat : 5902 (java) S 5891 5894 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414339221 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521870116192 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5903] ppid=5891 vsize=10748324 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5903/stat : 5903 (java) S 5891 5894 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414339222 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521869063808 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5904] ppid=5891 vsize=10748324 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5904/stat : 5904 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414339224 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521800460880 140522312116123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5905] ppid=5891 vsize=10748324 memory=1124 CPUtime=2.14 cores=1,3,5,7
/proc/5894/task/5905/stat : 5905 (java) S 5891 5894 5027 0 -1 1077944384 8425 0 0 0 213 1 0 0 20 0 16 0 414339224 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521799407728 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5906] ppid=5891 vsize=10748324 memory=14008 CPUtime=2.15 cores=1,3,5,7
/proc/5894/task/5906/stat : 5906 (java) S 5891 5894 5027 0 -1 1077944384 8882 0 0 0 214 1 0 0 20 0 16 0 414339224 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521798354928 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5907] ppid=5891 vsize=10748324 memory=11928 CPUtime=0.88 cores=1,3,5,7
/proc/5894/task/5907/stat : 5907 (java) S 5891 5894 5027 0 -1 1077944384 5581 0 0 0 86 2 0 0 20 0 16 0 414339224 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521797302640 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5908] ppid=5891 vsize=10748324 memory=294880 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5908/stat : 5908 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414339224 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521796250080 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5909] ppid=5891 vsize=10748324 memory=294768 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5909/stat : 5909 (java) S 5891 5894 5027 0 -1 1077944384 879 0 0 0 0 0 0 0 20 0 16 0 414339224 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521795197872 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5910] ppid=5891 vsize=10748324 memory=3547065041288704607 CPUtime=10.86 cores=1,3,5,7
/proc/5894/task/5910/stat : 5910 (java) R 5891 5894 5027 0 -1 4202560 7686 0 0 0 1082 4 0 0 20 0 16 0 414339406 11006283776 73751 33554432000 4194304 4196468 140727517909248 140521778528048 140521958232331 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
Current children cumulated CPU time: 18.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 295004 KiB
[startup+13.2007 s]
/proc/loadavg: 1.96 0.95 0.41 3/229 5910
/proc/meminfo: memFree=30630848/32770624 swapFree=66934464/67108860
[pid=5894] ppid=5891 vsize=10748324 memory=295048 CPUtime=18.52 cores=1,3,5,7
/proc/5894/stat : 5894 (java) S 5891 5894 5027 0 -1 1077944320 51675 0 0 0 1830 22 0 0 20 0 16 0 414339219 11006283776 73762 33554432000 4194304 4196468 140727517909248 140727517891792 140522312097527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
/proc/5894/statm: 2687081 73762 3380 1 0 2647217 0
[pid=5894/tid=5896] ppid=5891 vsize=10748324 memory=288230621803970871 CPUtime=1.85 cores=1,3,5,7
/proc/5894/task/5896/stat : 5896 (java) S 5891 5894 5027 0 -1 1077944384 15299 0 0 0 179 6 0 0 20 0 16 0 414339219 11006283776 73762 33554432000 4194304 4196468 140727517909248 140522316340400 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5897] ppid=5891 vsize=10748324 memory=14133350919046965 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5897/stat : 5897 (java) S 5891 5894 5027 0 -1 1077944384 95 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521918769552 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5898] ppid=5891 vsize=10748324 memory=6944656592455097440 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5898/stat : 5898 (java) S 5891 5894 5027 0 -1 1077944384 137 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521917716752 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5899] ppid=5891 vsize=10748324 memory=6943526294502006880 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5899/stat : 5899 (java) S 5891 5894 5027 0 -1 1077944384 166 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521916664464 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5900] ppid=5891 vsize=10748324 memory=6944656592455360604 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5900/stat : 5900 (java) S 5891 5894 5027 0 -1 1077944384 218 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521915611664 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5901] ppid=5891 vsize=10748324 memory=3054355819557830759 CPUtime=0.01 cores=1,3,5,7
/proc/5894/task/5901/stat : 5901 (java) S 5891 5894 5027 0 -1 1077944384 1282 0 0 0 1 0 0 0 20 0 16 0 414339221 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521871170160 140522312108674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5902] ppid=5891 vsize=10748324 memory=-7966001967340291680 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5902/stat : 5902 (java) S 5891 5894 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414339221 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521870116192 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5903] ppid=5891 vsize=10748324 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5903/stat : 5903 (java) S 5891 5894 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414339222 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521869063808 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5904] ppid=5891 vsize=10748324 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5904/stat : 5904 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414339224 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521800460880 140522312116123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5905] ppid=5891 vsize=10748324 memory=6944656592455359580 CPUtime=2.14 cores=1,3,5,7
/proc/5894/task/5905/stat : 5905 (java) S 5891 5894 5027 0 -1 1077944384 8425 0 0 0 213 1 0 0 20 0 16 0 414339224 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521799407728 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5906] ppid=5891 vsize=10748324 memory=6944656592387989600 CPUtime=2.18 cores=1,3,5,7
/proc/5894/task/5906/stat : 5906 (java) S 5891 5894 5027 0 -1 1077944384 10235 0 0 0 217 1 0 0 20 0 16 0 414339224 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521798354928 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5907] ppid=5891 vsize=10748324 memory=7883640682351718241 CPUtime=0.88 cores=1,3,5,7
/proc/5894/task/5907/stat : 5907 (java) S 5891 5894 5027 0 -1 1077944384 5622 0 0 0 86 2 0 0 20 0 16 0 414339224 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521797302640 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5908] ppid=5891 vsize=10748324 memory=280894485773728 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5908/stat : 5908 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414339224 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521796250080 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5909] ppid=5891 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5909/stat : 5909 (java) S 5891 5894 5027 0 -1 1077944384 879 0 0 0 0 0 0 0 20 0 16 0 414339224 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521795197872 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5910] ppid=5891 vsize=10748324 memory=2241 CPUtime=11.26 cores=1,3,5,7
/proc/5894/task/5910/stat : 5910 (java) R 5891 5894 5027 0 -1 4202560 7923 0 0 0 1122 4 0 0 20 0 16 0 414339406 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521778528048 140521958425681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
Current children cumulated CPU time: 18.52 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 295048 KiB
[startup+13.4049 s]
/proc/loadavg: 1.96 0.95 0.41 3/229 5910
/proc/meminfo: memFree=30630848/32770624 swapFree=66934464/67108860
[pid=5894] ppid=5891 vsize=10748324 memory=295048 CPUtime=18.75 cores=1,3,5,7
/proc/5894/stat : 5894 (java) S 5891 5894 5027 0 -1 1077944320 51875 0 0 0 1853 22 0 0 20 0 16 0 414339219 11006283776 73762 33554432000 4194304 4196468 140727517909248 140727517891792 140522312097527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
/proc/5894/statm: 2687081 73762 3380 1 0 2647217 0
[pid=5894/tid=5896] ppid=5891 vsize=10748324 memory=140447242549600 CPUtime=1.85 cores=1,3,5,7
/proc/5894/task/5896/stat : 5896 (java) S 5891 5894 5027 0 -1 1077944384 15299 0 0 0 179 6 0 0 20 0 16 0 414339219 11006283776 73762 33554432000 4194304 4196468 140727517909248 140522316340400 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5897] ppid=5891 vsize=10748324 memory=2241 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5897/stat : 5897 (java) S 5891 5894 5027 0 -1 1077944384 95 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521918769552 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5898] ppid=5891 vsize=10748324 memory=2244 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5898/stat : 5898 (java) S 5891 5894 5027 0 -1 1077944384 137 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521917716752 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5899] ppid=5891 vsize=10748324 memory=8320808402890543460 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5899/stat : 5899 (java) S 5891 5894 5027 0 -1 1077944384 166 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521916664464 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5900] ppid=5891 vsize=10748324 memory=7235428992464153433 CPUtime=0.03 cores=1,3,5,7
/proc/5894/task/5900/stat : 5900 (java) S 5891 5894 5027 0 -1 1077944384 218 0 0 0 2 1 0 0 20 0 16 0 414339220 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521915611664 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5901] ppid=5891 vsize=10748324 memory=-1598831813028945288 CPUtime=0.01 cores=1,3,5,7
/proc/5894/task/5901/stat : 5901 (java) S 5891 5894 5027 0 -1 1077944384 1282 0 0 0 1 0 0 0 20 0 16 0 414339221 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521871170160 140522312108674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5902] ppid=5891 vsize=10748324 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5902/stat : 5902 (java) S 5891 5894 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414339221 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521870116192 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5903] ppid=5891 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5903/stat : 5903 (java) S 5891 5894 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414339222 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521869063808 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5904] ppid=5891 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5904/stat : 5904 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414339224 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521800460880 140522312116123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5905] ppid=5891 vsize=10748324 memory=-4504271847523324239 CPUtime=2.16 cores=1,3,5,7
/proc/5894/task/5905/stat : 5905 (java) R 5891 5894 5027 0 -1 4202560 8535 0 0 0 215 1 0 0 20 0 16 0 414339224 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521799407728 140522312118874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5906] ppid=5891 vsize=10748324 memory=7162782137318981484 CPUtime=2.19 cores=1,3,5,7
/proc/5894/task/5906/stat : 5906 (java) R 5891 5894 5027 0 -1 4202560 10250 0 0 0 218 1 0 0 20 0 16 0 414339224 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521798354928 140522312118874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5907] ppid=5891 vsize=10748324 memory=6944656425123485561 CPUtime=0.88 cores=1,3,5,7
/proc/5894/task/5907/stat : 5907 (java) S 5891 5894 5027 0 -1 1077944384 5633 0 0 0 86 2 0 0 20 0 16 0 414339224 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521797302640 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5908] ppid=5891 vsize=10748324 memory=-9001734043636558696 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5908/stat : 5908 (java) S 5891 5894 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414339224 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521796250080 140522312107733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5909] ppid=5891 vsize=10748324 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/5894/task/5909/stat : 5909 (java) S 5891 5894 5027 0 -1 1077944384 879 0 0 0 0 0 0 0 20 0 16 0 414339224 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521795197872 140522312108674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
[pid=5894/tid=5910] ppid=5891 vsize=10748324 memory=-8412660965215072671 CPUtime=11.46 cores=1,3,5,7
/proc/5894/task/5910/stat : 5910 (java) R 5891 5894 5027 0 -1 4202560 7989 0 0 0 1142 4 0 0 20 0 16 0 414339406 11006283776 73762 33554432000 4194304 4196468 140727517909248 140521778528048 140522292737162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727517918219 140727517918322 140727517918322 140727517921231 0
Current children cumulated CPU time: 18.75 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 295048 KiB
Child status: 0
Real time (s): 13.4253
CPU time (s): 18.7825
CPU user time (s): 18.5495
CPU system time (s): 0.232935
CPU usage (%): 139.904
Max. virtual memory (cumulated for all children) (KiB): 10748352
Max. memory (cumulated for all children) (KiB): 295048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.5495
system time used= 0.232935
maximum resident set size= 295600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52689
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= 3334
involuntary context switches= 50
# summary of solver processes directly reported to runsolver:
# pid: 5894
# total CPU time (s): 18.7825
# total CPU user time (s): 18.5495
# total CPU system time (s): 0.232935
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.121705 second user time and 0.167632 second system time
The end