2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.89
3.28/2.11 Instance
3.28/2.11 name=instance-4390894-1568380662, framework=COP, bounds=-infty..+infty
3.28/2.11
3.28/2.11 Loading variables...
3.60/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33902bc8
3.60/2.23 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dec86c4
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33c8e5ca
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce06ec7
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@be8fde9
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d94edb5
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cac3ddc
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5929b50d
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48e1d9eb
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7120ae
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed2c374
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@701483e1
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@730cc53b
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a8d44c
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@211729b6
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@943e22b
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d1208b5
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a91611b
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64414414
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@558c1d36
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb4578c
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19c8da50
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418a1583
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@758e156c
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37951ef5
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428fa27c
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aea962a
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d8acee6
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cd12fa2
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d70a019
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f4ad10a
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24996cd4
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d5feb94
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530ad53
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26b0719f
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48bcc0d7
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40573234
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ede2cd
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b51f503
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e51240
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@707e88c5
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@373ba14b
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b89882e
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13db10c7
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@736b5532
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47386a9f
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@599b937a
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21d60da0
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5083f682
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@137d7bc8
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9bbfd3
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78423bba
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@714ba9ac
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55f3347d
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16b39245
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c0103aa
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36100e73
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e41764c
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@485f7e71
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e24052c
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57b9de82
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@758c3e54
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cead50f
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a528d4
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f3869f
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370140f1
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ae7b795
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6192b071
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@749553e1
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1760e20a
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ae1ce8
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3fb492
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73160207
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65eaad9f
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f07eae6
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@203be54c
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a290baa
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c973552
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f8d5d9
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388931a
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5058d1bd
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61702833
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc43b29
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10328ccf
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19077bc4
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75462cae
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5297c27f
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53b61ca8
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dd79d67
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52273c5a
3.60/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bd55615
3.60/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c8006c
3.60/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65bc6095
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f360f7b
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9c13be
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fb591fc
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a701bf9
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@617c1113
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e0b1a4
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dce3065
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cc5e3d6
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@460a0880
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705c5d98
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76fa034f
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@711208ed
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25caa088
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26e02c91
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34ee0f21
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7471c9b4
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75796e5b
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b3655d7
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@138d348b
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b9cb09d
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4878b299
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae098b2
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ace086a
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56e682d9
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5766aa97
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309fac97
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2478db41
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@539be8e9
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30ea5227
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac454f2
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bbb890a
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24c04d43
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e30ccd4
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7b6655
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d86dbf9
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c2e9a4d
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b9ce32
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794c4f75
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@305ead23
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d64bcf
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f9af3fe
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@329c2a4f
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6321947b
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cabcc22
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c0a5708
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4317a78c
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42193921
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b5660d
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b26e64b
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6e2b4b
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef9ecca
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11e168fc
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78d5761a
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39088bf9
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195467df
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62c32130
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c781f0
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a7a34d9
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17008118
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67cc9d6c
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42792fe2
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e82
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c89d54
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9e9906
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@efd8cf3
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c4d11a
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e61365
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b53cc6c
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d9c15ba
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40de0f62
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea27e93
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@676df759
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0bf104
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3007d29c
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@400f52d0
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375cee13
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ff1a7dc
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3b9eba
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c158953
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e746f48
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@105db81b
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14ae2dfb
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec9ec25
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a5c41f3
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309efd8b
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f17251
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ec44ef4
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac6e0e5
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23da539b
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a5b4cc
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ebb24b7
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4396f4cf
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c294dfa
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff2a2cc
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60bedbd3
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31122407
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71af9ca1
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a81eb3e
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dab046f
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ce28957
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f77bda8
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44413c38
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6edc4537
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c78a03
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33e8ef56
4.51/2.52
4.51/2.52
4.51/2.52 Domains
4.51/2.52 nTypes=14, nValues=39516, sizes=[2#534,5#178,6#178,7#178...16#178,17#178,18#178,22#178]
4.51/2.52 Variables
4.51/2.52 count=3738, degrees=[3#218,4#3520]
4.51/2.52 Objectives
4.51/2.52 way=min, type=SumSimpleLE
4.51/2.52 Constraints
4.51/2.52 count=377, nSpecific=377, arities=[21#178,40#177,178#22]
4.51/2.52 distribution=[LexicographicLe#177,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#178]
4.51/2.52 wck=0.674, cpu=2.485, mem=105M802
4.51/2.53 Solver SolverBacktrack being built...
4.51/2.53
4.51/2.58
4.51/2.58 Solver
4.51/2.58 guaranteedGAC=false
4.51/2.58 wck=0.741, cpu=2.551, mem=124M372
4.74/2.68
4.74/2.68 Preprocessing
4.74/2.68 filters=178, nACremovedValues=30616, nTotalRemovedValues=30616, inconcistency=false
4.74/2.68 wck=0.09, cpu=2.644, mem=124M372
4.74/2.68
4.97/2.78 num=0, depth=0..180, filters=1811, wck=0.193, mem=124M372
4.97/2.78 decisions=191, wrong=10, backtracks=0, failedAssignments=10, nogoods=9
4.97/2.78
5.25/2.86 num=1, depth=0..187, filters=3570, wck=0.277, mem=124M372
5.25/2.86 decisions=390, wrong=21, backtracks=0, failedAssignments=21, nogoods=19
5.25/2.86
5.56/2.92 num=2, depth=0..203, filters=5628, wck=0.337, mem=124M372
5.56/2.92 decisions=609, wrong=35, backtracks=2, failedAssignments=33, nogoods=30
5.56/2.92
5.56/2.96 num=3, depth=146..164, filters=6509, wck=0.378, mem=127M14
5.56/2.96 decisions=838, wrong=72, backtracks=28, failedAssignments=46, nogoods=34
5.56/2.96
5.90/3.01 num=4, depth=80..94, filters=8676, wck=0.421, mem=127M14
5.90/3.01 decisions=974, wrong=100, backtracks=42, failedAssignments=60, nogoods=35
5.90/3.01
5.90/3.05 num=5, depth=13..284, filters=11671, wck=0.465, mem=127M14
5.90/3.05 decisions=1282, wrong=120, backtracks=46, failedAssignments=76, nogoods=51
5.90/3.05
5.90/3.09 num=6, depth=14..68, filters=14689, wck=0.501, mem=127M14
5.90/3.09 decisions=1416, wrong=158, backtracks=75, failedAssignments=93, nogoods=56
5.90/3.09
6.19/3.15 num=7, depth=1..22, filters=18433, wck=0.567, mem=127M14
6.19/3.15 decisions=1576, wrong=235, backtracks=145, failedAssignments=112, nogoods=58
6.19/3.15
6.19/3.24 num=8, depth=15..217, filters=20027, wck=0.596, mem=127M14
6.19/3.24 decisions=1815, wrong=256, backtracks=145, failedAssignments=133, nogoods=79
6.19/3.24
6.19/3.27 num=9, depth=104..193, filters=24288, wck=0.679, mem=127M14
6.19/3.27 decisions=2121, wrong=317, backtracks=191, failedAssignments=156, nogoods=81
6.19/3.27
6.19/3.32 num=10, depth=136..183, filters=28748, wck=0.735, mem=127M14
6.19/3.32 decisions=2447, wrong=408, backtracks=274, failedAssignments=181, nogoods=83
6.19/3.32
6.58/3.36 num=11, depth=34..63, filters=31435, wck=0.772, mem=127M14
6.58/3.36 decisions=2815, wrong=575, backtracks=442, failedAssignments=209, nogoods=84
6.58/3.36
6.79/3.42 num=12, depth=119..177, filters=36396, wck=0.838, mem=127M14
6.79/3.42 decisions=3331, wrong=762, backtracks=620, failedAssignments=240, nogoods=86
6.79/3.42
6.79/3.46 num=13, depth=13..39, filters=39257, wck=0.879, mem=127M14
6.79/3.46 decisions=3571, wrong=874, backtracks=719, failedAssignments=274, nogoods=88
6.79/3.46
7.07/3.53 num=14, depth=13..146, filters=45197, wck=0.943, mem=127M14
7.07/3.53 decisions=3968, wrong=1012, backtracks=821, failedAssignments=311, nogoods=96
7.07/3.53
7.07/3.56 num=15, depth=13..145, filters=47733, wck=0.976, mem=127M14
7.07/3.56 decisions=4261, wrong=1093, backtracks=882, failedAssignments=352, nogoods=110
7.07/3.56
7.31/3.63 num=16, depth=13..114, filters=54495, wck=1.048, mem=127M14
7.31/3.63 decisions=4649, wrong=1266, backtracks=1028, failedAssignments=397, nogoods=119
7.31/3.63
7.54/3.72 num=17, depth=0..55, filters=61052, wck=1.138, mem=127M14
7.54/3.72 decisions=5191, wrong=1533, backtracks=1288, failedAssignments=447, nogoods=120
7.54/3.72
7.54/3.76 num=18, depth=3..225, filters=63998, wck=1.171, mem=127M14
7.54/3.76 decisions=5605, wrong=1638, backtracks=1366, failedAssignments=502, nogoods=139
7.54/3.76
7.54/3.79 num=19, depth=3..84, filters=68617, wck=1.209, mem=127M14
7.54/3.79 decisions=5940, wrong=1789, backtracks=1500, failedAssignments=563, nogoods=148
7.54/3.79
7.67/3.85 num=20, depth=5..248, filters=74835, wck=1.268, mem=127M14
7.67/3.85 decisions=6511, wrong=1957, backtracks=1608, failedAssignments=630, nogoods=163
7.67/3.85
7.80/3.90 num=21, depth=6..279, filters=78403, wck=1.314, mem=127M14
7.80/3.90 decisions=7049, wrong=2095, backtracks=1704, failedAssignments=704, nogoods=179
7.80/3.90
7.80/3.96 o 156
7.80/3.97 num=22, depth=6..3737, filters=80230, ccks=377, wck=1.382, mem=129M692
7.80/3.97 decisions=7414, wrong=2142, backtracks=1722, failedAssignments=734, nogoods=199, foundSolutions=1, bestBound=156
7.80/3.97
8.04/4.09 o 155
8.04/4.09 num=23, depth=7..3737, filters=82081, ccks=754, wck=1.505, mem=132M335
8.04/4.09 decisions=7807, wrong=2204, backtracks=1750, failedAssignments=776, nogoods=228, foundSolutions=2, bestBound=155
8.04/4.09
8.37/4.16 num=24, depth=10..127, filters=83137, ccks=754, wck=1.57, mem=132M335
8.37/4.16 decisions=7947, wrong=2216, backtracks=1751, failedAssignments=787, nogoods=239, foundSolutions=2, bestBound=155
8.37/4.16
8.37/4.17 num=25, depth=9..98, filters=83976, ccks=754, wck=1.581, mem=132M335
8.37/4.17 decisions=8057, wrong=2227, backtracks=1751, failedAssignments=798, nogoods=250, foundSolutions=2, bestBound=155
8.37/4.17
8.37/4.18 num=26, depth=16..136, filters=84648, ccks=754, wck=1.593, mem=132M335
8.37/4.18 decisions=8219, wrong=2244, backtracks=1760, failedAssignments=810, nogoods=257, foundSolutions=2, bestBound=155
8.37/4.18
8.37/4.18 num=27, depth=9..36, filters=85090, ccks=754, wck=1.599, mem=132M335
8.37/4.18 decisions=8269, wrong=2257, backtracks=1760, failedAssignments=823, nogoods=270, foundSolutions=2, bestBound=155
8.37/4.18
8.37/4.20 num=28, depth=0..54, filters=86819, ccks=754, wck=1.618, mem=132M335
8.37/4.20 decisions=8401, wrong=2298, backtracks=1792, failedAssignments=837, nogoods=274, foundSolutions=2, bestBound=155
8.37/4.20
8.56/4.21 num=29, depth=7..44, filters=87593, ccks=754, wck=1.627, mem=132M335
8.56/4.21 decisions=8506, wrong=2332, backtracks=1815, failedAssignments=853, nogoods=279, foundSolutions=2, bestBound=155
8.56/4.21
8.56/4.23 num=30, depth=10..55, filters=89351, ccks=754, wck=1.642, mem=132M335
8.56/4.23 decisions=8610, wrong=2366, backtracks=1832, failedAssignments=870, nogoods=282, foundSolutions=2, bestBound=155
8.56/4.23
8.56/4.25 num=31, depth=11..242, filters=90651, ccks=754, wck=1.66, mem=132M335
8.56/4.25 decisions=8898, wrong=2397, backtracks=1849, failedAssignments=889, nogoods=293, foundSolutions=2, bestBound=155
8.56/4.25
8.56/4.26 num=32, depth=11..255, filters=91920, ccks=754, wck=1.678, mem=132M335
8.56/4.26 decisions=9224, wrong=2437, backtracks=1876, failedAssignments=910, nogoods=297, foundSolutions=2, bestBound=155
8.56/4.26
8.68/4.30 o 139
8.68/4.30 num=33, depth=12..3737, filters=92885, ccks=1131, wck=1.719, mem=132M335
8.68/4.30 decisions=9467, wrong=2448, backtracks=1876, failedAssignments=921, nogoods=308, foundSolutions=3, bestBound=139
8.68/4.30
8.68/4.39 o 138
8.68/4.39 num=34, depth=12..3737, filters=93851, ccks=1508, wck=1.807, mem=134M977
8.68/4.39 decisions=9720, wrong=2458, backtracks=1883, failedAssignments=928, nogoods=311, foundSolutions=4, bestBound=138
8.68/4.39
8.79/4.48 o 130
8.79/4.48 num=35, depth=12..3737, filters=94831, ccks=1885, wck=1.894, mem=134M977
8.79/4.48 decisions=9916, wrong=2476, backtracks=1895, failedAssignments=938, nogoods=317, foundSolutions=5, bestBound=130
8.79/4.48
8.91/4.54 num=36, depth=39..67, filters=95537, ccks=1885, wck=1.951, mem=134M977
8.91/4.54 decisions=10013, wrong=2495, backtracks=1906, failedAssignments=949, nogoods=322, foundSolutions=5, bestBound=130
8.91/4.54
8.91/4.55 num=37, depth=12..52, filters=96655, ccks=1885, wck=1.962, mem=134M977
8.91/4.55 decisions=10115, wrong=2528, backtracks=1933, failedAssignments=960, nogoods=327, foundSolutions=5, bestBound=130
8.91/4.55
8.91/4.56 num=38, depth=0..56, filters=98117, ccks=1885, wck=1.978, mem=134M977
8.91/4.56 decisions=10238, wrong=2567, backtracks=1962, failedAssignments=972, nogoods=330, foundSolutions=5, bestBound=130
8.91/4.56
8.91/4.58 num=39, depth=6..61, filters=99353, ccks=1885, wck=1.991, mem=134M977
8.91/4.58 decisions=10358, wrong=2602, backtracks=1986, failedAssignments=985, nogoods=333, foundSolutions=5, bestBound=130
8.91/4.58
8.91/4.59 num=40, depth=6..51, filters=101403, ccks=1885, wck=2.008, mem=134M977
8.91/4.59 decisions=10494, wrong=2655, backtracks=2031, failedAssignments=999, nogoods=336, foundSolutions=5, bestBound=130
8.91/4.59
9.06/4.60 num=41, depth=6..53, filters=102447, ccks=1885, wck=2.016, mem=134M977
9.06/4.60 decisions=10587, wrong=2684, backtracks=2045, failedAssignments=1015, nogoods=341, foundSolutions=5, bestBound=130
9.06/4.60
9.06/4.61 num=42, depth=33..52, filters=103423, ccks=1885, wck=2.026, mem=134M977
9.06/4.61 decisions=10686, wrong=2715, backtracks=2062, failedAssignments=1032, nogoods=344, foundSolutions=5, bestBound=130
9.06/4.61
9.06/4.64 num=43, depth=0..49, filters=106055, ccks=1885, wck=2.05, mem=134M977
9.06/4.64 decisions=10877, wrong=2794, backtracks=2128, failedAssignments=1051, nogoods=351, foundSolutions=5, bestBound=130
9.06/4.64
9.06/4.66
9.06/4.66 New Bounds: 130..129
9.06/4.66 num=44, depth=0..34, filters=108436, ccks=1885, wck=2.075, mem=134M977
9.06/4.66 decisions=11069, wrong=2891, backtracks=2220, failedAssignments=1069, foundSolutions=5, bestBound=130
9.06/4.66
9.06/4.66 Global
9.06/4.66 filters=108436, ccks=1885
9.06/4.66 Stop=FULL_EXPLORATION, wrong=2891, bestBound=130, bestBoundWck=2.633, bestBoundCpu=4.424, foundSolutions=5, firstSolCpu=3.899
9.06/4.66 wck=2.818, cpu=4.61, mem=134M977
9.06/4.66
9.06/4.66 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.06/4.66 s OPTIMUM FOUND
9.06/4.66
9.06/4.66 d WRONG_DECISIONS 2891
9.06/4.66 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 (14754 MiB free)
memory of node 1: 16384 MiB (15440 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390894-1568380662/watcher-4390894-1568380662 -o /tmp/evaluation-result-4390894-1568380662/solver-4390894-1568380662 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5059 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390894-1568380662.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5657, runsolver pid=5654
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.83 0.81 0.34 4/227 5672
/proc/meminfo: memFree=30902956/32770624 swapFree=66934464/67108860
[pid=5657] ppid=5654 vsize=10659884 memory=27856 CPUtime=0.13 cores=1,3,5,7
/proc/5657/stat : 5657 (java) S 5654 5657 5027 0 -1 1077944320 5457 0 0 0 12 1 0 0 20 0 15 0 414337657 10915721216 6964 33554432000 4194304 4196468 140724706961264 140724706943808 140634076823287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
/proc/5657/statm: 2664971 6964 2873 1 0 2627468 0
[pid=5657/tid=5659] ppid=5654 vsize=10659884 memory=-8124642594274839901 CPUtime=0.09 cores=1,3,5,7
/proc/5657/task/5659/stat : 5659 (java) R 5654 5657 5027 0 -1 4202560 3267 0 0 0 8 1 0 0 20 0 15 0 414337657 10915721216 6964 33554432000 4194304 4196468 140724706961264 140634081052800 140634076845213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5660] ppid=5654 vsize=10659884 memory=5793855623149914553 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5660/stat : 5660 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10915721216 6964 33554432000 4194304 4196468 140724706961264 140634013514768 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5661] ppid=5654 vsize=10659884 memory=140372140021376 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5661/stat : 5661 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10915721216 6964 33554432000 4194304 4196468 140724706961264 140634012462224 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5662] ppid=5654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5662/stat : 5662 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10915721216 6964 33554432000 4194304 4196468 140724706961264 140634011409168 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5663] ppid=5654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5663/stat : 5663 (java) S 5654 5657 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337658 10915721216 6964 33554432000 4194304 4196468 140724706961264 140634010356624 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5664] ppid=5654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5664/stat : 5664 (java) S 5654 5657 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337659 10915721216 6964 33554432000 4194304 4196468 140724706961264 140633568852208 140634076834434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5665] ppid=5654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5665/stat : 5665 (java) S 5654 5657 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414337660 10915721216 6964 33554432000 4194304 4196468 140724706961264 140633567798432 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5666] ppid=5654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5666/stat : 5666 (java) S 5654 5657 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414337660 10915721216 6964 33554432000 4194304 4196468 140724706961264 140633566745328 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5667] ppid=5654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5667/stat : 5667 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337662 10915721216 6964 33554432000 4194304 4196468 140724706961264 140633565693904 140634076841883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5668] ppid=5654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5668/stat : 5668 (java) S 5654 5657 5027 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 414337662 10915721216 6964 33554432000 4194304 4196468 140724706961264 140633564642032 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5669] ppid=5654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5669/stat : 5669 (java) R 5654 5657 5027 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 15 0 414337662 10915721216 6964 33554432000 4194304 4196468 140724706961264 140633563589488 140634076834434 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5670] ppid=5654 vsize=10659884 memory=140372140021376 CPUtime=0.02 cores=1,3,5,7
/proc/5657/task/5670/stat : 5670 (java) S 5654 5657 5027 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 15 0 414337662 10915721216 6964 33554432000 4194304 4196468 140724706961264 140633562536432 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5671] ppid=5654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5671/stat : 5671 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337663 10915721216 6964 33554432000 4194304 4196468 140724706961264 140633561484128 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5672] ppid=5654 vsize=10659884 memory=140372140021376 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5672/stat : 5672 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337663 10915721216 6964 33554432000 4194304 4196468 140724706961264 140633560431152 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27856 KiB
[startup+0.210575 s]*
/proc/loadavg: 1.83 0.81 0.34 4/227 5672
/proc/meminfo: memFree=30891244/32770624 swapFree=66934464/67108860
[pid=5657] ppid=5654 vsize=10659884 memory=37572 CPUtime=0.32 cores=1,3,5,7
/proc/5657/stat : 5657 (java) S 5654 5657 5027 0 -1 1077944320 9192 0 0 0 30 2 0 0 20 0 15 0 414337657 10915721216 9393 33554432000 4194304 4196468 140724706961264 140724706943808 140634076823287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
/proc/5657/statm: 2664971 9393 2986 1 0 2627468 0
[pid=5657/tid=5659] ppid=5654 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/5657/task/5659/stat : 5659 (java) R 5654 5657 5027 0 -1 4202560 6106 0 0 0 18 2 0 0 20 0 15 0 414337657 10915721216 9393 33554432000 4194304 4196468 140724706961264 140634081049648 140634076845213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5660] ppid=5654 vsize=10659884 memory=4211974098344811914 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5660/stat : 5660 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10915721216 9393 33554432000 4194304 4196468 140724706961264 140634013514768 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5661] ppid=5654 vsize=10659884 memory=140372140021376 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5661/stat : 5661 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10915721216 9393 33554432000 4194304 4196468 140724706961264 140634012462224 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5662] ppid=5654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5662/stat : 5662 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10915721216 9393 33554432000 4194304 4196468 140724706961264 140634011409168 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5663] ppid=5654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5663/stat : 5663 (java) S 5654 5657 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337658 10915721216 9393 33554432000 4194304 4196468 140724706961264 140634010356624 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5664] ppid=5654 vsize=10659884 memory=140372140021376 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5664/stat : 5664 (java) S 5654 5657 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337659 10915721216 9393 33554432000 4194304 4196468 140724706961264 140633568852208 140634076834434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5665] ppid=5654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5665/stat : 5665 (java) S 5654 5657 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414337660 10915721216 9393 33554432000 4194304 4196468 140724706961264 140633567798432 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5666] ppid=5654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5666/stat : 5666 (java) S 5654 5657 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414337660 10915721216 9393 33554432000 4194304 4196468 140724706961264 140633566745328 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5667] ppid=5654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5667/stat : 5667 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337662 10915721216 9393 33554432000 4194304 4196468 140724706961264 140633565693904 140634076841883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5668] ppid=5654 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5657/task/5668/stat : 5668 (java) S 5654 5657 5027 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 15 0 414337662 10915721216 9393 33554432000 4194304 4196468 140724706961264 140633564642032 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5669] ppid=5654 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5657/task/5669/stat : 5669 (java) S 5654 5657 5027 0 -1 1077944384 645 0 0 0 3 0 0 0 20 0 15 0 414337662 10915721216 9393 33554432000 4194304 4196468 140724706961264 140633563589488 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5670] ppid=5654 vsize=10659884 memory=140372140021376 CPUtime=0.05 cores=1,3,5,7
/proc/5657/task/5670/stat : 5670 (java) S 5654 5657 5027 0 -1 1077944384 700 0 0 0 5 0 0 0 20 0 15 0 414337662 10915721216 9393 33554432000 4194304 4196468 140724706961264 140633562536432 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5671] ppid=5654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5671/stat : 5671 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337663 10915721216 9393 33554432000 4194304 4196468 140724706961264 140633561484128 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5672] ppid=5654 vsize=10659884 memory=140372140021376 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5672/stat : 5672 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337663 10915721216 9393 33554432000 4194304 4196468 140724706961264 140633560431152 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37572 KiB
[startup+0.310141 s]*
/proc/loadavg: 1.83 0.81 0.34 3/227 5672
/proc/meminfo: memFree=30889060/32770624 swapFree=66934464/67108860
[pid=5657] ppid=5654 vsize=10659884 memory=40632 CPUtime=0.47 cores=1,3,5,7
/proc/5657/stat : 5657 (java) S 5654 5657 5027 0 -1 1077944320 9408 0 0 0 44 3 0 0 20 0 15 0 414337657 10915721216 10158 33554432000 4194304 4196468 140724706961264 140724706943808 140634076823287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
/proc/5657/statm: 2664971 10158 3031 1 0 2627468 0
[pid=5657/tid=5659] ppid=5654 vsize=10659884 memory=280744026964208 CPUtime=0.3 cores=1,3,5,7
/proc/5657/task/5659/stat : 5659 (java) R 5654 5657 5027 0 -1 4202560 6256 0 0 0 27 3 0 0 20 0 15 0 414337657 10915721216 10224 33554432000 4194304 4196468 140724706961264 140634081062272 140634076845213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5660] ppid=5654 vsize=10659884 memory=4211974098344811914 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5660/stat : 5660 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10915721216 10224 33554432000 4194304 4196468 140724706961264 140634013514768 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5661] ppid=5654 vsize=10659884 memory=140372140023811 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5661/stat : 5661 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10915721216 10224 33554432000 4194304 4196468 140724706961264 140634012462224 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5662] ppid=5654 vsize=10659884 memory=140372013593779 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5662/stat : 5662 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10915721216 10224 33554432000 4194304 4196468 140724706961264 140634011409168 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5663] ppid=5654 vsize=10659884 memory=140372013595599 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5663/stat : 5663 (java) S 5654 5657 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337658 10915721216 10224 33554432000 4194304 4196468 140724706961264 140634010356624 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5664] ppid=5654 vsize=10659884 memory=140372140026430 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5664/stat : 5664 (java) S 5654 5657 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337659 10915721216 10224 33554432000 4194304 4196468 140724706961264 140633568852208 140634076834434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5665] ppid=5654 vsize=10659884 memory=140372013595599 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5665/stat : 5665 (java) S 5654 5657 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414337660 10915721216 10224 33554432000 4194304 4196468 140724706961264 140633567798432 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5666] ppid=5654 vsize=10659884 memory=280744027211920 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5666/stat : 5666 (java) S 5654 5657 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414337660 10915721216 10224 33554432000 4194304 4196468 140724706961264 140633566745328 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5667] ppid=5654 vsize=10659884 memory=280744027209616 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5667/stat : 5667 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337662 10915721216 10224 33554432000 4194304 4196468 140724706961264 140633565693904 140634076841883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5668] ppid=5654 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5657/task/5668/stat : 5668 (java) S 5654 5657 5027 0 -1 1077944384 399 0 0 0 3 0 0 0 20 0 15 0 414337662 10915721216 10224 33554432000 4194304 4196468 140724706961264 140633564642032 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5669] ppid=5654 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/5657/task/5669/stat : 5669 (java) S 5654 5657 5027 0 -1 1077944384 672 0 0 0 4 0 0 0 20 0 15 0 414337662 10915721216 10224 33554432000 4194304 4196468 140724706961264 140633563589488 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5670] ppid=5654 vsize=10659884 memory=140372140021376 CPUtime=0.07 cores=1,3,5,7
/proc/5657/task/5670/stat : 5670 (java) R 5654 5657 5027 0 -1 4202560 726 0 0 0 7 0 0 0 20 0 15 0 414337662 10915721216 10224 33554432000 4194304 4196468 140724706961264 140633562532160 140634055626424 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5671] ppid=5654 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5671/stat : 5671 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337663 10915721216 10224 33554432000 4194304 4196468 140724706961264 140633561484128 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5672] ppid=5654 vsize=10659884 memory=140372140021376 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5672/stat : 5672 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337663 10915721216 10224 33554432000 4194304 4196468 140724706961264 140633560431152 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40632 KiB
[startup+0.701141 s]
/proc/loadavg: 1.83 0.81 0.34 3/227 5672
/proc/meminfo: memFree=30879200/32770624 swapFree=66934464/67108860
[pid=5657] ppid=5654 vsize=10661932 memory=63720 CPUtime=1.11 cores=1,3,5,7
/proc/5657/stat : 5657 (java) S 5654 5657 5027 0 -1 1077944320 12974 0 0 0 106 5 0 0 20 0 15 0 414337657 10917818368 15930 33554432000 4194304 4196468 140724706961264 140724706943808 140634076823287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
/proc/5657/statm: 2665483 15930 3066 1 0 2627980 0
[pid=5657/tid=5659] ppid=5654 vsize=10661932 memory=3932 CPUtime=0.68 cores=1,3,5,7
/proc/5657/task/5659/stat : 5659 (java) R 5654 5657 5027 0 -1 4202560 8810 0 0 0 64 4 0 0 20 0 15 0 414337657 10917818368 15930 33554432000 4194304 4196468 140724706961264 140634081049168 140634058386825 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5660] ppid=5654 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5660/stat : 5660 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10917818368 15930 33554432000 4194304 4196468 140724706961264 140634013514768 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5661] ppid=5654 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5661/stat : 5661 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10917818368 15930 33554432000 4194304 4196468 140724706961264 140634012462224 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5662] ppid=5654 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5662/stat : 5662 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10917818368 15930 33554432000 4194304 4196468 140724706961264 140634011409168 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5663] ppid=5654 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5663/stat : 5663 (java) S 5654 5657 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337658 10917818368 15930 33554432000 4194304 4196468 140724706961264 140634010356624 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5664] ppid=5654 vsize=10661932 memory=5787500903046145365 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5664/stat : 5664 (java) S 5654 5657 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337659 10917818368 15930 33554432000 4194304 4196468 140724706961264 140633568852208 140634076834434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5665] ppid=5654 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5665/stat : 5665 (java) S 5654 5657 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414337660 10917818368 15930 33554432000 4194304 4196468 140724706961264 140633567798432 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5666] ppid=5654 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5666/stat : 5666 (java) S 5654 5657 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414337660 10917818368 15930 33554432000 4194304 4196468 140724706961264 140633566745328 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5667] ppid=5654 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5667/stat : 5667 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337662 10917818368 15930 33554432000 4194304 4196468 140724706961264 140633565693904 140634076841883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5668] ppid=5654 vsize=10661932 memory=345 CPUtime=0.11 cores=1,3,5,7
/proc/5657/task/5668/stat : 5668 (java) S 5654 5657 5027 0 -1 1077944384 710 0 0 0 11 0 0 0 20 0 15 0 414337662 10917818368 15930 33554432000 4194304 4196468 140724706961264 140633564642032 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5669] ppid=5654 vsize=10661932 memory=10 CPUtime=0.11 cores=1,3,5,7
/proc/5657/task/5669/stat : 5669 (java) R 5654 5657 5027 0 -1 4202560 895 0 0 0 11 0 0 0 20 0 15 0 414337662 10917818368 15930 33554432000 4194304 4196468 140724706961264 140633563589488 140634061949076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5670] ppid=5654 vsize=10661932 memory=26446 CPUtime=0.18 cores=1,3,5,7
/proc/5657/task/5670/stat : 5670 (java) S 5654 5657 5027 0 -1 1077944384 1201 0 0 0 18 0 0 0 20 0 15 0 414337662 10917818368 15930 33554432000 4194304 4196468 140724706961264 140633562536432 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5671] ppid=5654 vsize=10661932 memory=280744027388912 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5671/stat : 5671 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337663 10917818368 15930 33554432000 4194304 4196468 140724706961264 140633561484128 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5672] ppid=5654 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5672/stat : 5672 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337663 10917818368 15930 33554432000 4194304 4196468 140724706961264 140633560431152 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63720 KiB
[startup+1.50079 s]
/proc/loadavg: 1.83 0.81 0.34 3/227 5672
/proc/meminfo: memFree=30863380/32770624 swapFree=66934464/67108860
[pid=5657] ppid=5654 vsize=10663980 memory=75604 CPUtime=2 cores=1,3,5,7
/proc/5657/stat : 5657 (java) S 5654 5657 5027 0 -1 1077944320 18517 0 0 0 194 6 0 0 20 0 15 0 414337657 10919915520 18901 33554432000 4194304 4196468 140724706961264 140724706943808 140634076823287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
/proc/5657/statm: 2665995 18901 3098 1 0 2628492 0
[pid=5657/tid=5659] ppid=5654 vsize=10663980 memory=71772 CPUtime=1.48 cores=1,3,5,7
/proc/5657/task/5659/stat : 5659 (java) R 5654 5657 5027 0 -1 4202560 13013 0 0 0 143 5 0 0 20 0 15 0 414337657 10919915520 18901 33554432000 4194304 4196468 140724706961264 140634081055312 140634060903774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5660] ppid=5654 vsize=10663980 memory=280744027275008 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5660/stat : 5660 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10919915520 18901 33554432000 4194304 4196468 140724706961264 140634013514768 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5661] ppid=5654 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5661/stat : 5661 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10919915520 18901 33554432000 4194304 4196468 140724706961264 140634012462224 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5662] ppid=5654 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5662/stat : 5662 (java) S 5654 5657 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337658 10919915520 18901 33554432000 4194304 4196468 140724706961264 140634011409168 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5663] ppid=5654 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5663/stat : 5663 (java) S 5654 5657 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337658 10919915520 18901 33554432000 4194304 4196468 140724706961264 140634010356624 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5664] ppid=5654 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5664/stat : 5664 (java) S 5654 5657 5027 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 414337659 10919915520 18901 33554432000 4194304 4196468 140724706961264 140633568852208 140634076834434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
################
# More data... #
################
[startup+3.33014 s]
/proc/loadavg: 2.08 0.88 0.37 5/228 5675
/proc/meminfo: memFree=30711012/32770624 swapFree=66934464/67108860
[pid=5657] ppid=5654 vsize=10748324 memory=232464 CPUtime=6.58 cores=1,3,5,7
/proc/5657/stat : 5657 (java) S 5654 5657 5027 0 -1 1077944320 34157 0 0 0 644 14 0 0 20 0 16 0 414337657 11006283776 58116 33554432000 4194304 4196468 140724706961264 140724706943808 140634076823287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
/proc/5657/statm: 2687081 58116 3350 1 0 2647217 0
[pid=5657/tid=5659] ppid=5654 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/5657/task/5659/stat : 5659 (java) S 5654 5657 5027 0 -1 1077944384 15273 0 0 0 179 6 0 0 20 0 16 0 414337657 11006283776 58116 33554432000 4194304 4196468 140724706961264 140634081066160 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5660] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5660/stat : 5660 (java) S 5654 5657 5027 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 58116 33554432000 4194304 4196468 140724706961264 140634013514768 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5661] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5661/stat : 5661 (java) S 5654 5657 5027 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 58116 33554432000 4194304 4196468 140724706961264 140634012462224 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5662] ppid=5654 vsize=10748324 memory=302585798304464922 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5662/stat : 5662 (java) S 5654 5657 5027 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 58116 33554432000 4194304 4196468 140724706961264 140634011409168 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5663] ppid=5654 vsize=10748324 memory=291045371571077431 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5663/stat : 5663 (java) S 5654 5657 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 58116 33554432000 4194304 4196468 140724706961264 140634010356624 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5664] ppid=5654 vsize=10748324 memory=14133350919046965 CPUtime=0.01 cores=1,3,5,7
/proc/5657/task/5664/stat : 5664 (java) S 5654 5657 5027 0 -1 1077944384 1090 0 0 0 1 0 0 0 20 0 16 0 414337659 11006283776 58116 33554432000 4194304 4196468 140724706961264 140633568852208 140634076834434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5665] ppid=5654 vsize=10748324 memory=7380668959359919984 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5665/stat : 5665 (java) S 5654 5657 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414337660 11006283776 58116 33554432000 4194304 4196468 140724706961264 140633567798432 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5666] ppid=5654 vsize=10748324 memory=7512114543601282149 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5666/stat : 5666 (java) S 5654 5657 5027 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414337660 11006283776 58116 33554432000 4194304 4196468 140724706961264 140633566745344 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5667] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5667/stat : 5667 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337662 11006283776 58116 33554432000 4194304 4196468 140724706961264 140633565693904 140634076841883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5668] ppid=5654 vsize=10748324 memory=280744027778944 CPUtime=1.21 cores=1,3,5,7
/proc/5657/task/5668/stat : 5668 (java) R 5654 5657 5027 0 -1 4202560 3461 0 0 0 121 0 0 0 20 0 16 0 414337662 11006283776 58116 33554432000 4194304 4196468 140724706961264 140633564633488 140634054711937 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5669] ppid=5654 vsize=10748324 memory=280744027781104 CPUtime=1.34 cores=1,3,5,7
/proc/5657/task/5669/stat : 5669 (java) R 5654 5657 5027 0 -1 4202560 6537 0 0 0 133 1 0 0 20 0 16 0 414337662 11006283776 58116 33554432000 4194304 4196468 140724706961264 140633563570296 140634060319970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5670] ppid=5654 vsize=10748324 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5657/task/5670/stat : 5670 (java) S 5654 5657 5027 0 -1 1077944384 2657 0 0 0 66 1 0 0 20 0 16 0 414337662 11006283776 58116 33554432000 4194304 4196468 140724706961264 140633562536432 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5671] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5671/stat : 5671 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337663 11006283776 58116 33554432000 4194304 4196468 140724706961264 140633561484128 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5672] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5672/stat : 5672 (java) S 5654 5657 5027 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 16 0 414337663 11006283776 58116 33554432000 4194304 4196468 140724706961264 140633560431152 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5673] ppid=5654 vsize=10748324 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/5657/task/5673/stat : 5673 (java) R 5654 5657 5027 0 -1 4202560 3497 0 0 0 137 2 0 0 20 0 16 0 414337844 11006283776 58116 33554432000 4194304 4196468 140724706961264 140633543355904 140633694483803 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
Current children cumulated CPU time: 6.58 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 232464 KiB
[startup+4.10078 s]*
/proc/loadavg: 2.08 0.88 0.37 5/228 5675
/proc/meminfo: memFree=30686932/32770624 swapFree=66934464/67108860
[pid=5657] ppid=5654 vsize=10748324 memory=235160 CPUtime=8.37 cores=1,3,5,7
/proc/5657/stat : 5657 (java) S 5654 5657 5027 0 -1 1077944320 39304 0 0 0 821 16 0 0 20 0 16 0 414337657 11006283776 58790 33554432000 4194304 4196468 140724706961264 140724706943808 140634076823287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
/proc/5657/statm: 2687081 58790 3351 1 0 2647217 0
[pid=5657/tid=5659] ppid=5654 vsize=10748324 memory=-3103912127665269909 CPUtime=1.85 cores=1,3,5,7
/proc/5657/task/5659/stat : 5659 (java) S 5654 5657 5027 0 -1 1077944384 15273 0 0 0 179 6 0 0 20 0 16 0 414337657 11006283776 58790 33554432000 4194304 4196468 140724706961264 140634081066160 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5660] ppid=5654 vsize=10748324 memory=4211974098344811914 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5660/stat : 5660 (java) S 5654 5657 5027 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 58790 33554432000 4194304 4196468 140724706961264 140634013514768 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5661] ppid=5654 vsize=10748324 memory=140372140021376 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5661/stat : 5661 (java) S 5654 5657 5027 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 58790 33554432000 4194304 4196468 140724706961264 140634012462224 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5662] ppid=5654 vsize=10748324 memory=-4546129931942301728 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5662/stat : 5662 (java) S 5654 5657 5027 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 58790 33554432000 4194304 4196468 140724706961264 140634011409168 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5663] ppid=5654 vsize=10748324 memory=-8412658744798897037 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5663/stat : 5663 (java) S 5654 5657 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 58790 33554432000 4194304 4196468 140724706961264 140634010356624 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5664] ppid=5654 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5657/task/5664/stat : 5664 (java) S 5654 5657 5027 0 -1 1077944384 1090 0 0 0 1 0 0 0 20 0 16 0 414337659 11006283776 58790 33554432000 4194304 4196468 140724706961264 140633568852208 140634076834434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5665] ppid=5654 vsize=10748324 memory=7588685588426025759 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5665/stat : 5665 (java) S 5654 5657 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414337660 11006283776 58790 33554432000 4194304 4196468 140724706961264 140633567798432 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5666] ppid=5654 vsize=10748324 memory=4628420146033755277 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5666/stat : 5666 (java) S 5654 5657 5027 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414337660 11006283776 58790 33554432000 4194304 4196468 140724706961264 140633566745344 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5667] ppid=5654 vsize=10748324 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5667/stat : 5667 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337662 11006283776 58790 33554432000 4194304 4196468 140724706961264 140633565693904 140634076841883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5668] ppid=5654 vsize=10748324 memory=0 CPUtime=1.65 cores=1,3,5,7
/proc/5657/task/5668/stat : 5668 (java) R 5654 5657 5027 0 -1 4202560 3640 0 0 0 165 0 0 0 20 0 16 0 414337662 11006283776 58790 33554432000 4194304 4196468 140724706961264 140633564631504 140634061210529 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5669] ppid=5654 vsize=10748324 memory=5573002698326426218 CPUtime=1.84 cores=1,3,5,7
/proc/5657/task/5669/stat : 5669 (java) R 5654 5657 5027 0 -1 4202560 11407 0 0 0 183 1 0 0 20 0 16 0 414337662 11006283776 58790 33554432000 4194304 4196468 140724706961264 140633563579872 140634058341146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5670] ppid=5654 vsize=10748324 memory=280744153571952 CPUtime=0.71 cores=1,3,5,7
/proc/5657/task/5670/stat : 5670 (java) S 5654 5657 5027 0 -1 1077944384 2731 0 0 0 70 1 0 0 20 0 16 0 414337662 11006283776 58790 33554432000 4194304 4196468 140724706961264 140633562536432 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5671] ppid=5654 vsize=10748324 memory=6003981469545032479 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5671/stat : 5671 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337663 11006283776 58790 33554432000 4194304 4196468 140724706961264 140633561484128 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5672] ppid=5654 vsize=10748324 memory=280744153576560 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5672/stat : 5672 (java) S 5654 5657 5027 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 16 0 414337663 11006283776 58790 33554432000 4194304 4196468 140724706961264 140633560431152 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5673] ppid=5654 vsize=10748324 memory=3618986663019028511 CPUtime=2.18 cores=1,3,5,7
/proc/5657/task/5673/stat : 5673 (java) R 5654 5657 5027 0 -1 4202560 3521 0 0 0 215 3 0 0 20 0 16 0 414337844 11006283776 58790 33554432000 4194304 4196468 140724706961264 140633543358720 140633695220074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
Current children cumulated CPU time: 8.37 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 235160 KiB
[startup+4.50114 s]
/proc/loadavg: 2.08 0.88 0.37 5/228 5675
/proc/meminfo: memFree=30686932/32770624 swapFree=66934464/67108860
[pid=5657] ppid=5654 vsize=10748324 memory=241368 CPUtime=8.91 cores=1,3,5,7
/proc/5657/stat : 5657 (java) S 5654 5657 5027 0 -1 1077944320 39340 0 0 0 875 16 0 0 20 0 16 0 414337657 11006283776 60342 33554432000 4194304 4196468 140724706961264 140724706943808 140634076823287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
/proc/5657/statm: 2687081 60342 3351 1 0 2647217 0
[pid=5657/tid=5659] ppid=5654 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/5657/task/5659/stat : 5659 (java) S 5654 5657 5027 0 -1 1077944384 15273 0 0 0 179 6 0 0 20 0 16 0 414337657 11006283776 60342 33554432000 4194304 4196468 140724706961264 140634081066160 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5660] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5660/stat : 5660 (java) S 5654 5657 5027 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 60342 33554432000 4194304 4196468 140724706961264 140634013514768 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5661] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5661/stat : 5661 (java) S 5654 5657 5027 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 60342 33554432000 4194304 4196468 140724706961264 140634012462224 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5662] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5662/stat : 5662 (java) S 5654 5657 5027 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 60342 33554432000 4194304 4196468 140724706961264 140634011409168 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5663] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5663/stat : 5663 (java) S 5654 5657 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 60342 33554432000 4194304 4196468 140724706961264 140634010356624 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5664] ppid=5654 vsize=10748324 memory=8099279071866868842 CPUtime=0.01 cores=1,3,5,7
/proc/5657/task/5664/stat : 5664 (java) S 5654 5657 5027 0 -1 1077944384 1090 0 0 0 1 0 0 0 20 0 16 0 414337659 11006283776 60342 33554432000 4194304 4196468 140724706961264 140633568852208 140634076834434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5665] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5665/stat : 5665 (java) S 5654 5657 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414337660 11006283776 60342 33554432000 4194304 4196468 140724706961264 140633567798432 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5666] ppid=5654 vsize=10748324 memory=280744027352000 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5666/stat : 5666 (java) S 5654 5657 5027 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414337660 11006283776 60342 33554432000 4194304 4196468 140724706961264 140633566745344 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5667] ppid=5654 vsize=10748324 memory=7596848441706374481 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5667/stat : 5667 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337662 11006283776 60342 33554432000 4194304 4196468 140724706961264 140633565693904 140634076841883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5668] ppid=5654 vsize=10748324 memory=6227446433076319659 CPUtime=1.74 cores=1,3,5,7
/proc/5657/task/5668/stat : 5668 (java) R 5654 5657 5027 0 -1 4202560 3650 0 0 0 174 0 0 0 20 0 16 0 414337662 11006283776 60342 33554432000 4194304 4196468 140724706961264 140633564641952 140634056993264 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5669] ppid=5654 vsize=10748324 memory=11332156027 CPUtime=1.9 cores=1,3,5,7
/proc/5657/task/5669/stat : 5669 (java) S 5654 5657 5027 0 -1 1077944384 11417 0 0 0 189 1 0 0 20 0 16 0 414337662 11006283776 60342 33554432000 4194304 4196468 140724706961264 140633563589488 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5670] ppid=5654 vsize=10748324 memory=280744027500432 CPUtime=0.72 cores=1,3,5,7
/proc/5657/task/5670/stat : 5670 (java) S 5654 5657 5027 0 -1 1077944384 2738 0 0 0 71 1 0 0 20 0 16 0 414337662 11006283776 60342 33554432000 4194304 4196468 140724706961264 140633562536432 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5671] ppid=5654 vsize=10748324 memory=280744027421488 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5671/stat : 5671 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337663 11006283776 60342 33554432000 4194304 4196468 140724706961264 140633561484128 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5672] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5672/stat : 5672 (java) S 5654 5657 5027 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 414337663 11006283776 60342 33554432000 4194304 4196468 140724706961264 140633560431152 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5673] ppid=5654 vsize=10748324 memory=140372013718624 CPUtime=2.56 cores=1,3,5,7
/proc/5657/task/5673/stat : 5673 (java) R 5654 5657 5027 0 -1 4202560 3529 0 0 0 253 3 0 0 20 0 16 0 414337844 11006283776 60342 33554432000 4194304 4196468 140724706961264 140633543356224 140633695220078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 241368 KiB
[startup+4.60075 s]
/proc/loadavg: 2.08 0.88 0.37 5/228 5675
/proc/meminfo: memFree=30686932/32770624 swapFree=66934464/67108860
[pid=5657] ppid=5654 vsize=10748324 memory=241536 CPUtime=9.06 cores=1,3,5,7
/proc/5657/stat : 5657 (java) S 5654 5657 5027 0 -1 1077944320 39574 0 0 0 890 16 0 0 20 0 16 0 414337657 11006283776 60384 33554432000 4194304 4196468 140724706961264 140724706943808 140634076823287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
/proc/5657/statm: 2687081 60384 3351 1 0 2647217 0
[pid=5657/tid=5659] ppid=5654 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/5657/task/5659/stat : 5659 (java) S 5654 5657 5027 0 -1 1077944384 15273 0 0 0 179 6 0 0 20 0 16 0 414337657 11006283776 60384 33554432000 4194304 4196468 140724706961264 140634081066160 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5660] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5660/stat : 5660 (java) S 5654 5657 5027 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 60384 33554432000 4194304 4196468 140724706961264 140634013514768 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5661] ppid=5654 vsize=10748324 memory=237272 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5661/stat : 5661 (java) S 5654 5657 5027 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 60384 33554432000 4194304 4196468 140724706961264 140634012462224 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5662] ppid=5654 vsize=10748324 memory=22076 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5662/stat : 5662 (java) S 5654 5657 5027 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 60384 33554432000 4194304 4196468 140724706961264 140634011409168 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5663] ppid=5654 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5663/stat : 5663 (java) S 5654 5657 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414337658 11006283776 60384 33554432000 4194304 4196468 140724706961264 140634010356624 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5664] ppid=5654 vsize=10748324 memory=213028 CPUtime=0.01 cores=1,3,5,7
/proc/5657/task/5664/stat : 5664 (java) S 5654 5657 5027 0 -1 1077944384 1090 0 0 0 1 0 0 0 20 0 16 0 414337659 11006283776 60384 33554432000 4194304 4196468 140724706961264 140633568852208 140634076834434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5665] ppid=5654 vsize=10748324 memory=7954853726904735570 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5665/stat : 5665 (java) S 5654 5657 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414337660 11006283776 60384 33554432000 4194304 4196468 140724706961264 140633567798432 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5666] ppid=5654 vsize=10748324 memory=6224326950734024023 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5666/stat : 5666 (java) S 5654 5657 5027 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414337660 11006283776 60384 33554432000 4194304 4196468 140724706961264 140633566745344 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5667] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5667/stat : 5667 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337662 11006283776 60384 33554432000 4194304 4196468 140724706961264 140633565693904 140634076841883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5668] ppid=5654 vsize=10748324 memory=280744027279552 CPUtime=1.78 cores=1,3,5,7
/proc/5657/task/5668/stat : 5668 (java) S 5654 5657 5027 0 -1 1077944384 3660 0 0 0 178 0 0 0 20 0 16 0 414337662 11006283776 60384 33554432000 4194304 4196468 140724706961264 140633564642032 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5669] ppid=5654 vsize=10748324 memory=3540022593932534080 CPUtime=1.91 cores=1,3,5,7
/proc/5657/task/5669/stat : 5669 (java) S 5654 5657 5027 0 -1 1077944384 11417 0 0 0 190 1 0 0 20 0 16 0 414337662 11006283776 60384 33554432000 4194304 4196468 140724706961264 140633563589488 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5670] ppid=5654 vsize=10748324 memory=280744027255072 CPUtime=0.72 cores=1,3,5,7
/proc/5657/task/5670/stat : 5670 (java) S 5654 5657 5027 0 -1 1077944384 2738 0 0 0 71 1 0 0 20 0 16 0 414337662 11006283776 60384 33554432000 4194304 4196468 140724706961264 140633562536432 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5671] ppid=5654 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5671/stat : 5671 (java) S 5654 5657 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337663 11006283776 60384 33554432000 4194304 4196468 140724706961264 140633561484128 140634076833493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5672] ppid=5654 vsize=10748324 memory=237028 CPUtime=0 cores=1,3,5,7
/proc/5657/task/5672/stat : 5672 (java) S 5654 5657 5027 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 414337663 11006283776 60384 33554432000 4194304 4196468 140724706961264 140633560431152 140634076834434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
[pid=5657/tid=5673] ppid=5654 vsize=10748324 memory=0 CPUtime=2.66 cores=1,3,5,7
/proc/5657/task/5673/stat : 5673 (java) R 5654 5657 5027 0 -1 4202560 3753 0 0 0 263 3 0 0 20 0 16 0 414337844 11006283776 60384 33554432000 4194304 4196468 140724706961264 140633543350400 140633695939452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20459520 140724706968587 140724706968690 140724706968690 140724706971599 0
Current children cumulated CPU time: 9.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 241536 KiB
Child status: 0
Real time (s): 4.68555
CPU time (s): 9.1685
CPU user time (s): 8.99496
CPU system time (s): 0.173536
CPU usage (%): 195.676
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 241536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.99496
system time used= 0.173536
maximum resident set size= 244264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39660
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= 2812
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 5657
# total CPU time (s): 9.1685
# total CPU user time (s): 8.99496
# total CPU system time (s): 0.173536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062477 second user time and 0.081537 second system time
The end