2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.89
2.94/2.10 Instance
2.94/2.10 name=instance-4391276-1568389324, framework=COP, bounds=-infty..+infty
2.94/2.10
2.94/2.10 Loading variables...
3.59/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dd93f9e
3.59/2.23 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d4e54fe
3.59/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12cf9612
3.59/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69ee0fa1
3.59/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73be575e
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d4cf05d
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4aa53a
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17121fb2
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b292460
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374e57f3
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2dd0ef
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a30a75d
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49452ab5
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ddb0a4d
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2daa663c
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78f09a88
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c385e3a
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e82e162
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58be839f
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@635d77e0
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d219670
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9b6047
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eea35b9
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16b7b212
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@647f0cf7
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a56f46a
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50bd78f2
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb2fbf8
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@222144e3
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfea718
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a014d75
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c41c21c
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76e2beb1
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9e618b
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8aae0f
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26906b4c
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64569034
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2972c0e8
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62c1ba1a
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39732fa1
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@569123ff
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e1e50d9
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@221ed06a
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7333952f
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2663a223
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a66a41f
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56ae9fbb
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@128495da
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6711926e
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5020b308
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a9934fe
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f4a8102
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f169da8
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30e161a2
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c5da8d1
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5906cd72
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6318e218
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6444fd43
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34b36b46
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a45ed2b
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f6dfdaf
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@267d1fe5
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c91105a
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157e9b07
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@750bba97
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e998477
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5469592b
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d656ffa
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b94fb97
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc7e5bd
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@261e048e
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@652097f8
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798c6e69
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c0b9bfc
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@780bd15d
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f0a12f1
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b7318fd
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e010e89
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7583cb0e
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a64ff1a
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23fcd6c6
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c32cb7e
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3427ba78
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@448ebbf9
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c29a85d
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c46483f
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495beacf
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7902d7f8
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19986f69
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a09e1d6
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfb8e
3.59/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a774a3f
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e22bbf5
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79fc796a
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65af40c8
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a04541
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d0355f5
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa502ef
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@535748f
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f5ea52
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45c91c20
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4e12ac
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea4c940
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ff770af
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b64923d
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a9f31c9
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@630fe506
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a5cb2e
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fd23594
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f822a6a
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ccf2f71
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6428fb90
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dfbe53f
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ee5c4be
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13afe242
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c85a214
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a922b3
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f56ab8d
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69e85c61
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ccf3b9b
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55931594
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6903677c
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@400d14c8
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6256580d
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b2113c6
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c23552b
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b7884e4
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea69408
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@190237b6
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b1ddf8f
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13699ad4
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f9ea246
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e42b9a0
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9aa821b
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@525f7b92
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1866723e
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12818268
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70c3cb4a
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6b9a5d
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4209a2d6
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ee8d843
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6873f9cb
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@400513de
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f9344ac
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c24f74
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@774d3dc
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74fd18ee
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d11e8e8
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5580f94d
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ae78273
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b23d03
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a94e51
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ad47f8
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bab444
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a72bf75
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@311a0bc7
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36ce32f8
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c326c
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@609b5015
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a01f6db
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18d2e9d0
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@787ecc20
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd738bb
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ce66d55
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c0a6850
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cf640c8
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f59e2c4
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a2022a5
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7840868b
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5165bca3
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4da6b9e7
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@473544aa
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee70b5e
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631db1f3
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14bedbc8
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116d1956
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ded2edf
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@665bf9ae
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1399ca21
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aa60fd9
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4580caa
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@456c5fbf
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30829316
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a5d9f2c
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5502f84
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136d9135
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46ee30f5
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32f33d86
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@774076bb
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@565f1593
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160a1f6e
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5cebc4
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63992079
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2642317b
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cdae370
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@600a1c1f
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49f1d609
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f9a2ff9
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@515cae8f
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ae2ad4
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4033e395
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4671d059
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b8db12
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1617b4ad
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a577c81
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dff0443
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c573d9
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77b96fcc
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10459ce9
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7306446a
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704ddea3
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@125d1950
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d71a781
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dadfbbd
4.54/2.55
4.54/2.55
4.54/2.55 Domains
4.54/2.55 nTypes=11, nValues=43068, sizes=[2#776,3#582,5#194,8#194...17#388,18#194,19#582,20#194]
4.54/2.55 Variables
4.54/2.55 count=4074, degrees=[3#234,4#3840]
4.54/2.55 Objectives
4.54/2.55 way=min, type=SumSimpleLE
4.54/2.55 Constraints
4.54/2.55 count=409, nSpecific=409, arities=[21#194,40#193,194#22]
4.54/2.55 distribution=[LexicographicLe#193,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#194]
4.54/2.55 wck=0.701, cpu=2.511, mem=111M72
4.54/2.56 Solver SolverBacktrack being built...
4.54/2.56
4.72/2.61
4.72/2.61 Solver
4.72/2.61 guaranteedGAC=false
4.72/2.61 wck=0.77, cpu=2.578, mem=132M300
4.97/2.72
4.97/2.72 Preprocessing
4.97/2.72 filters=194, nACremovedValues=33174, nTotalRemovedValues=33174, inconcistency=false
4.97/2.72 wck=0.102, cpu=2.684, mem=132M300
4.97/2.72
5.23/2.85 num=0, depth=0..209, filters=2077, wck=0.237, mem=132M300
5.23/2.85 decisions=221, wrong=11, backtracks=8, failedAssignments=10, nogoods=2
5.23/2.85
6.11/3.14 num=1, depth=0..1976, filters=5495, wck=0.52, mem=132M300
6.11/3.14 decisions=2657, wrong=292, backtracks=279, failedAssignments=21, nogoods=4
6.11/3.14
6.11/3.16 num=2, depth=146..157, filters=7356, wck=0.547, mem=132M300
6.11/3.16 decisions=2827, wrong=304, backtracks=279, failedAssignments=33, nogoods=16
6.11/3.16
6.35/3.20 num=3, depth=244..256, filters=9198, wck=0.584, mem=132M300
6.35/3.20 decisions=3140, wrong=338, backtracks=306, failedAssignments=46, nogoods=18
6.35/3.20
6.35/3.24 num=4, depth=96..115, filters=12253, wck=0.62, mem=132M300
6.35/3.24 decisions=3303, wrong=371, backtracks=325, failedAssignments=60, nogoods=20
6.35/3.24
6.35/3.27 num=5, depth=64..88, filters=14920, wck=0.652, mem=132M300
6.35/3.27 decisions=3447, wrong=411, backtracks=349, failedAssignments=76, nogoods=21
6.35/3.27
6.46/3.32 num=6, depth=69..395, filters=19485, wck=0.707, mem=132M300
6.46/3.32 decisions=4007, wrong=503, backtracks=428, failedAssignments=93, nogoods=29
6.46/3.32
6.46/3.35 num=7, depth=125..152, filters=22497, wck=0.737, mem=132M300
6.46/3.35 decisions=4238, wrong=556, backtracks=469, failedAssignments=112, nogoods=30
6.46/3.35
6.46/3.39 num=8, depth=40..76, filters=25777, wck=0.773, mem=132M300
6.46/3.39 decisions=4480, wrong=657, backtracks=570, failedAssignments=133, nogoods=31
6.46/3.39
6.62/3.42 num=9, depth=52..95, filters=28010, wck=0.8, mem=132M300
6.62/3.42 decisions=4699, wrong=731, backtracks=629, failedAssignments=156, nogoods=40
6.62/3.42
6.62/3.44 num=10, depth=28..68, filters=29959, wck=0.824, mem=132M300
6.62/3.44 decisions=4851, wrong=793, backtracks=671, failedAssignments=181, nogoods=41
6.62/3.44
6.62/3.47 num=11, depth=25..132, filters=31949, wck=0.851, mem=132M300
6.62/3.47 decisions=5068, wrong=858, backtracks=709, failedAssignments=209, nogoods=49
6.62/3.47
6.76/3.51 num=12, depth=45..81, filters=35686, wck=0.897, mem=132M300
6.76/3.51 decisions=5306, wrong=944, backtracks=775, failedAssignments=240, nogoods=53
6.76/3.51
6.76/3.57 num=13, depth=29..66, filters=40571, wck=0.955, mem=132M300
6.76/3.57 decisions=5625, wrong=1089, backtracks=906, failedAssignments=274, nogoods=54
6.76/3.57
7.04/3.61 num=14, depth=32..71, filters=44627, wck=0.997, mem=132M300
7.04/3.61 decisions=5888, wrong=1202, backtracks=991, failedAssignments=311, nogoods=56
7.04/3.61
7.04/3.66 num=15, depth=30..43, filters=49659, wck=1.045, mem=132M300
7.04/3.66 decisions=6126, wrong=1303, backtracks=1072, failedAssignments=352, nogoods=58
7.04/3.66
7.14/3.72 num=16, depth=34..61, filters=55112, wck=1.103, mem=132M300
7.14/3.72 decisions=6461, wrong=1446, backtracks=1194, failedAssignments=397, nogoods=64
7.14/3.72
7.14/3.76 num=17, depth=37..226, filters=58601, wck=1.143, mem=132M300
7.14/3.76 decisions=6859, wrong=1550, backtracks=1267, failedAssignments=447, nogoods=78
7.14/3.76
7.31/3.80 num=18, depth=41..199, filters=62345, wck=1.187, mem=132M300
7.31/3.80 decisions=7239, wrong=1663, backtracks=1330, failedAssignments=502, nogoods=95
7.31/3.80
7.31/3.85 num=19, depth=49..171, filters=66825, wck=1.235, mem=132M300
7.31/3.85 decisions=7677, wrong=1818, backtracks=1454, failedAssignments=563, nogoods=108
7.31/3.85
7.41/3.90 num=20, depth=42..157, filters=72559, wck=1.287, mem=132M300
7.41/3.90 decisions=8147, wrong=1993, backtracks=1612, failedAssignments=630, nogoods=124
7.41/3.90
7.41/3.98 num=21, depth=54..114, filters=81014, wck=1.364, mem=132M300
7.41/3.98 decisions=8623, wrong=2190, backtracks=1773, failedAssignments=704, nogoods=140
7.41/3.98
7.54/4.08 num=22, depth=61..114, filters=90988, wck=1.464, mem=132M300
7.54/4.08 decisions=9228, wrong=2455, backtracks=2014, failedAssignments=785, nogoods=142
7.54/4.08
7.73/4.21 num=23, depth=0..59, filters=103919, wck=1.591, mem=132M300
7.73/4.21 decisions=9751, wrong=2701, backtracks=2218, failedAssignments=874, nogoods=146
7.73/4.21
7.73/4.28 num=24, depth=25..65, filters=111912, wck=1.666, mem=132M300
7.73/4.28 decisions=10278, wrong=2952, backtracks=2437, failedAssignments=972, nogoods=147
7.73/4.28
7.83/4.38 num=25, depth=16..339, filters=122141, wck=1.766, mem=132M300
7.83/4.38 decisions=11154, wrong=3236, backtracks=2634, failedAssignments=1080, nogoods=173
7.83/4.38
7.93/4.47 o 170
7.93/4.48 num=26, depth=40..4073, filters=126046, ccks=409, wck=1.863, mem=134M982
7.93/4.48 decisions=11735, wrong=3317, backtracks=2680, failedAssignments=1122, nogoods=196, foundSolutions=1, bestBound=170
7.93/4.48
8.46/4.65 o 169
8.46/4.65 num=27, depth=53..4073, filters=128758, ccks=818, wck=2.035, mem=137M624
8.46/4.65 decisions=12253, wrong=3357, backtracks=2697, failedAssignments=1147, nogoods=217, foundSolutions=2, bestBound=169
8.46/4.65
8.73/4.74 num=28, depth=63..129, filters=130039, ccks=818, wck=2.123, mem=137M624
8.73/4.74 decisions=12397, wrong=3371, backtracks=2700, failedAssignments=1158, nogoods=228, foundSolutions=2, bestBound=169
8.73/4.74
8.73/4.76 num=29, depth=63..106, filters=131241, ccks=818, wck=2.14, mem=137M624
8.73/4.76 decisions=12525, wrong=3387, backtracks=2710, failedAssignments=1169, nogoods=235, foundSolutions=2, bestBound=169
8.73/4.76
8.73/4.78 num=30, depth=63..93, filters=133605, ccks=818, wck=2.166, mem=137M624
8.73/4.78 decisions=12683, wrong=3434, backtracks=2752, failedAssignments=1181, nogoods=238, foundSolutions=2, bestBound=169
8.73/4.78
8.87/4.80 num=31, depth=73..120, filters=134925, ccks=818, wck=2.186, mem=137M624
8.87/4.80 decisions=12837, wrong=3455, backtracks=2763, failedAssignments=1194, nogoods=247, foundSolutions=2, bestBound=169
8.87/4.80
8.87/4.82 num=32, depth=73..117, filters=136194, ccks=818, wck=2.205, mem=137M624
8.87/4.82 decisions=12992, wrong=3481, backtracks=2780, failedAssignments=1208, nogoods=255, foundSolutions=2, bestBound=169
8.87/4.82
8.87/4.85 num=33, depth=71..105, filters=138543, ccks=818, wck=2.233, mem=137M624
8.87/4.85 decisions=13158, wrong=3525, backtracks=2816, failedAssignments=1224, nogoods=257, foundSolutions=2, bestBound=169
8.87/4.85
8.87/4.88 num=34, depth=41..89, filters=141147, ccks=818, wck=2.261, mem=137M624
8.87/4.88 decisions=13325, wrong=3588, backtracks=2864, failedAssignments=1241, nogoods=258, foundSolutions=2, bestBound=169
8.87/4.88
8.99/4.91 num=35, depth=30..347, filters=142677, ccks=818, wck=2.289, mem=137M624
8.99/4.91 decisions=13709, wrong=3616, backtracks=2876, failedAssignments=1260, nogoods=268, foundSolutions=2, bestBound=169
8.99/4.91
8.99/4.94 num=36, depth=62..390, filters=144566, ccks=818, wck=2.323, mem=137M624
8.99/4.94 decisions=14178, wrong=3658, backtracks=2899, failedAssignments=1281, nogoods=274, foundSolutions=2, bestBound=169
8.99/4.94
8.99/4.99 o 168
8.99/5.00 num=37, depth=55..4073, filters=146108, ccks=1227, wck=2.381, mem=137M624
8.99/5.00 decisions=14635, wrong=3676, backtracks=2900, failedAssignments=1298, nogoods=291, foundSolutions=3, bestBound=168
8.99/5.00
9.22/5.12 o 167
9.22/5.12 num=38, depth=64..4073, filters=147607, ccks=1636, wck=2.507, mem=140M267
9.22/5.12 decisions=15093, wrong=3693, backtracks=2902, failedAssignments=1313, nogoods=306, foundSolutions=4, bestBound=167
9.22/5.12
9.41/5.22 num=39, depth=67..285, filters=149077, ccks=1636, wck=2.601, mem=140M267
9.41/5.22 decisions=15406, wrong=3715, backtracks=2917, failedAssignments=1324, nogoods=311, foundSolutions=4, bestBound=167
9.41/5.22
9.41/5.24 num=40, depth=62..256, filters=150551, ccks=1636, wck=2.626, mem=140M267
9.41/5.24 decisions=15717, wrong=3748, backtracks=2943, failedAssignments=1335, nogoods=318, foundSolutions=4, bestBound=167
9.41/5.24
9.41/5.27 num=41, depth=62..266, filters=151974, ccks=1636, wck=2.651, mem=140M267
9.41/5.27 decisions=16007, wrong=3768, backtracks=2953, failedAssignments=1347, nogoods=328, foundSolutions=4, bestBound=167
9.41/5.27
9.41/5.29 num=42, depth=53..218, filters=153192, ccks=1636, wck=2.673, mem=140M267
9.41/5.29 decisions=16261, wrong=3790, backtracks=2967, failedAssignments=1360, nogoods=334, foundSolutions=4, bestBound=167
9.41/5.29
9.51/5.32 num=43, depth=64..381, filters=154626, ccks=1636, wck=2.702, mem=140M267
9.51/5.32 decisions=16663, wrong=3807, backtracks=2970, failedAssignments=1374, nogoods=348, foundSolutions=4, bestBound=167
9.51/5.32
9.51/5.35 num=44, depth=65..370, filters=156074, ccks=1636, wck=2.731, mem=140M267
9.51/5.35 decisions=17056, wrong=3826, backtracks=2973, failedAssignments=1390, nogoods=364, foundSolutions=4, bestBound=167
9.51/5.35
9.61/5.40 o 161
9.61/5.40 num=45, depth=66..4073, filters=157543, ccks=2045, wck=2.788, mem=142M778
9.61/5.40 decisions=17463, wrong=3840, backtracks=2976, failedAssignments=1401, nogoods=375, foundSolutions=5, bestBound=161
9.61/5.40
9.61/5.49 num=46, depth=76..142, filters=158922, ccks=2045, wck=2.876, mem=142M778
9.61/5.49 decisions=17662, wrong=3881, backtracks=2998, failedAssignments=1420, nogoods=380, foundSolutions=5, bestBound=161
9.61/5.49
9.72/5.51 num=47, depth=68..102, filters=160098, ccks=2045, wck=2.893, mem=142M778
9.72/5.51 decisions=17796, wrong=3904, backtracks=3011, failedAssignments=1431, nogoods=384, foundSolutions=5, bestBound=161
9.72/5.51
9.72/5.53 num=48, depth=66..91, filters=162168, ccks=2045, wck=2.916, mem=142M778
9.72/5.53 decisions=17972, wrong=3959, backtracks=3061, failedAssignments=1443, nogoods=387, foundSolutions=5, bestBound=161
9.72/5.53
9.72/5.55 num=49, depth=49..81, filters=163736, ccks=2045, wck=2.937, mem=142M778
9.72/5.55 decisions=18107, wrong=3993, backtracks=3084, failedAssignments=1456, nogoods=393, foundSolutions=5, bestBound=161
9.72/5.55
9.72/5.58 num=50, depth=25..60, filters=166005, ccks=2045, wck=2.962, mem=142M778
9.72/5.58 decisions=18265, wrong=4059, backtracks=3145, failedAssignments=1470, nogoods=395, foundSolutions=5, bestBound=161
9.72/5.58
9.72/5.58
9.72/5.58 New Bounds: 161..160
9.72/5.58 num=51, depth=0..14, filters=166597, ccks=2045, wck=2.969, mem=142M778
9.72/5.58 decisions=18295, wrong=4075, backtracks=3160, failedAssignments=1471, foundSolutions=5, bestBound=161
9.72/5.58
9.72/5.59 Global
9.72/5.59 filters=166597, ccks=2045
9.72/5.59 Stop=FULL_EXPLORATION, wrong=4075, bestBound=161, bestBoundWck=3.555, bestBoundCpu=5.362, foundSolutions=5, firstSolCpu=4.422
9.72/5.59 wck=3.74, cpu=5.547, mem=142M778
9.72/5.59
9.72/5.59 v <instantiation id='sol5' type='solution' cost='161'> <list> p[] r[][] </list> <values> 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> </instantiation>
9.72/5.59 s OPTIMUM FOUND
9.72/5.59
9.72/5.59 d WRONG_DECISIONS 4075
9.72/5.59 d NUMBER_SOLUTIONS 5
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 (15310 MiB free)
memory of node 1: 16384 MiB (13288 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391276-1568389324/watcher-4391276-1568389324 -o /tmp/evaluation-result-4391276-1568389324/solver-4391276-1568389324 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568389279-23588 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391276-1568389324.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23710, runsolver pid=23707
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 0.64 0.70 0.95 6/229 23725
/proc/meminfo: memFree=29267956/32770624 swapFree=66958212/67108860
[pid=23710] ppid=23707 vsize=10659884 memory=29144 CPUtime=0.13 cores=1,3,5,7
/proc/23710/stat : 23710 (java) S 23707 23710 21280 0 -1 1077944320 5858 0 0 0 12 1 0 0 20 0 15 0 414868940 10915721216 7286 33554432000 4194304 4196468 140733836967232 140733836949776 140611965054711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
/proc/23710/statm: 2664971 7286 2904 1 0 2627468 0
[pid=23710/tid=23712] ppid=23707 vsize=10659884 memory=-8094235084319000145 CPUtime=0.09 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (java) R 23707 23710 21280 0 -1 4202560 3236 0 0 0 8 1 0 0 20 0 15 0 414868940 10915721216 7286 33554432000 4194304 4196468 140733836967232 140611969284104 140611965066646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23713] ppid=23707 vsize=10659884 memory=4211974160717561226 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10915721216 7286 33554432000 4194304 4196468 140733836967232 140611571866000 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23714] ppid=23707 vsize=10659884 memory=140434512770688 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23714/stat : 23714 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10915721216 7286 33554432000 4194304 4196468 140733836967232 140611570813200 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23715] ppid=23707 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23715/stat : 23715 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10915721216 7286 33554432000 4194304 4196468 140733836967232 140611569760912 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23716] ppid=23707 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23716/stat : 23716 (java) S 23707 23710 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868941 10915721216 7286 33554432000 4194304 4196468 140733836967232 140611568708112 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23717] ppid=23707 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23717/stat : 23717 (java) S 23707 23710 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868942 10915721216 7286 33554432000 4194304 4196468 140733836967232 140611000719984 140611965065858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23718] ppid=23707 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23718/stat : 23718 (java) S 23707 23710 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414868943 10915721216 7286 33554432000 4194304 4196468 140733836967232 140610999665952 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23719] ppid=23707 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23719/stat : 23719 (java) S 23707 23710 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868943 10915721216 7286 33554432000 4194304 4196468 140733836967232 140610998613616 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23720] ppid=23707 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23720/stat : 23720 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868945 10915721216 7286 33554432000 4194304 4196468 140733836967232 140610997561936 140611965073307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23721] ppid=23707 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23721/stat : 23721 (java) S 23707 23710 21280 0 -1 1077944384 375 0 0 0 0 0 0 0 20 0 15 0 414868945 10915721216 7286 33554432000 4194304 4196468 140733836967232 140610996508784 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23722] ppid=23707 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23722/stat : 23722 (java) R 23707 23710 21280 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 414868945 10915721216 7286 33554432000 4194304 4196468 140733836967232 140610995455984 140611965065858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23723] ppid=23707 vsize=10659884 memory=140434512770688 CPUtime=0.02 cores=1,3,5,7
/proc/23710/task/23723/stat : 23723 (java) R 23707 23710 21280 0 -1 4202560 594 0 0 0 2 0 0 0 20 0 15 0 414868945 10915721216 7286 33554432000 4194304 4196468 140733836967232 140610994399864 140611944453227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23724] ppid=23707 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23724/stat : 23724 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868945 10915721216 7286 33554432000 4194304 4196468 140733836967232 140610993351136 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23725] ppid=23707 vsize=10659884 memory=140434512770688 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23725/stat : 23725 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868946 10915721216 7352 33554432000 4194304 4196468 140733836967232 140610992298928 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29144 KiB
[startup+0.210808 s]*
/proc/loadavg: 0.67 0.70 0.95 4/229 23725
/proc/meminfo: memFree=29255992/32770624 swapFree=66958212/67108860
[pid=23710] ppid=23707 vsize=10659884 memory=37252 CPUtime=0.33 cores=1,3,5,7
/proc/23710/stat : 23710 (java) S 23707 23710 21280 0 -1 1077944320 9065 0 0 0 30 3 0 0 20 0 15 0 414868940 10915721216 9313 33554432000 4194304 4196468 140733836967232 140733836949776 140611965054711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
/proc/23710/statm: 2664971 9313 2989 1 0 2627468 0
[pid=23710/tid=23712] ppid=23707 vsize=10659884 memory=8246674155440865347 CPUtime=0.2 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (java) R 23707 23710 21280 0 -1 4202560 6093 0 0 0 18 2 0 0 20 0 15 0 414868940 10915721216 9313 33554432000 4194304 4196468 140733836967232 140611969281072 140611965076637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23713] ppid=23707 vsize=10659884 memory=4211974160717561226 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10915721216 9313 33554432000 4194304 4196468 140733836967232 140611571866000 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23714] ppid=23707 vsize=10659884 memory=140434512770688 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23714/stat : 23714 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10915721216 9313 33554432000 4194304 4196468 140733836967232 140611570813200 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23715] ppid=23707 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23715/stat : 23715 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10915721216 9313 33554432000 4194304 4196468 140733836967232 140611569760912 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23716] ppid=23707 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23716/stat : 23716 (java) S 23707 23710 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868941 10915721216 9313 33554432000 4194304 4196468 140733836967232 140611568708112 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23717] ppid=23707 vsize=10659884 memory=140434512770688 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23717/stat : 23717 (java) S 23707 23710 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868942 10915721216 9313 33554432000 4194304 4196468 140733836967232 140611000719984 140611965065858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23718] ppid=23707 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23718/stat : 23718 (java) S 23707 23710 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414868943 10915721216 9313 33554432000 4194304 4196468 140733836967232 140610999665952 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23719] ppid=23707 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23719/stat : 23719 (java) S 23707 23710 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868943 10915721216 9313 33554432000 4194304 4196468 140733836967232 140610998613616 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23720] ppid=23707 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23720/stat : 23720 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868945 10915721216 9313 33554432000 4194304 4196468 140733836967232 140610997561936 140611965073307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23721] ppid=23707 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23710/task/23721/stat : 23721 (java) S 23707 23710 21280 0 -1 1077944384 467 0 0 0 3 0 0 0 20 0 15 0 414868945 10915721216 9313 33554432000 4194304 4196468 140733836967232 140610996508784 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23722] ppid=23707 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23710/task/23722/stat : 23722 (java) S 23707 23710 21280 0 -1 1077944384 496 0 0 0 3 0 0 0 20 0 15 0 414868945 10915721216 9313 33554432000 4194304 4196468 140733836967232 140610995455984 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23723] ppid=23707 vsize=10659884 memory=140434512770688 CPUtime=0.05 cores=1,3,5,7
/proc/23710/task/23723/stat : 23723 (java) S 23707 23710 21280 0 -1 1077944384 649 0 0 0 5 0 0 0 20 0 15 0 414868945 10915721216 9313 33554432000 4194304 4196468 140733836967232 140610994403696 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23724] ppid=23707 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23724/stat : 23724 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868945 10915721216 9313 33554432000 4194304 4196468 140733836967232 140610993351136 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23725] ppid=23707 vsize=10659884 memory=140434512770688 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23725/stat : 23725 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868946 10915721216 9313 33554432000 4194304 4196468 140733836967232 140610992298928 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37252 KiB
[startup+0.310215 s]*
/proc/loadavg: 0.67 0.70 0.95 4/229 23725
/proc/meminfo: memFree=29253628/32770624 swapFree=66958212/67108860
[pid=23710] ppid=23707 vsize=10659884 memory=40328 CPUtime=0.47 cores=1,3,5,7
/proc/23710/stat : 23710 (java) S 23707 23710 21280 0 -1 1077944320 9297 0 0 0 44 3 0 0 20 0 15 0 414868940 10915721216 10082 33554432000 4194304 4196468 140733836967232 140733836949776 140611965054711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
/proc/23710/statm: 2664971 10082 3026 1 0 2627468 0
[pid=23710/tid=23712] ppid=23707 vsize=10659884 memory=-6933350163988323266 CPUtime=0.3 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (java) R 23707 23710 21280 0 -1 4202560 6243 0 0 0 28 2 0 0 20 0 15 0 414868940 10915721216 10082 33554432000 4194304 4196468 140733836967232 140611969287120 140611949135198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23713] ppid=23707 vsize=10659884 memory=4211974160717561226 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10915721216 10082 33554432000 4194304 4196468 140733836967232 140611571866000 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23714] ppid=23707 vsize=10659884 memory=140434512770688 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23714/stat : 23714 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10915721216 10082 33554432000 4194304 4196468 140733836967232 140611570813200 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23715] ppid=23707 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23715/stat : 23715 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10915721216 10082 33554432000 4194304 4196468 140733836967232 140611569760912 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23716] ppid=23707 vsize=10659884 memory=140434357753375 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23716/stat : 23716 (java) S 23707 23710 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868941 10915721216 10082 33554432000 4194304 4196468 140733836967232 140611568708112 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23717] ppid=23707 vsize=10659884 memory=280868715485984 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23717/stat : 23717 (java) S 23707 23710 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868942 10915721216 10082 33554432000 4194304 4196468 140733836967232 140611000719984 140611965065858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23718] ppid=23707 vsize=10659884 memory=140434357730319 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23718/stat : 23718 (java) S 23707 23710 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414868943 10915721216 10082 33554432000 4194304 4196468 140733836967232 140610999665952 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23719] ppid=23707 vsize=10659884 memory=280868870507904 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23719/stat : 23719 (java) S 23707 23710 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868943 10915721216 10082 33554432000 4194304 4196468 140733836967232 140610998613616 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23720] ppid=23707 vsize=10659884 memory=140434357734927 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23720/stat : 23720 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868945 10915721216 10082 33554432000 4194304 4196468 140733836967232 140610997561936 140611965073307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23721] ppid=23707 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23710/task/23721/stat : 23721 (java) S 23707 23710 21280 0 -1 1077944384 475 0 0 0 3 0 0 0 20 0 15 0 414868945 10915721216 10082 33554432000 4194304 4196468 140733836967232 140610996508784 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23722] ppid=23707 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/23710/task/23722/stat : 23722 (java) S 23707 23710 21280 0 -1 1077944384 538 0 0 0 4 0 0 0 20 0 15 0 414868945 10915721216 10082 33554432000 4194304 4196468 140733836967232 140610995455984 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23723] ppid=23707 vsize=10659884 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23710/task/23723/stat : 23723 (java) S 23707 23710 21280 0 -1 1077944384 685 0 0 0 8 0 0 0 20 0 15 0 414868945 10915721216 10082 33554432000 4194304 4196468 140733836967232 140610994403696 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23724] ppid=23707 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23724/stat : 23724 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868945 10915721216 10082 33554432000 4194304 4196468 140733836967232 140610993351136 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23725] ppid=23707 vsize=10659884 memory=29144 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23725/stat : 23725 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868946 10915721216 10082 33554432000 4194304 4196468 140733836967232 140610992298928 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40328 KiB
[startup+0.703848 s]
/proc/loadavg: 0.67 0.70 0.95 2/212 23727
/proc/meminfo: memFree=29427592/32770624 swapFree=66958212/67108860
[pid=23710] ppid=23707 vsize=10661932 memory=63528 CPUtime=1.11 cores=1,3,5,7
/proc/23710/stat : 23710 (java) S 23707 23710 21280 0 -1 1077944320 12906 0 0 0 105 6 0 0 20 0 15 0 414868940 10917818368 15882 33554432000 4194304 4196468 140733836967232 140733836949776 140611965054711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
/proc/23710/statm: 2665483 15882 3070 1 0 2627980 0
[pid=23710/tid=23712] ppid=23707 vsize=10661932 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (java) R 23707 23710 21280 0 -1 4202560 8782 0 0 0 64 4 0 0 20 0 15 0 414868940 10917818368 15882 33554432000 4194304 4196468 140733836967232 140611969286736 140611965076637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23713] ppid=23707 vsize=10661932 memory=7596002947229378387 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10917818368 15882 33554432000 4194304 4196468 140733836967232 140611571866000 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23714] ppid=23707 vsize=10661932 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23714/stat : 23714 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10917818368 15882 33554432000 4194304 4196468 140733836967232 140611570813200 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23715] ppid=23707 vsize=10661932 memory=7100839878645814387 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23715/stat : 23715 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10917818368 15882 33554432000 4194304 4196468 140733836967232 140611569760912 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23716] ppid=23707 vsize=10661932 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23716/stat : 23716 (java) S 23707 23710 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868941 10917818368 15882 33554432000 4194304 4196468 140733836967232 140611568708112 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23717] ppid=23707 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23717/stat : 23717 (java) S 23707 23710 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868942 10917818368 15882 33554432000 4194304 4196468 140733836967232 140611000719984 140611965065858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23718] ppid=23707 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23718/stat : 23718 (java) S 23707 23710 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414868943 10917818368 15882 33554432000 4194304 4196468 140733836967232 140610999665952 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23719] ppid=23707 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23719/stat : 23719 (java) S 23707 23710 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868943 10917818368 15882 33554432000 4194304 4196468 140733836967232 140610998613616 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23720] ppid=23707 vsize=10661932 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23720/stat : 23720 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868945 10917818368 15882 33554432000 4194304 4196468 140733836967232 140610997561936 140611965073307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23721] ppid=23707 vsize=10661932 memory=1196 CPUtime=0.12 cores=1,3,5,7
/proc/23710/task/23721/stat : 23721 (java) R 23707 23710 21280 0 -1 4202560 794 0 0 0 12 0 0 0 20 0 15 0 414868945 10917818368 15882 33554432000 4194304 4196468 140733836967232 140610996489328 140611948267647 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23722] ppid=23707 vsize=10661932 memory=1044 CPUtime=0.09 cores=1,3,5,7
/proc/23710/task/23722/stat : 23722 (java) S 23707 23710 21280 0 -1 1077944384 847 0 0 0 9 0 0 0 20 0 15 0 414868945 10917818368 15882 33554432000 4194304 4196468 140733836967232 140610995455984 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23723] ppid=23707 vsize=10661932 memory=712 CPUtime=0.18 cores=1,3,5,7
/proc/23710/task/23723/stat : 23723 (java) S 23707 23710 21280 0 -1 1077944384 1124 0 0 0 18 0 0 0 20 0 15 0 414868945 10917818368 15882 33554432000 4194304 4196468 140733836967232 140610994403696 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23724] ppid=23707 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23724/stat : 23724 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868945 10917818368 15882 33554432000 4194304 4196468 140733836967232 140610993351136 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23725] ppid=23707 vsize=10661932 memory=7976 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23725/stat : 23725 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868946 10917818368 15882 33554432000 4194304 4196468 140733836967232 140610992298928 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63528 KiB
[startup+1.50069 s]
/proc/loadavg: 0.67 0.70 0.95 2/209 23735
/proc/meminfo: memFree=29411616/32770624 swapFree=66958212/67108860
[pid=23710] ppid=23707 vsize=10663980 memory=75580 CPUtime=2 cores=1,3,5,7
/proc/23710/stat : 23710 (java) S 23707 23710 21280 0 -1 1077944320 16712 0 0 0 194 6 0 0 20 0 15 0 414868940 10919915520 18895 33554432000 4194304 4196468 140733836967232 140733836949776 140611965054711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
/proc/23710/statm: 2665995 18895 3091 1 0 2628492 0
[pid=23710/tid=23712] ppid=23707 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (java) R 23707 23710 21280 0 -1 4202560 11511 0 0 0 144 4 0 0 20 0 15 0 414868940 10919915520 18895 33554432000 4194304 4196468 140733836967232 140611969286736 140611949135198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23713] ppid=23707 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10919915520 18895 33554432000 4194304 4196468 140733836967232 140611571866000 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23714] ppid=23707 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23714/stat : 23714 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10919915520 18895 33554432000 4194304 4196468 140733836967232 140611570813200 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23715] ppid=23707 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23715/stat : 23715 (java) S 23707 23710 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868941 10919915520 18895 33554432000 4194304 4196468 140733836967232 140611569760912 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23716] ppid=23707 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23716/stat : 23716 (java) S 23707 23710 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868941 10919915520 18895 33554432000 4194304 4196468 140733836967232 140611568708112 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23717] ppid=23707 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23717/stat : 23717 (java) S 23707 23710 21280 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414868942 10919915520 18895 33554432000 4194304 4196468 140733836967232 140611000719984 140611965065858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
################
# More data... #
################
Dumping a history of the last processes samples
[startup+3.20084 s]
/proc/loadavg: 0.67 0.70 0.95 5/229 23803
/proc/meminfo: memFree=29196600/32770624 swapFree=66958212/67108860
[pid=23710] ppid=23707 vsize=10748324 memory=227716 CPUtime=6.35 cores=1,3,5,7
/proc/23710/stat : 23710 (java) S 23707 23710 21280 0 -1 1077944320 26941 0 0 0 622 13 0 0 20 0 16 0 414868940 11006283776 56929 33554432000 4194304 4196468 140733836967232 140733836949776 140611965054711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
/proc/23710/statm: 2687081 56929 3357 1 0 2647217 0
[pid=23710/tid=23712] ppid=23707 vsize=10748324 memory=-3705176732362986910 CPUtime=1.85 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (java) S 23707 23710 21280 0 -1 1077944384 13154 0 0 0 180 5 0 0 20 0 16 0 414868940 11006283776 56929 33554432000 4194304 4196468 140733836967232 140611969297584 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23713] ppid=23707 vsize=10748324 memory=-8382737541924953461 CPUtime=0.01 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (java) S 23707 23710 21280 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414868941 11006283776 56929 33554432000 4194304 4196468 140733836967232 140611571866000 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23714] ppid=23707 vsize=10748324 memory=-8253362762721548664 CPUtime=0.01 cores=1,3,5,7
/proc/23710/task/23714/stat : 23714 (java) S 23707 23710 21280 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 414868941 11006283776 56929 33554432000 4194304 4196468 140733836967232 140611570813200 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23715] ppid=23707 vsize=10748324 memory=-2915660033818482078 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23715/stat : 23715 (java) S 23707 23710 21280 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414868941 11006283776 56929 33554432000 4194304 4196468 140733836967232 140611569760912 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23716] ppid=23707 vsize=10748324 memory=7822038051842263955 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23716/stat : 23716 (java) S 23707 23710 21280 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 16 0 414868941 11006283776 56929 33554432000 4194304 4196468 140733836967232 140611568708112 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23717] ppid=23707 vsize=10748324 memory=8323069512539357860 CPUtime=0.01 cores=1,3,5,7
/proc/23710/task/23717/stat : 23717 (java) S 23707 23710 21280 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 16 0 414868942 11006283776 56929 33554432000 4194304 4196468 140733836967232 140611000719984 140611965065858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23718] ppid=23707 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23718/stat : 23718 (java) S 23707 23710 21280 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414868943 11006283776 56929 33554432000 4194304 4196468 140733836967232 140610999666016 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23719] ppid=23707 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23719/stat : 23719 (java) S 23707 23710 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414868943 11006283776 56929 33554432000 4194304 4196468 140733836967232 140610998613632 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23720] ppid=23707 vsize=10748324 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23720/stat : 23720 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868945 11006283776 56929 33554432000 4194304 4196468 140733836967232 140610997561936 140611965073307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23721] ppid=23707 vsize=10748324 memory=4134930498285298233 CPUtime=1.26 cores=1,3,5,7
/proc/23710/task/23721/stat : 23721 (java) S 23707 23710 21280 0 -1 1077944384 2961 0 0 0 126 0 0 0 20 0 16 0 414868945 11006283776 56929 33554432000 4194304 4196468 140733836967232 140610996508784 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23722] ppid=23707 vsize=10748324 memory=0 CPUtime=1.17 cores=1,3,5,7
/proc/23710/task/23722/stat : 23722 (java) S 23707 23710 21280 0 -1 1077944384 3048 0 0 0 116 1 0 0 20 0 16 0 414868945 11006283776 56929 33554432000 4194304 4196468 140733836967232 140610995455984 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23723] ppid=23707 vsize=10748324 memory=7596002947229378387 CPUtime=0.66 cores=1,3,5,7
/proc/23710/task/23723/stat : 23723 (java) S 23707 23710 21280 0 -1 1077944384 2311 0 0 0 66 0 0 0 20 0 16 0 414868945 11006283776 56929 33554432000 4194304 4196468 140733836967232 140610994403696 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23724] ppid=23707 vsize=10748324 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23724/stat : 23724 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868945 11006283776 56929 33554432000 4194304 4196468 140733836967232 140610993351136 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23725] ppid=23707 vsize=10748324 memory=7100839878645814387 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23725/stat : 23725 (java) S 23707 23710 21280 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414868946 11006283776 56929 33554432000 4194304 4196468 140733836967232 140610992298928 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23802] ppid=23707 vsize=10748324 memory=-6519613052471072158 CPUtime=1.27 cores=1,3,5,7
/proc/23710/task/23802/stat : 23802 (java) R 23707 23710 21280 0 -1 4202560 3709 0 0 0 125 2 0 0 20 0 16 0 414869127 11006283776 56929 33554432000 4194304 4196468 140733836967232 140610667225744 140611609567508 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 227716 KiB
[startup+4.80069 s]
/proc/loadavg: 0.67 0.70 0.95 7/230 23804
/proc/meminfo: memFree=29117576/32770624 swapFree=66958212/67108860
[pid=23710] ppid=23707 vsize=10748324 memory=234756 CPUtime=8.87 cores=1,3,5,7
/proc/23710/stat : 23710 (java) S 23707 23710 21280 0 -1 1077944320 28512 0 0 0 873 14 0 0 20 0 16 0 414868940 11006283776 58689 33554432000 4194304 4196468 140733836967232 140733836949776 140611965054711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
/proc/23710/statm: 2687081 58689 3358 1 0 2647217 0
[pid=23710/tid=23712] ppid=23707 vsize=10748324 memory=7649399371329909554 CPUtime=1.85 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (java) S 23707 23710 21280 0 -1 1077944384 13154 0 0 0 180 5 0 0 20 0 16 0 414868940 11006283776 58689 33554432000 4194304 4196468 140733836967232 140611969297584 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23713] ppid=23707 vsize=10748324 memory=4294969504 CPUtime=0.01 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (java) S 23707 23710 21280 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414868941 11006283776 58689 33554432000 4194304 4196468 140733836967232 140611571866000 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23714] ppid=23707 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/23710/task/23714/stat : 23714 (java) S 23707 23710 21280 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 414868941 11006283776 58689 33554432000 4194304 4196468 140733836967232 140611570813200 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23715] ppid=23707 vsize=10748324 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23715/stat : 23715 (java) S 23707 23710 21280 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414868941 11006283776 58689 33554432000 4194304 4196468 140733836967232 140611569760912 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23716] ppid=23707 vsize=10748324 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23716/stat : 23716 (java) S 23707 23710 21280 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 16 0 414868941 11006283776 58689 33554432000 4194304 4196468 140733836967232 140611568708112 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23717] ppid=23707 vsize=10748324 memory=1044 CPUtime=0.01 cores=1,3,5,7
/proc/23710/task/23717/stat : 23717 (java) S 23707 23710 21280 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 16 0 414868942 11006283776 58689 33554432000 4194304 4196468 140733836967232 140611000719984 140611965065858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23718] ppid=23707 vsize=10748324 memory=712 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23718/stat : 23718 (java) S 23707 23710 21280 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414868943 11006283776 58689 33554432000 4194304 4196468 140733836967232 140610999666016 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23719] ppid=23707 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23719/stat : 23719 (java) S 23707 23710 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414868943 11006283776 58689 33554432000 4194304 4196468 140733836967232 140610998613632 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23720] ppid=23707 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23720/stat : 23720 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868945 11006283776 58689 33554432000 4194304 4196468 140733836967232 140610997561936 140611965073307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23721] ppid=23707 vsize=10748324 memory=41 CPUtime=1.67 cores=1,3,5,7
/proc/23710/task/23721/stat : 23721 (java) S 23707 23710 21280 0 -1 1077944384 3446 0 0 0 167 0 0 0 20 0 16 0 414868945 11006283776 58689 33554432000 4194304 4196468 140733836967232 140610996508784 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23722] ppid=23707 vsize=10748324 memory=153348 CPUtime=1.62 cores=1,3,5,7
/proc/23710/task/23722/stat : 23722 (java) S 23707 23710 21280 0 -1 1077944384 3269 0 0 0 161 1 0 0 20 0 16 0 414868945 11006283776 58689 33554432000 4194304 4196468 140733836967232 140610995455984 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23723] ppid=23707 vsize=10748324 memory=35 CPUtime=0.71 cores=1,3,5,7
/proc/23710/task/23723/stat : 23723 (java) S 23707 23710 21280 0 -1 1077944384 2547 0 0 0 71 0 0 0 20 0 16 0 414868945 11006283776 58689 33554432000 4194304 4196468 140733836967232 140610994403696 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23724] ppid=23707 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23724/stat : 23724 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868945 11006283776 58689 33554432000 4194304 4196468 140733836967232 140610993351136 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23725] ppid=23707 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23725/stat : 23725 (java) S 23707 23710 21280 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414868946 11006283776 58689 33554432000 4194304 4196468 140733836967232 140610992298928 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23802] ppid=23707 vsize=10748324 memory=71000 CPUtime=2.88 cores=1,3,5,7
/proc/23710/task/23802/stat : 23802 (java) R 23707 23710 21280 0 -1 4202560 4336 0 0 0 285 3 0 0 20 0 16 0 414869127 11006283776 58689 33554432000 4194304 4196468 140733836967232 140610667220608 140611610413177 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
Current children cumulated CPU time: 8.87 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 234756 KiB
[startup+5.20154 s]
/proc/loadavg: 0.67 0.70 0.95 3/212 23835
/proc/meminfo: memFree=29245040/32770624 swapFree=66958212/67108860
[pid=23710] ppid=23707 vsize=10748324 memory=239048 CPUtime=9.41 cores=1,3,5,7
/proc/23710/stat : 23710 (java) S 23707 23710 21280 0 -1 1077944320 28872 0 0 0 927 14 0 0 20 0 16 0 414868940 11006283776 59762 33554432000 4194304 4196468 140733836967232 140733836949776 140611965054711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
/proc/23710/statm: 2687081 59762 3358 1 0 2647217 0
[pid=23710/tid=23712] ppid=23707 vsize=10748324 memory=3056672 CPUtime=1.85 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (java) S 23707 23710 21280 0 -1 1077944384 13154 0 0 0 180 5 0 0 20 0 16 0 414868940 11006283776 59762 33554432000 4194304 4196468 140733836967232 140611969297584 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23713] ppid=23707 vsize=10748324 memory=5792024298128828002 CPUtime=0.01 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (java) S 23707 23710 21280 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414868941 11006283776 59762 33554432000 4194304 4196468 140733836967232 140611571866000 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23714] ppid=23707 vsize=10748324 memory=8292088564187963537 CPUtime=0.01 cores=1,3,5,7
/proc/23710/task/23714/stat : 23714 (java) S 23707 23710 21280 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 414868941 11006283776 59762 33554432000 4194304 4196468 140733836967232 140611570813200 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23715] ppid=23707 vsize=10748324 memory=-9001733975035308135 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23715/stat : 23715 (java) S 23707 23710 21280 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414868941 11006283776 59762 33554432000 4194304 4196468 140733836967232 140611569760912 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23716] ppid=23707 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23716/stat : 23716 (java) S 23707 23710 21280 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 16 0 414868941 11006283776 59762 33554432000 4194304 4196468 140733836967232 140611568708112 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23717] ppid=23707 vsize=10748324 memory=7165339627217448042 CPUtime=0.01 cores=1,3,5,7
/proc/23710/task/23717/stat : 23717 (java) S 23707 23710 21280 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 16 0 414868942 11006283776 59762 33554432000 4194304 4196468 140733836967232 140611000719984 140611965065858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23718] ppid=23707 vsize=10748324 memory=7813576498582088042 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23718/stat : 23718 (java) S 23707 23710 21280 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414868943 11006283776 59762 33554432000 4194304 4196468 140733836967232 140610999666016 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23719] ppid=23707 vsize=10748324 memory=7813576498582088042 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23719/stat : 23719 (java) S 23707 23710 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414868943 11006283776 59762 33554432000 4194304 4196468 140733836967232 140610998613632 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23720] ppid=23707 vsize=10748324 memory=7590655979367786604 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23720/stat : 23720 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868945 11006283776 59762 33554432000 4194304 4196468 140733836967232 140610997561936 140611965073307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23721] ppid=23707 vsize=10748324 memory=6299802978650451056 CPUtime=1.75 cores=1,3,5,7
/proc/23710/task/23721/stat : 23721 (java) R 23707 23710 21280 0 -1 4202560 3458 0 0 0 175 0 0 0 20 0 16 0 414868945 11006283776 59762 33554432000 4194304 4196468 140733836967232 140610996497296 140611950180876 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23722] ppid=23707 vsize=10748324 memory=6082762642889400938 CPUtime=1.67 cores=1,3,5,7
/proc/23710/task/23722/stat : 23722 (java) S 23707 23710 21280 0 -1 1077944384 3290 0 0 0 166 1 0 0 20 0 16 0 414868945 11006283776 59762 33554432000 4194304 4196468 140733836967232 140610995455984 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23723] ppid=23707 vsize=10748324 memory=7164495202287315558 CPUtime=0.72 cores=1,3,5,7
/proc/23710/task/23723/stat : 23723 (java) S 23707 23710 21280 0 -1 1077944384 2578 0 0 0 72 0 0 0 20 0 16 0 414868945 11006283776 59762 33554432000 4194304 4196468 140733836967232 140610994403696 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23724] ppid=23707 vsize=10748324 memory=6947174482654027857 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23724/stat : 23724 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868945 11006283776 59762 33554432000 4194304 4196468 140733836967232 140610993351136 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23725] ppid=23707 vsize=10748324 memory=37252 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23725/stat : 23725 (java) S 23707 23710 21280 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414868946 11006283776 59762 33554432000 4194304 4196468 140733836967232 140610992298928 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23802] ppid=23707 vsize=10748324 memory=4 CPUtime=3.28 cores=1,3,5,7
/proc/23710/task/23802/stat : 23802 (java) R 23707 23710 21280 0 -1 4202560 4582 0 0 0 325 3 0 0 20 0 16 0 414869127 11006283776 59762 33554432000 4194304 4196468 140733836967232 140610667225904 140611610106189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
Current children cumulated CPU time: 9.41 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 239048 KiB
[startup+5.60451 s]
/proc/loadavg: 0.67 0.70 0.95 3/212 23835
/proc/meminfo: memFree=29245040/32770624 swapFree=66958212/67108860
[pid=23710] ppid=23707 vsize=10748324 memory=258812 CPUtime=9.86 cores=1,3,5,7
/proc/23710/stat : 23710 (java) S 23707 23710 21280 0 -1 1077944320 29771 0 0 0 970 16 0 0 20 0 15 0 414868940 11006283776 64703 33554432000 4194304 4196468 140733836967232 140733836949776 140611965054711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
/proc/23710/statm: 2687081 64703 3372 1 0 2647217 0
[pid=23710/tid=23712] ppid=23707 vsize=10748324 memory=8330969454845486047 CPUtime=1.86 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (java) S 23707 23710 21280 0 -1 1077944384 13209 0 0 0 181 5 0 0 20 0 15 0 414868940 11006283776 64703 33554432000 4194304 4196468 140733836967232 140611969290352 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23713] ppid=23707 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (java) R 23707 23710 21280 0 -1 4202560 446 0 0 0 1 1 0 0 20 0 15 0 414868941 11006283776 64703 33554432000 4194304 4196468 140733836967232 140611571866000 140611958151412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23714] ppid=23707 vsize=10748324 memory=39064 CPUtime=0.01 cores=1,3,5,7
/proc/23710/task/23714/stat : 23714 (java) R 23707 23710 21280 0 -1 4202560 215 0 0 0 1 0 0 0 20 0 15 0 414868941 11006283776 64703 33554432000 4194304 4196468 140733836967232 140611570813200 140611958154411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23715] ppid=23707 vsize=10748324 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/23710/task/23715/stat : 23715 (java) R 23707 23710 21280 0 -1 4202560 132 0 0 0 1 0 0 0 20 0 15 0 414868941 11006283776 64703 33554432000 4194304 4196468 140733836967232 140611569760912 140611958151412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23716] ppid=23707 vsize=10748324 memory=2020 CPUtime=0.02 cores=1,3,5,7
/proc/23710/task/23716/stat : 23716 (java) R 23707 23710 21280 0 -1 4202560 191 0 0 0 1 1 0 0 20 0 15 0 414868941 11006283776 64703 33554432000 4194304 4196468 140733836967232 140611568708312 140611958157994 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23717] ppid=23707 vsize=10748324 memory=1432 CPUtime=0.01 cores=1,3,5,7
/proc/23710/task/23717/stat : 23717 (java) S 23707 23710 21280 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 15 0 414868942 11006283776 64703 33554432000 4194304 4196468 140733836967232 140611000718496 140611965064917 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23718] ppid=23707 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23718/stat : 23718 (java) S 23707 23710 21280 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 414868943 11006283776 64703 33554432000 4194304 4196468 140733836967232 140610999666016 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23719] ppid=23707 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23719/stat : 23719 (java) S 23707 23710 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 414868943 11006283776 64703 33554432000 4194304 4196468 140733836967232 140610998613632 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23720] ppid=23707 vsize=10748324 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23720/stat : 23720 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868945 11006283776 64703 33554432000 4194304 4196468 140733836967232 140610997561936 140611965073307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23721] ppid=23707 vsize=10748324 memory=1552 CPUtime=1.76 cores=1,3,5,7
/proc/23710/task/23721/stat : 23721 (java) S 23707 23710 21280 0 -1 1077944384 3468 0 0 0 176 0 0 0 20 0 15 0 414868945 11006283776 64703 33554432000 4194304 4196468 140733836967232 140610996508784 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23722] ppid=23707 vsize=10748324 memory=1556 CPUtime=1.67 cores=1,3,5,7
/proc/23710/task/23722/stat : 23722 (java) S 23707 23710 21280 0 -1 1077944384 3291 0 0 0 166 1 0 0 20 0 15 0 414868945 11006283776 64703 33554432000 4194304 4196468 140733836967232 140610995455984 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23723] ppid=23707 vsize=10748324 memory=1196 CPUtime=0.73 cores=1,3,5,7
/proc/23710/task/23723/stat : 23723 (java) S 23707 23710 21280 0 -1 1077944384 2583 0 0 0 73 0 0 0 20 0 15 0 414868945 11006283776 64703 33554432000 4194304 4196468 140733836967232 140610994403696 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23724] ppid=23707 vsize=10748324 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23724/stat : 23724 (java) S 23707 23710 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868945 11006283776 64703 33554432000 4194304 4196468 140733836967232 140610993351136 140611965064917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
[pid=23710/tid=23725] ppid=23707 vsize=10748324 memory=712 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23725/stat : 23725 (java) S 23707 23710 21280 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 414868946 11006283776 65215 33554432000 4194304 4196468 140733836967232 140610992298928 140611965065858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26337280 140733836968971 140733836969074 140733836969074 140733836971983 0
Current children cumulated CPU time: 9.86 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 258812 KiB
Child status: 0
Real time (s): 5.62287
CPU time (s): 9.91727
CPU user time (s): 9.73964
CPU system time (s): 0.177634
CPU usage (%): 176.374
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 258812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.73963
system time used= 0.177634
maximum resident set size= 269932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30024
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2980
involuntary context switches= 124
# summary of solver processes directly reported to runsolver:
# pid: 23710
# total CPU time (s): 9.91727
# total CPU user time (s): 9.73964
# total CPU system time (s): 0.177634
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049146 second user time and 0.112253 second system time
The end