2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.89
3.28/2.11 Instance
3.28/2.11 name=instance-4391194-1568389324, framework=COP, bounds=-infty..+infty
3.28/2.11
3.28/2.11 Loading variables...
3.58/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33902bc8
3.58/2.23 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dec86c4
3.58/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33c8e5ca
3.58/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce06ec7
3.58/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@be8fde9
3.58/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d94edb5
3.58/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cac3ddc
3.58/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5929b50d
3.58/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48e1d9eb
3.58/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7120ae
3.58/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed2c374
3.58/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@701483e1
3.58/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@730cc53b
3.58/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a8d44c
3.58/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@211729b6
3.58/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@943e22b
3.58/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d1208b5
3.58/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a91611b
3.58/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64414414
3.58/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@558c1d36
3.58/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb4578c
3.58/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19c8da50
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418a1583
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@758e156c
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37951ef5
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428fa27c
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aea962a
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d8acee6
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cd12fa2
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d70a019
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f4ad10a
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24996cd4
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d5feb94
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530ad53
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26b0719f
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48bcc0d7
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40573234
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ede2cd
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b51f503
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e51240
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@707e88c5
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@373ba14b
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b89882e
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13db10c7
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@736b5532
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47386a9f
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@599b937a
3.58/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21d60da0
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5083f682
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@137d7bc8
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9bbfd3
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78423bba
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@714ba9ac
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55f3347d
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16b39245
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c0103aa
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36100e73
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e41764c
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@485f7e71
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e24052c
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57b9de82
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@758c3e54
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cead50f
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a528d4
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f3869f
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370140f1
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ae7b795
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6192b071
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@749553e1
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1760e20a
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ae1ce8
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3fb492
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73160207
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65eaad9f
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f07eae6
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@203be54c
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a290baa
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c973552
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f8d5d9
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388931a
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5058d1bd
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61702833
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc43b29
3.58/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10328ccf
3.58/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19077bc4
3.58/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75462cae
3.58/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5297c27f
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53b61ca8
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dd79d67
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52273c5a
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bd55615
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c8006c
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65bc6095
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f360f7b
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9c13be
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fb591fc
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a701bf9
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@617c1113
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e0b1a4
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dce3065
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cc5e3d6
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@460a0880
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705c5d98
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76fa034f
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@711208ed
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25caa088
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26e02c91
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34ee0f21
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7471c9b4
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75796e5b
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b3655d7
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@138d348b
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b9cb09d
3.94/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4878b299
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae098b2
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ace086a
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56e682d9
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5766aa97
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309fac97
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2478db41
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@539be8e9
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30ea5227
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac454f2
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bbb890a
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24c04d43
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e30ccd4
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7b6655
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d86dbf9
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c2e9a4d
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b9ce32
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794c4f75
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@305ead23
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d64bcf
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f9af3fe
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@329c2a4f
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6321947b
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cabcc22
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c0a5708
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4317a78c
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42193921
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b5660d
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b26e64b
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6e2b4b
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef9ecca
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11e168fc
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78d5761a
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39088bf9
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195467df
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62c32130
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c781f0
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a7a34d9
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17008118
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67cc9d6c
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42792fe2
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e82
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c89d54
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9e9906
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@efd8cf3
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c4d11a
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e61365
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b53cc6c
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d9c15ba
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40de0f62
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea27e93
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@676df759
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0bf104
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3007d29c
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@400f52d0
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375cee13
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ff1a7dc
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3b9eba
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c158953
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e746f48
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@105db81b
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14ae2dfb
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec9ec25
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a5c41f3
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309efd8b
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f17251
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ec44ef4
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac6e0e5
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23da539b
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a5b4cc
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ebb24b7
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4396f4cf
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c294dfa
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff2a2cc
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60bedbd3
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31122407
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71af9ca1
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a81eb3e
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dab046f
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ce28957
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f77bda8
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44413c38
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6edc4537
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c78a03
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33e8ef56
4.49/2.52
4.49/2.52
4.49/2.52 Domains
4.49/2.52 nTypes=14, nValues=39516, sizes=[2#534,5#178,6#178,7#178...16#178,17#178,18#178,22#178]
4.49/2.52 Variables
4.49/2.52 count=3738, degrees=[3#218,4#3520]
4.49/2.52 Objectives
4.49/2.52 way=min, type=SumSimpleLE
4.49/2.52 Constraints
4.49/2.52 count=377, nSpecific=377, arities=[21#178,40#177,178#22]
4.49/2.52 distribution=[LexicographicLe#177,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#178]
4.49/2.52 wck=0.671, cpu=2.475, mem=105M802
4.49/2.53 Solver SolverBacktrack being built...
4.49/2.53
4.49/2.59
4.49/2.59 Solver
4.49/2.59 guaranteedGAC=false
4.49/2.59 wck=0.737, cpu=2.54, mem=124M372
4.73/2.68
4.73/2.68 Preprocessing
4.73/2.68 filters=178, nACremovedValues=30616, nTotalRemovedValues=30616, inconcistency=false
4.73/2.68 wck=0.087, cpu=2.63, mem=124M372
4.73/2.68
4.96/2.78 num=0, depth=0..180, filters=1811, wck=0.19, mem=124M372
4.96/2.78 decisions=191, wrong=10, backtracks=0, failedAssignments=10, nogoods=9
4.96/2.78
5.24/2.86 num=1, depth=0..187, filters=3570, wck=0.276, mem=124M372
5.24/2.86 decisions=390, wrong=21, backtracks=0, failedAssignments=21, nogoods=19
5.24/2.86
5.55/2.92 num=2, depth=0..203, filters=5628, wck=0.334, mem=127M14
5.55/2.92 decisions=609, wrong=35, backtracks=2, failedAssignments=33, nogoods=30
5.55/2.92
5.55/2.97 num=3, depth=146..164, filters=6509, wck=0.383, mem=127M14
5.55/2.97 decisions=838, wrong=72, backtracks=28, failedAssignments=46, nogoods=34
5.55/2.97
5.88/3.01 num=4, depth=80..94, filters=8676, wck=0.421, mem=127M14
5.88/3.01 decisions=974, wrong=100, backtracks=42, failedAssignments=60, nogoods=35
5.88/3.01
5.88/3.05 num=5, depth=13..284, filters=11671, wck=0.465, mem=127M14
5.88/3.05 decisions=1282, wrong=120, backtracks=46, failedAssignments=76, nogoods=51
5.88/3.05
5.88/3.09 num=6, depth=14..68, filters=14689, wck=0.501, mem=127M14
5.88/3.09 decisions=1416, wrong=158, backtracks=75, failedAssignments=93, nogoods=56
5.88/3.09
6.20/3.15 num=7, depth=1..22, filters=18433, wck=0.566, mem=127M14
6.20/3.15 decisions=1576, wrong=235, backtracks=145, failedAssignments=112, nogoods=58
6.20/3.15
6.20/3.18 num=8, depth=15..217, filters=20027, wck=0.592, mem=127M14
6.20/3.18 decisions=1815, wrong=256, backtracks=145, failedAssignments=133, nogoods=79
6.20/3.18
6.47/3.23 num=9, depth=104..193, filters=24288, wck=0.648, mem=127M14
6.47/3.23 decisions=2121, wrong=317, backtracks=191, failedAssignments=156, nogoods=81
6.47/3.23
6.47/3.28 num=10, depth=136..183, filters=28748, wck=0.696, mem=127M14
6.47/3.28 decisions=2447, wrong=408, backtracks=274, failedAssignments=181, nogoods=83
6.47/3.28
6.78/3.32 num=11, depth=34..63, filters=31435, wck=0.729, mem=127M14
6.78/3.32 decisions=2815, wrong=575, backtracks=442, failedAssignments=209, nogoods=84
6.78/3.32
6.78/3.38 num=12, depth=119..177, filters=36396, wck=0.79, mem=127M14
6.78/3.38 decisions=3331, wrong=762, backtracks=620, failedAssignments=240, nogoods=86
6.78/3.38
7.01/3.42 num=13, depth=13..39, filters=39257, wck=0.83, mem=127M14
7.01/3.42 decisions=3571, wrong=874, backtracks=719, failedAssignments=274, nogoods=88
7.01/3.42
7.01/3.48 num=14, depth=13..146, filters=45197, wck=0.893, mem=127M14
7.01/3.48 decisions=3968, wrong=1012, backtracks=821, failedAssignments=311, nogoods=96
7.01/3.48
7.23/3.51 num=15, depth=13..145, filters=47733, wck=0.926, mem=127M14
7.23/3.51 decisions=4261, wrong=1093, backtracks=882, failedAssignments=352, nogoods=110
7.23/3.51
7.47/3.60 num=16, depth=13..114, filters=54495, wck=1.011, mem=127M14
7.47/3.60 decisions=4649, wrong=1266, backtracks=1028, failedAssignments=397, nogoods=119
7.47/3.60
7.47/3.67 num=17, depth=0..55, filters=61052, wck=1.087, mem=127M14
7.47/3.67 decisions=5191, wrong=1533, backtracks=1288, failedAssignments=447, nogoods=120
7.47/3.67
7.58/3.71 num=18, depth=3..225, filters=63998, wck=1.12, mem=127M14
7.58/3.71 decisions=5605, wrong=1638, backtracks=1366, failedAssignments=502, nogoods=139
7.58/3.71
7.58/3.74 num=19, depth=3..84, filters=68617, wck=1.158, mem=127M14
7.58/3.74 decisions=5940, wrong=1789, backtracks=1500, failedAssignments=563, nogoods=148
7.58/3.74
7.69/3.80 num=20, depth=5..248, filters=74835, wck=1.216, mem=127M14
7.69/3.80 decisions=6511, wrong=1957, backtracks=1608, failedAssignments=630, nogoods=163
7.69/3.80
7.69/3.85 num=21, depth=6..279, filters=78403, wck=1.262, mem=127M14
7.69/3.85 decisions=7049, wrong=2095, backtracks=1704, failedAssignments=704, nogoods=179
7.69/3.85
7.86/3.90 o 156
7.86/3.92 num=22, depth=6..3737, filters=80230, ccks=377, wck=1.329, mem=129M672
7.86/3.92 decisions=7414, wrong=2142, backtracks=1722, failedAssignments=734, nogoods=199, foundSolutions=1, bestBound=156
7.86/3.92
8.18/4.03 o 155
8.18/4.04 num=23, depth=7..3737, filters=82081, ccks=754, wck=1.45, mem=129M672
8.18/4.04 decisions=7807, wrong=2204, backtracks=1750, failedAssignments=776, nogoods=228, foundSolutions=2, bestBound=155
8.18/4.04
8.18/4.10 num=24, depth=10..127, filters=83137, ccks=754, wck=1.516, mem=129M672
8.18/4.10 decisions=7947, wrong=2216, backtracks=1751, failedAssignments=787, nogoods=239, foundSolutions=2, bestBound=155
8.18/4.10
8.46/4.11 num=25, depth=9..98, filters=83976, ccks=754, wck=1.527, mem=129M672
8.46/4.11 decisions=8057, wrong=2227, backtracks=1751, failedAssignments=798, nogoods=250, foundSolutions=2, bestBound=155
8.46/4.11
8.46/4.13 num=26, depth=16..136, filters=84648, ccks=754, wck=1.539, mem=129M672
8.46/4.13 decisions=8219, wrong=2244, backtracks=1760, failedAssignments=810, nogoods=257, foundSolutions=2, bestBound=155
8.46/4.13
8.46/4.13 num=27, depth=9..36, filters=85090, ccks=754, wck=1.545, mem=129M672
8.46/4.13 decisions=8269, wrong=2257, backtracks=1760, failedAssignments=823, nogoods=270, foundSolutions=2, bestBound=155
8.46/4.13
8.46/4.15 num=28, depth=0..54, filters=86819, ccks=754, wck=1.564, mem=129M672
8.46/4.15 decisions=8401, wrong=2298, backtracks=1792, failedAssignments=837, nogoods=274, foundSolutions=2, bestBound=155
8.46/4.15
8.46/4.16 num=29, depth=7..44, filters=87593, ccks=754, wck=1.573, mem=129M672
8.46/4.16 decisions=8506, wrong=2332, backtracks=1815, failedAssignments=853, nogoods=279, foundSolutions=2, bestBound=155
8.46/4.16
8.46/4.17 num=30, depth=10..55, filters=89351, ccks=754, wck=1.588, mem=132M314
8.46/4.17 decisions=8610, wrong=2366, backtracks=1832, failedAssignments=870, nogoods=282, foundSolutions=2, bestBound=155
8.46/4.17
8.46/4.19 num=31, depth=11..242, filters=90651, ccks=754, wck=1.607, mem=132M314
8.46/4.19 decisions=8898, wrong=2397, backtracks=1849, failedAssignments=889, nogoods=293, foundSolutions=2, bestBound=155
8.46/4.19
8.59/4.21 num=32, depth=11..255, filters=91920, ccks=754, wck=1.625, mem=132M314
8.59/4.21 decisions=9224, wrong=2437, backtracks=1876, failedAssignments=910, nogoods=297, foundSolutions=2, bestBound=155
8.59/4.21
8.59/4.25 o 139
8.59/4.25 num=33, depth=12..3737, filters=92885, ccks=1131, wck=1.667, mem=132M314
8.59/4.25 decisions=9467, wrong=2448, backtracks=1876, failedAssignments=921, nogoods=308, foundSolutions=3, bestBound=139
8.59/4.25
8.72/4.34 o 138
8.72/4.34 num=34, depth=12..3737, filters=93851, ccks=1508, wck=1.755, mem=134M957
8.72/4.34 decisions=9720, wrong=2458, backtracks=1883, failedAssignments=928, nogoods=311, foundSolutions=4, bestBound=138
8.72/4.34
8.82/4.42 o 130
8.82/4.43 num=35, depth=12..3737, filters=94831, ccks=1885, wck=1.841, mem=134M957
8.82/4.43 decisions=9916, wrong=2476, backtracks=1895, failedAssignments=938, nogoods=317, foundSolutions=5, bestBound=130
8.82/4.43
8.82/4.48 num=36, depth=39..67, filters=95537, ccks=1885, wck=1.898, mem=134M957
8.82/4.48 decisions=10013, wrong=2495, backtracks=1906, failedAssignments=949, nogoods=322, foundSolutions=5, bestBound=130
8.82/4.48
8.82/4.50 num=37, depth=12..52, filters=96655, ccks=1885, wck=1.91, mem=134M957
8.82/4.50 decisions=10115, wrong=2528, backtracks=1933, failedAssignments=960, nogoods=327, foundSolutions=5, bestBound=130
8.82/4.50
8.99/4.51 num=38, depth=0..56, filters=98117, ccks=1885, wck=1.925, mem=134M957
8.99/4.51 decisions=10238, wrong=2567, backtracks=1962, failedAssignments=972, nogoods=330, foundSolutions=5, bestBound=130
8.99/4.51
8.99/4.53 num=39, depth=6..61, filters=99353, ccks=1885, wck=1.939, mem=134M957
8.99/4.53 decisions=10358, wrong=2602, backtracks=1986, failedAssignments=985, nogoods=333, foundSolutions=5, bestBound=130
8.99/4.53
8.99/4.54 num=40, depth=6..51, filters=101403, ccks=1885, wck=1.956, mem=134M957
8.99/4.54 decisions=10494, wrong=2655, backtracks=2031, failedAssignments=999, nogoods=336, foundSolutions=5, bestBound=130
8.99/4.54
8.99/4.55 num=41, depth=6..53, filters=102447, ccks=1885, wck=1.964, mem=134M957
8.99/4.55 decisions=10587, wrong=2684, backtracks=2045, failedAssignments=1015, nogoods=341, foundSolutions=5, bestBound=130
8.99/4.55
8.99/4.56 num=42, depth=33..52, filters=103423, ccks=1885, wck=1.974, mem=134M957
8.99/4.56 decisions=10686, wrong=2715, backtracks=2062, failedAssignments=1032, nogoods=344, foundSolutions=5, bestBound=130
8.99/4.56
8.99/4.58 num=43, depth=0..49, filters=106055, ccks=1885, wck=1.998, mem=134M957
8.99/4.58 decisions=10877, wrong=2794, backtracks=2128, failedAssignments=1051, nogoods=351, foundSolutions=5, bestBound=130
8.99/4.58
9.11/4.61
9.11/4.61 New Bounds: 130..129
9.11/4.61 num=44, depth=0..34, filters=108436, ccks=1885, wck=2.023, mem=134M957
9.11/4.61 decisions=11069, wrong=2891, backtracks=2220, failedAssignments=1069, foundSolutions=5, bestBound=130
9.11/4.61
9.11/4.61 Global
9.11/4.61 filters=108436, ccks=1885
9.11/4.61 Stop=FULL_EXPLORATION, wrong=2891, bestBound=130, bestBoundWck=2.577, bestBoundCpu=4.378, foundSolutions=5, firstSolCpu=3.853
9.11/4.61 wck=2.762, cpu=4.563, mem=134M957
9.11/4.61
9.11/4.61 v <instantiation id='sol5' type='solution' cost='130'> <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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 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 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 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 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 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 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 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 1 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 0 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.11/4.61 s OPTIMUM FOUND
9.11/4.61
9.11/4.61 d WRONG_DECISIONS 2891
9.11/4.61 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 (11653 MiB free)
memory of node 1: 16384 MiB (14342 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391194-1568389324/watcher-4391194-1568389324 -o /tmp/evaluation-result-4391194-1568389324/solver-4391194-1568389324 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3790 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391194-1568389324.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3814, runsolver pid=3811
[startup+0.100072 s]*
/proc/loadavg: 1.13 1.66 1.84 4/227 3849
/proc/meminfo: memFree=26587268/32770624 swapFree=66957012/67108860
[pid=3814] ppid=3811 vsize=10659884 memory=27880 CPUtime=0.13 cores=1,3,5,7
/proc/3814/stat : 3814 (java) S 3811 3814 3758 0 -1 1077944320 5453 0 0 0 12 1 0 0 20 0 15 0 414846227 10915721216 6970 33554432000 4194304 4196468 140729817287088 140729817269632 140233430888183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
/proc/3814/statm: 2664971 6970 2859 1 0 2627468 0
[pid=3814/tid=3816] ppid=3811 vsize=10659884 memory=-8253362762721355408 CPUtime=0.09 cores=1,3,5,7
/proc/3814/task/3816/stat : 3816 (java) R 3811 3814 3758 0 -1 4202560 3275 0 0 0 8 1 0 0 20 0 15 0 414846227 10915721216 6970 33554432000 4194304 4196468 140729817287088 140233435117144 140233423125310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3819] ppid=3811 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3819/stat : 3819 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10915721216 6970 33554432000 4194304 4196468 140729817287088 140233037179280 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3820] ppid=3811 vsize=10659884 memory=140148766201472 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3820/stat : 3820 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10915721216 6970 33554432000 4194304 4196468 140729817287088 140233036126480 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3821] ppid=3811 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3821/stat : 3821 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10915721216 6970 33554432000 4194304 4196468 140729817287088 140233035074192 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3822] ppid=3811 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3822/stat : 3822 (java) S 3811 3814 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846228 10915721216 6970 33554432000 4194304 4196468 140729817287088 140233034021392 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3828] ppid=3811 vsize=10659884 memory=140148766201472 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3828/stat : 3828 (java) S 3811 3814 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 6970 33554432000 4194304 4196468 140729817287088 140232922942064 140233430899330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3833] ppid=3811 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3833/stat : 3833 (java) S 3811 3814 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846230 10915721216 7036 33554432000 4194304 4196468 140729817287088 140232921888032 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3834] ppid=3811 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3834/stat : 3834 (java) S 3811 3814 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846230 10915721216 7036 33554432000 4194304 4196468 140729817287088 140232920835696 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3838] ppid=3811 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3838/stat : 3838 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846232 10915721216 7036 33554432000 4194304 4196468 140729817287088 140232919784016 140233430906779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3839] ppid=3811 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3839/stat : 3839 (java) R 3811 3814 3758 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 15 0 414846232 10915721216 7036 33554432000 4194304 4196468 140729817287088 140232918730864 140233430899330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3840] ppid=3811 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3840/stat : 3840 (java) S 3811 3814 3758 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414846232 10915721216 7036 33554432000 4194304 4196468 140729817287088 140232917678064 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3841] ppid=3811 vsize=10659884 memory=140148766201472 CPUtime=0.02 cores=1,3,5,7
/proc/3814/task/3841/stat : 3841 (java) R 3811 3814 3758 0 -1 4202560 421 0 0 0 2 0 0 0 20 0 15 0 414846232 10915721216 7036 33554432000 4194304 4196468 140729817287088 140232916625776 140233409256822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3842] ppid=3811 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3842/stat : 3842 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846233 10915721216 7036 33554432000 4194304 4196468 140729817287088 140232915573216 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3843] ppid=3811 vsize=10659884 memory=140148766201472 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3843/stat : 3843 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846233 10915721216 7036 33554432000 4194304 4196468 140729817287088 140232914521008 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27880 KiB
[startup+0.210649 s]*
/proc/loadavg: 1.13 1.66 1.84 4/227 3849
/proc/meminfo: memFree=26569748/32770624 swapFree=66957012/67108860
[pid=3814] ppid=3811 vsize=10659884 memory=35172 CPUtime=0.33 cores=1,3,5,7
/proc/3814/stat : 3814 (java) S 3811 3814 3758 0 -1 1077944320 6903 0 0 0 31 2 0 0 20 0 15 0 414846227 10915721216 8793 33554432000 4194304 4196468 140729817287088 140729817269632 140233430888183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
/proc/3814/statm: 2664971 8793 2989 1 0 2627468 0
[pid=3814/tid=3816] ppid=3811 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3814/task/3816/stat : 3816 (java) R 3811 3814 3758 0 -1 4202560 3876 0 0 0 19 1 0 0 20 0 15 0 414846227 10915721216 8793 33554432000 4194304 4196468 140729817287088 140233435126352 140233430910109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3819] ppid=3811 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3819/stat : 3819 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10915721216 8793 33554432000 4194304 4196468 140729817287088 140233037179280 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3820] ppid=3811 vsize=10659884 memory=140148767466084 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3820/stat : 3820 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10915721216 8793 33554432000 4194304 4196468 140729817287088 140233036126480 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3821] ppid=3811 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3821/stat : 3821 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10915721216 8793 33554432000 4194304 4196468 140729817287088 140233035074192 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3822] ppid=3811 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3822/stat : 3822 (java) S 3811 3814 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846228 10915721216 8793 33554432000 4194304 4196468 140729817287088 140233034021392 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3828] ppid=3811 vsize=10659884 memory=140148766201472 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3828/stat : 3828 (java) S 3811 3814 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 8793 33554432000 4194304 4196468 140729817287088 140232922942064 140233430899330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3833] ppid=3811 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3833/stat : 3833 (java) S 3811 3814 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846230 10915721216 8793 33554432000 4194304 4196468 140729817287088 140232921888032 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3834] ppid=3811 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3834/stat : 3834 (java) S 3811 3814 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846230 10915721216 8793 33554432000 4194304 4196468 140729817287088 140232920835696 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3838] ppid=3811 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3838/stat : 3838 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846232 10915721216 8793 33554432000 4194304 4196468 140729817287088 140232919784016 140233430906779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3839] ppid=3811 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3814/task/3839/stat : 3839 (java) S 3811 3814 3758 0 -1 1077944384 670 0 0 0 3 0 0 0 20 0 15 0 414846232 10915721216 8793 33554432000 4194304 4196468 140729817287088 140232918730864 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3840] ppid=3811 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/3814/task/3840/stat : 3840 (java) S 3811 3814 3758 0 -1 1077944384 225 0 0 0 3 0 0 0 20 0 15 0 414846232 10915721216 8793 33554432000 4194304 4196468 140729817287088 140232917678064 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3841] ppid=3811 vsize=10659884 memory=140148766201472 CPUtime=0.05 cores=1,3,5,7
/proc/3814/task/3841/stat : 3841 (java) S 3811 3814 3758 0 -1 1077944384 773 0 0 0 5 0 0 0 20 0 15 0 414846232 10915721216 8793 33554432000 4194304 4196468 140729817287088 140232916625776 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3842] ppid=3811 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3842/stat : 3842 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846233 10915721216 8793 33554432000 4194304 4196468 140729817287088 140232915573216 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3843] ppid=3811 vsize=10659884 memory=140148766201472 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3843/stat : 3843 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846233 10915721216 8793 33554432000 4194304 4196468 140729817287088 140232914521008 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35172 KiB
[startup+0.310049 s]*
/proc/loadavg: 1.13 1.66 1.84 6/227 3849
/proc/meminfo: memFree=26559248/32770624 swapFree=66957012/67108860
[pid=3814] ppid=3811 vsize=10659884 memory=40564 CPUtime=0.47 cores=1,3,5,7
/proc/3814/stat : 3814 (java) S 3811 3814 3758 0 -1 1077944320 9443 0 0 0 44 3 0 0 20 0 15 0 414846227 10915721216 10141 33554432000 4194304 4196468 140729817287088 140729817269632 140233430888183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
/proc/3814/statm: 2664971 10141 3002 1 0 2627468 0
[pid=3814/tid=3816] ppid=3811 vsize=10659884 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/3814/task/3816/stat : 3816 (java) R 3811 3814 3758 0 -1 4202560 6345 0 0 0 28 2 0 0 20 0 15 0 414846227 10915721216 10141 33554432000 4194304 4196468 140729817287088 140233435110864 140233430910109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3819] ppid=3811 vsize=10659884 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3819/stat : 3819 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10915721216 10141 33554432000 4194304 4196468 140729817287088 140233037179280 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3820] ppid=3811 vsize=10659884 memory=140148766259488 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3820/stat : 3820 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10915721216 10141 33554432000 4194304 4196468 140729817287088 140233036126480 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3821] ppid=3811 vsize=10659884 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3821/stat : 3821 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10915721216 10141 33554432000 4194304 4196468 140729817287088 140233035074192 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3822] ppid=3811 vsize=10659884 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3822/stat : 3822 (java) S 3811 3814 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846228 10915721216 10141 33554432000 4194304 4196468 140729817287088 140233034021392 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3828] ppid=3811 vsize=10659884 memory=140148766266400 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3828/stat : 3828 (java) S 3811 3814 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 10141 33554432000 4194304 4196468 140729817287088 140232922942064 140233430899330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3833] ppid=3811 vsize=10659884 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3833/stat : 3833 (java) S 3811 3814 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846230 10915721216 10141 33554432000 4194304 4196468 140729817287088 140232921888032 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3834] ppid=3811 vsize=10659884 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3834/stat : 3834 (java) S 3811 3814 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846230 10915721216 10141 33554432000 4194304 4196468 140729817287088 140232920835696 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3838] ppid=3811 vsize=10659884 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3838/stat : 3838 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846232 10915721216 10141 33554432000 4194304 4196468 140729817287088 140232919784016 140233430906779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3839] ppid=3811 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3814/task/3839/stat : 3839 (java) R 3811 3814 3758 0 -1 1077944384 680 0 0 0 4 0 0 0 20 0 15 0 414846232 10915721216 10141 33554432000 4194304 4196468 140729817287088 140232918730864 140233430899330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3840] ppid=3811 vsize=10659884 memory=140148608196559 CPUtime=0.04 cores=1,3,5,7
/proc/3814/task/3840/stat : 3840 (java) R 3811 3814 3758 0 -1 4202560 266 0 0 0 4 0 0 0 20 0 15 0 414846232 10915721216 10141 33554432000 4194304 4196468 140729817287088 140232917678064 140233414388370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3841] ppid=3811 vsize=10659884 memory=140148766205262 CPUtime=0.07 cores=1,3,5,7
/proc/3814/task/3841/stat : 3841 (java) S 3811 3814 3758 0 -1 1077944384 796 0 0 0 7 0 0 0 20 0 15 0 414846232 10915721216 10141 33554432000 4194304 4196468 140729817287088 140232916625776 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3842] ppid=3811 vsize=10659884 memory=140148608196559 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3842/stat : 3842 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846233 10915721216 10141 33554432000 4194304 4196468 140729817287088 140232915573216 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3843] ppid=3811 vsize=10659884 memory=280297374404992 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3843/stat : 3843 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846233 10915721216 10141 33554432000 4194304 4196468 140729817287088 140232914521008 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40564 KiB
[startup+0.701 s]
/proc/loadavg: 1.13 1.66 1.84 4/227 3849
/proc/meminfo: memFree=26540580/32770624 swapFree=66957012/67108860
[pid=3814] ppid=3811 vsize=10661932 memory=64156 CPUtime=1.1 cores=1,3,5,7
/proc/3814/stat : 3814 (java) S 3811 3814 3758 0 -1 1077944320 13115 0 0 0 106 4 0 0 20 0 15 0 414846227 10917818368 16039 33554432000 4194304 4196468 140729817287088 140729817269632 140233430888183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
/proc/3814/statm: 2665483 16039 3061 1 0 2627980 0
[pid=3814/tid=3816] ppid=3811 vsize=10661932 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/3814/task/3816/stat : 3816 (java) R 3811 3814 3758 0 -1 4202560 8892 0 0 0 64 3 0 0 20 0 15 0 414846227 10917818368 16039 33554432000 4194304 4196468 140729817287088 140233435110320 140233414074992 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3819] ppid=3811 vsize=10661932 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3819/stat : 3819 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10917818368 16039 33554432000 4194304 4196468 140729817287088 140233037179280 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3820] ppid=3811 vsize=10661932 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3820/stat : 3820 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10917818368 16039 33554432000 4194304 4196468 140729817287088 140233036126480 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3821] ppid=3811 vsize=10661932 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3821/stat : 3821 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10917818368 16039 33554432000 4194304 4196468 140729817287088 140233035074192 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3822] ppid=3811 vsize=10661932 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3822/stat : 3822 (java) S 3811 3814 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846228 10917818368 16039 33554432000 4194304 4196468 140729817287088 140233034021392 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3828] ppid=3811 vsize=10661932 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3828/stat : 3828 (java) S 3811 3814 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10917818368 16039 33554432000 4194304 4196468 140729817287088 140232922942064 140233430899330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3833] ppid=3811 vsize=10661932 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3833/stat : 3833 (java) S 3811 3814 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846230 10917818368 16039 33554432000 4194304 4196468 140729817287088 140232921888032 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3834] ppid=3811 vsize=10661932 memory=21280 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3834/stat : 3834 (java) S 3811 3814 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846230 10917818368 16039 33554432000 4194304 4196468 140729817287088 140232920835696 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3838] ppid=3811 vsize=10661932 memory=492 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3838/stat : 3838 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846232 10917818368 16039 33554432000 4194304 4196468 140729817287088 140232919784016 140233430906779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3839] ppid=3811 vsize=10661932 memory=1560 CPUtime=0.11 cores=1,3,5,7
/proc/3814/task/3839/stat : 3839 (java) R 3811 3814 3758 0 -1 4202560 1017 0 0 0 11 0 0 0 20 0 15 0 414846232 10917818368 16039 33554432000 4194304 4196468 140729817287088 140232918730864 140233414794322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3840] ppid=3811 vsize=10661932 memory=932 CPUtime=0.1 cores=1,3,5,7
/proc/3814/task/3840/stat : 3840 (java) S 3811 3814 3758 0 -1 1077944384 587 0 0 0 10 0 0 0 20 0 15 0 414846232 10917818368 16039 33554432000 4194304 4196468 140729817287088 140232917678064 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3841] ppid=3811 vsize=10661932 memory=7305218370954617430 CPUtime=0.18 cores=1,3,5,7
/proc/3814/task/3841/stat : 3841 (java) S 3811 3814 3758 0 -1 1077944384 1260 0 0 0 18 0 0 0 20 0 15 0 414846232 10917818368 16039 33554432000 4194304 4196468 140729817287088 140232916625776 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3842] ppid=3811 vsize=10661932 memory=6082790135224887401 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3842/stat : 3842 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846233 10917818368 16039 33554432000 4194304 4196468 140729817287088 140232915573216 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3843] ppid=3811 vsize=10661932 memory=8025788814078207340 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3843/stat : 3843 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846233 10917818368 16039 33554432000 4194304 4196468 140729817287088 140232914521008 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64156 KiB
[startup+1.50079 s]
/proc/loadavg: 1.13 1.66 1.84 3/227 3849
/proc/meminfo: memFree=26508496/32770624 swapFree=66957012/67108860
[pid=3814] ppid=3811 vsize=10663980 memory=76136 CPUtime=2 cores=1,3,5,7
/proc/3814/stat : 3814 (java) S 3811 3814 3758 0 -1 1077944320 18701 0 0 0 195 5 0 0 20 0 15 0 414846227 10919915520 19034 33554432000 4194304 4196468 140729817287088 140729817269632 140233430888183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
/proc/3814/statm: 2665995 19034 3096 1 0 2628492 0
[pid=3814/tid=3816] ppid=3811 vsize=10663980 memory=6940154113932015932 CPUtime=1.48 cores=1,3,5,7
/proc/3814/task/3816/stat : 3816 (java) R 3811 3814 3758 0 -1 4202560 13098 0 0 0 144 4 0 0 20 0 15 0 414846227 10919915520 19034 33554432000 4194304 4196468 140729817287088 140233435114064 140233414996056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3819] ppid=3811 vsize=10663980 memory=67872 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3819/stat : 3819 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10919915520 19034 33554432000 4194304 4196468 140729817287088 140233037179280 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3820] ppid=3811 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3820/stat : 3820 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10919915520 19034 33554432000 4194304 4196468 140729817287088 140233036126480 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3821] ppid=3811 vsize=10663980 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3821/stat : 3821 (java) S 3811 3814 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846228 10919915520 19034 33554432000 4194304 4196468 140729817287088 140233035074192 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3822] ppid=3811 vsize=10663980 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3822/stat : 3822 (java) S 3811 3814 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846228 10919915520 19034 33554432000 4194304 4196468 140729817287088 140233034021392 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3828] ppid=3811 vsize=10663980 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3828/stat : 3828 (java) S 3811 3814 3758 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 414846229 10919915520 19034 33554432000 4194304 4196468 140729817287088 140232922942064 140233430899330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
################
# More data... #
################
[startup+3.20105 s]
/proc/loadavg: 1.44 1.71 1.86 5/209 3861
/proc/meminfo: memFree=26407560/32770624 swapFree=66957012/67108860
[pid=3814] ppid=3811 vsize=10748324 memory=233572 CPUtime=6.47 cores=1,3,5,7
/proc/3814/stat : 3814 (java) S 3811 3814 3758 0 -1 1077944320 34581 0 0 0 633 14 0 0 20 0 16 0 414846227 11006283776 58393 33554432000 4194304 4196468 140729817287088 140729817269632 140233430888183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
/proc/3814/statm: 2687081 58393 3350 1 0 2647217 0
[pid=3814/tid=3816] ppid=3811 vsize=10748324 memory=613 CPUtime=1.85 cores=1,3,5,7
/proc/3814/task/3816/stat : 3816 (java) S 3811 3814 3758 0 -1 1077944384 15355 0 0 0 180 5 0 0 20 0 16 0 414846227 11006283776 58393 33554432000 4194304 4196468 140729817287088 140233435131056 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3819] ppid=3811 vsize=10748324 memory=140148608200620 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3819/stat : 3819 (java) S 3811 3814 3758 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 16 0 414846228 11006283776 58393 33554432000 4194304 4196468 140729817287088 140233037179280 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3820] ppid=3811 vsize=10748324 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3820/stat : 3820 (java) S 3811 3814 3758 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414846228 11006283776 58393 33554432000 4194304 4196468 140729817287088 140233036126480 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3821] ppid=3811 vsize=10748324 memory=776 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3821/stat : 3821 (java) S 3811 3814 3758 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 414846228 11006283776 58393 33554432000 4194304 4196468 140729817287088 140233035074192 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3822] ppid=3811 vsize=10748324 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3822/stat : 3822 (java) S 3811 3814 3758 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414846228 11006283776 58393 33554432000 4194304 4196468 140729817287088 140233034021392 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3828] ppid=3811 vsize=10748324 memory=4008 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3828/stat : 3828 (java) S 3811 3814 3758 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 414846229 11006283776 58393 33554432000 4194304 4196468 140729817287088 140232922942064 140233430899330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3833] ppid=3811 vsize=10748324 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3833/stat : 3833 (java) S 3811 3814 3758 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414846230 11006283776 58393 33554432000 4194304 4196468 140729817287088 140232921888096 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3834] ppid=3811 vsize=10748324 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3834/stat : 3834 (java) S 3811 3814 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414846230 11006283776 58393 33554432000 4194304 4196468 140729817287088 140232920835712 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3838] ppid=3811 vsize=10748324 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3838/stat : 3838 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846232 11006283776 58393 33554432000 4194304 4196468 140729817287088 140232919784016 140233430906779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3839] ppid=3811 vsize=10748324 memory=14008 CPUtime=1.31 cores=1,3,5,7
/proc/3814/task/3839/stat : 3839 (java) R 3811 3814 3758 0 -1 4202560 4280 0 0 0 131 0 0 0 20 0 16 0 414846232 11006283776 58393 33554432000 4194304 4196468 140729817287088 140232918717712 140233414788784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3840] ppid=3811 vsize=10748324 memory=12040 CPUtime=1.26 cores=1,3,5,7
/proc/3814/task/3840/stat : 3840 (java) R 3811 3814 3758 0 -1 4202560 6196 0 0 0 125 1 0 0 20 0 16 0 414846232 11006283776 58393 33554432000 4194304 4196468 140729817287088 140232917660464 140233414299078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3841] ppid=3811 vsize=10748324 memory=2241 CPUtime=0.66 cores=1,3,5,7
/proc/3814/task/3841/stat : 3841 (java) S 3811 3814 3758 0 -1 1077944384 2551 0 0 0 65 1 0 0 20 0 16 0 414846232 11006283776 58393 33554432000 4194304 4196468 140729817287088 140232916625776 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3842] ppid=3811 vsize=10748324 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3842/stat : 3842 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846233 11006283776 58393 33554432000 4194304 4196468 140729817287088 140232915573216 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3843] ppid=3811 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3843/stat : 3843 (java) S 3811 3814 3758 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414846233 11006283776 58393 33554432000 4194304 4196468 140729817287088 140232914521008 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3850] ppid=3811 vsize=10748324 memory=6944656575208382560 CPUtime=1.27 cores=1,3,5,7
/proc/3814/task/3850/stat : 3850 (java) R 3811 3814 3758 0 -1 4202560 3460 0 0 0 124 3 0 0 20 0 16 0 414846415 11006283776 58393 33554432000 4194304 4196468 140729817287088 140232574877312 140233054692448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
Current children cumulated CPU time: 6.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 233572 KiB
[startup+4.00069 s]*
/proc/loadavg: 1.44 1.71 1.86 6/228 3928
/proc/meminfo: memFree=26378900/32770624 swapFree=66957012/67108860
[pid=3814] ppid=3811 vsize=10748324 memory=234636 CPUtime=8.18 cores=1,3,5,7
/proc/3814/stat : 3814 (java) S 3811 3814 3758 0 -1 1077944320 39349 0 0 0 802 16 0 0 20 0 16 0 414846227 11006283776 58659 33554432000 4194304 4196468 140729817287088 140729817269632 140233430888183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
/proc/3814/statm: 2687081 58659 3351 1 0 2647217 0
[pid=3814/tid=3816] ppid=3811 vsize=10748324 memory=8112282956445269571 CPUtime=1.85 cores=1,3,5,7
/proc/3814/task/3816/stat : 3816 (java) S 3811 3814 3758 0 -1 1077944384 15355 0 0 0 180 5 0 0 20 0 16 0 414846227 11006283776 58659 33554432000 4194304 4196468 140729817287088 140233435131056 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3819] ppid=3811 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3819/stat : 3819 (java) S 3811 3814 3758 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 16 0 414846228 11006283776 58659 33554432000 4194304 4196468 140729817287088 140233037179280 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3820] ppid=3811 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3820/stat : 3820 (java) S 3811 3814 3758 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414846228 11006283776 58659 33554432000 4194304 4196468 140729817287088 140233036126480 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3821] ppid=3811 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3821/stat : 3821 (java) S 3811 3814 3758 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 414846228 11006283776 58659 33554432000 4194304 4196468 140729817287088 140233035074192 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3822] ppid=3811 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3822/stat : 3822 (java) S 3811 3814 3758 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414846228 11006283776 58659 33554432000 4194304 4196468 140729817287088 140233034021392 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3828] ppid=3811 vsize=10748324 memory=140148608402544 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3828/stat : 3828 (java) S 3811 3814 3758 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 414846229 11006283776 58659 33554432000 4194304 4196468 140729817287088 140232922942064 140233430899330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3833] ppid=3811 vsize=10748324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3833/stat : 3833 (java) S 3811 3814 3758 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414846230 11006283776 58659 33554432000 4194304 4196468 140729817287088 140232921888096 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3834] ppid=3811 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3834/stat : 3834 (java) S 3811 3814 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414846230 11006283776 58659 33554432000 4194304 4196468 140729817287088 140232920835712 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3838] ppid=3811 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3838/stat : 3838 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846232 11006283776 58659 33554432000 4194304 4196468 140729817287088 140232919784016 140233430906779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3839] ppid=3811 vsize=10748324 memory=0 CPUtime=1.66 cores=1,3,5,7
/proc/3814/task/3839/stat : 3839 (java) R 3811 3814 3758 0 -1 4202560 4423 0 0 0 166 0 0 0 20 0 16 0 414846232 11006283776 58659 33554432000 4194304 4196468 140729817287088 140232918717168 140233412432417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3840] ppid=3811 vsize=10748324 memory=140148608179359 CPUtime=1.77 cores=1,3,5,7
/proc/3814/task/3840/stat : 3840 (java) R 3811 3814 3758 0 -1 4202560 10734 0 0 0 175 2 0 0 20 0 16 0 414846232 11006283776 58659 33554432000 4194304 4196468 140729817287088 140232917667328 140233410150196 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3841] ppid=3811 vsize=10748324 memory=140148766202076 CPUtime=0.7 cores=1,3,5,7
/proc/3814/task/3841/stat : 3841 (java) R 3811 3814 3758 0 -1 1077944384 2615 0 0 0 69 1 0 0 20 0 16 0 414846232 11006283776 58659 33554432000 4194304 4196468 140729817287088 140232916625776 140233430899330 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3842] ppid=3811 vsize=10748324 memory=3617551796267921439 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3842/stat : 3842 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846233 11006283776 58659 33554432000 4194304 4196468 140729817287088 140232915573216 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3843] ppid=3811 vsize=10748324 memory=3467970347320347573 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3843/stat : 3843 (java) S 3811 3814 3758 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414846233 11006283776 58659 33554432000 4194304 4196468 140729817287088 140232914521008 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3850] ppid=3811 vsize=10748324 memory=664955462225843721 CPUtime=2.08 cores=1,3,5,7
/proc/3814/task/3850/stat : 3850 (java) R 3811 3814 3758 0 -1 4202560 3483 0 0 0 205 3 0 0 20 0 16 0 414846415 11006283776 58659 33554432000 4194304 4196468 140729817287088 140232574882448 140233055670185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
Current children cumulated CPU time: 8.18 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 234636 KiB
[startup+4.40066 s]
/proc/loadavg: 1.44 1.71 1.86 6/228 3928
/proc/meminfo: memFree=26378900/32770624 swapFree=66957012/67108860
[pid=3814] ppid=3811 vsize=10748324 memory=241152 CPUtime=8.82 cores=1,3,5,7
/proc/3814/stat : 3814 (java) S 3811 3814 3758 0 -1 1077944320 39447 0 0 0 866 16 0 0 20 0 16 0 414846227 11006283776 60288 33554432000 4194304 4196468 140729817287088 140729817269632 140233430888183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
/proc/3814/statm: 2687081 60288 3351 1 0 2647217 0
[pid=3814/tid=3816] ppid=3811 vsize=10748324 memory=2020 CPUtime=1.85 cores=1,3,5,7
/proc/3814/task/3816/stat : 3816 (java) S 3811 3814 3758 0 -1 1077944384 15355 0 0 0 180 5 0 0 20 0 16 0 414846227 11006283776 60288 33554432000 4194304 4196468 140729817287088 140233435131056 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3819] ppid=3811 vsize=10748324 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3819/stat : 3819 (java) S 3811 3814 3758 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 16 0 414846228 11006283776 60288 33554432000 4194304 4196468 140729817287088 140233037179280 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3820] ppid=3811 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3820/stat : 3820 (java) S 3811 3814 3758 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414846228 11006283776 60288 33554432000 4194304 4196468 140729817287088 140233036126480 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3821] ppid=3811 vsize=10748324 memory=11419032852 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3821/stat : 3821 (java) S 3811 3814 3758 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 414846228 11006283776 60288 33554432000 4194304 4196468 140729817287088 140233035074192 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3822] ppid=3811 vsize=10748324 memory=11419032852 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3822/stat : 3822 (java) S 3811 3814 3758 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414846228 11006283776 60288 33554432000 4194304 4196468 140729817287088 140233034021392 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3828] ppid=3811 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3828/stat : 3828 (java) S 3811 3814 3758 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 414846229 11006283776 60288 33554432000 4194304 4196468 140729817287088 140232922942064 140233430899330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3833] ppid=3811 vsize=10748324 memory=7007707949394126417 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3833/stat : 3833 (java) S 3811 3814 3758 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414846230 11006283776 60288 33554432000 4194304 4196468 140729817287088 140232921888096 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3834] ppid=3811 vsize=10748324 memory=5859853075905800022 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3834/stat : 3834 (java) S 3811 3814 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414846230 11006283776 60288 33554432000 4194304 4196468 140729817287088 140232920835712 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3838] ppid=3811 vsize=10748324 memory=7588935179160282176 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3838/stat : 3838 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846232 11006283776 60288 33554432000 4194304 4196468 140729817287088 140232919784016 140233430906779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3839] ppid=3811 vsize=10748324 memory=6935650355287975249 CPUtime=1.78 cores=1,3,5,7
/proc/3814/task/3839/stat : 3839 (java) S 3811 3814 3758 0 -1 1077944384 4459 0 0 0 178 0 0 0 20 0 16 0 414846232 11006283776 60288 33554432000 4194304 4196468 140729817287088 140232918730864 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3840] ppid=3811 vsize=10748324 memory=7738970201914173034 CPUtime=1.88 cores=1,3,5,7
/proc/3814/task/3840/stat : 3840 (java) S 3811 3814 3758 0 -1 1077944384 10765 0 0 0 186 2 0 0 20 0 16 0 414846232 11006283776 60288 33554432000 4194304 4196468 140729817287088 140232917678064 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3841] ppid=3811 vsize=10748324 memory=7805974384891420704 CPUtime=0.72 cores=1,3,5,7
/proc/3814/task/3841/stat : 3841 (java) S 3811 3814 3758 0 -1 1077944384 2636 0 0 0 71 1 0 0 20 0 16 0 414846232 11006283776 60288 33554432000 4194304 4196468 140729817287088 140232916625776 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3842] ppid=3811 vsize=10748324 memory=7452164711696720751 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3842/stat : 3842 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846233 11006283776 60288 33554432000 4194304 4196468 140729817287088 140232915573216 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3843] ppid=3811 vsize=10748324 memory=7811610563203262546 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3843/stat : 3843 (java) S 3811 3814 3758 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414846233 11006283776 60288 33554432000 4194304 4196468 140729817287088 140232914521008 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3850] ppid=3811 vsize=10748324 memory=7738705249944888640 CPUtime=2.46 cores=1,3,5,7
/proc/3814/task/3850/stat : 3850 (java) R 3811 3814 3758 0 -1 4202560 3492 0 0 0 243 3 0 0 20 0 16 0 414846415 11006283776 60288 33554432000 4194304 4196468 140729817287088 140232574880584 140233055169661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
Current children cumulated CPU time: 8.82 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 241152 KiB
[startup+4.60078 s]
/proc/loadavg: 1.44 1.71 1.86 6/228 3928
/proc/meminfo: memFree=26378900/32770624 swapFree=66957012/67108860
[pid=3814] ppid=3811 vsize=10748324 memory=241268 CPUtime=9.11 cores=1,3,5,7
/proc/3814/stat : 3814 (java) S 3811 3814 3758 0 -1 1077944320 39690 0 0 0 895 16 0 0 20 0 16 0 414846227 11006283776 60317 33554432000 4194304 4196468 140729817287088 140729817269632 140233430888183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
/proc/3814/statm: 2687081 60317 3351 1 0 2647217 0
[pid=3814/tid=3816] ppid=3811 vsize=10748324 memory=6944656592455360604 CPUtime=1.85 cores=1,3,5,7
/proc/3814/task/3816/stat : 3816 (java) S 3811 3814 3758 0 -1 1077944384 15355 0 0 0 180 5 0 0 20 0 16 0 414846227 11006283776 60317 33554432000 4194304 4196468 140729817287088 140233435131056 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3819] ppid=3811 vsize=10748324 memory=6944656592455359580 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3819/stat : 3819 (java) S 3811 3814 3758 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 16 0 414846228 11006283776 60317 33554432000 4194304 4196468 140729817287088 140233037179280 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3820] ppid=3811 vsize=10748324 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3820/stat : 3820 (java) S 3811 3814 3758 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414846228 11006283776 60317 33554432000 4194304 4196468 140729817287088 140233036126480 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3821] ppid=3811 vsize=10748324 memory=7598542776401657925 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3821/stat : 3821 (java) S 3811 3814 3758 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 414846228 11006283776 60317 33554432000 4194304 4196468 140729817287088 140233035074192 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3822] ppid=3811 vsize=10748324 memory=288287757770687085 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3822/stat : 3822 (java) S 3811 3814 3758 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414846228 11006283776 60317 33554432000 4194304 4196468 140729817287088 140233034021392 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3828] ppid=3811 vsize=10748324 memory=4351436428160544800 CPUtime=0.01 cores=1,3,5,7
/proc/3814/task/3828/stat : 3828 (java) S 3811 3814 3758 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 414846229 11006283776 60317 33554432000 4194304 4196468 140729817287088 140232922942064 140233430899330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3833] ppid=3811 vsize=10748324 memory=140148766225185 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3833/stat : 3833 (java) S 3811 3814 3758 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414846230 11006283776 60317 33554432000 4194304 4196468 140729817287088 140232921888096 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3834] ppid=3811 vsize=10748324 memory=-7684191407570971757 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3834/stat : 3834 (java) S 3811 3814 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414846230 11006283776 60317 33554432000 4194304 4196468 140729817287088 140232920835712 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3838] ppid=3811 vsize=10748324 memory=7884237691362496874 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3838/stat : 3838 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846232 11006283776 60317 33554432000 4194304 4196468 140729817287088 140232919784016 140233430906779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3839] ppid=3811 vsize=10748324 memory=5866621768523343464 CPUtime=1.78 cores=1,3,5,7
/proc/3814/task/3839/stat : 3839 (java) S 3811 3814 3758 0 -1 1077944384 4459 0 0 0 178 0 0 0 20 0 16 0 414846232 11006283776 60317 33554432000 4194304 4196468 140729817287088 140232918730864 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3840] ppid=3811 vsize=10748324 memory=5867748750694771299 CPUtime=1.96 cores=1,3,5,7
/proc/3814/task/3840/stat : 3840 (java) S 3811 3814 3758 0 -1 1077944384 10775 0 0 0 194 2 0 0 20 0 16 0 414846232 11006283776 60317 33554432000 4194304 4196468 140729817287088 140232917678064 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3841] ppid=3811 vsize=10748324 memory=5937503940875862113 CPUtime=0.72 cores=1,3,5,7
/proc/3814/task/3841/stat : 3841 (java) S 3811 3814 3758 0 -1 1077944384 2644 0 0 0 71 1 0 0 20 0 16 0 414846232 11006283776 60317 33554432000 4194304 4196468 140729817287088 140232916625776 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3842] ppid=3811 vsize=10748324 memory=7232890293113415765 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3842/stat : 3842 (java) S 3811 3814 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846233 11006283776 60317 33554432000 4194304 4196468 140729817287088 140232915573216 140233430898389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3843] ppid=3811 vsize=10748324 memory=7232890293113415765 CPUtime=0 cores=1,3,5,7
/proc/3814/task/3843/stat : 3843 (java) S 3811 3814 3758 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414846233 11006283776 60317 33554432000 4194304 4196468 140729817287088 140232914521008 140233430899330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
[pid=3814/tid=3850] ppid=3811 vsize=10748324 memory=6153133495861924714 CPUtime=2.66 cores=1,3,5,7
/proc/3814/task/3850/stat : 3850 (java) R 3811 3814 3758 0 -1 4202560 3717 0 0 0 263 3 0 0 20 0 16 0 414846415 11006283776 60317 33554432000 4194304 4196468 140729817287088 140232574871808 140233056002606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140729817289739 140729817289842 140729817289842 140729817292751 0
Current children cumulated CPU time: 9.11 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 241268 KiB
Child status: 0
Real time (s): 4.63609
CPU time (s): 9.15235
CPU user time (s): 8.98144
CPU system time (s): 0.170911
CPU usage (%): 197.415
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 241268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.98144
system time used= 0.170911
maximum resident set size= 245172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39767
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= 2843
involuntary context switches= 95
# summary of solver processes directly reported to runsolver:
# pid: 3814
# total CPU time (s): 9.15235
# total CPU user time (s): 8.98144
# total CPU system time (s): 0.170911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055815 second user time and 0.089704 second system time
The end