2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.88
2.97/2.10 Instance
2.97/2.10 name=instance-4390976-1568380668, framework=COP, bounds=-infty..+infty
2.97/2.10
2.97/2.10 Loading variables...
3.59/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dd93f9e
3.59/2.22 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.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d4cf05d
3.59/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4aa53a
3.59/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17121fb2
3.59/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b292460
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374e57f3
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2dd0ef
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a30a75d
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49452ab5
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ddb0a4d
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2daa663c
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78f09a88
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c385e3a
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e82e162
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58be839f
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@635d77e0
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d219670
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9b6047
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eea35b9
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16b7b212
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@647f0cf7
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a56f46a
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50bd78f2
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb2fbf8
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@222144e3
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfea718
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a014d75
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c41c21c
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76e2beb1
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9e618b
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8aae0f
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26906b4c
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64569034
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2972c0e8
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62c1ba1a
3.59/2.27 [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.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34b36b46
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a45ed2b
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f6dfdaf
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@267d1fe5
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c91105a
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157e9b07
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@750bba97
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e998477
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5469592b
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d656ffa
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b94fb97
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc7e5bd
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@261e048e
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@652097f8
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798c6e69
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c0b9bfc
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@780bd15d
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f0a12f1
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b7318fd
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e010e89
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7583cb0e
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a64ff1a
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23fcd6c6
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c32cb7e
3.59/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3427ba78
3.59/2.28 [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.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e22bbf5
3.59/2.29 [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.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a5cb2e
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fd23594
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f822a6a
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ccf2f71
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6428fb90
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dfbe53f
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ee5c4be
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13afe242
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c85a214
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a922b3
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f56ab8d
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69e85c61
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ccf3b9b
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55931594
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6903677c
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@400d14c8
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6256580d
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b2113c6
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c23552b
3.59/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b7884e4
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea69408
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@190237b6
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b1ddf8f
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13699ad4
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f9ea246
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e42b9a0
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9aa821b
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@525f7b92
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1866723e
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12818268
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70c3cb4a
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6b9a5d
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4209a2d6
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ee8d843
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6873f9cb
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@400513de
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f9344ac
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c24f74
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@774d3dc
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74fd18ee
3.98/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d11e8e8
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5580f94d
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ae78273
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b23d03
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a94e51
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ad47f8
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bab444
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a72bf75
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@311a0bc7
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36ce32f8
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c326c
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@609b5015
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a01f6db
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18d2e9d0
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@787ecc20
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd738bb
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ce66d55
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c0a6850
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cf640c8
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f59e2c4
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a2022a5
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7840868b
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5165bca3
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4da6b9e7
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@473544aa
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee70b5e
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631db1f3
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14bedbc8
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116d1956
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ded2edf
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@665bf9ae
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1399ca21
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aa60fd9
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4580caa
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@456c5fbf
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30829316
3.98/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a5d9f2c
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5502f84
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136d9135
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46ee30f5
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32f33d86
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@774076bb
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@565f1593
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160a1f6e
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5cebc4
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63992079
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2642317b
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cdae370
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@600a1c1f
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49f1d609
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f9a2ff9
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@515cae8f
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ae2ad4
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4033e395
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4671d059
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b8db12
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1617b4ad
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a577c81
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dff0443
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c573d9
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77b96fcc
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10459ce9
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7306446a
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704ddea3
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@125d1950
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d71a781
3.98/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dadfbbd
4.56/2.54
4.56/2.54
4.56/2.54 Domains
4.56/2.54 nTypes=11, nValues=43068, sizes=[2#776,3#582,5#194,8#194...17#388,18#194,19#582,20#194]
4.56/2.54 Variables
4.56/2.54 count=4074, degrees=[3#234,4#3840]
4.56/2.54 Objectives
4.56/2.54 way=min, type=SumSimpleLE
4.56/2.54 Constraints
4.56/2.54 count=409, nSpecific=409, arities=[21#194,40#193,194#22]
4.56/2.54 distribution=[LexicographicLe#193,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#194]
4.56/2.54 wck=0.705, cpu=2.51, mem=116M359
4.56/2.55 Solver SolverBacktrack being built...
4.56/2.55
4.74/2.61
4.74/2.61 Solver
4.74/2.61 guaranteedGAC=false
4.74/2.61 wck=0.775, cpu=2.578, mem=137M571
4.96/2.71
4.96/2.71 Preprocessing
4.96/2.71 filters=194, nACremovedValues=33174, nTotalRemovedValues=33174, inconcistency=false
4.96/2.71 wck=0.1, cpu=2.682, mem=137M571
4.96/2.71
5.21/2.88 num=0, depth=0..209, filters=2077, wck=0.266, mem=137M571
5.21/2.88 decisions=221, wrong=11, backtracks=8, failedAssignments=10, nogoods=2
5.21/2.88
6.03/3.17 num=1, depth=0..1976, filters=5495, wck=0.557, mem=137M571
6.03/3.17 decisions=2657, wrong=292, backtracks=279, failedAssignments=21, nogoods=4
6.03/3.17
6.03/3.19 num=2, depth=146..157, filters=7356, wck=0.582, mem=137M571
6.03/3.19 decisions=2827, wrong=304, backtracks=279, failedAssignments=33, nogoods=16
6.03/3.19
6.24/3.23 num=3, depth=244..256, filters=9198, wck=0.614, mem=137M571
6.24/3.23 decisions=3140, wrong=338, backtracks=306, failedAssignments=46, nogoods=18
6.24/3.23
6.24/3.26 num=4, depth=96..115, filters=12253, wck=0.651, mem=137M571
6.24/3.26 decisions=3303, wrong=371, backtracks=325, failedAssignments=60, nogoods=20
6.24/3.26
6.24/3.30 num=5, depth=64..88, filters=14920, wck=0.685, mem=137M571
6.24/3.30 decisions=3447, wrong=411, backtracks=349, failedAssignments=76, nogoods=21
6.24/3.30
6.35/3.35 num=6, depth=69..395, filters=19485, wck=0.743, mem=137M571
6.35/3.35 decisions=4007, wrong=503, backtracks=428, failedAssignments=93, nogoods=29
6.35/3.35
6.35/3.39 num=7, depth=125..152, filters=22497, wck=0.774, mem=137M571
6.35/3.39 decisions=4238, wrong=556, backtracks=469, failedAssignments=112, nogoods=30
6.35/3.39
6.51/3.42 num=8, depth=40..76, filters=25777, wck=0.811, mem=137M571
6.51/3.42 decisions=4480, wrong=657, backtracks=570, failedAssignments=133, nogoods=31
6.51/3.42
6.51/3.45 num=9, depth=52..95, filters=28010, wck=0.839, mem=137M571
6.51/3.45 decisions=4699, wrong=731, backtracks=629, failedAssignments=156, nogoods=40
6.51/3.45
6.51/3.48 num=10, depth=28..68, filters=29959, wck=0.864, mem=137M571
6.51/3.48 decisions=4851, wrong=793, backtracks=671, failedAssignments=181, nogoods=41
6.51/3.48
6.63/3.51 num=11, depth=25..132, filters=31949, wck=0.897, mem=137M571
6.63/3.51 decisions=5068, wrong=858, backtracks=709, failedAssignments=209, nogoods=49
6.63/3.51
6.63/3.56 num=12, depth=45..81, filters=35686, wck=0.947, mem=137M571
6.63/3.56 decisions=5306, wrong=944, backtracks=775, failedAssignments=240, nogoods=53
6.63/3.56
6.85/3.61 num=13, depth=29..66, filters=40571, wck=1.003, mem=137M571
6.85/3.61 decisions=5625, wrong=1089, backtracks=906, failedAssignments=274, nogoods=54
6.85/3.61
6.85/3.66 num=14, depth=32..71, filters=44627, wck=1.046, mem=137M571
6.85/3.66 decisions=5888, wrong=1202, backtracks=991, failedAssignments=311, nogoods=56
6.85/3.66
6.96/3.71 num=15, depth=30..43, filters=49659, wck=1.097, mem=137M571
6.96/3.71 decisions=6126, wrong=1303, backtracks=1072, failedAssignments=352, nogoods=58
6.96/3.71
6.96/3.77 num=16, depth=34..61, filters=55112, wck=1.158, mem=137M571
6.96/3.77 decisions=6461, wrong=1446, backtracks=1194, failedAssignments=397, nogoods=64
6.96/3.77
7.07/3.81 num=17, depth=37..226, filters=58601, wck=1.2, mem=137M571
7.07/3.81 decisions=6859, wrong=1550, backtracks=1267, failedAssignments=447, nogoods=78
7.07/3.81
7.07/3.86 num=18, depth=41..199, filters=62345, wck=1.245, mem=137M571
7.07/3.86 decisions=7239, wrong=1663, backtracks=1330, failedAssignments=502, nogoods=95
7.07/3.86
7.22/3.91 num=19, depth=49..171, filters=66825, wck=1.294, mem=137M571
7.22/3.91 decisions=7677, wrong=1818, backtracks=1454, failedAssignments=563, nogoods=108
7.22/3.91
7.22/3.96 num=20, depth=42..157, filters=72559, wck=1.348, mem=137M571
7.22/3.96 decisions=8147, wrong=1993, backtracks=1612, failedAssignments=630, nogoods=124
7.22/3.96
7.33/4.04 num=21, depth=54..114, filters=81014, wck=1.428, mem=137M571
7.33/4.04 decisions=8623, wrong=2190, backtracks=1773, failedAssignments=704, nogoods=140
7.33/4.04
7.43/4.14 num=22, depth=61..114, filters=90988, wck=1.532, mem=137M571
7.43/4.14 decisions=9228, wrong=2455, backtracks=2014, failedAssignments=785, nogoods=142
7.43/4.14
7.52/4.28 num=23, depth=0..59, filters=103919, wck=1.665, mem=137M571
7.52/4.28 decisions=9751, wrong=2701, backtracks=2218, failedAssignments=874, nogoods=146
7.52/4.28
7.62/4.35 num=24, depth=25..65, filters=111912, wck=1.743, mem=137M571
7.62/4.35 decisions=10278, wrong=2952, backtracks=2437, failedAssignments=972, nogoods=147
7.62/4.35
7.72/4.46 num=25, depth=16..339, filters=122141, wck=1.847, mem=137M571
7.72/4.46 decisions=11154, wrong=3236, backtracks=2634, failedAssignments=1080, nogoods=173
7.72/4.46
7.82/4.54 o 170
7.82/4.56 num=26, depth=40..4073, filters=126046, ccks=409, wck=1.945, mem=140M214
7.82/4.56 decisions=11735, wrong=3317, backtracks=2680, failedAssignments=1122, nogoods=196, foundSolutions=1, bestBound=170
7.82/4.56
8.37/4.72 o 169
8.37/4.73 num=27, depth=53..4073, filters=128758, ccks=818, wck=2.115, mem=142M778
8.37/4.73 decisions=12253, wrong=3357, backtracks=2697, failedAssignments=1147, nogoods=217, foundSolutions=2, bestBound=169
8.37/4.73
8.64/4.81 num=28, depth=63..129, filters=130039, ccks=818, wck=2.199, mem=142M778
8.64/4.81 decisions=12397, wrong=3371, backtracks=2700, failedAssignments=1158, nogoods=228, foundSolutions=2, bestBound=169
8.64/4.81
8.64/4.83 num=29, depth=63..106, filters=131241, ccks=818, wck=2.217, mem=142M778
8.64/4.83 decisions=12525, wrong=3387, backtracks=2710, failedAssignments=1169, nogoods=235, foundSolutions=2, bestBound=169
8.64/4.83
8.64/4.85 num=30, depth=63..93, filters=133605, ccks=818, wck=2.244, mem=142M778
8.64/4.85 decisions=12683, wrong=3434, backtracks=2752, failedAssignments=1181, nogoods=238, foundSolutions=2, bestBound=169
8.64/4.85
8.64/4.88 num=31, depth=73..120, filters=134925, ccks=818, wck=2.264, mem=142M778
8.64/4.88 decisions=12837, wrong=3455, backtracks=2763, failedAssignments=1194, nogoods=247, foundSolutions=2, bestBound=169
8.64/4.88
8.64/4.90 num=32, depth=73..117, filters=136194, ccks=818, wck=2.285, mem=142M778
8.64/4.90 decisions=12992, wrong=3481, backtracks=2780, failedAssignments=1208, nogoods=255, foundSolutions=2, bestBound=169
8.64/4.90
8.75/4.93 num=33, depth=71..105, filters=138543, ccks=818, wck=2.315, mem=142M778
8.75/4.93 decisions=13158, wrong=3525, backtracks=2816, failedAssignments=1224, nogoods=257, foundSolutions=2, bestBound=169
8.75/4.93
8.75/4.96 num=34, depth=41..89, filters=141147, ccks=818, wck=2.344, mem=142M778
8.75/4.96 decisions=13325, wrong=3588, backtracks=2864, failedAssignments=1241, nogoods=258, foundSolutions=2, bestBound=169
8.75/4.96
8.75/4.98 num=35, depth=30..347, filters=142677, ccks=818, wck=2.373, mem=142M778
8.75/4.98 decisions=13709, wrong=3616, backtracks=2876, failedAssignments=1260, nogoods=268, foundSolutions=2, bestBound=169
8.75/4.98
8.89/5.02 num=36, depth=62..390, filters=144566, ccks=818, wck=2.408, mem=142M778
8.89/5.02 decisions=14178, wrong=3658, backtracks=2899, failedAssignments=1281, nogoods=274, foundSolutions=2, bestBound=169
8.89/5.02
8.89/5.07 o 168
8.89/5.08 num=37, depth=55..4073, filters=146108, ccks=1227, wck=2.467, mem=142M778
8.89/5.08 decisions=14635, wrong=3676, backtracks=2900, failedAssignments=1298, nogoods=291, foundSolutions=3, bestBound=168
8.89/5.08
9.10/5.20 o 167
9.10/5.22 num=38, depth=64..4073, filters=147607, ccks=1636, wck=2.612, mem=41M517
9.10/5.22 decisions=15093, wrong=3693, backtracks=2902, failedAssignments=1313, nogoods=306, foundSolutions=4, bestBound=167
9.10/5.22
9.35/5.31 num=39, depth=67..285, filters=149077, ccks=1636, wck=2.698, mem=41M517
9.35/5.31 decisions=15406, wrong=3715, backtracks=2917, failedAssignments=1324, nogoods=311, foundSolutions=4, bestBound=167
9.35/5.31
9.35/5.33 num=40, depth=62..256, filters=150551, ccks=1636, wck=2.723, mem=41M517
9.35/5.33 decisions=15717, wrong=3748, backtracks=2943, failedAssignments=1335, nogoods=318, foundSolutions=4, bestBound=167
9.35/5.33
9.35/5.36 num=41, depth=62..266, filters=151974, ccks=1636, wck=2.748, mem=41M517
9.35/5.36 decisions=16007, wrong=3768, backtracks=2953, failedAssignments=1347, nogoods=328, foundSolutions=4, bestBound=167
9.35/5.36
9.35/5.38 num=42, depth=53..218, filters=153192, ccks=1636, wck=2.77, mem=41M517
9.35/5.38 decisions=16261, wrong=3790, backtracks=2967, failedAssignments=1360, nogoods=334, foundSolutions=4, bestBound=167
9.35/5.38
9.46/5.41 num=43, depth=64..381, filters=154626, ccks=1636, wck=2.799, mem=41M517
9.46/5.41 decisions=16663, wrong=3807, backtracks=2970, failedAssignments=1374, nogoods=348, foundSolutions=4, bestBound=167
9.46/5.41
9.46/5.44 num=44, depth=65..370, filters=156074, ccks=1636, wck=2.828, mem=41M517
9.46/5.44 decisions=17056, wrong=3826, backtracks=2973, failedAssignments=1390, nogoods=364, foundSolutions=4, bestBound=167
9.46/5.44
9.46/5.49 o 161
9.46/5.49 num=45, depth=66..4073, filters=157543, ccks=2045, wck=2.882, mem=44M106
9.46/5.49 decisions=17463, wrong=3840, backtracks=2976, failedAssignments=1401, nogoods=375, foundSolutions=5, bestBound=161
9.46/5.49
9.56/5.57 num=46, depth=76..142, filters=158922, ccks=2045, wck=2.962, mem=44M106
9.56/5.57 decisions=17662, wrong=3881, backtracks=2998, failedAssignments=1420, nogoods=380, foundSolutions=5, bestBound=161
9.56/5.57
9.56/5.59 num=47, depth=68..102, filters=160098, ccks=2045, wck=2.979, mem=44M106
9.56/5.59 decisions=17796, wrong=3904, backtracks=3011, failedAssignments=1431, nogoods=384, foundSolutions=5, bestBound=161
9.56/5.59
9.66/5.61 num=48, depth=66..91, filters=162168, ccks=2045, wck=3.002, mem=44M106
9.66/5.61 decisions=17972, wrong=3959, backtracks=3061, failedAssignments=1443, nogoods=387, foundSolutions=5, bestBound=161
9.66/5.61
9.66/5.63 num=49, depth=49..81, filters=163736, ccks=2045, wck=3.023, mem=44M106
9.66/5.63 decisions=18107, wrong=3993, backtracks=3084, failedAssignments=1456, nogoods=393, foundSolutions=5, bestBound=161
9.66/5.63
9.66/5.66 num=50, depth=25..60, filters=166005, ccks=2045, wck=3.047, mem=44M106
9.66/5.66 decisions=18265, wrong=4059, backtracks=3145, failedAssignments=1470, nogoods=395, foundSolutions=5, bestBound=161
9.66/5.66
9.66/5.66
9.66/5.66 New Bounds: 161..160
9.66/5.67 num=51, depth=0..14, filters=166597, ccks=2045, wck=3.054, mem=44M106
9.66/5.67 decisions=18295, wrong=4075, backtracks=3160, failedAssignments=1471, foundSolutions=5, bestBound=161
9.66/5.67
9.66/5.67 Global
9.66/5.67 filters=166597, ccks=2045
9.66/5.67 Stop=FULL_EXPLORATION, wrong=4075, bestBound=161, bestBoundWck=3.655, bestBoundCpu=5.434, foundSolutions=5, firstSolCpu=4.505
9.66/5.67 wck=3.831, cpu=5.61, mem=44M106
9.66/5.67
9.66/5.67 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.66/5.67 s OPTIMUM FOUND
9.66/5.67
9.66/5.67 d WRONG_DECISIONS 4075
9.66/5.67 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 (14745 MiB free)
memory of node 1: 16384 MiB (15439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390976-1568380668/watcher-4390976-1568380668 -o /tmp/evaluation-result-4390976-1568380668/solver-4390976-1568380668 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5059 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390976-1568380668.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5737, runsolver pid=5734
[startup+0.100058 s]*
/proc/loadavg: 2.08 0.88 0.37 4/227 5752
/proc/meminfo: memFree=30894668/32770624 swapFree=66934464/67108860
[pid=5737] ppid=5734 vsize=10659884 memory=28392 CPUtime=0.13 cores=1,3,5,7
/proc/5737/stat : 5737 (java) S 5734 5737 5027 0 -1 1077944320 5604 0 0 0 12 1 0 0 20 0 15 0 414338210 10915721216 7098 33554432000 4194304 4196468 140728038575424 140728038557968 139931916410615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
/proc/5737/statm: 2664971 7098 2900 1 0 2627468 0
[pid=5737/tid=5739] ppid=5734 vsize=10659884 memory=-8124642594274839901 CPUtime=0.09 cores=1,3,5,7
/proc/5737/task/5739/stat : 5739 (java) R 5734 5737 5027 0 -1 4202560 3281 0 0 0 8 1 0 0 20 0 15 0 414338211 10915721216 7296 33554432000 4194304 4196468 140728038575424 139931920639016 139931916422550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5740] ppid=5734 vsize=10659884 memory=5793855286343588281 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5740/stat : 5740 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10915721216 7296 33554432000 4194304 4196468 140728038575424 139931853102096 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5741] ppid=5734 vsize=10659884 memory=140035333695104 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5741/stat : 5741 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10915721216 7296 33554432000 4194304 4196468 140728038575424 139931852049552 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5742] ppid=5734 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5742/stat : 5742 (java) S 5734 5737 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338211 10915721216 7361 33554432000 4194304 4196468 140728038575424 139931850996496 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5743] ppid=5734 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5743/stat : 5743 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10915721216 7361 33554432000 4194304 4196468 140728038575424 139931849943952 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5744] ppid=5734 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5744/stat : 5744 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338213 10915721216 7361 33554432000 4194304 4196468 140728038575424 139931408402672 139931916421762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5745] ppid=5734 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5745/stat : 5745 (java) S 5734 5737 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414338213 10915721216 7361 33554432000 4194304 4196468 140728038575424 139931407348896 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5746] ppid=5734 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5746/stat : 5746 (java) S 5734 5737 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414338213 10915721216 7361 33554432000 4194304 4196468 140728038575424 139931406295792 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5747] ppid=5734 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5747/stat : 5747 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338216 10915721216 7361 33554432000 4194304 4196468 140728038575424 139931405244368 139931916429211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5748] ppid=5734 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5748/stat : 5748 (java) R 5734 5737 5027 0 -1 1077944384 488 0 0 0 0 0 0 0 20 0 15 0 414338216 10915721216 7361 33554432000 4194304 4196468 140728038575424 139931404192496 139931916421762 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5749] ppid=5734 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5749/stat : 5749 (java) R 5734 5737 5027 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 15 0 414338216 10915721216 7361 33554432000 4194304 4196468 140728038575424 139931403132616 139931909516327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5750] ppid=5734 vsize=10659884 memory=140035333695104 CPUtime=0.02 cores=1,3,5,7
/proc/5737/task/5750/stat : 5750 (java) R 5734 5737 5027 0 -1 4202560 625 0 0 0 2 0 0 0 20 0 15 0 414338216 10915721216 7361 33554432000 4194304 4196468 140728038575424 139931402082808 139931895363434 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5751] ppid=5734 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5751/stat : 5751 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338216 10915721216 7361 33554432000 4194304 4196468 140728038575424 139931401034592 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5752] ppid=5734 vsize=10659884 memory=140035333695104 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5752/stat : 5752 (java) S 5734 5737 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338216 10915721216 7361 33554432000 4194304 4196468 140728038575424 139931399981616 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28392 KiB
[startup+0.210746 s]*
/proc/loadavg: 2.08 0.88 0.37 3/227 5752
/proc/meminfo: memFree=30886536/32770624 swapFree=66934464/67108860
[pid=5737] ppid=5734 vsize=10659884 memory=35172 CPUtime=0.32 cores=1,3,5,7
/proc/5737/stat : 5737 (java) S 5734 5737 5027 0 -1 1077944320 6907 0 0 0 30 2 0 0 20 0 15 0 414338210 10915721216 8793 33554432000 4194304 4196468 140728038575424 140728038557968 139931916410615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
/proc/5737/statm: 2664971 8793 2989 1 0 2627468 0
[pid=5737/tid=5739] ppid=5734 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/5737/task/5739/stat : 5739 (java) R 5734 5737 5027 0 -1 4202560 3882 0 0 0 19 1 0 0 20 0 15 0 414338211 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931920642704 139931916432541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5740] ppid=5734 vsize=10659884 memory=4211973761538485642 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5740/stat : 5740 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931853102096 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5741] ppid=5734 vsize=10659884 memory=140035333695104 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5741/stat : 5741 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931852049552 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5742] ppid=5734 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5742/stat : 5742 (java) S 5734 5737 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338211 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931850996496 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5743] ppid=5734 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5743/stat : 5743 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931849943952 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5744] ppid=5734 vsize=10659884 memory=140035333695104 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5744/stat : 5744 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338213 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931408402672 139931916421762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5745] ppid=5734 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5745/stat : 5745 (java) S 5734 5737 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414338213 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931407348896 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5746] ppid=5734 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5746/stat : 5746 (java) S 5734 5737 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414338213 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931406295792 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5747] ppid=5734 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5747/stat : 5747 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338216 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931405244368 139931916429211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5748] ppid=5734 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5737/task/5748/stat : 5748 (java) S 5734 5737 5027 0 -1 1077944384 694 0 0 0 3 0 0 0 20 0 15 0 414338216 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931404192496 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5749] ppid=5734 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5737/task/5749/stat : 5749 (java) S 5734 5737 5027 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 414338216 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931403139952 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5750] ppid=5734 vsize=10659884 memory=140035333695104 CPUtime=0.05 cores=1,3,5,7
/proc/5737/task/5750/stat : 5750 (java) S 5734 5737 5027 0 -1 1077944384 708 0 0 0 5 0 0 0 20 0 15 0 414338216 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931402086896 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5751] ppid=5734 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5751/stat : 5751 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338216 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931401034592 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5752] ppid=5734 vsize=10659884 memory=140035333695104 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5752/stat : 5752 (java) S 5734 5737 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338216 10915721216 8793 33554432000 4194304 4196468 140728038575424 139931399981616 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35172 KiB
[startup+0.309834 s]*
/proc/loadavg: 2.08 0.88 0.37 4/227 5752
/proc/meminfo: memFree=30879076/32770624 swapFree=66934464/67108860
[pid=5737] ppid=5734 vsize=10659884 memory=40580 CPUtime=0.47 cores=1,3,5,7
/proc/5737/stat : 5737 (java) S 5734 5737 5027 0 -1 1077944320 9465 0 0 0 43 4 0 0 20 0 15 0 414338210 10915721216 10145 33554432000 4194304 4196468 140728038575424 140728038557968 139931916410615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
/proc/5737/statm: 2664971 10145 3002 1 0 2627468 0
[pid=5737/tid=5739] ppid=5734 vsize=10659884 memory=280070388187376 CPUtime=0.3 cores=1,3,5,7
/proc/5737/task/5739/stat : 5739 (java) R 5734 5737 5027 0 -1 4202560 6356 0 0 0 27 3 0 0 20 0 15 0 414338211 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931920642416 139931916422550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5740] ppid=5734 vsize=10659884 memory=4211973761538485642 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5740/stat : 5740 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931853102096 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5741] ppid=5734 vsize=10659884 memory=140035333697539 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5741/stat : 5741 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931852049552 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5742] ppid=5734 vsize=10659884 memory=140035194205363 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5742/stat : 5742 (java) S 5734 5737 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338211 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931850996496 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5743] ppid=5734 vsize=10659884 memory=140035194207183 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5743/stat : 5743 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931849943952 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5744] ppid=5734 vsize=10659884 memory=140035333700158 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5744/stat : 5744 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338213 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931408402672 139931916421762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5745] ppid=5734 vsize=10659884 memory=140035194207183 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5745/stat : 5745 (java) S 5734 5737 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414338213 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931407348896 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5746] ppid=5734 vsize=10659884 memory=280070388435088 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5746/stat : 5746 (java) S 5734 5737 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414338213 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931406295792 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5747] ppid=5734 vsize=10659884 memory=280070388432784 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5747/stat : 5747 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338216 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931405244368 139931916429211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5748] ppid=5734 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5737/task/5748/stat : 5748 (java) S 5734 5737 5027 0 -1 1077944384 716 0 0 0 4 0 0 0 20 0 15 0 414338216 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931404192496 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5749] ppid=5734 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5737/task/5749/stat : 5749 (java) S 5734 5737 5027 0 -1 1077944384 300 0 0 0 3 0 0 0 20 0 15 0 414338216 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931403139952 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5750] ppid=5734 vsize=10659884 memory=140035333695104 CPUtime=0.08 cores=1,3,5,7
/proc/5737/task/5750/stat : 5750 (java) R 5734 5737 5027 0 -1 4202560 735 0 0 0 8 0 0 0 20 0 15 0 414338216 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931402086896 139931895339959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5751] ppid=5734 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5751/stat : 5751 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338216 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931401034592 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5752] ppid=5734 vsize=10659884 memory=140035333695104 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5752/stat : 5752 (java) S 5734 5737 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338216 10915721216 10145 33554432000 4194304 4196468 140728038575424 139931399981616 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40580 KiB
[startup+0.700741 s]
/proc/loadavg: 2.08 0.88 0.37 3/227 5752
/proc/meminfo: memFree=30870036/32770624 swapFree=66934464/67108860
[pid=5737] ppid=5734 vsize=10661932 memory=64168 CPUtime=1.11 cores=1,3,5,7
/proc/5737/stat : 5737 (java) S 5734 5737 5027 0 -1 1077944320 13115 0 0 0 106 5 0 0 20 0 15 0 414338210 10917818368 16042 33554432000 4194304 4196468 140728038575424 140728038557968 139931916410615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
/proc/5737/statm: 2665483 16042 3074 1 0 2627980 0
[pid=5737/tid=5739] ppid=5734 vsize=10661932 memory=3932 CPUtime=0.68 cores=1,3,5,7
/proc/5737/task/5739/stat : 5739 (java) R 5734 5737 5027 0 -1 4202560 8909 0 0 0 64 4 0 0 20 0 15 0 414338211 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931920633552 139931900491102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5740] ppid=5734 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5740/stat : 5740 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931853102096 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5741] ppid=5734 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5741/stat : 5741 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931852049552 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5742] ppid=5734 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5742/stat : 5742 (java) S 5734 5737 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338211 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931850996496 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5743] ppid=5734 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5743/stat : 5743 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931849943952 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5744] ppid=5734 vsize=10661932 memory=5787500903046145365 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5744/stat : 5744 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338213 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931408402672 139931916421762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5745] ppid=5734 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5745/stat : 5745 (java) S 5734 5737 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414338213 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931407348896 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5746] ppid=5734 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5746/stat : 5746 (java) S 5734 5737 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414338213 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931406295792 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5747] ppid=5734 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5747/stat : 5747 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338216 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931405244368 139931916429211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5748] ppid=5734 vsize=10661932 memory=345 CPUtime=0.12 cores=1,3,5,7
/proc/5737/task/5748/stat : 5748 (java) R 5734 5737 5027 0 -1 4202560 1005 0 0 0 12 0 0 0 20 0 15 0 414338216 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931404192496 139931897955914 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5749] ppid=5734 vsize=10661932 memory=10 CPUtime=0.1 cores=1,3,5,7
/proc/5737/task/5749/stat : 5749 (java) S 5734 5737 5027 0 -1 1077944384 597 0 0 0 10 0 0 0 20 0 15 0 414338216 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931403139952 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5750] ppid=5734 vsize=10661932 memory=26446 CPUtime=0.18 cores=1,3,5,7
/proc/5737/task/5750/stat : 5750 (java) S 5734 5737 5027 0 -1 1077944384 1243 0 0 0 18 0 0 0 20 0 15 0 414338216 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931402086896 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5751] ppid=5734 vsize=10661932 memory=280070388612080 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5751/stat : 5751 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338216 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931401034592 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5752] ppid=5734 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5752/stat : 5752 (java) S 5734 5737 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338216 10917818368 16042 33554432000 4194304 4196468 140728038575424 139931399981616 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64168 KiB
[startup+1.50078 s]
/proc/loadavg: 2.08 0.88 0.37 3/227 5752
/proc/meminfo: memFree=30853844/32770624 swapFree=66934464/67108860
[pid=5737] ppid=5734 vsize=10663980 memory=76196 CPUtime=2 cores=1,3,5,7
/proc/5737/stat : 5737 (java) S 5734 5737 5027 0 -1 1077944320 18662 0 0 0 194 6 0 0 20 0 15 0 414338210 10919915520 19049 33554432000 4194304 4196468 140728038575424 140728038557968 139931916410615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
/proc/5737/statm: 2665995 19049 3095 1 0 2628492 0
[pid=5737/tid=5739] ppid=5734 vsize=10663980 memory=72268 CPUtime=1.48 cores=1,3,5,7
/proc/5737/task/5739/stat : 5739 (java) R 5734 5737 5027 0 -1 4202560 13133 0 0 0 143 5 0 0 20 0 15 0 414338211 10919915520 19049 33554432000 4194304 4196468 140728038575424 139931920642640 139931916432541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5740] ppid=5734 vsize=10663980 memory=280070388498176 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5740/stat : 5740 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10919915520 19049 33554432000 4194304 4196468 140728038575424 139931853102096 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5741] ppid=5734 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5741/stat : 5741 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10919915520 19049 33554432000 4194304 4196468 140728038575424 139931852049552 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5742] ppid=5734 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5742/stat : 5742 (java) S 5734 5737 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338211 10919915520 19049 33554432000 4194304 4196468 140728038575424 139931850996496 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5743] ppid=5734 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5743/stat : 5743 (java) S 5734 5737 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338211 10919915520 19049 33554432000 4194304 4196468 140728038575424 139931849943952 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5744] ppid=5734 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5744/stat : 5744 (java) S 5734 5737 5027 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414338213 10919915520 19049 33554432000 4194304 4196468 140728038575424 139931408402672 139931916421762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
################
# More data... #
################
[startup+3.20092 s]
/proc/loadavg: 2.24 0.93 0.39 5/229 5754
/proc/meminfo: memFree=30694172/32770624 swapFree=66934464/67108860
[pid=5737] ppid=5734 vsize=10748324 memory=230092 CPUtime=6.24 cores=1,3,5,7
/proc/5737/stat : 5737 (java) S 5734 5737 5027 0 -1 1077944320 28951 0 0 0 609 15 0 0 20 0 16 0 414338210 11006283776 57523 33554432000 4194304 4196468 140728038575424 140728038557968 139931916410615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
/proc/5737/statm: 2687081 57523 3351 1 0 2647217 0
[pid=5737/tid=5739] ppid=5734 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/5737/task/5739/stat : 5739 (java) S 5734 5737 5027 0 -1 1077944384 15368 0 0 0 178 7 0 0 20 0 16 0 414338211 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931920653488 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5740] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5740/stat : 5740 (java) S 5734 5737 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414338211 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931853102096 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5741] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5741/stat : 5741 (java) S 5734 5737 5027 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 414338211 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931852049552 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5742] ppid=5734 vsize=10748324 memory=301741373374332954 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5742/stat : 5742 (java) S 5734 5737 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 414338211 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931850996496 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5743] ppid=5734 vsize=10748324 memory=301741420686082359 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5743/stat : 5743 (java) S 5734 5737 5027 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414338211 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931849943952 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5744] ppid=5734 vsize=10748324 memory=14133350919046965 CPUtime=0.01 cores=1,3,5,7
/proc/5737/task/5744/stat : 5744 (java) S 5734 5737 5027 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 16 0 414338213 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931408402672 139931916421762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5745] ppid=5734 vsize=10748324 memory=7518304734018561620 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5745/stat : 5745 (java) S 5734 5737 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414338213 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931407348960 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5746] ppid=5734 vsize=10748324 memory=6935651454851507028 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5746/stat : 5746 (java) S 5734 5737 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414338213 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931406295808 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5747] ppid=5734 vsize=10748324 memory=11330059427 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5747/stat : 5747 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338216 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931405244368 139931916429211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5748] ppid=5734 vsize=10748324 memory=280070388712512 CPUtime=1.17 cores=1,3,5,7
/proc/5737/task/5748/stat : 5748 (java) S 5734 5737 5027 0 -1 1077944384 2744 0 0 0 117 0 0 0 20 0 16 0 414338216 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931404192496 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5749] ppid=5734 vsize=10748324 memory=280070388593576 CPUtime=1.13 cores=1,3,5,7
/proc/5737/task/5749/stat : 5749 (java) S 5734 5737 5027 0 -1 1077944384 2141 0 0 0 112 1 0 0 20 0 16 0 414338216 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931403139952 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5750] ppid=5734 vsize=10748324 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/5737/task/5750/stat : 5750 (java) S 5734 5737 5027 0 -1 1077944384 2457 0 0 0 67 1 0 0 20 0 16 0 414338216 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931402086896 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5751] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5751/stat : 5751 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338216 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931401034592 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5752] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5752/stat : 5752 (java) S 5734 5737 5027 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414338216 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931399981616 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5754] ppid=5734 vsize=10748324 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/5737/task/5754/stat : 5754 (java) R 5734 5737 5027 0 -1 4202560 3510 0 0 0 127 2 0 0 20 0 16 0 414338397 11006283776 57523 33554432000 4194304 4196468 140728038575424 139931382911984 139931534881743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 230092 KiB
[startup+4.80073 s]
/proc/loadavg: 2.24 0.93 0.39 3/229 5754
/proc/meminfo: memFree=30690756/32770624 swapFree=66934464/67108860
[pid=5737] ppid=5734 vsize=10748324 memory=238732 CPUtime=8.64 cores=1,3,5,7
/proc/5737/stat : 5737 (java) S 5734 5737 5027 0 -1 1077944320 30106 0 0 0 849 15 0 0 20 0 16 0 414338210 11006283776 59683 33554432000 4194304 4196468 140728038575424 140728038557968 139931916410615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
/proc/5737/statm: 2687081 59683 3352 1 0 2647217 0
[pid=5737/tid=5739] ppid=5734 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/5737/task/5739/stat : 5739 (java) S 5734 5737 5027 0 -1 1077944384 15368 0 0 0 178 7 0 0 20 0 16 0 414338211 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931920653488 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5740] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5740/stat : 5740 (java) S 5734 5737 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414338211 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931853102096 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5741] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5741/stat : 5741 (java) S 5734 5737 5027 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 414338211 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931852049552 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5742] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5742/stat : 5742 (java) S 5734 5737 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 414338211 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931850996496 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5743] ppid=5734 vsize=10748324 memory=55 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5743/stat : 5743 (java) S 5734 5737 5027 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414338211 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931849943952 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5744] ppid=5734 vsize=10748324 memory=8514701219376621709 CPUtime=0.01 cores=1,3,5,7
/proc/5737/task/5744/stat : 5744 (java) S 5734 5737 5027 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 16 0 414338213 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931408402672 139931916421762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5745] ppid=5734 vsize=10748324 memory=8940607975817108597 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5745/stat : 5745 (java) S 5734 5737 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414338213 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931407348960 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5746] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5746/stat : 5746 (java) S 5734 5737 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414338213 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931406295808 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5747] ppid=5734 vsize=10748324 memory=140035194180193 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5747/stat : 5747 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338216 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931405244368 139931916429211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5748] ppid=5734 vsize=10748324 memory=6944656592455350634 CPUtime=1.54 cores=1,3,5,7
/proc/5737/task/5748/stat : 5748 (java) S 5734 5737 5027 0 -1 1077944384 3147 0 0 0 154 0 0 0 20 0 16 0 414338216 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931404192496 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5749] ppid=5734 vsize=10748324 memory=1399661390618268019 CPUtime=1.52 cores=1,3,5,7
/proc/5737/task/5749/stat : 5749 (java) S 5734 5737 5027 0 -1 1077944384 2786 0 0 0 151 1 0 0 20 0 16 0 414338216 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931403139952 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5750] ppid=5734 vsize=10748324 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/5737/task/5750/stat : 5750 (java) S 5734 5737 5027 0 -1 1077944384 2532 0 0 0 71 1 0 0 20 0 16 0 414338216 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931402086896 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5751] ppid=5734 vsize=10748324 memory=7163089983428186469 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5751/stat : 5751 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338216 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931401034592 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5752] ppid=5734 vsize=10748324 memory=7163089983428186469 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5752/stat : 5752 (java) S 5734 5737 5027 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414338216 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931399981616 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5754] ppid=5734 vsize=10748324 memory=7523372460370126161 CPUtime=2.88 cores=1,3,5,7
/proc/5737/task/5754/stat : 5754 (java) R 5734 5737 5027 0 -1 4202560 3541 0 0 0 286 2 0 0 20 0 16 0 414338397 11006283776 59683 33554432000 4194304 4196468 140728038575424 139931382906368 139931535502242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
Current children cumulated CPU time: 8.64 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 238732 KiB
[startup+5.20071 s]
/proc/loadavg: 2.24 0.93 0.39 3/229 5754
/proc/meminfo: memFree=30682196/32770624 swapFree=66934464/67108860
[pid=5737] ppid=5734 vsize=10748324 memory=238904 CPUtime=9.1 cores=1,3,5,7
/proc/5737/stat : 5737 (java) S 5734 5737 5027 0 -1 1077944320 30378 0 0 0 895 15 0 0 20 0 16 0 414338210 11006283776 59726 33554432000 4194304 4196468 140728038575424 140728038557968 139931916410615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
/proc/5737/statm: 2687081 59726 3352 1 0 2647217 0
[pid=5737/tid=5739] ppid=5734 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/5737/task/5739/stat : 5739 (java) S 5734 5737 5027 0 -1 1077944384 15368 0 0 0 178 7 0 0 20 0 16 0 414338211 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931920653488 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5740] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5740/stat : 5740 (java) S 5734 5737 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414338211 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931853102096 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5741] ppid=5734 vsize=10748324 memory=7014751519700635750 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5741/stat : 5741 (java) S 5734 5737 5027 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 414338211 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931852049552 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5742] ppid=5734 vsize=10748324 memory=7884205809569129322 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5742/stat : 5742 (java) S 5734 5737 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 414338211 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931850996496 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5743] ppid=5734 vsize=10748324 memory=232836 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5743/stat : 5743 (java) S 5734 5737 5027 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414338211 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931849943952 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5744] ppid=5734 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5737/task/5744/stat : 5744 (java) S 5734 5737 5027 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 16 0 414338213 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931408402672 139931916421762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5745] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5745/stat : 5745 (java) S 5734 5737 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414338213 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931407348960 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5746] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5746/stat : 5746 (java) S 5734 5737 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414338213 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931406295808 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5747] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5747/stat : 5747 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338216 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931405244368 139931916429211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5748] ppid=5734 vsize=10748324 memory=5788911507359232418 CPUtime=1.56 cores=1,3,5,7
/proc/5737/task/5748/stat : 5748 (java) S 5734 5737 5027 0 -1 1077944384 3152 0 0 0 156 0 0 0 20 0 16 0 414338216 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931404192496 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5749] ppid=5734 vsize=10748324 memory=4283950746081398134 CPUtime=1.55 cores=1,3,5,7
/proc/5737/task/5749/stat : 5749 (java) S 5734 5737 5027 0 -1 1077944384 2793 0 0 0 154 1 0 0 20 0 16 0 414338216 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931403139952 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5750] ppid=5734 vsize=10748324 memory=-7665819917059138748 CPUtime=0.74 cores=1,3,5,7
/proc/5737/task/5750/stat : 5750 (java) S 5734 5737 5027 0 -1 1077944384 2555 0 0 0 73 1 0 0 20 0 16 0 414338216 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931402086896 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5751] ppid=5734 vsize=10748324 memory=-8171376296011865461 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5751/stat : 5751 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338216 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931401034592 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5752] ppid=5734 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5752/stat : 5752 (java) S 5734 5737 5027 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414338216 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931399981616 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5754] ppid=5734 vsize=10748324 memory=311592997559205914 CPUtime=3.29 cores=1,3,5,7
/proc/5737/task/5754/stat : 5754 (java) R 5734 5737 5027 0 -1 4202560 3778 0 0 0 326 3 0 0 20 0 16 0 414338397 11006283776 59726 33554432000 4194304 4196468 140728038575424 139931382901536 139931916432445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
Current children cumulated CPU time: 9.1 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 238904 KiB
[startup+5.60073 s]
/proc/loadavg: 2.24 0.93 0.39 3/229 5754
/proc/meminfo: memFree=30682196/32770624 swapFree=66934464/67108860
[pid=5737] ppid=5734 vsize=10748324 memory=267100 CPUtime=9.66 cores=1,3,5,7
/proc/5737/stat : 5737 (java) S 5734 5737 5027 0 -1 1077944320 30885 0 0 0 949 17 0 0 20 0 16 0 414338210 11006283776 66775 33554432000 4194304 4196468 140728038575424 140728038557968 139931916410615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
/proc/5737/statm: 2687081 66775 3373 1 0 2647217 0
[pid=5737/tid=5739] ppid=5734 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/5737/task/5739/stat : 5739 (java) S 5734 5737 5027 0 -1 1077944384 15368 0 0 0 178 7 0 0 20 0 16 0 414338211 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931920653488 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5740] ppid=5734 vsize=10748324 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5737/task/5740/stat : 5740 (java) S 5734 5737 5027 0 -1 1077944384 258 0 0 0 2 1 0 0 20 0 16 0 414338211 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931853102096 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5741] ppid=5734 vsize=10748324 memory=140035194329281 CPUtime=0.03 cores=1,3,5,7
/proc/5737/task/5741/stat : 5741 (java) S 5734 5737 5027 0 -1 1077944384 146 0 0 0 2 1 0 0 20 0 16 0 414338211 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931852049552 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5742] ppid=5734 vsize=10748324 memory=280070388683952 CPUtime=0.02 cores=1,3,5,7
/proc/5737/task/5742/stat : 5742 (java) S 5734 5737 5027 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 16 0 414338211 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931850996496 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5743] ppid=5734 vsize=10748324 memory=2244 CPUtime=0.02 cores=1,3,5,7
/proc/5737/task/5743/stat : 5743 (java) S 5734 5737 5027 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 16 0 414338211 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931849943952 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5744] ppid=5734 vsize=10748324 memory=2032 CPUtime=0.01 cores=1,3,5,7
/proc/5737/task/5744/stat : 5744 (java) S 5734 5737 5027 0 -1 1077944384 1115 0 0 0 1 0 0 0 20 0 16 0 414338213 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931408402672 139931916421762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5745] ppid=5734 vsize=10748324 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5745/stat : 5745 (java) S 5734 5737 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414338213 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931407348960 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5746] ppid=5734 vsize=10748324 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5746/stat : 5746 (java) S 5734 5737 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414338213 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931406295808 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5747] ppid=5734 vsize=10748324 memory=976 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5747/stat : 5747 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338216 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931405244368 139931916429211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5748] ppid=5734 vsize=10748324 memory=772 CPUtime=1.64 cores=1,3,5,7
/proc/5737/task/5748/stat : 5748 (java) S 5734 5737 5027 0 -1 1077944384 3162 0 0 0 164 0 0 0 20 0 16 0 414338216 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931404192496 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5749] ppid=5734 vsize=10748324 memory=3932 CPUtime=1.56 cores=1,3,5,7
/proc/5737/task/5749/stat : 5749 (java) S 5734 5737 5027 0 -1 1077944384 2796 0 0 0 155 1 0 0 20 0 16 0 414338216 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931403139952 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5750] ppid=5734 vsize=10748324 memory=2832 CPUtime=0.74 cores=1,3,5,7
/proc/5737/task/5750/stat : 5750 (java) S 5734 5737 5027 0 -1 1077944384 2558 0 0 0 73 1 0 0 20 0 16 0 414338216 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931402086896 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5751] ppid=5734 vsize=10748324 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5751/stat : 5751 (java) S 5734 5737 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338216 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931401034592 139931916420821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5752] ppid=5734 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/5737/task/5752/stat : 5752 (java) S 5734 5737 5027 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414338216 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931399981616 139931916421762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
[pid=5737/tid=5754] ppid=5734 vsize=10748324 memory=744 CPUtime=3.67 cores=1,3,5,7
/proc/5737/task/5754/stat : 5754 (java) R 5734 5737 5027 0 -1 4202560 3779 0 0 0 364 3 0 0 20 0 16 0 414338397 11006283776 66775 33554432000 4194304 4196468 140728038575424 139931382906480 139931535808735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140728038577163 140728038577266 140728038577266 140728038580175 0
Current children cumulated CPU time: 9.66 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 267100 KiB
Child status: 0
Real time (s): 5.67827
CPU time (s): 9.75422
CPU user time (s): 9.56983
CPU system time (s): 0.184384
CPU usage (%): 171.782
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 267100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.56983
system time used= 0.184384
maximum resident set size= 268056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30972
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= 3027
involuntary context switches= 35
# summary of solver processes directly reported to runsolver:
# pid: 5737
# total CPU time (s): 9.75422
# total CPU user time (s): 9.56983
# total CPU system time (s): 0.184384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058859 second user time and 0.101123 second system time
The end