2.40/1.88
2.40/1.88 AbsCon 2
2.64/1.90
2.96/2.10 Instance
2.96/2.10 name=instance-4391160-1568389344, framework=COP, bounds=-infty..+infty
2.96/2.10
2.96/2.10 Loading variables...
3.29/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c7719e9
3.60/2.20 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53970478
3.60/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@747bc0b5
3.60/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfefb9b
3.60/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5476bcf6
3.60/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a735ff2
3.60/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ae55a05
3.60/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35bbbdb2
3.60/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502a814a
3.60/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32682d13
3.60/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38bcabf4
3.60/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@231f56e3
3.60/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a86b0c
3.60/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c6b643
3.60/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12e36a25
3.60/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed32059
3.60/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ff0df12
3.60/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20424676
3.60/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@765a03ab
3.60/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10004a9e
3.60/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc41b07
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed50153
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a103b09
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dd3cb0b
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@613a55f7
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3df2d5a9
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bb60d1e
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e7a51a
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28b953da
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d25478
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3729c216
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7750b9c3
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ad03ee
3.60/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3884a955
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43a57d7f
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50eb6fcd
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1650fc00
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b7d7a2
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b6e2d8d
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3487d862
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f80af0f
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@af0b93f
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@729b8daa
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4e5c5f
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37818610
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bcb98a2
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643e5039
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ab0e19d
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6433afd4
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1d2d35
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a466bf
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20cb389c
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bebd9e2
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ab350dd
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69b3a543
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2633d8a2
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3debdf
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4009d034
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5da6769e
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14aa9abc
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f214d7
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d15361e
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475922d7
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ffd29b4
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4e3840
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7365fb46
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@739cb85e
3.60/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54b1a0bf
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@348dedd9
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7385fcdf
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2589c5c5
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@139f5113
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e7327f4
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@299a760f
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206b236b
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fbc816b
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76c24595
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0cb871
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce32ef6
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414ff86
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3069146a
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@678ff162
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ad58c1c
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309a92b0
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c87fa83
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23609989
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b3a26d0
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@674769e0
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a2d13a
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7f0997
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@429e69b5
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d989a4a
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b56f268
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a787955
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bd2e448
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e8393e2
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@994f7fb
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6be6a4dc
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4516ee0f
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134c358b
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15825a0f
3.60/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fdf2b29
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7de2b8
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c2baa89
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20beab93
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@615f5dc9
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eac987f
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b7cc976
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40f67ac6
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e044473
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c110788
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c71ed5
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b97ee6b
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@484d0069
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478234c9
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ff6ea1
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e4c03da
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e9b0b87
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a40c22a
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26ced659
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c04abc0
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b9dc6f
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ab6e0b
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14537a33
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@724325f5
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@169fd961
3.60/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@551cf8f4
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ea8075
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@658c90b1
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69481b4c
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17953e7f
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@149cd984
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@554e96dc
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f7afba
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583af7d6
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f654b23
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52dd2352
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bff8481
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae4c366
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6496c6db
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c14e071
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49669a1e
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc57ea0
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a1d7350
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72472724
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513bc24b
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55bc9d1
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57fa93fb
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a82666
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d7239e3
3.60/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245d0dae
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f23ab2
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3c43e5
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c61c14f
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@321d869f
3.60/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31cd5954
4.27/2.43
4.27/2.43
4.27/2.43 Domains
4.27/2.43 nTypes=15, nValues=30192, sizes=[2#272,3#272,4#136,5#136...16#136,17#136,18#136,21#272]
4.27/2.43 Variables
4.27/2.43 count=2856, degrees=[3#176,4#2680]
4.27/2.43 Objectives
4.27/2.43 way=min, type=SumSimpleLE
4.27/2.43 Constraints
4.27/2.43 count=293, nSpecific=293, arities=[21#136,40#135,136#22]
4.27/2.43 distribution=[LexicographicLe#135,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#136]
4.27/2.43 wck=0.575, cpu=2.392, mem=76M722
4.27/2.44 Solver SolverBacktrack being built...
4.27/2.44
4.27/2.48
4.27/2.48 Solver
4.27/2.48 guaranteedGAC=false
4.27/2.48 wck=0.633, cpu=2.449, mem=95M291
4.48/2.54
4.48/2.54 Preprocessing
4.48/2.54 filters=136, nACremovedValues=19992, nTotalRemovedValues=19992, inconcistency=false
4.48/2.54 wck=0.054, cpu=2.506, mem=95M291
4.48/2.54
4.77/2.65 num=0, depth=0..152, filters=1195, wck=0.166, mem=95M291
4.77/2.65 decisions=178, wrong=18, backtracks=10, failedAssignments=10, nogoods=2
4.77/2.65
4.77/2.67 num=1, depth=4..14, filters=2177, wck=0.184, mem=95M291
4.77/2.67 decisions=204, wrong=29, backtracks=10, failedAssignments=21, nogoods=13
4.77/2.67
5.08/2.75 num=2, depth=0..622, filters=6852, wck=0.26, mem=95M291
5.08/2.75 decisions=1058, wrong=159, backtracks=134, failedAssignments=33, nogoods=15
5.08/2.75
5.08/2.75 num=3, depth=50..62, filters=7810, wck=0.268, mem=95M291
5.08/2.75 decisions=1134, wrong=172, backtracks=134, failedAssignments=46, nogoods=28
5.08/2.75
5.08/2.79 num=4, depth=0..234, filters=12810, wck=0.308, mem=95M291
5.08/2.79 decisions=1606, wrong=364, backtracks=312, failedAssignments=60, nogoods=30
5.08/2.79
5.29/2.80 num=5, depth=46..55, filters=13777, wck=0.318, mem=95M291
5.29/2.80 decisions=1708, wrong=392, backtracks=336, failedAssignments=76, nogoods=31
5.29/2.80
5.29/2.81 num=6, depth=21..47, filters=14763, wck=0.328, mem=95M291
5.29/2.81 decisions=1803, wrong=421, backtracks=357, failedAssignments=93, nogoods=40
5.29/2.81
5.29/2.83 num=7, depth=29..51, filters=16330, wck=0.343, mem=95M291
5.29/2.83 decisions=1955, wrong=478, backtracks=408, failedAssignments=112, nogoods=45
5.29/2.83
5.29/2.84 num=8, depth=28..45, filters=17282, wck=0.353, mem=95M291
5.29/2.84 decisions=2074, wrong=520, backtracks=439, failedAssignments=133, nogoods=51
5.29/2.84
5.29/2.85 num=9, depth=24..41, filters=18483, wck=0.366, mem=95M291
5.29/2.85 decisions=2193, wrong=566, backtracks=475, failedAssignments=156, nogoods=57
5.29/2.85
5.29/2.87 num=10, depth=0..28, filters=20582, wck=0.386, mem=95M291
5.29/2.87 decisions=2333, wrong=625, backtracks=515, failedAssignments=181, nogoods=62
5.29/2.87
5.29/2.89 num=11, depth=19..37, filters=22029, wck=0.4, mem=95M291
5.29/2.89 decisions=2472, wrong=682, backtracks=558, failedAssignments=209, nogoods=67
5.29/2.89
5.51/2.90 num=12, depth=4..24, filters=23940, wck=0.416, mem=95M291
5.51/2.90 decisions=2609, wrong=746, backtracks=602, failedAssignments=240, nogoods=74
5.51/2.90
5.51/2.92 num=13, depth=6..34, filters=25910, wck=0.435, mem=95M291
5.51/2.92 decisions=2846, wrong=856, backtracks=700, failedAssignments=274, nogoods=78
5.51/2.92
5.51/2.95 num=14, depth=0..125, filters=29161, wck=0.467, mem=95M291
5.51/2.95 decisions=3175, wrong=962, backtracks=792, failedAssignments=311, nogoods=87
5.51/2.95
5.51/2.99 num=15, depth=0..78, filters=32511, wck=0.505, mem=95M291
5.51/2.99 decisions=3463, wrong=1071, backtracks=874, failedAssignments=352, nogoods=92
5.51/2.99
5.69/3.04 o 133
5.69/3.05 num=16, depth=30..2855, filters=33836, ccks=293, wck=0.56, mem=97M934
5.69/3.05 decisions=3898, wrong=1098, backtracks=874, failedAssignments=379, nogoods=119, foundSolutions=1, bestBound=133
5.69/3.05
6.00/3.12 o 131
6.00/3.12 num=17, depth=34..2855, filters=34962, ccks=586, wck=0.634, mem=97M934
6.00/3.12 decisions=4378, wrong=1125, backtracks=880, failedAssignments=401, nogoods=139, foundSolutions=2, bestBound=131
6.00/3.12
6.00/3.17 num=18, depth=36..377, filters=35814, ccks=586, wck=0.68, mem=97M934
6.00/3.17 decisions=4772, wrong=1137, backtracks=881, failedAssignments=412, nogoods=150, foundSolutions=2, bestBound=131
6.00/3.17
6.00/3.18 num=19, depth=38..281, filters=36607, ccks=586, wck=0.695, mem=97M934
6.00/3.18 decisions=5076, wrong=1151, backtracks=885, failedAssignments=423, nogoods=159, foundSolutions=2, bestBound=131
6.00/3.18
6.25/3.20 num=20, depth=36..495, filters=37487, ccks=586, wck=0.717, mem=97M934
6.25/3.20 decisions=5592, wrong=1163, backtracks=885, failedAssignments=435, nogoods=171, foundSolutions=2, bestBound=131
6.25/3.20
6.25/3.24 o 128
6.25/3.24 num=21, depth=37..2855, filters=38446, ccks=879, wck=0.754, mem=100M576
6.25/3.24 decisions=6137, wrong=1172, backtracks=885, failedAssignments=444, nogoods=180, foundSolutions=3, bestBound=128
6.25/3.24
6.25/3.28 num=22, depth=40..238, filters=39285, ccks=879, wck=0.797, mem=100M576
6.25/3.28 decisions=6414, wrong=1193, backtracks=896, failedAssignments=458, nogoods=184, foundSolutions=3, bestBound=128
6.25/3.28
6.49/3.32 num=23, depth=39..276, filters=39959, ccks=879, wck=0.83, mem=100M576
6.49/3.32 decisions=6707, wrong=1207, backtracks=901, failedAssignments=469, nogoods=193, foundSolutions=3, bestBound=128
6.49/3.32
6.49/3.34 num=24, depth=42..305, filters=40647, ccks=879, wck=0.856, mem=100M576
6.49/3.34 decisions=7029, wrong=1219, backtracks=901, failedAssignments=481, nogoods=205, foundSolutions=3, bestBound=128
6.49/3.34
6.49/3.36 num=25, depth=45..328, filters=41404, ccks=879, wck=0.879, mem=100M576
6.49/3.36 decisions=7377, wrong=1232, backtracks=901, failedAssignments=494, nogoods=218, foundSolutions=3, bestBound=128
6.49/3.36
6.74/3.40 num=26, depth=46..450, filters=42272, ccks=879, wck=0.913, mem=100M576
6.74/3.40 decisions=7849, wrong=1246, backtracks=901, failedAssignments=508, nogoods=232, foundSolutions=3, bestBound=128
6.74/3.40
6.74/3.43 o 127
6.74/3.43 num=27, depth=45..2855, filters=43200, ccks=1172, wck=0.948, mem=100M576
6.74/3.43 decisions=8408, wrong=1260, backtracks=901, failedAssignments=522, nogoods=246, foundSolutions=4, bestBound=127
6.74/3.43
6.74/3.47 num=28, depth=46..305, filters=43928, ccks=1172, wck=0.988, mem=100M576
6.74/3.47 decisions=8738, wrong=1277, backtracks=901, failedAssignments=539, nogoods=263, foundSolutions=4, bestBound=127
6.74/3.47
6.74/3.48 num=29, depth=47..168, filters=44615, ccks=1172, wck=0.998, mem=100M576
6.74/3.48 decisions=8932, wrong=1295, backtracks=911, failedAssignments=550, nogoods=268, foundSolutions=4, bestBound=127
6.74/3.48
6.74/3.49 num=30, depth=47..140, filters=45408, ccks=1172, wck=1.008, mem=100M576
6.74/3.49 decisions=9103, wrong=1317, backtracks=921, failedAssignments=562, nogoods=273, foundSolutions=4, bestBound=127
6.74/3.49
6.86/3.51 num=31, depth=48..292, filters=46348, ccks=1172, wck=1.024, mem=100M576
6.86/3.51 decisions=9431, wrong=1338, backtracks=934, failedAssignments=575, nogoods=280, foundSolutions=4, bestBound=127
6.86/3.51
6.86/3.54 o 117
6.86/3.54 num=32, depth=49..2855, filters=47115, ccks=1465, wck=1.055, mem=103M219
6.86/3.54 decisions=9870, wrong=1347, backtracks=934, failedAssignments=584, nogoods=289, foundSolutions=5, bestBound=117
6.86/3.54
6.86/3.58 num=33, depth=49..307, filters=47914, ccks=1465, wck=1.095, mem=103M219
6.86/3.58 decisions=10210, wrong=1367, backtracks=938, failedAssignments=600, nogoods=294, foundSolutions=5, bestBound=117
6.86/3.58
6.86/3.59 num=34, depth=6..236, filters=48777, ccks=1465, wck=1.108, mem=103M219
6.86/3.59 decisions=10475, wrong=1387, backtracks=949, failedAssignments=611, nogoods=301, foundSolutions=5, bestBound=117
6.86/3.59
6.96/3.61 num=35, depth=6..229, filters=49620, ccks=1465, wck=1.121, mem=103M219
6.96/3.61 decisions=10730, wrong=1404, backtracks=956, failedAssignments=623, nogoods=309, foundSolutions=5, bestBound=117
6.96/3.61
6.96/3.62 num=36, depth=6..228, filters=50431, ccks=1465, wck=1.134, mem=103M219
6.96/3.62 decisions=10984, wrong=1420, backtracks=960, failedAssignments=636, nogoods=320, foundSolutions=5, bestBound=117
6.96/3.62
6.96/3.64 num=37, depth=1..254, filters=51275, ccks=1465, wck=1.15, mem=103M219
6.96/3.64 decisions=11266, wrong=1438, backtracks=966, failedAssignments=650, nogoods=330, foundSolutions=5, bestBound=117
6.96/3.64
6.96/3.67 o 116
6.96/3.67 num=38, depth=1..2855, filters=52239, ccks=1758, wck=1.184, mem=103M219
6.96/3.67 decisions=11723, wrong=1451, backtracks=968, failedAssignments=661, nogoods=340, foundSolutions=6, bestBound=116
6.96/3.67
7.09/3.73 o 115
7.09/3.73 num=39, depth=1..2855, filters=53153, ccks=2051, wck=1.244, mem=105M861
7.09/3.73 decisions=12223, wrong=1468, backtracks=972, failedAssignments=675, nogoods=350, foundSolutions=7, bestBound=115
7.09/3.73
7.09/3.77 num=40, depth=1..174, filters=53756, ccks=2051, wck=1.281, mem=105M861
7.09/3.77 decisions=12412, wrong=1479, backtracks=972, failedAssignments=686, nogoods=361, foundSolutions=7, bestBound=115
7.09/3.77
7.09/3.78 num=41, depth=1..264, filters=54485, ccks=2051, wck=1.294, mem=105M861
7.09/3.78 decisions=12693, wrong=1491, backtracks=974, failedAssignments=697, nogoods=370, foundSolutions=7, bestBound=115
7.09/3.78
7.09/3.79 num=42, depth=1..167, filters=55304, ccks=2051, wck=1.305, mem=105M861
7.09/3.79 decisions=12891, wrong=1513, backtracks=988, failedAssignments=709, nogoods=378, foundSolutions=7, bestBound=115
7.09/3.79
7.22/3.82 o 113
7.22/3.82 num=43, depth=1..2855, filters=56148, ccks=2344, wck=1.337, mem=105M861
7.22/3.82 decisions=13352, wrong=1525, backtracks=989, failedAssignments=720, nogoods=389, foundSolutions=8, bestBound=113
7.22/3.82
7.22/3.88 o 112
7.22/3.88 num=44, depth=7..2855, filters=56873, ccks=2637, wck=1.394, mem=108M504
7.22/3.88 decisions=13812, wrong=1534, backtracks=989, failedAssignments=729, nogoods=398, foundSolutions=9, bestBound=112
7.22/3.88
7.33/3.93 o 111
7.33/3.94 num=45, depth=2857..2855, filters=57554, ccks=2930, wck=1.45, mem=108M504
7.33/3.94 decisions=14238, wrong=1534, backtracks=989, failedAssignments=729, nogoods=398, foundSolutions=10, bestBound=111
7.33/3.94
7.33/3.97 num=46, depth=152..220, filters=58290, ccks=2930, wck=1.488, mem=108M504
7.33/3.97 decisions=14506, wrong=1560, backtracks=1009, failedAssignments=740, nogoods=402, foundSolutions=10, bestBound=111
7.33/3.97
7.33/4.00 o 110
7.33/4.01 num=47, depth=1..2855, filters=59034, ccks=3223, wck=1.519, mem=108M504
7.33/4.01 decisions=14918, wrong=1567, backtracks=1009, failedAssignments=747, nogoods=409, foundSolutions=11, bestBound=110
7.33/4.01
7.47/4.04 num=48, depth=105..158, filters=59794, ccks=3223, wck=1.557, mem=108M504
7.47/4.04 decisions=15118, wrong=1592, backtracks=1028, failedAssignments=759, nogoods=411, foundSolutions=11, bestBound=110
7.47/4.04
7.47/4.05 num=49, depth=1..130, filters=60408, ccks=3223, wck=1.567, mem=108M504
7.47/4.05 decisions=15286, wrong=1615, backtracks=1042, failedAssignments=770, nogoods=415, foundSolutions=11, bestBound=110
7.47/4.05
7.47/4.06 num=50, depth=1..154, filters=61096, ccks=3223, wck=1.576, mem=108M504
7.47/4.06 decisions=15484, wrong=1642, backtracks=1060, failedAssignments=782, nogoods=418, foundSolutions=11, bestBound=110
7.47/4.06
7.47/4.07 num=51, depth=1..131, filters=61759, ccks=3223, wck=1.585, mem=108M504
7.47/4.07 decisions=15651, wrong=1666, backtracks=1074, failedAssignments=795, nogoods=420, foundSolutions=11, bestBound=110
7.47/4.07
7.47/4.08 num=52, depth=1..118, filters=62543, ccks=3223, wck=1.594, mem=108M504
7.47/4.08 decisions=15805, wrong=1690, backtracks=1086, failedAssignments=809, nogoods=422, foundSolutions=11, bestBound=110
7.47/4.08
7.47/4.09 num=53, depth=1..113, filters=63073, ccks=3223, wck=1.602, mem=108M504
7.47/4.09 decisions=15951, wrong=1714, backtracks=1096, failedAssignments=825, nogoods=428, foundSolutions=11, bestBound=110
7.47/4.09
7.47/4.10 num=54, depth=1..185, filters=63685, ccks=3223, wck=1.613, mem=108M504
7.47/4.10 decisions=16168, wrong=1734, backtracks=1102, failedAssignments=842, nogoods=442, foundSolutions=11, bestBound=110
7.47/4.10
7.59/4.13 o 109
7.59/4.13 num=55, depth=31..2855, filters=64303, ccks=3516, wck=1.643, mem=111M146
7.59/4.13 decisions=16592, wrong=1748, backtracks=1102, failedAssignments=856, nogoods=456, foundSolutions=12, bestBound=109
7.59/4.13
7.59/4.17 num=56, depth=33..154, filters=64890, ccks=3516, wck=1.68, mem=111M146
7.59/4.17 decisions=16796, wrong=1783, backtracks=1123, failedAssignments=877, nogoods=462, foundSolutions=12, bestBound=109
7.59/4.17
7.59/4.17 num=57, depth=23..83, filters=65228, ccks=3516, wck=1.686, mem=111M146
7.59/4.17 decisions=16894, wrong=1794, backtracks=1123, failedAssignments=888, nogoods=473, foundSolutions=12, bestBound=109
7.59/4.17
7.59/4.18 num=58, depth=16..37, filters=66120, ccks=3516, wck=1.696, mem=111M146
7.59/4.18 decisions=16999, wrong=1836, backtracks=1160, failedAssignments=900, nogoods=476, foundSolutions=12, bestBound=109
7.59/4.18
7.59/4.19 num=59, depth=0..36, filters=67108, ccks=3516, wck=1.705, mem=111M146
7.59/4.19 decisions=17086, wrong=1865, backtracks=1182, failedAssignments=913, nogoods=480, foundSolutions=12, bestBound=109
7.59/4.19
7.72/4.20 num=60, depth=13..38, filters=67609, ccks=3516, wck=1.711, mem=111M146
7.72/4.20 decisions=17155, wrong=1887, backtracks=1193, failedAssignments=927, nogoods=484, foundSolutions=12, bestBound=109
7.72/4.20
7.72/4.21 num=61, depth=1..100, filters=68740, ccks=3516, wck=1.723, mem=111M146
7.72/4.21 decisions=17306, wrong=1921, backtracks=1213, failedAssignments=943, nogoods=493, foundSolutions=12, bestBound=109
7.72/4.21
7.72/4.22 num=62, depth=8..172, filters=69485, ccks=3516, wck=1.734, mem=111M146
7.72/4.22 decisions=17511, wrong=1944, backtracks=1221, failedAssignments=960, nogoods=508, foundSolutions=12, bestBound=109
7.72/4.22
7.72/4.23 num=63, depth=9..171, filters=70239, ccks=3516, wck=1.746, mem=111M146
7.72/4.23 decisions=17723, wrong=1972, backtracks=1238, failedAssignments=979, nogoods=519, foundSolutions=12, bestBound=109
7.72/4.23
7.72/4.26 o 104
7.72/4.26 num=64, depth=10..2855, filters=71220, ccks=3809, wck=1.776, mem=111M146
7.72/4.26 decisions=18059, wrong=1992, backtracks=1246, failedAssignments=992, nogoods=529, foundSolutions=13, bestBound=104
7.72/4.26
7.86/4.30 num=65, depth=10..213, filters=72161, ccks=3809, wck=1.815, mem=111M146
7.86/4.30 decisions=18323, wrong=2023, backtracks=1262, failedAssignments=1015, nogoods=544, foundSolutions=13, bestBound=104
7.86/4.30
7.86/4.31 num=66, depth=9..274, filters=72833, ccks=3809, wck=1.828, mem=111M146
7.86/4.31 decisions=18613, wrong=2034, backtracks=1262, failedAssignments=1026, nogoods=555, foundSolutions=13, bestBound=104
7.86/4.31
7.86/4.34 o 103
7.86/4.34 num=67, depth=9..2855, filters=73454, ccks=4102, wck=1.856, mem=113M788
7.86/4.34 decisions=18926, wrong=2041, backtracks=1262, failedAssignments=1033, nogoods=562, foundSolutions=14, bestBound=103
7.86/4.34
7.86/4.38 num=68, depth=134..199, filters=74162, ccks=4102, wck=1.893, mem=113M788
7.86/4.38 decisions=19150, wrong=2059, backtracks=1271, failedAssignments=1046, nogoods=567, foundSolutions=14, bestBound=103
7.86/4.38
7.96/4.40 o 102
7.96/4.41 num=69, depth=9..2855, filters=74756, ccks=4395, wck=1.92, mem=113M788
7.96/4.41 decisions=19448, wrong=2064, backtracks=1271, failedAssignments=1051, nogoods=572, foundSolutions=15, bestBound=102
7.96/4.41
7.96/4.44 num=70, depth=23..35, filters=75475, ccks=4395, wck=1.954, mem=113M788
7.96/4.44 decisions=19529, wrong=2093, backtracks=1295, failedAssignments=1063, nogoods=573, foundSolutions=15, bestBound=102
7.96/4.44
7.96/4.45 num=71, depth=10..35, filters=76094, ccks=4395, wck=1.962, mem=113M788
7.96/4.45 decisions=19593, wrong=2114, backtracks=1309, failedAssignments=1074, nogoods=579, foundSolutions=15, bestBound=102
7.96/4.45
7.96/4.45 num=72, depth=10..22, filters=76680, ccks=4395, wck=1.969, mem=113M788
7.96/4.45 decisions=19661, wrong=2140, backtracks=1326, failedAssignments=1086, nogoods=588, foundSolutions=15, bestBound=102
7.96/4.45
7.96/4.47 num=73, depth=0..26, filters=77907, ccks=4395, wck=1.979, mem=113M788
7.96/4.47 decisions=19750, wrong=2173, backtracks=1350, failedAssignments=1099, nogoods=592, foundSolutions=15, bestBound=102
7.96/4.47
7.96/4.47 num=74, depth=0..37, filters=78922, ccks=4395, wck=1.988, mem=113M788
7.96/4.47 decisions=19882, wrong=2239, backtracks=1411, failedAssignments=1113, nogoods=592, foundSolutions=15, bestBound=102
7.96/4.47
7.96/4.49 num=75, depth=1..44, filters=79643, ccks=4395, wck=1.999, mem=113M788
7.96/4.49 decisions=19969, wrong=2265, backtracks=1427, failedAssignments=1129, nogoods=602, foundSolutions=15, bestBound=102
7.96/4.49
8.12/4.50 num=76, depth=0..34, filters=80962, ccks=4395, wck=2.013, mem=113M788
8.12/4.50 decisions=20119, wrong=2330, backtracks=1483, failedAssignments=1146, nogoods=608, foundSolutions=15, bestBound=102
8.12/4.50
8.12/4.51 num=77, depth=0..34, filters=81930, ccks=4395, wck=2.024, mem=113M788
8.12/4.51 decisions=20228, wrong=2373, backtracks=1516, failedAssignments=1165, nogoods=617, foundSolutions=15, bestBound=102
8.12/4.51
8.12/4.52 num=78, depth=8..43, filters=83080, ccks=4395, wck=2.039, mem=113M788
8.12/4.52 decisions=20372, wrong=2434, backtracks=1570, failedAssignments=1186, nogoods=623, foundSolutions=15, bestBound=102
8.12/4.52
8.12/4.54 num=79, depth=6..30, filters=84514, ccks=4395, wck=2.053, mem=113M788
8.12/4.54 decisions=20501, wrong=2495, backtracks=1626, failedAssignments=1209, nogoods=625, foundSolutions=15, bestBound=102
8.12/4.54
8.12/4.55 num=80, depth=1..29, filters=85377, ccks=4395, wck=2.064, mem=113M788
8.12/4.55 decisions=20614, wrong=2544, backtracks=1664, failedAssignments=1234, nogoods=635, foundSolutions=15, bestBound=102
8.12/4.55
8.12/4.56 num=81, depth=0..23, filters=86469, ccks=4395, wck=2.076, mem=113M788
8.12/4.56 decisions=20750, wrong=2612, backtracks=1729, failedAssignments=1262, nogoods=635, foundSolutions=15, bestBound=102
8.12/4.56
8.12/4.56
8.12/4.56 New Bounds: 102..101
8.12/4.57 num=82, depth=0..5, filters=86631, ccks=4395, wck=2.08, mem=113M788
8.12/4.57 decisions=20764, wrong=2620, backtracks=1736, failedAssignments=1265, foundSolutions=15, bestBound=102
8.12/4.57
8.12/4.57 Global
8.12/4.57 filters=86631, ccks=4395
8.12/4.57 Stop=FULL_EXPLORATION, wrong=2620, bestBound=102, bestBoundWck=2.552, bestBoundCpu=4.366, foundSolutions=15, firstSolCpu=2.994
8.12/4.57 wck=2.715, cpu=4.529, mem=113M788
8.12/4.57
8.12/4.57 v <instantiation id='sol15' type='solution' cost='102'> <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 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 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 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 1 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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>
8.12/4.57 s OPTIMUM FOUND
8.12/4.57
8.12/4.57 d WRONG_DECISIONS 2620
8.12/4.57 d NUMBER_SOLUTIONS 15
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 (15489 MiB free)
memory of node 1: 16384 MiB (13027 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391160-1568389344/watcher-4391160-1568389344 -o /tmp/evaluation-result-4391160-1568389344/solver-4391160-1568389344 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568389279-23587 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391160-1568389344.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24024, runsolver pid=24021
[startup+0.100556 s]*
/proc/loadavg: 0.95 0.77 0.97 4/229 24039
/proc/meminfo: memFree=29187104/32770624 swapFree=66958212/67108860
[pid=24024] ppid=24021 vsize=10659884 memory=28180 CPUtime=0.14 cores=0,2,4,6
/proc/24024/stat : 24024 (java) S 24021 24024 21280 0 -1 1077944320 5515 0 0 0 13 1 0 0 20 0 15 0 414870954 10915721216 7045 33554432000 4194304 4196468 140720647349392 140720647331936 140275619720951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
/proc/24024/statm: 2664971 7045 2860 1 0 2627468 0
[pid=24024/tid=24026] ppid=24021 vsize=10659884 memory=-8094235084319000145 CPUtime=0.09 cores=0,2,4,6
/proc/24024/task/24026/stat : 24026 (java) R 24021 24024 21280 0 -1 4202560 3227 0 0 0 8 1 0 0 20 0 15 0 414870954 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275623950536 140275619742877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24027] ppid=24021 vsize=10659884 memory=4211974118650314122 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24027/stat : 24027 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275226586256 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24028] ppid=24021 vsize=10659884 memory=140392445523584 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24028/stat : 24028 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275225533456 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24029] ppid=24021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24029/stat : 24029 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275224480656 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24030] ppid=24021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24030/stat : 24030 (java) S 24021 24024 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414870955 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275223427856 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24031] ppid=24021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24031/stat : 24031 (java) S 24021 24024 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414870957 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275178850672 140275619732098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24032] ppid=24021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24032/stat : 24032 (java) S 24021 24024 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414870957 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275177796640 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24033] ppid=24021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24033/stat : 24033 (java) S 24021 24024 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414870957 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275176743792 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24034] ppid=24021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24034/stat : 24034 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414870960 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275108276048 140275619739547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24035] ppid=24021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24035/stat : 24035 (java) S 24021 24024 21280 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 15 0 414870960 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275107224432 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24036] ppid=24021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24036/stat : 24036 (java) S 24021 24024 21280 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 414870960 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275106171632 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24037] ppid=24021 vsize=10659884 memory=140392445523584 CPUtime=0.02 cores=0,2,4,6
/proc/24024/task/24037/stat : 24037 (java) S 24021 24024 21280 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 414870960 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275105118832 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24038] ppid=24021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24038/stat : 24038 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414870960 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275104066272 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24039] ppid=24021 vsize=10659884 memory=140392445523584 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24039/stat : 24039 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870960 10915721216 7045 33554432000 4194304 4196468 140720647349392 140275103013552 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28180 KiB
[startup+0.210796 s]*
/proc/loadavg: 0.95 0.77 0.97 6/229 24039
/proc/meminfo: memFree=29179116/32770624 swapFree=66958212/67108860
[pid=24024] ppid=24021 vsize=10659884 memory=35040 CPUtime=0.33 cores=0,2,4,6
/proc/24024/stat : 24024 (java) S 24021 24024 21280 0 -1 1077944320 6969 0 0 0 32 1 0 0 20 0 15 0 414870954 10915721216 8760 33554432000 4194304 4196468 140720647349392 140720647331936 140275619720951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
/proc/24024/statm: 2664971 8760 2988 1 0 2627468 0
[pid=24024/tid=24026] ppid=24021 vsize=10659884 memory=8246674155440865347 CPUtime=0.2 cores=0,2,4,6
/proc/24024/task/24026/stat : 24026 (java) R 24021 24024 21280 0 -1 4202560 3877 0 0 0 19 1 0 0 20 0 15 0 414870954 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275623947312 140275619742877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24027] ppid=24021 vsize=10659884 memory=4211974118650314122 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24027/stat : 24027 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275226586256 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24028] ppid=24021 vsize=10659884 memory=140392445523584 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24028/stat : 24028 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275225533456 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24029] ppid=24021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24029/stat : 24029 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275224480656 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24030] ppid=24021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24030/stat : 24030 (java) S 24021 24024 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414870955 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275223427856 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24031] ppid=24021 vsize=10659884 memory=140392445523584 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24031/stat : 24031 (java) S 24021 24024 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414870957 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275178850672 140275619732098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24032] ppid=24021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24032/stat : 24032 (java) S 24021 24024 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414870957 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275177796640 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24033] ppid=24021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24033/stat : 24033 (java) S 24021 24024 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414870957 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275176743792 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24034] ppid=24021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24034/stat : 24034 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414870960 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275108276048 140275619739547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24035] ppid=24021 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24024/task/24035/stat : 24035 (java) S 24021 24024 21280 0 -1 1077944384 798 0 0 0 3 0 0 0 20 0 15 0 414870960 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275107224432 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24036] ppid=24021 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24024/task/24036/stat : 24036 (java) S 24021 24024 21280 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 15 0 414870960 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275106171632 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24037] ppid=24021 vsize=10659884 memory=140392445523584 CPUtime=0.05 cores=0,2,4,6
/proc/24024/task/24037/stat : 24037 (java) S 24021 24024 21280 0 -1 1077944384 724 0 0 0 5 0 0 0 20 0 15 0 414870960 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275105118832 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24038] ppid=24021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24038/stat : 24038 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414870960 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275104066272 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24039] ppid=24021 vsize=10659884 memory=140392445523584 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24039/stat : 24039 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870960 10915721216 8760 33554432000 4194304 4196468 140720647349392 140275103013552 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35040 KiB
[startup+0.310382 s]*
/proc/loadavg: 0.95 0.77 0.97 3/229 24039
/proc/meminfo: memFree=29171904/32770624 swapFree=66958212/67108860
[pid=24024] ppid=24021 vsize=10659884 memory=40420 CPUtime=0.47 cores=0,2,4,6
/proc/24024/stat : 24024 (java) S 24021 24024 21280 0 -1 1077944320 9477 0 0 0 44 3 0 0 20 0 15 0 414870954 10915721216 10105 33554432000 4194304 4196468 140720647349392 140720647331936 140275619720951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
/proc/24024/statm: 2664971 10105 3001 1 0 2627468 0
[pid=24024/tid=24026] ppid=24021 vsize=10659884 memory=-6933350163988323266 CPUtime=0.3 cores=0,2,4,6
/proc/24024/task/24026/stat : 24026 (java) R 24021 24024 21280 0 -1 4202560 6321 0 0 0 28 2 0 0 20 0 15 0 414870954 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275623953360 140275257208529 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24027] ppid=24021 vsize=10659884 memory=4211974118650314122 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24027/stat : 24027 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275226586256 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24028] ppid=24021 vsize=10659884 memory=140392445523584 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24028/stat : 24028 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275225533456 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24029] ppid=24021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24029/stat : 24029 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275224480656 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24030] ppid=24021 vsize=10659884 memory=140392347604511 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24030/stat : 24030 (java) S 24021 24024 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414870955 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275223427856 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24031] ppid=24021 vsize=10659884 memory=280784695188256 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24031/stat : 24031 (java) S 24021 24024 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414870957 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275178850672 140275619732098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24032] ppid=24021 vsize=10659884 memory=140392347581455 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24032/stat : 24032 (java) S 24021 24024 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414870957 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275177796640 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24033] ppid=24021 vsize=10659884 memory=280784793111936 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24033/stat : 24033 (java) S 24021 24024 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414870957 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275176743792 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24034] ppid=24021 vsize=10659884 memory=140392347586063 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24034/stat : 24034 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414870960 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275108276048 140275619739547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24035] ppid=24021 vsize=10659884 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/24024/task/24035/stat : 24035 (java) S 24021 24024 21280 0 -1 1077944384 825 0 0 0 5 0 0 0 20 0 15 0 414870960 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275107224432 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24036] ppid=24021 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/24024/task/24036/stat : 24036 (java) S 24021 24024 21280 0 -1 1077944384 227 0 0 0 3 0 0 0 20 0 15 0 414870960 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275106171632 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24037] ppid=24021 vsize=10659884 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24024/task/24037/stat : 24037 (java) S 24021 24024 21280 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 15 0 414870960 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275105118832 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24038] ppid=24021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24038/stat : 24038 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414870960 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275104066272 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24039] ppid=24021 vsize=10659884 memory=28180 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24039/stat : 24039 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870960 10915721216 10105 33554432000 4194304 4196468 140720647349392 140275103013552 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40420 KiB
[startup+0.700752 s]
/proc/loadavg: 0.95 0.77 0.97 3/229 24039
/proc/meminfo: memFree=29162864/32770624 swapFree=66958212/67108860
[pid=24024] ppid=24021 vsize=10661932 memory=64196 CPUtime=1.11 cores=0,2,4,6
/proc/24024/stat : 24024 (java) S 24021 24024 21280 0 -1 1077944320 13232 0 0 0 106 5 0 0 20 0 15 0 414870954 10917818368 16049 33554432000 4194304 4196468 140720647349392 140720647331936 140275619720951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
/proc/24024/statm: 2665483 16049 3072 1 0 2627980 0
[pid=24024/tid=24026] ppid=24021 vsize=10661932 memory=1556 CPUtime=0.68 cores=0,2,4,6
/proc/24024/task/24026/stat : 24026 (java) R 24021 24024 21280 0 -1 4202560 8891 0 0 0 64 4 0 0 20 0 15 0 414870954 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275623952976 140275603801438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24027] ppid=24021 vsize=10661932 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24027/stat : 24027 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275226586256 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24028] ppid=24021 vsize=10661932 memory=1044 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24028/stat : 24028 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275225533456 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24029] ppid=24021 vsize=10661932 memory=7734763483327455577 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24029/stat : 24029 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275224480656 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24030] ppid=24021 vsize=10661932 memory=7380108234199885905 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24030/stat : 24030 (java) S 24021 24024 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414870955 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275223427856 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24031] ppid=24021 vsize=10661932 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24031/stat : 24031 (java) S 24021 24024 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414870957 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275178850672 140275619732098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24032] ppid=24021 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24032/stat : 24032 (java) S 24021 24024 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414870957 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275177796640 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24033] ppid=24021 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24033/stat : 24033 (java) S 24021 24024 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414870957 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275176743792 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24034] ppid=24021 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24034/stat : 24034 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414870960 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275108276048 140275619739547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24035] ppid=24021 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/24024/task/24035/stat : 24035 (java) R 24021 24024 21280 0 -1 4202560 1235 0 0 0 11 0 0 0 20 0 15 0 414870960 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275107224432 140275604114716 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24036] ppid=24021 vsize=10661932 memory=243604706586942 CPUtime=0.1 cores=0,2,4,6
/proc/24024/task/24036/stat : 24036 (java) S 24021 24024 21280 0 -1 1077944384 564 0 0 0 10 0 0 0 20 0 15 0 414870960 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275106171632 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24037] ppid=24021 vsize=10661932 memory=2933550 CPUtime=0.18 cores=0,2,4,6
/proc/24024/task/24037/stat : 24037 (java) S 24021 24024 21280 0 -1 1077944384 1184 0 0 0 18 0 0 0 20 0 15 0 414870960 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275105118832 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24038] ppid=24021 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24038/stat : 24038 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414870960 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275104066272 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24039] ppid=24021 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24039/stat : 24039 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870960 10917818368 16049 33554432000 4194304 4196468 140720647349392 140275103013552 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64196 KiB
[startup+1.5008 s]
/proc/loadavg: 0.95 0.77 0.97 3/229 24039
/proc/meminfo: memFree=29146788/32770624 swapFree=66958212/67108860
[pid=24024] ppid=24021 vsize=10663980 memory=76024 CPUtime=2 cores=0,2,4,6
/proc/24024/stat : 24024 (java) S 24021 24024 21280 0 -1 1077944320 18824 0 0 0 194 6 0 0 20 0 15 0 414870954 10919915520 19006 33554432000 4194304 4196468 140720647349392 140720647331936 140275619720951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
/proc/24024/statm: 2665995 19006 3092 1 0 2628492 0
[pid=24024/tid=24026] ppid=24021 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/24024/task/24026/stat : 24026 (java) R 24021 24024 21280 0 -1 4202560 13164 0 0 0 143 5 0 0 20 0 15 0 414870954 10919915520 19006 33554432000 4194304 4196468 140720647349392 140275623952976 140275603801438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24027] ppid=24021 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24027/stat : 24027 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10919915520 19006 33554432000 4194304 4196468 140720647349392 140275226586256 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24028] ppid=24021 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24028/stat : 24028 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10919915520 19006 33554432000 4194304 4196468 140720647349392 140275225533456 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24029] ppid=24021 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24029/stat : 24029 (java) S 24021 24024 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414870955 10919915520 19006 33554432000 4194304 4196468 140720647349392 140275224480656 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24030] ppid=24021 vsize=10663980 memory=140392347634656 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24030/stat : 24030 (java) S 24021 24024 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414870955 10919915520 19006 33554432000 4194304 4196468 140720647349392 140275223427856 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24031] ppid=24021 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24031/stat : 24031 (java) S 24021 24024 21280 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 414870957 10919915520 19006 33554432000 4194304 4196468 140720647349392 140275178850672 140275619732098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
################
# More data... #
################
[startup+3.20128 s]
/proc/loadavg: 0.95 0.77 0.97 3/230 24040
/proc/meminfo: memFree=29024788/32770624 swapFree=66958212/67108860
[pid=24024] ppid=24021 vsize=10748324 memory=193468 CPUtime=6.25 cores=0,2,4,6
/proc/24024/stat : 24024 (java) S 24021 24024 21280 0 -1 1077944320 29093 0 0 0 611 14 0 0 20 0 16 0 414870954 11006283776 48367 33554432000 4194304 4196468 140720647349392 140720647331936 140275619720951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
/proc/24024/statm: 2687081 48367 3348 1 0 2647217 0
[pid=24024/tid=24026] ppid=24021 vsize=10748324 memory=13412 CPUtime=1.86 cores=0,2,4,6
/proc/24024/task/24026/stat : 24026 (java) S 24021 24024 21280 0 -1 1077944384 15416 0 0 0 180 6 0 0 20 0 16 0 414870954 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275623963824 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24027] ppid=24021 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24024/task/24027/stat : 24027 (java) S 24021 24024 21280 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 414870955 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275226586256 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24028] ppid=24021 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24028/stat : 24028 (java) S 24021 24024 21280 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 16 0 414870955 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275225533456 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24029] ppid=24021 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24029/stat : 24029 (java) S 24021 24024 21280 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 414870955 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275224480656 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24030] ppid=24021 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24030/stat : 24030 (java) S 24021 24024 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414870955 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275223427856 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24031] ppid=24021 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24024/task/24031/stat : 24031 (java) S 24021 24024 21280 0 -1 1077944384 1108 0 0 0 1 0 0 0 20 0 16 0 414870957 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275178850672 140275619732098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24032] ppid=24021 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24032/stat : 24032 (java) S 24021 24024 21280 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414870957 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275177796704 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24033] ppid=24021 vsize=10748324 memory=243559005469626 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24033/stat : 24033 (java) S 24021 24024 21280 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414870957 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275176743808 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24034] ppid=24021 vsize=10748324 memory=243559005469627 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24034/stat : 24034 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414870960 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275108276048 140275619739547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24035] ppid=24021 vsize=10748324 memory=103169409465279 CPUtime=1.16 cores=0,2,4,6
/proc/24024/task/24035/stat : 24035 (java) R 24021 24024 21280 0 -1 4202560 2911 0 0 0 116 0 0 0 20 0 16 0 414870960 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275107210976 140275597468343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24036] ppid=24021 vsize=10748324 memory=3763203916158778304 CPUtime=1.18 cores=0,2,4,6
/proc/24024/task/24036/stat : 24036 (java) R 24021 24024 21280 0 -1 4202560 1936 0 0 0 118 0 0 0 20 0 16 0 414870960 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275106159984 140275604650421 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24037] ppid=24021 vsize=10748324 memory=301741373374332954 CPUtime=0.67 cores=0,2,4,6
/proc/24024/task/24037/stat : 24037 (java) S 24021 24024 21280 0 -1 1077944384 2569 0 0 0 66 1 0 0 20 0 16 0 414870960 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275105118832 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24038] ppid=24021 vsize=10748324 memory=301741403506213173 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24038/stat : 24038 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414870960 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275104066272 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24039] ppid=24021 vsize=10748324 memory=15534145912703117 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24039/stat : 24039 (java) S 24021 24024 21280 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 414870960 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275103013552 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24040] ppid=24021 vsize=10748324 memory=7100839870106213769 CPUtime=1.27 cores=0,2,4,6
/proc/24024/task/24040/stat : 24040 (java) R 24021 24024 21280 0 -1 4202560 3508 0 0 0 124 3 0 0 20 0 16 0 414871142 11006283776 48367 33554432000 4194304 4196468 140720647349392 140275086232912 140275264614357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 193468 KiB
[startup+4.00074 s]*
/proc/loadavg: 0.95 0.77 0.97 4/230 24040
/proc/meminfo: memFree=29009772/32770624 swapFree=66958212/67108860
[pid=24024] ppid=24021 vsize=10748324 memory=205228 CPUtime=7.47 cores=0,2,4,6
/proc/24024/stat : 24024 (java) S 24021 24024 21280 0 -1 1077944320 29694 0 0 0 732 15 0 0 20 0 16 0 414870954 11006283776 51307 33554432000 4194304 4196468 140720647349392 140720647331936 140275619720951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
/proc/24024/statm: 2687081 51307 3349 1 0 2647217 0
[pid=24024/tid=24026] ppid=24021 vsize=10748324 memory=8246674155440865347 CPUtime=1.86 cores=0,2,4,6
/proc/24024/task/24026/stat : 24026 (java) S 24021 24024 21280 0 -1 1077944384 15416 0 0 0 180 6 0 0 20 0 16 0 414870954 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275623963824 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24027] ppid=24021 vsize=10748324 memory=4211974118650314122 CPUtime=0.01 cores=0,2,4,6
/proc/24024/task/24027/stat : 24027 (java) S 24021 24024 21280 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 414870955 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275226586256 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24028] ppid=24021 vsize=10748324 memory=665094690913281673 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24028/stat : 24028 (java) S 24021 24024 21280 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 16 0 414870955 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275225533456 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24029] ppid=24021 vsize=10748324 memory=11416866218 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24029/stat : 24029 (java) S 24021 24024 21280 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 414870955 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275224480656 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24030] ppid=24021 vsize=10748324 memory=140392347570319 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24030/stat : 24030 (java) S 24021 24024 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414870955 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275223427856 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24031] ppid=24021 vsize=10748324 memory=280784793084688 CPUtime=0.01 cores=0,2,4,6
/proc/24024/task/24031/stat : 24031 (java) S 24021 24024 21280 0 -1 1077944384 1108 0 0 0 1 0 0 0 20 0 16 0 414870957 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275178850672 140275619732098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24032] ppid=24021 vsize=10748324 memory=140392347568015 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24032/stat : 24032 (java) S 24021 24024 21280 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414870957 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275177796704 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24033] ppid=24021 vsize=10748324 memory=280784695209136 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24033/stat : 24033 (java) S 24021 24024 21280 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414870957 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275176743808 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24034] ppid=24021 vsize=10748324 memory=280784695297696 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24034/stat : 24034 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414870960 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275108276048 140275619739547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24035] ppid=24021 vsize=10748324 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/24024/task/24035/stat : 24035 (java) R 24021 24024 21280 0 -1 4202560 3216 0 0 0 137 0 0 0 20 0 16 0 414870960 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275107224432 140275599407632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24036] ppid=24021 vsize=10748324 memory=-1 CPUtime=1.35 cores=0,2,4,6
/proc/24024/task/24036/stat : 24036 (java) S 24021 24024 21280 0 -1 1077944384 1968 0 0 0 135 0 0 0 20 0 16 0 414870960 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275106171632 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24037] ppid=24021 vsize=10748324 memory=140392445523584 CPUtime=0.69 cores=0,2,4,6
/proc/24024/task/24037/stat : 24037 (java) S 24021 24024 21280 0 -1 1077944384 2598 0 0 0 68 1 0 0 20 0 16 0 414870960 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275105118832 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24038] ppid=24021 vsize=10748324 memory=24039 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24038/stat : 24038 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414870960 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275104066272 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24039] ppid=24021 vsize=10748324 memory=140392445523614 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24039/stat : 24039 (java) S 24021 24024 21280 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 414870960 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275103013552 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24040] ppid=24021 vsize=10748324 memory=140392347636543 CPUtime=2.08 cores=0,2,4,6
/proc/24024/task/24040/stat : 24040 (java) R 24021 24024 21280 0 -1 4202560 3743 0 0 0 205 3 0 0 20 0 16 0 414871142 11006283776 51307 33554432000 4194304 4196468 140720647349392 140275086242432 140275264377161 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 205228 KiB
[startup+4.40078 s]
/proc/loadavg: 0.95 0.77 0.97 4/230 24040
/proc/meminfo: memFree=29009772/32770624 swapFree=66958212/67108860
[pid=24024] ppid=24021 vsize=10748324 memory=209536 CPUtime=7.96 cores=0,2,4,6
/proc/24024/stat : 24024 (java) S 24021 24024 21280 0 -1 1077944320 29738 0 0 0 781 15 0 0 20 0 16 0 414870954 11006283776 52384 33554432000 4194304 4196468 140720647349392 140720647331936 140275619720951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
/proc/24024/statm: 2687081 52384 3354 1 0 2647217 0
[pid=24024/tid=24026] ppid=24021 vsize=10748324 memory=137 CPUtime=1.86 cores=0,2,4,6
/proc/24024/task/24026/stat : 24026 (java) S 24021 24024 21280 0 -1 1077944384 15416 0 0 0 180 6 0 0 20 0 16 0 414870954 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275623963824 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24027] ppid=24021 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/24024/task/24027/stat : 24027 (java) S 24021 24024 21280 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 414870955 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275226586256 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24028] ppid=24021 vsize=10748324 memory=-7735619938911498612 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24028/stat : 24028 (java) S 24021 24024 21280 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 16 0 414870955 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275225533456 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24029] ppid=24021 vsize=10748324 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24029/stat : 24029 (java) S 24021 24024 21280 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 414870955 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275224480656 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24030] ppid=24021 vsize=10748324 memory=280784695406576 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24030/stat : 24030 (java) S 24021 24024 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414870955 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275223427856 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24031] ppid=24021 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24024/task/24031/stat : 24031 (java) S 24021 24024 21280 0 -1 1077944384 1108 0 0 0 1 0 0 0 20 0 16 0 414870957 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275178850672 140275619732098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24032] ppid=24021 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24032/stat : 24032 (java) S 24021 24024 21280 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414870957 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275177796704 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24033] ppid=24021 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24033/stat : 24033 (java) S 24021 24024 21280 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414870957 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275176743808 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24034] ppid=24021 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24034/stat : 24034 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414870960 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275108276048 140275619739547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24035] ppid=24021 vsize=10748324 memory=201132 CPUtime=1.43 cores=0,2,4,6
/proc/24024/task/24035/stat : 24035 (java) S 24021 24024 21280 0 -1 1077944384 3230 0 0 0 143 0 0 0 20 0 16 0 414870960 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275107224432 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24036] ppid=24021 vsize=10748324 memory=1552 CPUtime=1.38 cores=0,2,4,6
/proc/24024/task/24036/stat : 24036 (java) S 24021 24024 21280 0 -1 1077944384 1974 0 0 0 138 0 0 0 20 0 16 0 414870960 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275106171632 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24037] ppid=24021 vsize=10748324 memory=1556 CPUtime=0.7 cores=0,2,4,6
/proc/24024/task/24037/stat : 24037 (java) S 24021 24024 21280 0 -1 1077944384 2616 0 0 0 69 1 0 0 20 0 16 0 414870960 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275105118832 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24038] ppid=24021 vsize=10748324 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24038/stat : 24038 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414870960 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275104066272 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24039] ppid=24021 vsize=10748324 memory=1044 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24039/stat : 24039 (java) S 24021 24024 21280 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 414870960 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275103013552 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24040] ppid=24021 vsize=10748324 memory=0 CPUtime=2.47 cores=0,2,4,6
/proc/24024/task/24040/stat : 24040 (java) R 24021 24024 21280 0 -1 4202560 3748 0 0 0 244 3 0 0 20 0 16 0 414871142 11006283776 52384 33554432000 4194304 4196468 140720647349392 140275086232960 140275264912862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
Current children cumulated CPU time: 7.96 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 209536 KiB
[startup+4.50079 s]
/proc/loadavg: 0.95 0.77 0.97 4/230 24040
/proc/meminfo: memFree=29009772/32770624 swapFree=66958212/67108860
[pid=24024] ppid=24021 vsize=10748324 memory=209564 CPUtime=8.12 cores=0,2,4,6
/proc/24024/stat : 24024 (java) S 24021 24024 21280 0 -1 1077944320 29754 0 0 0 797 15 0 0 20 0 16 0 414870954 11006283776 52391 33554432000 4194304 4196468 140720647349392 140720647331936 140275619720951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
/proc/24024/statm: 2687081 52391 3354 1 0 2647217 0
[pid=24024/tid=24026] ppid=24021 vsize=10748324 memory=207488 CPUtime=1.86 cores=0,2,4,6
/proc/24024/task/24026/stat : 24026 (java) S 24021 24024 21280 0 -1 1077944384 15416 0 0 0 180 6 0 0 20 0 16 0 414870954 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275623963824 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24027] ppid=24021 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24024/task/24027/stat : 24027 (java) S 24021 24024 21280 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 414870955 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275226586256 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24028] ppid=24021 vsize=10748324 memory=280784695022112 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24028/stat : 24028 (java) S 24021 24024 21280 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 16 0 414870955 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275225533456 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24029] ppid=24021 vsize=10748324 memory=199084 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24029/stat : 24029 (java) S 24021 24024 21280 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 414870955 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275224480656 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24030] ppid=24021 vsize=10748324 memory=11 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24030/stat : 24030 (java) S 24021 24024 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414870955 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275223427856 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24031] ppid=24021 vsize=10748324 memory=280784695104184 CPUtime=0.01 cores=0,2,4,6
/proc/24024/task/24031/stat : 24031 (java) S 24021 24024 21280 0 -1 1077944384 1108 0 0 0 1 0 0 0 20 0 16 0 414870957 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275178850672 140275619732098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24032] ppid=24021 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24032/stat : 24032 (java) S 24021 24024 21280 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414870957 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275177796704 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24033] ppid=24021 vsize=10748324 memory=280784695713024 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24033/stat : 24033 (java) S 24021 24024 21280 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414870957 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275176743808 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24034] ppid=24021 vsize=10748324 memory=140392347866540 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24034/stat : 24034 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414870960 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275108276048 140275619739547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24035] ppid=24021 vsize=10748324 memory=124 CPUtime=1.43 cores=0,2,4,6
/proc/24024/task/24035/stat : 24035 (java) S 24021 24024 21280 0 -1 1077944384 3230 0 0 0 143 0 0 0 20 0 16 0 414870960 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275107224432 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24036] ppid=24021 vsize=10748324 memory=67 CPUtime=1.43 cores=0,2,4,6
/proc/24024/task/24036/stat : 24036 (java) S 24021 24024 21280 0 -1 1077944384 1983 0 0 0 143 0 0 0 20 0 16 0 414870960 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275106171632 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24037] ppid=24021 vsize=10748324 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/24024/task/24037/stat : 24037 (java) S 24021 24024 21280 0 -1 1077944384 2622 0 0 0 69 1 0 0 20 0 16 0 414870960 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275105118832 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24038] ppid=24021 vsize=10748324 memory=280784792991480 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24038/stat : 24038 (java) S 24021 24024 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414870960 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275104066272 140275619731157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24039] ppid=24021 vsize=10748324 memory=140392445535697 CPUtime=0 cores=0,2,4,6
/proc/24024/task/24039/stat : 24039 (java) S 24021 24024 21280 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 414870960 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275103013552 140275619732098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
[pid=24024/tid=24040] ppid=24021 vsize=10748324 memory=8242832241811678803 CPUtime=2.57 cores=0,2,4,6
/proc/24024/task/24040/stat : 24040 (java) R 24021 24024 21280 0 -1 4202560 3749 0 0 0 254 3 0 0 20 0 16 0 414871142 11006283776 52391 33554432000 4194304 4196468 140720647349392 140275086232960 140275264614321 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29687808 140720647357451 140720647357554 140720647357554 140720647360463 0
Current children cumulated CPU time: 8.12 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 209564 KiB
Child status: 0
Real time (s): 4.57914
CPU time (s): 8.2119
CPU user time (s): 8.05289
CPU system time (s): 0.159011
CPU usage (%): 179.333
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 209564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.05289
system time used= 0.159011
maximum resident set size= 214356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30078
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= 2819
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 24024
# total CPU time (s): 8.2119
# total CPU user time (s): 8.05289
# total CPU system time (s): 0.159011
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05524 second user time and 0.092803 second system time
The end