2.61/1.91
2.61/1.91 AbsCon 2
2.61/1.93
4.27/2.41 Instance
4.27/2.41 name=instance-4390721-1568380590, framework=CSP
4.27/2.41
4.27/2.41 Loading variables...
4.62/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59311001
4.62/2.58 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@427b898e
4.62/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@163c9a46
4.62/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba99b0a
4.62/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f6820b
4.62/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44895b51
4.62/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@544440a1
4.62/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4635d678
4.62/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5770b46d
4.62/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@358355c0
4.62/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b948a06
4.62/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67b83f23
4.62/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3db7e800
4.62/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10514a9
4.62/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58da2b5
4.62/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18e0f663
4.62/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c74419
4.62/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@547eae45
4.62/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38addcea
4.62/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@423cc08a
4.62/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@314c42bf
4.62/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a98908
4.62/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b8edce
4.62/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b1d973
4.62/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12fefb6a
4.62/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13fdd967
4.62/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7303762f
4.62/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@519149e7
4.62/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30d0ac19
4.62/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13a8d231
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ef687ad
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58b18c65
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4397ee17
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@755beafc
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66e2b29d
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19418ff
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@203ecbe6
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a1ee51f
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60f46292
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54313c67
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0a5cb5
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aa41f5a
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@713261d8
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52da4781
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26eab18b
4.94/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8c48efc
4.94/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ea38e50
4.94/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b36d543
4.94/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@746a6f04
8.05/3.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@132651d1
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@357bd83c
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f86851a
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b19ff5
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e1466a6
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69bdeaec
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db37246
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4601717d
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8cca2de
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d863804
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@508aa9e0
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2587a3d9
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7418202e
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a05887b
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c503f84
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b31af26
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc8dcea
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a02af80
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1afec916
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@af1ed7d
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d88735d
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c04c709
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16ae2239
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f1ab340
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15aa62a7
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a5a8a1a
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f7ba14f
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64a5dfcc
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d334f63
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3103323e
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e94f2c0
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b984504
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34581650
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e8caaa9
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48bd7e93
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f5f3303
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@781c98bf
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42da22b0
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e60998
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d0b42d9
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c998341
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c73a3d3
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3853bf
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38d006c5
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c6f3f6
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6327c397
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4abbfaf7
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437c9fd
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23d618bc
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c8141b3
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e7da87
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38b5daa7
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c782f6e
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f3d2f6
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a7daf1
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a4fbfce
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45ca30ee
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737619ff
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a1e710
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100743ea
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c7f7aa1
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d875e63
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41bd5b2b
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b1d276f
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22e96a51
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0968ee
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c2696cb
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d24f9bf
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4625267a
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bbce135
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e034b4
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64d2dc5c
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4401ae04
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770083c4
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39c6fe6a
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b0014db
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55ba6907
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b0a27ac
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e6233b
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ebabd6
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ab94b92
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b513cca
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b128da3
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1253f32b
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b465e05
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27624b6a
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4f0274
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6998271f
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec535d4
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a52d895
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725ec4ef
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e1ad21
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@99af26e
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e9677d
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28d907b2
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d8ac99e
8.05/3.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f16da9d
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c25b6ed
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f242d33
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b97dde6
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1da9daff
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@464a725c
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57cfccd0
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec05020
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7736c93b
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@809b6cb
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@265567c3
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b33009
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a9c56b
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@278a498f
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ac904c6
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43df2a53
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d26c7b8
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37741c2e
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b253999
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@863083e
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@637d5c09
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63aa8321
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1919b4eb
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f084910
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326961d6
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@249664f4
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@220c11b5
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@131779dc
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fee80eb
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc1df03
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60447c51
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428654d1
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38fc3bc1
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a23ea7d
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c11ad5
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741cc7aa
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75334a7b
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfa563a
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45dd2517
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ae901d2
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a4bcb91
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c84909
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52449804
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b8d3325
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6570d3a2
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e48833a
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492b59a5
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bca2339
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798ff739
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b94f5ca
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@740a8126
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@727127a
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab03e1
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5935c398
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649edf30
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a297a1
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3439b4b0
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c2df8e
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9e94b6d
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@410d56a9
8.05/3.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15088bdc
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@658e6338
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aecce76
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c32bd06
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744bcabb
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b7baa67
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@384b6862
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b554aa7
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@219c2a4b
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@620b2f0c
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a9ac103
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e46d4f
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65a468f8
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f1f29e7
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614839aa
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e9cdb66
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12282d6e
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46dd5f52
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4923df27
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca3fc94
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f0b22d0
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb74de9
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32423d18
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21c4b089
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a6baa25
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a3d23b9
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@739b71a3
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5223b99b
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@384513dd
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550080d2
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e8b9caa
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@450daf23
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c10abfa
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@658c9a57
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52cadd15
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c097372
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2408f239
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed341c2
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68588d72
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@146432ad
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22bb4288
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a9e1e5e
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fa90ebe
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f3ddbae
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac47c0c
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@443c6b62
8.05/3.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a360aea
8.05/3.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21c15061
8.05/3.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41efa5ec
8.05/3.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666e566c
8.05/3.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d01466
8.05/3.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46c6b45f
8.05/3.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad6118d
8.05/3.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414cecbe
8.39/3.71
8.39/3.71
8.39/3.71 Domains
8.39/3.71 nTypes=1, nValues=12936, sizes=[2#6468]
8.39/3.71 Variables
8.39/3.71 count=6468, degrees=[2#5880,24#4,25#90,26#494]
8.39/3.71 Constraints
8.39/3.71 count=6186, nSpecific=306, arities=[3#5880,21#28,28#231,42#27,56#20]
8.39/3.71 distribution=[CtrIntension#5880,LexicographicLe#47,SumSimpleEQ#259]
8.39/3.71 nIntStructures=(1,shared:5879), nCftStructures=(1,shared:5879,unbuilt:306)
8.39/3.71 wck=1.833, cpu=3.581, mem=32M286
8.39/3.76 Solver SolverBacktrack being built...
8.39/3.76
8.67/3.84
8.67/3.84 Solver
8.67/3.84 guaranteedGAC=true
8.67/3.84 wck=1.959, cpu=3.704, mem=210M982
8.67/3.86
8.67/3.86 Preprocessing
8.67/3.86 filters=0, ccks=8, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
8.67/3.86 wck=0.018, cpu=3.727, mem=210M982
8.67/3.86
8.97/3.91 num=0, depth=34..58, filters=1863, revisions=(6918,useless=5155), ccks=9180, wck=0.073, mem=213M174
8.97/3.91 decisions=100, wrong=26, backtracks=23, failedAssignments=10, nogoods=2
8.97/3.91
8.97/4.00 num=1, depth=1..98, filters=9425, revisions=(26892,useless=17877), ccks=31468, wck=0.155, mem=213M174
8.97/4.00 decisions=228, wrong=45, backtracks=31, failedAssignments=21, nogoods=8
8.97/4.00
9.31/4.03 num=2, depth=3..44, filters=14937, revisions=(42031,useless=27770), ccks=46494, wck=0.185, mem=213M174
9.31/4.03 decisions=308, wrong=67, backtracks=42, failedAssignments=33, nogoods=16
9.31/4.03
9.31/4.06 num=3, depth=4..67, filters=25161, revisions=(69508,useless=45477), ccks=71950, wck=0.215, mem=213M174
9.31/4.06 decisions=424, wrong=95, backtracks=62, failedAssignments=46, nogoods=22
9.31/4.06
9.31/4.08 num=4, depth=8..84, filters=29726, revisions=(85299,useless=56922), ccks=83355, wck=0.238, mem=213M174
9.31/4.08 decisions=559, wrong=126, backtracks=85, failedAssignments=60, nogoods=29
9.31/4.08
9.31/4.10 num=5, depth=11..93, filters=34833, revisions=(102653,useless=69479), ccks=97655, wck=0.259, mem=213M174
9.31/4.10 decisions=701, wrong=162, backtracks=105, failedAssignments=76, nogoods=34
9.31/4.10
9.62/4.12 num=6, depth=52..114, filters=38747, revisions=(117700,useless=80823), ccks=110163, wck=0.278, mem=213M174
9.62/4.12 decisions=863, wrong=194, backtracks=125, failedAssignments=93, nogoods=38
9.62/4.12
9.62/4.14 num=7, depth=12..142, filters=44281, revisions=(135365,useless=93184), ccks=126994, wck=0.301, mem=213M174
9.62/4.14 decisions=1043, wrong=222, backtracks=140, failedAssignments=112, nogoods=51
9.62/4.14
9.62/4.16 num=8, depth=12..81, filters=51311, revisions=(156024,useless=107221), ccks=148448, wck=0.322, mem=213M174
9.62/4.16 decisions=1208, wrong=270, backtracks=177, failedAssignments=133, nogoods=57
9.62/4.16
9.62/4.18 num=9, depth=13..92, filters=58226, revisions=(177746,useless=122401), ccks=169382, wck=0.344, mem=217M518
9.62/4.18 decisions=1373, wrong=315, backtracks=205, failedAssignments=156, nogoods=70
9.62/4.18
9.80/4.21 num=10, depth=12..111, filters=64462, revisions=(196367,useless=135082), ccks=186970, wck=0.365, mem=217M518
9.80/4.21 decisions=1529, wrong=350, backtracks=217, failedAssignments=181, nogoods=87
9.80/4.21
9.80/4.23 num=11, depth=11..71, filters=79386, revisions=(234252,useless=158651), ccks=222977, wck=0.393, mem=217M518
9.80/4.23 decisions=1691, wrong=400, backtracks=241, failedAssignments=209, nogoods=97
9.80/4.23
9.80/4.25 num=12, depth=7..63, filters=86332, revisions=(253269,useless=171065), ccks=241766, wck=0.408, mem=217M518
9.80/4.25 decisions=1844, wrong=462, backtracks=272, failedAssignments=240, nogoods=101
9.80/4.25
9.80/4.27 num=13, depth=4..29, filters=102226, revisions=(292521,useless=195095), ccks=280677, wck=0.431, mem=217M518
9.80/4.27 decisions=1995, wrong=531, backtracks=312, failedAssignments=274, nogoods=106
9.80/4.27
9.91/4.31 num=14, depth=0..129, filters=120896, revisions=(342284,useless=226994), ccks=330051, wck=0.468, mem=217M518
9.91/4.31 decisions=2256, wrong=602, backtracks=352, failedAssignments=311, nogoods=114
9.91/4.31
9.91/4.33 num=15, depth=42..126, filters=126159, revisions=(362142,useless=241899), ccks=347037, wck=0.493, mem=221M863
9.91/4.33 decisions=2510, wrong=672, backtracks=385, failedAssignments=352, nogoods=126
9.91/4.33
9.91/4.36 num=16, depth=27..108, filters=130766, revisions=(382436,useless=257840), ccks=362473, wck=0.514, mem=221M863
9.91/4.36 decisions=2711, wrong=730, backtracks=434, failedAssignments=397, nogoods=135
9.91/4.36
9.91/4.38 num=17, depth=14..40, filters=139733, revisions=(408228,useless=275157), ccks=389662, wck=0.535, mem=221M863
9.91/4.38 decisions=2948, wrong=841, backtracks=510, failedAssignments=447, nogoods=137
9.91/4.38
10.04/4.41 num=18, depth=1..81, filters=152365, revisions=(443777,useless=298629), ccks=425920, wck=0.565, mem=221M863
10.04/4.41 decisions=3222, wrong=947, backtracks=582, failedAssignments=502, nogoods=148
10.04/4.41
10.04/4.46 num=19, depth=5..55, filters=175312, revisions=(524339,useless=357271), ccks=479499, wck=0.615, mem=221M863
10.04/4.46 decisions=3491, wrong=1060, backtracks=668, failedAssignments=563, nogoods=160
10.04/4.46
10.04/4.49 num=20, depth=6..135, filters=186928, revisions=(574520,useless=396653), ccks=513198, wck=0.654, mem=226M207
10.04/4.49 decisions=3862, wrong=1190, backtracks=749, failedAssignments=630, nogoods=173
10.04/4.49
10.17/4.54 num=21, depth=4..168, filters=202304, revisions=(638518,useless=446146), ccks=556311, wck=0.704, mem=226M207
10.17/4.54 decisions=4320, wrong=1352, backtracks=860, failedAssignments=704, nogoods=187
10.17/4.54
10.17/4.58 num=22, depth=5..131, filters=212060, revisions=(684267,useless=482903), ccks=585747, wck=0.736, mem=226M207
10.17/4.58 decisions=4706, wrong=1513, backtracks=941, failedAssignments=785, nogoods=193
10.17/4.58
10.28/4.62 num=23, depth=2..136, filters=223998, revisions=(733795,useless=521421), ccks=622881, wck=0.775, mem=226M207
10.28/4.62 decisions=5144, wrong=1683, backtracks=1033, failedAssignments=874, nogoods=208
10.28/4.62
10.28/4.67 num=24, depth=2..161, filters=236717, revisions=(814662,useless=591020), ccks=659792, wck=0.825, mem=226M207
10.28/4.67 decisions=5625, wrong=1872, backtracks=1144, failedAssignments=972, nogoods=223
10.28/4.67
10.38/4.71 num=25, depth=0..115, filters=247919, revisions=(875177,useless=641467), ccks=695709, wck=0.867, mem=230M552
10.38/4.71 decisions=6119, wrong=2083, backtracks=1266, failedAssignments=1080, nogoods=233
10.38/4.71
10.38/4.75 num=26, depth=29..72, filters=264470, revisions=(950341,useless=701529), ccks=743719, wck=0.913, mem=230M552
10.38/4.75 decisions=6638, wrong=2318, backtracks=1406, failedAssignments=1199, nogoods=239
10.38/4.75
10.48/4.80 num=27, depth=38..106, filters=276982, revisions=(1018803,useless=759009), ccks=782927, wck=0.961, mem=230M552
10.48/4.80 decisions=7213, wrong=2565, backtracks=1598, failedAssignments=1330, nogoods=248
10.48/4.80
10.64/4.90 num=28, depth=7..124, filters=320581, revisions=(1186280,useless=884675), ccks=887005, wck=1.064, mem=234M896
10.64/4.90 decisions=7902, wrong=2860, backtracks=1798, failedAssignments=1474, nogoods=264
10.64/4.90
10.64/4.96 num=29, depth=14..81, filters=345603, revisions=(1279951,useless=955203), ccks=960313, wck=1.124, mem=234M896
10.64/4.96 decisions=8616, wrong=3186, backtracks=1988, failedAssignments=1632, nogoods=274
10.64/4.96
10.75/5.03 num=30, depth=4..64, filters=371409, revisions=(1387498,useless=1039208), ccks=1035420, wck=1.187, mem=239M241
10.75/5.03 decisions=9313, wrong=3521, backtracks=2227, failedAssignments=1806, nogoods=277
10.75/5.03
10.87/5.12 num=31, depth=22..109, filters=405765, revisions=(1535729,useless=1155667), ccks=1132120, wck=1.284, mem=239M241
10.87/5.12 decisions=10219, wrong=3937, backtracks=2532, failedAssignments=1997, nogoods=297
10.87/5.12
10.99/5.22 num=32, depth=3..81, filters=443475, revisions=(1679257,useless=1264459), ccks=1247916, wck=1.379, mem=243M585
10.99/5.22 decisions=11293, wrong=4446, backtracks=2932, failedAssignments=2208, nogoods=315
10.99/5.22
11.09/5.33 num=33, depth=3..107, filters=486619, revisions=(1871830,useless=1416825), ccks=1363177, wck=1.494, mem=247M93
11.09/5.33 decisions=12412, wrong=4966, backtracks=3340, failedAssignments=2440, nogoods=329
11.09/5.33
11.85/5.67 num=34, depth=1..62, filters=549426, revisions=(2082989,useless=1569418), ccks=1530496, wck=1.826, mem=192M852
11.85/5.67 decisions=13573, wrong=5527, backtracks=3743, failedAssignments=2695, nogoods=339
11.85/5.67
12.09/5.77 num=35, depth=1..51, filters=592648, revisions=(2271740,useless=1718851), ccks=1652041, wck=1.934, mem=192M852
12.09/5.77 decisions=14650, wrong=6048, backtracks=4126, failedAssignments=2976, nogoods=345
12.09/5.77
12.30/5.99 num=36, depth=1..115, filters=684353, revisions=(2605242,useless=1965573), ccks=1890450, wck=2.145, mem=201M514
12.30/5.99 decisions=16256, wrong=6817, backtracks=4796, failedAssignments=3285, nogoods=364
12.30/5.99
12.52/6.15 num=37, depth=1..79, filters=758857, revisions=(2862553,useless=2153256), ccks=2101871, wck=2.308, mem=205M844
12.52/6.15 decisions=17742, wrong=7535, backtracks=5354, failedAssignments=3625, nogoods=377
12.52/6.15
12.71/6.32 num=38, depth=1..85, filters=833656, revisions=(3115846,useless=2336679), ccks=2359794, wck=2.48, mem=210M175
12.71/6.32 decisions=19806, wrong=8538, backtracks=6110, failedAssignments=3999, nogoods=386
12.71/6.32
12.91/6.56 num=39, depth=1..129, filters=931134, revisions=(3522229,useless=2651390), ccks=2627716, wck=2.723, mem=218M836
12.91/6.56 decisions=21793, wrong=9489, backtracks=6843, failedAssignments=4410, nogoods=411
12.91/6.56
13.11/6.79 num=40, depth=1..142, filters=1012713, revisions=(3915375,useless=2967893), ccks=2847437, wck=2.952, mem=223M167
13.11/6.79 decisions=23912, wrong=10504, backtracks=7691, failedAssignments=4862, nogoods=434
13.11/6.79
13.42/7.01 num=41, depth=1..108, filters=1109674, revisions=(4284392,useless=3246630), ccks=3116190, wck=3.173, mem=231M828
13.42/7.01 decisions=26090, wrong=11559, backtracks=8444, failedAssignments=5359, nogoods=452
13.42/7.01
13.61/7.25 num=42, depth=1..120, filters=1202119, revisions=(4686314,useless=3564030), ccks=3363817, wck=3.412, mem=236M159
13.61/7.25 decisions=28439, wrong=12689, backtracks=9434, failedAssignments=5906, nogoods=470
13.61/7.25
13.91/7.51 num=43, depth=1..84, filters=1287217, revisions=(5171492,useless=3974131), ccks=3605366, wck=3.667, mem=244M820
13.91/7.51 decisions=31027, wrong=13952, backtracks=10560, failedAssignments=6508, nogoods=482
13.91/7.51
14.12/7.77 num=44, depth=1..129, filters=1372371, revisions=(5598584,useless=4322639), ccks=3853028, wck=3.927, mem=249M151
14.12/7.77 decisions=34326, wrong=15562, backtracks=11989, failedAssignments=7170, nogoods=517
14.12/7.77
14.62/8.23 num=45, depth=1..148, filters=1561271, revisions=(6383982,useless=4928546), ccks=4337125, wck=4.389, mem=262M143
14.62/8.23 decisions=37793, wrong=17249, backtracks=13409, failedAssignments=7898, nogoods=543
14.62/8.23
15.01/8.66 num=46, depth=3..125, filters=1732186, revisions=(7206886,useless=5594911), ccks=4771329, wck=4.823, mem=275M135
15.01/8.66 decisions=41433, wrong=19030, backtracks=14847, failedAssignments=8699, nogoods=562
15.01/8.66
15.42/9.06 num=47, depth=5..121, filters=1892218, revisions=(7939499,useless=6181094), ccks=5150534, wck=5.222, mem=288M127
15.42/9.06 decisions=44684, wrong=20609, backtracks=16083, failedAssignments=9580, nogoods=581
15.42/9.06
15.91/9.54 num=48, depth=3..109, filters=2041334, revisions=(8823354,useless=6930605), ccks=5528408, wck=5.698, mem=301M120
15.91/9.54 decisions=49086, wrong=22772, backtracks=17989, failedAssignments=10550, nogoods=599
15.91/9.54
16.52/10.14 num=49, depth=39..118, filters=2266570, revisions=(9940848,useless=7842539), ccks=6094034, wck=6.3, mem=318M442
16.52/10.14 decisions=53719, wrong=25041, backtracks=19956, failedAssignments=11617, nogoods=611
16.52/10.14
17.12/10.78 num=50, depth=31..101, filters=2522276, revisions=(11092918,useless=8762150), ccks=6662194, wck=6.938, mem=335M765
17.12/10.78 decisions=58678, wrong=27487, backtracks=22006, failedAssignments=12790, nogoods=618
17.12/10.78
17.73/11.32 num=51, depth=9..118, filters=2738471, revisions=(12090718,useless=9563442), ccks=7187319, wck=7.482, mem=353M88
17.73/11.32 decisions=63934, wrong=30090, backtracks=24009, failedAssignments=14081, nogoods=625
17.73/11.32
18.33/11.97 num=52, depth=3..110, filters=2990625, revisions=(13246833,useless=10489138), ccks=7828717, wck=8.127, mem=370M411
18.33/11.97 decisions=69930, wrong=33067, backtracks=26303, failedAssignments=15501, nogoods=634
18.33/11.97
19.03/12.63 num=53, depth=4..98, filters=3279688, revisions=(14393756,useless=11369205), ccks=8597596, wck=8.789, mem=392M64
19.03/12.63 decisions=76640, wrong=36405, backtracks=28616, failedAssignments=17063, nogoods=643
19.03/12.63
20.04/13.60 num=54, depth=2..159, filters=3666748, revisions=(16148127,useless=12762582), ccks=9622745, wck=9.757, mem=202M648
20.04/13.60 decisions=85100, wrong=40582, backtracks=32028, failedAssignments=18781, nogoods=667
20.04/13.60
20.84/14.46 num=55, depth=1..87, filters=4040001, revisions=(17873627,useless=14149625), ccks=10487971, wck=10.618, mem=230M573
20.84/14.46 decisions=92281, wrong=44146, backtracks=35137, failedAssignments=20671, nogoods=683
20.84/14.46
21.74/15.32 num=56, depth=23..60, filters=4295653, revisions=(19580370,useless=15633781), ccks=11208423, wck=11.48, mem=251M517
21.74/15.32 decisions=100696, wrong=48340, backtracks=38663, failedAssignments=22750, nogoods=687
21.74/15.32
22.84/16.49 num=57, depth=4..122, filters=4749705, revisions=(21621583,useless=17250935), ccks=12304988, wck=12.648, mem=286M424
22.84/16.49 decisions=111051, wrong=53476, backtracks=43234, failedAssignments=25037, nogoods=703
22.84/16.49
24.05/17.63 num=58, depth=11..96, filters=5219239, revisions=(23618722,useless=18818954), ccks=13605654, wck=13.785, mem=314M349
24.05/17.63 decisions=123643, wrong=59755, backtracks=48000, failedAssignments=27553, nogoods=711
24.05/17.63
26.15/19.70 num=59, depth=13..95, filters=5903790, revisions=(27880529,useless=22471501), ccks=15055070, wck=15.858, mem=384M162
26.15/19.70 decisions=134918, wrong=65364, backtracks=52764, failedAssignments=30321, nogoods=726
26.15/19.70
27.25/20.90 num=60, depth=57..143, filters=6276807, revisions=(30115273,useless=24373544), ccks=16138939, wck=17.055, mem=412M87
27.25/20.90 decisions=148986, wrong=72348, backtracks=58695, failedAssignments=33365, nogoods=756
27.25/20.90
28.67/22.22 num=61, depth=3..111, filters=6722527, revisions=(32715434,useless=26581005), ccks=17415465, wck=18.381, mem=453M975
28.67/22.22 decisions=161938, wrong=78800, backtracks=63792, failedAssignments=36714, nogoods=766
28.67/22.22
30.89/24.40 num=62, depth=3..133, filters=7603163, revisions=(36672017,useless=29711343), ccks=19556600, wck=20.563, mem=509M825
30.89/24.40 decisions=179273, wrong=87425, backtracks=70636, failedAssignments=40398, nogoods=794
30.89/24.40
33.00/26.57 num=63, depth=4..175, filters=8457072, revisions=(40811263,useless=33049458), ccks=21706341, wck=22.734, mem=216M720
33.00/26.57 decisions=200166, wrong=97805, backtracks=79358, failedAssignments=44450, nogoods=830
33.00/26.57
35.52/29.07 num=64, depth=4..181, filters=9452450, revisions=(45466616,useless=36768016), ccks=24292288, wck=25.231, mem=279M724
35.52/29.07 decisions=222058, wrong=108690, backtracks=88924, failedAssignments=48907, nogoods=861
35.52/29.07
37.62/31.12 num=65, depth=5..127, filters=10116955, revisions=(49436105,useless=40150200), ccks=25975186, wck=27.276, mem=335M727
37.62/31.12 decisions=244071, wrong=119655, backtracks=98681, failedAssignments=53810, nogoods=870
37.62/31.12
40.63/34.13 num=66, depth=2..129, filters=11337388, revisions=(54943163,useless=44527237), ccks=29020478, wck=30.291, mem=426M732
40.63/34.13 decisions=267424, wrong=131288, backtracks=108690, failedAssignments=59204, nogoods=889
40.63/34.13
43.53/37.10 num=67, depth=3..125, filters=12464718, revisions=(60464524,useless=49023737), ccks=31838852, wck=33.256, mem=510M738
43.53/37.10 decisions=293233, wrong=144160, backtracks=119769, failedAssignments=65137, nogoods=905
43.53/37.10
46.74/40.23 num=68, depth=7..156, filters=13742031, revisions=(66265674,useless=53638355), ccks=35114182, wck=36.386, mem=250M458
46.74/40.23 decisions=322966, wrong=158974, backtracks=132038, failedAssignments=71663, nogoods=949
46.74/40.23
51.44/44.96 num=69, depth=5..122, filters=15393072, revisions=(75669778,useless=61573929), ccks=38863400, wck=41.12, mem=394M290
51.44/44.96 decisions=351891, wrong=173394, backtracks=144578, failedAssignments=78842, nogoods=967
51.44/44.96
54.75/48.26 num=70, depth=54..111, filters=16550310, revisions=(82003519,useless=66884392), ccks=42039636, wck=44.424, mem=486M753
54.75/48.26 decisions=385526, wrong=190179, backtracks=158659, failedAssignments=86739, nogoods=980
54.75/48.26
59.25/52.74 num=71, depth=58..148, filters=18267736, revisions=(90207241,useless=73500625), ccks=46519412, wck=48.898, mem=610M37
59.25/52.74 decisions=426920, wrong=210828, backtracks=176831, failedAssignments=95426, nogoods=1004
59.25/52.74
63.07/56.50 num=72, depth=39..150, filters=19521337, revisions=(96653833,useless=78815418), ccks=50001119, wck=52.662, mem=199M135
63.07/56.50 decisions=471416, wrong=233028, backtracks=195823, failedAssignments=104981, nogoods=1017
63.07/56.50
67.27/60.74 num=73, depth=9..124, filters=21205166, revisions=(104664018,useless=85306720), ccks=54214671, wck=56.896, mem=322M561
67.27/60.74 decisions=509577, wrong=252076, backtracks=211062, failedAssignments=115492, nogoods=1036
67.27/60.74
71.97/65.47 num=74, depth=5..111, filters=22614981, revisions=(113567257,useless=92986227), ccks=58192383, wck=61.632, mem=466M558
71.97/65.47 decisions=561887, wrong=278208, backtracks=232932, failedAssignments=127054, nogoods=1049
71.97/65.47
77.68/71.17 num=75, depth=6..104, filters=24907310, revisions=(124258845,useless=101588658), ccks=64205066, wck=67.329, mem=631M126
77.68/71.17 decisions=612875, wrong=303670, backtracks=252771, failedAssignments=139772, nogoods=1059
77.68/71.17
86.79/80.21 num=76, depth=7..164, filters=28675340, revisions=(141656241,useless=115422283), ccks=73870259, wck=76.366, mem=373M875
86.79/80.21 decisions=683853, wrong=339104, backtracks=285152, failedAssignments=153762, nogoods=1093
86.79/80.21
93.79/87.24 num=77, depth=14..138, filters=31564260, revisions=(154392513,useless=125484084), ccks=81906687, wck=83.398, mem=571M237
93.79/87.24 decisions=746401, wrong=370345, backtracks=311137, failedAssignments=169151, nogoods=1111
93.79/87.24
106.62/100.04 num=78, depth=4..129, filters=37385689, revisions=(176679314,useless=142189391), ccks=96892967, wck=96.2, mem=324M634
106.62/100.04 decisions=823426, wrong=408824, backtracks=344894, failedAssignments=186079, nogoods=1132
106.62/100.04
116.51/109.99 num=79, depth=2..146, filters=41232035, revisions=(195553600,useless=157500254), ccks=106479738, wck=106.151, mem=596M138
116.51/109.99 decisions=909094, wrong=451610, backtracks=381396, failedAssignments=204700, nogoods=1166
116.51/109.99
127.34/120.71 num=80, depth=2..114, filters=45827426, revisions=(214170651,useless=171856640), ccks=118699697, wck=116.872, mem=284M405
127.34/120.71 decisions=1003687, wrong=498867, backtracks=420295, failedAssignments=225184, nogoods=1177
127.34/120.71
140.94/134.36 num=81, depth=11..113, filters=50857372, revisions=(239429744,useless=192545962), ccks=130493400, wck=130.521, mem=678M302
140.94/134.36 decisions=1101837, wrong=547914, backtracks=463743, failedAssignments=247716, nogoods=1188
140.94/134.36
156.17/149.53 num=82, depth=6..118, filters=56772739, revisions=(267553804,useless=215272187), ccks=143786506, wck=145.689, mem=535M127
156.17/149.53 decisions=1205090, wrong=599510, backtracks=507621, failedAssignments=272501, nogoods=1199
156.17/149.53
169.58/162.98 num=83, depth=4..120, filters=61431146, revisions=(292081809,useless=235577095), ccks=155490134, wck=159.143, mem=334M54
169.58/162.98 decisions=1318317, wrong=656102, backtracks=557438, failedAssignments=299765, nogoods=1210
169.58/162.98
182.80/176.15 num=84, depth=2..124, filters=66488663, revisions=(314311266,useless=253169148), ccks=168414125, wck=172.31, mem=702M485
182.80/176.15 decisions=1457225, wrong=725517, backtracks=614107, failedAssignments=329755, nogoods=1241
182.80/176.15
204.83/198.15 num=85, depth=7..65, filters=73680004, revisions=(357576662,useless=290042625), ccks=185641480, wck=194.31, mem=283M88
204.83/198.15 decisions=1600897, wrong=797336, backtracks=681169, failedAssignments=362744, nogoods=1251
204.83/198.15
218.23/211.57 num=86, depth=43..127, filters=78493406, revisions=(381107223,useless=309254486), ccks=197956757, wck=207.728, mem=649M317
218.23/211.57 decisions=1739729, wrong=866722, backtracks=736888, failedAssignments=399032, nogoods=1259
218.23/211.57
236.64/229.91 num=87, depth=20..149, filters=85047709, revisions=(415840547,useless=337949520), ccks=214837034, wck=226.069, mem=604M648
236.64/229.91 decisions=1926066, wrong=959841, backtracks=820954, failedAssignments=438949, nogoods=1290
236.64/229.91
264.68/257.95 num=88, depth=2..154, filters=96198700, revisions=(468071805,useless=379694637), ccks=241777722, wck=254.109, mem=360M322
264.68/257.95 decisions=2139346, wrong=1066430, backtracks=914129, failedAssignments=482858, nogoods=1327
264.68/257.95
289.49/282.76 num=89, depth=2..118, filters=106616690, revisions=(515739757,useless=417881973), ccks=267862318, wck=278.916, mem=650M869
289.49/282.76 decisions=2330926, wrong=1162179, backtracks=995357, failedAssignments=531158, nogoods=1338
289.49/282.76
315.84/309.10 num=90, depth=5..101, filters=116802551, revisions=(563349624,useless=456223196), ccks=292430977, wck=305.26, mem=528M426
315.84/309.10 decisions=2561887, wrong=1277628, backtracks=1088602, failedAssignments=584288, nogoods=1355
315.84/309.10
336.46/329.63 num=91, depth=6..159, filters=123472817, revisions=(599006042,useless=485869386), ccks=311438653, wck=325.793, mem=221M838
336.46/329.63 decisions=2829829, wrong=1411549, backtracks=1206954, failedAssignments=642731, nogoods=1391
336.46/329.63
360.90/354.09 num=92, depth=6..152, filters=131962544, revisions=(644475859,useless=523811024), ccks=335767716, wck=350.248, mem=524M166
360.90/354.09 decisions=3102752, wrong=1547958, backtracks=1319285, failedAssignments=707018, nogoods=1410
360.90/354.09
397.54/390.65 num=93, depth=8..143, filters=145861512, revisions=(713588466,useless=580369959), ccks=369215523, wck=386.809, mem=445M979
397.54/390.65 decisions=3411203, wrong=1702136, backtracks=1451702, failedAssignments=777734, nogoods=1450
397.54/390.65
456.21/449.24 num=94, depth=10..135, filters=166895708, revisions=(823075375,useless=670817195), ccks=414209482, wck=445.4, mem=465M579
456.21/449.24 decisions=3734411, wrong=1863712, backtracks=1599313, failedAssignments=855521, nogoods=1463
456.21/449.24
498.91/491.84 num=95, depth=58..143, filters=182267811, revisions=(903428487,useless=737069500), ccks=454580500, wck=488.003, mem=375M437
498.91/491.84 decisions=4139300, wrong=2066108, backtracks=1782310, failedAssignments=941087, nogoods=1491
498.91/491.84
546.68/539.57 num=96, depth=7..161, filters=200714838, revisions=(993569307,useless=810354746), ccks=499345565, wck=535.727, mem=355M42
546.68/539.57 decisions=4550579, wrong=2271694, backtracks=1961937, failedAssignments=1035210, nogoods=1520
546.68/539.57
587.63/580.45 num=97, depth=31..144, filters=214362430, revisions=(1061049497,useless=865313679), ccks=536988819, wck=576.614, mem=407M344
587.63/580.45 decisions=5073178, wrong=2532951, backtracks=2200007, failedAssignments=1138745, nogoods=1554
587.63/580.45
634.14/626.85 num=98, depth=27..153, filters=228877241, revisions=(1146119109,useless=937433303), ccks=577255654, wck=623.009, mem=268M841
634.14/626.85 decisions=5619779, wrong=2806197, backtracks=2451144, failedAssignments=1252634, nogoods=1584
634.14/626.85
684.93/677.54 num=99, depth=27..155, filters=248502111, revisions=(1246190391,useless=1019946689), ccks=626113204, wck=673.696, mem=232M691
684.93/677.54 decisions=6107863, wrong=3050190, backtracks=2647471, failedAssignments=1377912, nogoods=1612
684.93/677.54
773.90/766.33 num=100, depth=32..138, filters=283835585, revisions=(1424542678,useless=1166315147), ccks=701926627, wck=762.485, mem=205M944
773.90/766.33 decisions=6663750, wrong=3328086, backtracks=2899581, failedAssignments=1515718, nogoods=1641
773.90/766.33
833.76/826.05 num=101, depth=40..146, filters=303021955, revisions=(1534054530,useless=1259126955), ccks=753612066, wck=822.211, mem=215M102
833.76/826.05 decisions=7287364, wrong=3639848, backtracks=3167647, failedAssignments=1667304, nogoods=1658
833.76/826.05
912.14/904.28 num=102, depth=27..155, filters=330625371, revisions=(1674790734,useless=1374458268), ccks=824966713, wck=900.44, mem=198M876
912.14/904.28 decisions=8113139, wrong=4052690, backtracks=3541468, failedAssignments=1834049, nogoods=1681
912.14/904.28
1016.37/1008.22 num=103, depth=2..160, filters=369271588, revisions=(1864170867,useless=1528378678), ccks=918980425, wck=1004.384, mem=246M435
1016.37/1008.22 decisions=9000450, wrong=4496298, backtracks=3937724, failedAssignments=2017468, nogoods=1715
1016.37/1008.22
1133.08/1124.68 num=104, depth=5..167, filters=411932942, revisions=(2081165185,useless=1705921438), ccks=1020888195, wck=1120.84, mem=226M285
1133.08/1124.68 decisions=9968862, wrong=4980453, backtracks=4387773, failedAssignments=2219229, nogoods=1757
1133.08/1124.68
1228.53/1219.86 num=105, depth=1..156, filters=443953394, revisions=(2257365338,useless=1853917944), ccks=1105554691, wck=1216.023, mem=248M401
1228.53/1219.86 decisions=10940729, wrong=5466331, backtracks=4821469, failedAssignments=2441167, nogoods=1790
1228.53/1219.86
1360.59/1351.53 num=106, depth=4..161, filters=491134041, revisions=(2502494525,useless=2055616907), ccks=1221126293, wck=1347.687, mem=230M23
1360.59/1351.53 decisions=12103348, wrong=6047590, backtracks=5355441, failedAssignments=2685298, nogoods=1821
1360.59/1351.53
1479.70/1470.36 num=107, depth=40..152, filters=530312272, revisions=(2727710006,useless=2246333248), ccks=1326184809, wck=1466.519, mem=199M368
1479.70/1470.36 decisions=13296658, wrong=6644185, backtracks=5883712, failedAssignments=2953843, nogoods=1845
1479.70/1470.36
1578.46/1568.82 num=108, depth=58..170, filters=565968431, revisions=(2898142780,useless=2385212411), ccks=1418073979, wck=1564.982, mem=227M610
1578.46/1568.82 decisions=14475567, wrong=7233588, backtracks=6358466, failedAssignments=3249242, nogoods=1880
1578.46/1568.82
1769.35/1759.23 num=109, depth=7..143, filters=635431789, revisions=(3254079702,useless=2678485902), ccks=1575174700, wck=1755.39, mem=241M138
1769.35/1759.23 decisions=15861363, wrong=7926458, backtracks=6946141, failedAssignments=3574181, nogoods=1889
1769.35/1759.23
1911.18/1900.78 num=110, depth=26..126, filters=680103676, revisions=(3514524372,useless=2899511530), ccks=1692837792, wck=1896.94, mem=248M524
1911.18/1900.78 decisions=17464209, wrong=8727842, backtracks=7684486, failedAssignments=3931614, nogoods=1912
1911.18/1900.78
2158.87/2147.85 num=111, depth=5..136, filters=773481906, revisions=(3973994374,useless=3274217613), ccks=1906367174, wck=2144.008, mem=226M473
2158.87/2147.85 decisions=19284246, wrong=9637828, backtracks=8497917, failedAssignments=4324790, nogoods=1942
2158.87/2147.85
2364.69/2353.19 num=112, depth=38..168, filters=843818126, revisions=(4354324122,useless=3591607696), ccks=2079578595, wck=2349.345, mem=237M548
2364.69/2353.19 decisions=21241744, wrong=10616524, backtracks=9396343, failedAssignments=4757284, nogoods=1972
2364.69/2353.19
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 (15315 MiB free)
memory of node 1: 16384 MiB (15346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390721-1568380590/watcher-4390721-1568380590 -o /tmp/evaluation-result-4390721-1568380590/solver-4390721-1568380590 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568376822-25454 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390721-1568380590.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25582, runsolver pid=25579
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 1.42 0.45 0.20 6/228 25597
/proc/meminfo: memFree=31382404/32770624 swapFree=66936292/67108860
[pid=25582] ppid=25579 vsize=10659884 memory=27616 CPUtime=0.14 cores=0,2,4,6
/proc/25582/stat : 25582 (java) S 25579 25582 25423 0 -1 1077944320 5449 0 0 0 13 1 0 0 20 0 15 0 414317417 10915721216 6904 33554432000 4194304 4196468 140730552422960 140730552405504 140266847002359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
/proc/25582/statm: 2664971 6904 2844 1 0 2627468 0
[pid=25582/tid=25584] ppid=25579 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=0,2,4,6
/proc/25582/task/25584/stat : 25584 (java) R 25579 25582 25423 0 -1 4202560 3270 0 0 0 9 0 0 0 20 0 15 0 414317417 10915721216 6969 33554432000 4194304 4196468 140730552422960 140266851230352 140266831045989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25585] ppid=25579 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25585/stat : 25585 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10915721216 6969 33554432000 4194304 4196468 140730552422960 140266789005712 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25586] ppid=25579 vsize=10659884 memory=140633232017024 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25586/stat : 25586 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10915721216 6969 33554432000 4194304 4196468 140730552422960 140266787952912 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25587] ppid=25579 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25587/stat : 25587 (java) S 25579 25582 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414317418 10915721216 6969 33554432000 4194304 4196468 140730552422960 140266452081296 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25588] ppid=25579 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25588/stat : 25588 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10915721216 6969 33554432000 4194304 4196468 140730552422960 140266451028496 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25589] ppid=25579 vsize=10659884 memory=140633232017024 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25589/stat : 25589 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317419 10915721216 6969 33554432000 4194304 4196468 140730552422960 140266422004336 140266847013506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25590] ppid=25579 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25590/stat : 25590 (java) S 25579 25582 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414317420 10915721216 6969 33554432000 4194304 4196468 140730552422960 140266420950304 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25591] ppid=25579 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25591/stat : 25591 (java) S 25579 25582 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414317420 10915721216 6969 33554432000 4194304 4196468 140730552422960 140266419897968 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25592] ppid=25579 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25592/stat : 25592 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414317422 10915721216 6969 33554432000 4194304 4196468 140730552422960 140266418846288 140266847020955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25593] ppid=25579 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25593/stat : 25593 (java) R 25579 25582 25423 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 414317422 10915721216 6969 33554432000 4194304 4196468 140730552422960 140266417793136 140266847013506 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25594] ppid=25579 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25594/stat : 25594 (java) R 25579 25582 25423 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 15 0 414317423 10915721216 6969 33554432000 4194304 4196468 140730552422960 140266416733528 140266839239486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25595] ppid=25579 vsize=10659884 memory=140633232017024 CPUtime=0.02 cores=0,2,4,6
/proc/25582/task/25595/stat : 25595 (java) R 25579 25582 25423 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 414317423 10915721216 7035 33554432000 4194304 4196468 140730552422960 140266415688048 140266825567442 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25596] ppid=25579 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25596/stat : 25596 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414317423 10915721216 7035 33554432000 4194304 4196468 140730552422960 140266414635488 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25597] ppid=25579 vsize=10659884 memory=140633232017024 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25597/stat : 25597 (java) S 25579 25582 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414317423 10915721216 7035 33554432000 4194304 4196468 140730552422960 140266413583280 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27616 KiB
[startup+0.211145 s]*
/proc/loadavg: 1.42 0.45 0.20 4/228 25597
/proc/meminfo: memFree=31371520/32770624 swapFree=66936292/67108860
[pid=25582] ppid=25579 vsize=10659884 memory=37580 CPUtime=0.32 cores=0,2,4,6
/proc/25582/stat : 25582 (java) S 25579 25582 25423 0 -1 1077944320 9105 0 0 0 30 2 0 0 20 0 15 0 414317417 10915721216 9395 33554432000 4194304 4196468 140730552422960 140730552405504 140266847002359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
/proc/25582/statm: 2664971 9395 2989 1 0 2627468 0
[pid=25582/tid=25584] ppid=25579 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25582/task/25584/stat : 25584 (java) R 25579 25582 25423 0 -1 4202560 6108 0 0 0 18 2 0 0 20 0 15 0 414317417 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266851234320 140266469554469 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25585] ppid=25579 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25585/stat : 25585 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266789005712 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25586] ppid=25579 vsize=10659884 memory=140633232042202 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25586/stat : 25586 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266787952912 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25587] ppid=25579 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25587/stat : 25587 (java) S 25579 25582 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414317418 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266452081296 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25588] ppid=25579 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25588/stat : 25588 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266451028496 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25589] ppid=25579 vsize=10659884 memory=140633232017024 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25589/stat : 25589 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317419 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266422004336 140266847013506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25590] ppid=25579 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25590/stat : 25590 (java) S 25579 25582 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414317420 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266420950304 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25591] ppid=25579 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25591/stat : 25591 (java) S 25579 25582 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414317420 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266419897968 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25592] ppid=25579 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25592/stat : 25592 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414317422 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266418846288 140266847020955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25593] ppid=25579 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25582/task/25593/stat : 25593 (java) S 25579 25582 25423 0 -1 1077944384 751 0 0 0 3 0 0 0 20 0 15 0 414317422 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266417793136 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25594] ppid=25579 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25582/task/25594/stat : 25594 (java) S 25579 25582 25423 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 15 0 414317423 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266416740336 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25595] ppid=25579 vsize=10659884 memory=140633232017024 CPUtime=0.05 cores=0,2,4,6
/proc/25582/task/25595/stat : 25595 (java) S 25579 25582 25423 0 -1 1077944384 742 0 0 0 5 0 0 0 20 0 15 0 414317423 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266415688048 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25596] ppid=25579 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25596/stat : 25596 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414317423 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266414635488 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25597] ppid=25579 vsize=10659884 memory=140633232017024 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25597/stat : 25597 (java) S 25579 25582 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414317423 10915721216 9395 33554432000 4194304 4196468 140730552422960 140266413583280 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37580 KiB
[startup+0.315985 s]*
/proc/loadavg: 1.42 0.45 0.20 4/228 25597
/proc/meminfo: memFree=31369576/32770624 swapFree=66936292/67108860
[pid=25582] ppid=25579 vsize=10659884 memory=39864 CPUtime=0.47 cores=0,2,4,6
/proc/25582/stat : 25582 (java) S 25579 25582 25423 0 -1 1077944320 9306 0 0 0 44 3 0 0 20 0 15 0 414317417 10915721216 9966 33554432000 4194304 4196468 140730552422960 140730552405504 140266847002359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
/proc/25582/statm: 2664971 9966 3001 1 0 2627468 0
[pid=25582/tid=25584] ppid=25579 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=0,2,4,6
/proc/25582/task/25584/stat : 25584 (java) R 25579 25582 25423 0 -1 4202560 6227 0 0 0 28 2 0 0 20 0 15 0 414317417 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266851239712 140266831082846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25585] ppid=25579 vsize=10659884 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25585/stat : 25585 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266789005712 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25586] ppid=25579 vsize=10659884 memory=140633232042011 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25586/stat : 25586 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266787952912 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25587] ppid=25579 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25587/stat : 25587 (java) S 25579 25582 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414317418 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266452081296 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25588] ppid=25579 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25588/stat : 25588 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266451028496 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25589] ppid=25579 vsize=10659884 memory=140633232017024 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25589/stat : 25589 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317419 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266422004336 140266847013506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25590] ppid=25579 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25590/stat : 25590 (java) S 25579 25582 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414317420 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266420950304 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25591] ppid=25579 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25591/stat : 25591 (java) S 25579 25582 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414317420 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266419897968 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25592] ppid=25579 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25592/stat : 25592 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414317422 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266418846288 140266847020955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25593] ppid=25579 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25582/task/25593/stat : 25593 (java) S 25579 25582 25423 0 -1 1077944384 767 0 0 0 4 0 0 0 20 0 15 0 414317422 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266417793136 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25594] ppid=25579 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/25582/task/25594/stat : 25594 (java) S 25579 25582 25423 0 -1 1077944384 170 0 0 0 3 0 0 0 20 0 15 0 414317423 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266416740336 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25595] ppid=25579 vsize=10659884 memory=140633232017024 CPUtime=0.07 cores=0,2,4,6
/proc/25582/task/25595/stat : 25595 (java) R 25579 25582 25423 0 -1 4202560 783 0 0 0 7 0 0 0 20 0 15 0 414317423 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266415688048 140266839239486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25596] ppid=25579 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25596/stat : 25596 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414317423 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266414635488 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25597] ppid=25579 vsize=10659884 memory=140633232017024 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25597/stat : 25597 (java) S 25579 25582 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414317423 10915721216 9966 33554432000 4194304 4196468 140730552422960 140266413583280 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39864 KiB
[startup+0.700683 s]
/proc/loadavg: 1.42 0.45 0.20 4/228 25597
/proc/meminfo: memFree=31358856/32770624 swapFree=66936292/67108860
[pid=25582] ppid=25579 vsize=10661932 memory=61248 CPUtime=1.11 cores=0,2,4,6
/proc/25582/stat : 25582 (java) S 25579 25582 25423 0 -1 1077944320 12806 0 0 0 106 5 0 0 20 0 15 0 414317417 10917818368 15312 33554432000 4194304 4196468 140730552422960 140730552405504 140266847002359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
/proc/25582/statm: 2665483 15312 3074 1 0 2627980 0
[pid=25582/tid=25584] ppid=25579 vsize=10661932 memory=1412 CPUtime=0.66 cores=0,2,4,6
/proc/25582/task/25584/stat : 25584 (java) R 25579 25582 25423 0 -1 4202560 8728 0 0 0 63 3 0 0 20 0 15 0 414317417 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266851234384 140266847024285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25585] ppid=25579 vsize=10661932 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25585/stat : 25585 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266789005712 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25586] ppid=25579 vsize=10661932 memory=7148 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25586/stat : 25586 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266787952912 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25587] ppid=25579 vsize=10661932 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25587/stat : 25587 (java) S 25579 25582 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414317418 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266452081296 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25588] ppid=25579 vsize=10661932 memory=616 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25588/stat : 25588 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266451028496 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25589] ppid=25579 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25589/stat : 25589 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317419 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266422004336 140266847013506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25590] ppid=25579 vsize=10661932 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25590/stat : 25590 (java) S 25579 25582 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414317420 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266420950304 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25591] ppid=25579 vsize=10661932 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25591/stat : 25591 (java) S 25579 25582 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414317420 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266419897968 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25592] ppid=25579 vsize=10661932 memory=4639098309541127012 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25592/stat : 25592 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414317422 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266418846288 140266847020955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25593] ppid=25579 vsize=10661932 memory=7811609364956278113 CPUtime=0.11 cores=0,2,4,6
/proc/25582/task/25593/stat : 25593 (java) S 25579 25582 25423 0 -1 1077944384 1059 0 0 0 11 0 0 0 20 0 15 0 414317422 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266417793136 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25594] ppid=25579 vsize=10661932 memory=5787213840016500561 CPUtime=0.12 cores=0,2,4,6
/proc/25582/task/25594/stat : 25594 (java) S 25579 25582 25423 0 -1 1077944384 492 0 0 0 12 0 0 0 20 0 15 0 414317423 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266416740336 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25595] ppid=25579 vsize=10661932 memory=5450909908396308010 CPUtime=0.19 cores=0,2,4,6
/proc/25582/task/25595/stat : 25595 (java) S 25579 25582 25423 0 -1 1077944384 1166 0 0 0 19 0 0 0 20 0 15 0 414317423 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266415688048 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25596] ppid=25579 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25596/stat : 25596 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414317423 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266414635488 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25597] ppid=25579 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25597/stat : 25597 (java) S 25579 25582 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414317423 10917818368 15312 33554432000 4194304 4196468 140730552422960 140266413583280 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61248 KiB
[startup+1.5007 s]
/proc/loadavg: 1.42 0.45 0.20 3/228 25597
/proc/meminfo: memFree=31343160/32770624 swapFree=66936292/67108860
[pid=25582] ppid=25579 vsize=10663980 memory=75212 CPUtime=2.01 cores=0,2,4,6
/proc/25582/stat : 25582 (java) S 25579 25582 25423 0 -1 1077944320 18408 0 0 0 196 5 0 0 20 0 15 0 414317417 10919915520 18803 33554432000 4194304 4196468 140730552422960 140730552405504 140266847002359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
/proc/25582/statm: 2665995 18803 3091 1 0 2628492 0
[pid=25582/tid=25584] ppid=25579 vsize=10663980 memory=6791534058613427641 CPUtime=1.46 cores=0,2,4,6
/proc/25582/task/25584/stat : 25584 (java) R 25579 25582 25423 0 -1 4202560 13008 0 0 0 142 4 0 0 20 0 15 0 414317417 10919915520 18803 33554432000 4194304 4196468 140730552422960 140266851228336 140266831082846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25585] ppid=25579 vsize=10663980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25585/stat : 25585 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10919915520 18803 33554432000 4194304 4196468 140730552422960 140266789005712 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25586] ppid=25579 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25586/stat : 25586 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10919915520 18803 33554432000 4194304 4196468 140730552422960 140266787952912 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25587] ppid=25579 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25587/stat : 25587 (java) S 25579 25582 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414317418 10919915520 18803 33554432000 4194304 4196468 140730552422960 140266452081296 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25588] ppid=25579 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25588/stat : 25588 (java) S 25579 25582 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414317418 10919915520 18803 33554432000 4194304 4196468 140730552422960 140266451028496 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25589] ppid=25579 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25589/stat : 25589 (java) S 25579 25582 25423 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414317419 10919915520 18803 33554432000 4194304 4196468 140730552422960 140266422004336 140266847013506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
################
# More data... #
################
/proc/25582/task/25588/stat : 25588 (java) S 25579 25582 25423 0 -1 1077944384 7915 0 0 0 157 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266451028496 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25589] ppid=25579 vsize=10748324 memory=517236 CPUtime=0.67 cores=0,2,4,6
/proc/25582/task/25589/stat : 25589 (java) S 25579 25582 25423 0 -1 1077944384 7036 0 0 0 61 6 0 0 20 0 16 0 414317419 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266422004336 140266847013506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25590] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25590/stat : 25590 (java) S 25579 25582 25423 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414317420 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266420950368 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25591] ppid=25579 vsize=10748324 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25591/stat : 25591 (java) S 25579 25582 25423 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414317420 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266419897984 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25592] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25592/stat : 25592 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414317422 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266418846288 140266847020955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25593] ppid=25579 vsize=10748324 memory=517236 CPUtime=2.4 cores=0,2,4,6
/proc/25582/task/25593/stat : 25593 (java) S 25579 25582 25423 0 -1 1077944384 7465 0 0 0 239 1 0 0 20 0 16 0 414317422 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266417793136 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25594] ppid=25579 vsize=10748324 memory=517236 CPUtime=2.6 cores=0,2,4,6
/proc/25582/task/25594/stat : 25594 (java) S 25579 25582 25423 0 -1 1077944384 6384 0 0 0 259 1 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266416740336 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25595] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.01 cores=0,2,4,6
/proc/25582/task/25595/stat : 25595 (java) S 25579 25582 25423 0 -1 1077944384 8475 0 0 0 99 2 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266415688048 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25596] ppid=25579 vsize=10748324 memory=281266269710816 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25596/stat : 25596 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266414635488 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25597] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.04 cores=0,2,4,6
/proc/25582/task/25597/stat : 25597 (java) S 25579 25582 25423 0 -1 1077944384 1547 0 0 0 53 51 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266413583280 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25598] ppid=25579 vsize=10748324 memory=517236 CPUtime=2437.81 cores=0,2,4,6
/proc/25582/task/25598/stat : 25598 (java) R 25579 25582 25423 0 -1 4202560 27576 0 0 0 243768 13 0 0 20 0 16 0 414317608 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266396630512 140266477868100 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
Current children cumulated CPU time: 2454.15 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 517236 KiB
[startup+2502.3 s]
/proc/loadavg: 1.84 1.76 1.70 3/228 25905
/proc/meminfo: memFree=30571536/32770624 swapFree=66936320/67108860
[pid=25582] ppid=25579 vsize=10748324 memory=517236 CPUtime=2514.28 cores=0,2,4,6
/proc/25582/stat : 25582 (java) S 25579 25582 25423 0 -1 1077944320 99881 0 0 0 251318 110 0 0 20 0 16 0 414317417 11006283776 129309 33554432000 4194304 4196468 140730552422960 140730552405504 140266847002359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
/proc/25582/statm: 2687081 129309 3383 1 0 2647217 0
[pid=25582/tid=25584] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.88 cores=0,2,4,6
/proc/25582/task/25584/stat : 25584 (java) S 25579 25582 25423 0 -1 1077944384 15345 0 0 0 182 6 0 0 20 0 16 0 414317417 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266851245232 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25585] ppid=25579 vsize=10748324 memory=6791534058613427641 CPUtime=1.73 cores=0,2,4,6
/proc/25582/task/25585/stat : 25585 (java) S 25579 25582 25423 0 -1 1077944384 3593 0 0 0 164 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266789005712 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25586] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.67 cores=0,2,4,6
/proc/25582/task/25586/stat : 25586 (java) S 25579 25582 25423 0 -1 1077944384 5414 0 0 0 158 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266787952912 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25587] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.69 cores=0,2,4,6
/proc/25582/task/25587/stat : 25587 (java) S 25579 25582 25423 0 -1 1077944384 7383 0 0 0 160 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266452081296 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25588] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.69 cores=0,2,4,6
/proc/25582/task/25588/stat : 25588 (java) S 25579 25582 25423 0 -1 1077944384 7918 0 0 0 160 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266451028496 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25589] ppid=25579 vsize=10748324 memory=517236 CPUtime=0.69 cores=0,2,4,6
/proc/25582/task/25589/stat : 25589 (java) S 25579 25582 25423 0 -1 1077944384 7092 0 0 0 63 6 0 0 20 0 16 0 414317419 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266422004336 140266847013506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25590] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25590/stat : 25590 (java) S 25579 25582 25423 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414317420 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266420950368 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25591] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25591/stat : 25591 (java) S 25579 25582 25423 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414317420 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266419897984 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25592] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25592/stat : 25592 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414317422 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266418846288 140266847020955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25593] ppid=25579 vsize=10748324 memory=517236 CPUtime=2.4 cores=0,2,4,6
/proc/25582/task/25593/stat : 25593 (java) S 25579 25582 25423 0 -1 1077944384 7465 0 0 0 239 1 0 0 20 0 16 0 414317422 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266417793136 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25594] ppid=25579 vsize=10748324 memory=517236 CPUtime=2.6 cores=0,2,4,6
/proc/25582/task/25594/stat : 25594 (java) S 25579 25582 25423 0 -1 1077944384 6384 0 0 0 259 1 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266416740336 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25595] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.01 cores=0,2,4,6
/proc/25582/task/25595/stat : 25595 (java) S 25579 25582 25423 0 -1 1077944384 8475 0 0 0 99 2 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266415688048 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25596] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25596/stat : 25596 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266414635488 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25597] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.07 cores=0,2,4,6
/proc/25582/task/25597/stat : 25597 (java) S 25579 25582 25423 0 -1 1077944384 1562 0 0 0 54 53 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266413583280 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25598] ppid=25579 vsize=10748324 memory=3624 CPUtime=2497.75 cores=0,2,4,6
/proc/25582/task/25598/stat : 25598 (java) R 25579 25582 25423 0 -1 4202560 27854 0 0 0 249762 13 0 0 20 0 16 0 414317608 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266396630352 140266478378312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
Current children cumulated CPU time: 2514.28 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 517236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.11 s]
/proc/loadavg: 1.86 1.76 1.70 3/228 25907
/proc/meminfo: memFree=30571100/32770624 swapFree=66936320/67108860
[pid=25582] ppid=25579 vsize=10748324 memory=517236 CPUtime=2520.1 cores=0,2,4,6
/proc/25582/stat : 25582 (java) S 25579 25582 25423 0 -1 1077944320 100240 0 0 0 251900 110 0 0 20 0 16 0 414317417 11006283776 129309 33554432000 4194304 4196468 140730552422960 140730552405504 140266847002359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
/proc/25582/statm: 2687081 129309 3383 1 0 2647217 0
[pid=25582/tid=25584] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.88 cores=0,2,4,6
/proc/25582/task/25584/stat : 25584 (java) S 25579 25582 25423 0 -1 1077944384 15345 0 0 0 182 6 0 0 20 0 16 0 414317417 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266851245232 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25585] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.73 cores=0,2,4,6
/proc/25582/task/25585/stat : 25585 (java) S 25579 25582 25423 0 -1 1077944384 3599 0 0 0 164 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266789005712 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25586] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.67 cores=0,2,4,6
/proc/25582/task/25586/stat : 25586 (java) S 25579 25582 25423 0 -1 1077944384 5677 0 0 0 158 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266787952912 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25587] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.69 cores=0,2,4,6
/proc/25582/task/25587/stat : 25587 (java) S 25579 25582 25423 0 -1 1077944384 7403 0 0 0 160 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266452081296 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25588] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.69 cores=0,2,4,6
/proc/25582/task/25588/stat : 25588 (java) S 25579 25582 25423 0 -1 1077944384 7921 0 0 0 160 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266451028496 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25589] ppid=25579 vsize=10748324 memory=517236 CPUtime=0.69 cores=0,2,4,6
/proc/25582/task/25589/stat : 25589 (java) S 25579 25582 25423 0 -1 1077944384 7111 0 0 0 63 6 0 0 20 0 16 0 414317419 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266422004336 140266847013506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25590] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25590/stat : 25590 (java) S 25579 25582 25423 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414317420 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266420950368 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25591] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25591/stat : 25591 (java) S 25579 25582 25423 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414317420 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266419897984 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25592] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25592/stat : 25592 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414317422 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266418846288 140266847020955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25593] ppid=25579 vsize=10748324 memory=517236 CPUtime=2.4 cores=0,2,4,6
/proc/25582/task/25593/stat : 25593 (java) S 25579 25582 25423 0 -1 1077944384 7467 0 0 0 239 1 0 0 20 0 16 0 414317422 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266417793136 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25594] ppid=25579 vsize=10748324 memory=6791534058613427641 CPUtime=2.6 cores=0,2,4,6
/proc/25582/task/25594/stat : 25594 (java) S 25579 25582 25423 0 -1 1077944384 6386 0 0 0 259 1 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266416740336 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25595] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.01 cores=0,2,4,6
/proc/25582/task/25595/stat : 25595 (java) S 25579 25582 25423 0 -1 1077944384 8477 0 0 0 99 2 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266415688048 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25596] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25596/stat : 25596 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266414635488 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25597] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.07 cores=0,2,4,6
/proc/25582/task/25597/stat : 25597 (java) S 25579 25582 25423 0 -1 1077944384 1564 0 0 0 54 53 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266413583280 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25598] ppid=25579 vsize=10748324 memory=517236 CPUtime=2503.55 cores=0,2,4,6
/proc/25582/task/25598/stat : 25598 (java) R 25579 25582 25423 0 -1 4202560 27894 0 0 0 250342 13 0 0 20 0 16 0 414317608 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266396630512 140266477821402 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 517236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.12 s]
# the end of solver process 25582 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.01 s, system=1.10537 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.11 s]
/proc/loadavg: 1.86 1.76 1.70 3/228 25907
/proc/meminfo: memFree=30571100/32770624 swapFree=66936320/67108860
[pid=25582] ppid=25579 vsize=10748324 memory=517236 CPUtime=2520.1 cores=0,2,4,6
/proc/25582/stat : 25582 (java) S 25579 25582 25423 0 -1 1077944320 100240 0 0 0 251900 110 0 0 20 0 16 0 414317417 11006283776 129309 33554432000 4194304 4196468 140730552422960 140730552405504 140266847002359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
/proc/25582/statm: 2687081 129309 3383 1 0 2647217 0
[pid=25582/tid=25584] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.88 cores=0,2,4,6
/proc/25582/task/25584/stat : 25584 (java) S 25579 25582 25423 0 -1 1077944384 15345 0 0 0 182 6 0 0 20 0 16 0 414317417 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266851245232 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25585] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.73 cores=0,2,4,6
/proc/25582/task/25585/stat : 25585 (java) S 25579 25582 25423 0 -1 1077944384 3599 0 0 0 164 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266789005712 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25586] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.67 cores=0,2,4,6
/proc/25582/task/25586/stat : 25586 (java) S 25579 25582 25423 0 -1 1077944384 5677 0 0 0 158 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266787952912 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25587] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.69 cores=0,2,4,6
/proc/25582/task/25587/stat : 25587 (java) S 25579 25582 25423 0 -1 1077944384 7403 0 0 0 160 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266452081296 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25588] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.69 cores=0,2,4,6
/proc/25582/task/25588/stat : 25588 (java) S 25579 25582 25423 0 -1 1077944384 7921 0 0 0 160 9 0 0 20 0 16 0 414317418 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266451028496 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25589] ppid=25579 vsize=10748324 memory=517236 CPUtime=0.69 cores=0,2,4,6
/proc/25582/task/25589/stat : 25589 (java) S 25579 25582 25423 0 -1 1077944384 7111 0 0 0 63 6 0 0 20 0 16 0 414317419 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266422004336 140266847013506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25590] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25590/stat : 25590 (java) S 25579 25582 25423 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414317420 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266420950368 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25591] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25591/stat : 25591 (java) S 25579 25582 25423 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414317420 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266419897984 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25592] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25592/stat : 25592 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414317422 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266418846288 140266847020955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25593] ppid=25579 vsize=10748324 memory=517236 CPUtime=2.4 cores=0,2,4,6
/proc/25582/task/25593/stat : 25593 (java) S 25579 25582 25423 0 -1 1077944384 7467 0 0 0 239 1 0 0 20 0 16 0 414317422 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266417793136 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25594] ppid=25579 vsize=10748324 memory=6791534058613427641 CPUtime=2.6 cores=0,2,4,6
/proc/25582/task/25594/stat : 25594 (java) S 25579 25582 25423 0 -1 1077944384 6386 0 0 0 259 1 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266416740336 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25595] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.01 cores=0,2,4,6
/proc/25582/task/25595/stat : 25595 (java) S 25579 25582 25423 0 -1 1077944384 8477 0 0 0 99 2 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266415688048 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25596] ppid=25579 vsize=10748324 memory=517236 CPUtime=0 cores=0,2,4,6
/proc/25582/task/25596/stat : 25596 (java) S 25579 25582 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266414635488 140266847012565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25597] ppid=25579 vsize=10748324 memory=517236 CPUtime=1.07 cores=0,2,4,6
/proc/25582/task/25597/stat : 25597 (java) S 25579 25582 25423 0 -1 1077944384 1564 0 0 0 54 53 0 0 20 0 16 0 414317423 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266413583280 140266847013506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
[pid=25582/tid=25598] ppid=25579 vsize=10748324 memory=517236 CPUtime=2503.55 cores=0,2,4,6
/proc/25582/task/25598/stat : 25598 (java) R 25579 25582 25423 0 -1 4202560 27894 0 0 0 250342 13 0 0 20 0 16 0 414317608 11006283776 129309 33554432000 4194304 4196468 140730552422960 140266396630512 140266477821402 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140730552427531 140730552427634 140730552427634 140730552430543 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 517236 KiB
Child status: 143
Real time (s): 2508.12
CPU time (s): 2520.12
CPU user time (s): 2519.01
CPU system time (s): 1.10537
CPU usage (%): 100.478
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 896860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.01
system time used= 1.10537
maximum resident set size= 898908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100489
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70570
involuntary context switches= 4740
# summary of solver processes directly reported to runsolver:
# pid: 25582
# total CPU time (s): 2520.12
# total CPU user time (s): 2519.01
# total CPU system time (s): 1.10537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0971 second user time and 23.6399 second system time
The end