2.42/1.95
2.42/1.95 AbsCon 2
2.42/1.97
2.96/2.17 Instance
2.96/2.17 name=instance-4390860-1568380700, framework=COP, bounds=-infty..+infty
2.96/2.17
2.96/2.17 Loading variables...
3.30/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c7719e9
3.30/2.27 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53970478
3.30/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@747bc0b5
3.30/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfefb9b
3.30/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5476bcf6
3.30/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a735ff2
3.30/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ae55a05
3.30/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35bbbdb2
3.30/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502a814a
3.30/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32682d13
3.30/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38bcabf4
3.30/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@231f56e3
3.30/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a86b0c
3.30/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c6b643
3.30/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12e36a25
3.30/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed32059
3.68/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ff0df12
3.68/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20424676
3.68/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@765a03ab
3.68/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10004a9e
3.68/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc41b07
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed50153
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a103b09
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dd3cb0b
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@613a55f7
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3df2d5a9
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bb60d1e
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e7a51a
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28b953da
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d25478
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3729c216
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7750b9c3
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ad03ee
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3884a955
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43a57d7f
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50eb6fcd
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1650fc00
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b7d7a2
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b6e2d8d
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3487d862
3.68/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f80af0f
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@af0b93f
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@729b8daa
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4e5c5f
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37818610
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bcb98a2
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643e5039
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ab0e19d
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6433afd4
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1d2d35
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a466bf
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20cb389c
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bebd9e2
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ab350dd
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69b3a543
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2633d8a2
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3debdf
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4009d034
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5da6769e
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14aa9abc
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f214d7
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d15361e
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475922d7
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ffd29b4
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4e3840
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7365fb46
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@739cb85e
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54b1a0bf
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@348dedd9
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7385fcdf
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2589c5c5
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@139f5113
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e7327f4
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@299a760f
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206b236b
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fbc816b
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76c24595
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0cb871
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce32ef6
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414ff86
3.68/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3069146a
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@678ff162
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ad58c1c
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309a92b0
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c87fa83
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23609989
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b3a26d0
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@674769e0
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a2d13a
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7f0997
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@429e69b5
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d989a4a
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b56f268
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a787955
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bd2e448
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e8393e2
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@994f7fb
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6be6a4dc
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4516ee0f
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134c358b
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15825a0f
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fdf2b29
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7de2b8
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c2baa89
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20beab93
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@615f5dc9
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eac987f
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b7cc976
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40f67ac6
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e044473
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c110788
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c71ed5
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b97ee6b
3.68/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@484d0069
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478234c9
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ff6ea1
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e4c03da
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e9b0b87
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a40c22a
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26ced659
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c04abc0
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b9dc6f
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ab6e0b
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14537a33
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@724325f5
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@169fd961
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@551cf8f4
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ea8075
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@658c90b1
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69481b4c
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17953e7f
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@149cd984
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@554e96dc
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f7afba
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583af7d6
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f654b23
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52dd2352
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bff8481
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae4c366
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6496c6db
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c14e071
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49669a1e
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc57ea0
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a1d7350
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72472724
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513bc24b
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55bc9d1
3.68/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57fa93fb
3.68/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a82666
3.68/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d7239e3
3.68/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245d0dae
3.68/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f23ab2
3.68/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3c43e5
3.68/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c61c14f
3.68/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@321d869f
3.68/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31cd5954
4.06/2.49
4.06/2.49
4.06/2.49 Domains
4.06/2.49 nTypes=15, nValues=30192, sizes=[2#272,3#272,4#136,5#136...16#136,17#136,18#136,21#272]
4.06/2.49 Variables
4.06/2.49 count=2856, degrees=[3#176,4#2680]
4.06/2.49 Objectives
4.06/2.49 way=min, type=SumSimpleLE
4.06/2.49 Constraints
4.06/2.49 count=293, nSpecific=293, arities=[21#136,40#135,136#22]
4.06/2.49 distribution=[LexicographicLe#135,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#136]
4.06/2.49 wck=0.568, cpu=2.38, mem=76M719
4.27/2.50 Solver SolverBacktrack being built...
4.27/2.50
4.27/2.55
4.27/2.55 Solver
4.27/2.55 guaranteedGAC=false
4.27/2.55 wck=0.629, cpu=2.439, mem=95M288
4.54/2.61
4.54/2.61 Preprocessing
4.54/2.61 filters=136, nACremovedValues=19992, nTotalRemovedValues=19992, inconcistency=false
4.54/2.61 wck=0.054, cpu=2.496, mem=95M288
4.54/2.61
4.84/2.72 num=0, depth=0..152, filters=1195, wck=0.164, mem=95M288
4.84/2.72 decisions=178, wrong=18, backtracks=10, failedAssignments=10, nogoods=2
4.84/2.72
4.84/2.73 num=1, depth=4..14, filters=2177, wck=0.181, mem=95M288
4.84/2.73 decisions=204, wrong=29, backtracks=10, failedAssignments=21, nogoods=13
4.84/2.73
5.16/2.81 num=2, depth=0..622, filters=6852, wck=0.257, mem=95M288
5.16/2.81 decisions=1058, wrong=159, backtracks=134, failedAssignments=33, nogoods=15
5.16/2.81
5.16/2.82 num=3, depth=50..62, filters=7810, wck=0.266, mem=95M288
5.16/2.82 decisions=1134, wrong=172, backtracks=134, failedAssignments=46, nogoods=28
5.16/2.82
5.16/2.86 num=4, depth=0..234, filters=12810, wck=0.305, mem=95M288
5.16/2.86 decisions=1606, wrong=364, backtracks=312, failedAssignments=60, nogoods=30
5.16/2.86
5.16/2.87 num=5, depth=46..55, filters=13777, wck=0.315, mem=95M288
5.16/2.87 decisions=1708, wrong=392, backtracks=336, failedAssignments=76, nogoods=31
5.16/2.87
5.16/2.88 num=6, depth=21..47, filters=14763, wck=0.325, mem=95M288
5.16/2.88 decisions=1803, wrong=421, backtracks=357, failedAssignments=93, nogoods=40
5.16/2.88
5.16/2.89 num=7, depth=29..51, filters=16330, wck=0.339, mem=95M288
5.16/2.89 decisions=1955, wrong=478, backtracks=408, failedAssignments=112, nogoods=45
5.16/2.89
5.33/2.90 num=8, depth=28..45, filters=17282, wck=0.35, mem=95M288
5.33/2.90 decisions=2074, wrong=520, backtracks=439, failedAssignments=133, nogoods=51
5.33/2.90
5.33/2.92 num=9, depth=24..41, filters=18483, wck=0.362, mem=95M288
5.33/2.92 decisions=2193, wrong=566, backtracks=475, failedAssignments=156, nogoods=57
5.33/2.92
5.33/2.94 num=10, depth=0..28, filters=20582, wck=0.382, mem=95M288
5.33/2.94 decisions=2333, wrong=625, backtracks=515, failedAssignments=181, nogoods=62
5.33/2.94
5.33/2.95 num=11, depth=19..37, filters=22029, wck=0.396, mem=95M288
5.33/2.95 decisions=2472, wrong=682, backtracks=558, failedAssignments=209, nogoods=67
5.33/2.95
5.33/2.96 num=12, depth=4..24, filters=23940, wck=0.412, mem=95M288
5.33/2.96 decisions=2609, wrong=746, backtracks=602, failedAssignments=240, nogoods=74
5.33/2.96
5.33/2.98 num=13, depth=6..34, filters=25910, wck=0.431, mem=95M288
5.33/2.98 decisions=2846, wrong=856, backtracks=700, failedAssignments=274, nogoods=78
5.33/2.98
5.55/3.02 num=14, depth=0..125, filters=29161, wck=0.464, mem=95M288
5.55/3.02 decisions=3175, wrong=962, backtracks=792, failedAssignments=311, nogoods=87
5.55/3.02
5.55/3.06 num=15, depth=0..78, filters=32511, wck=0.502, mem=95M288
5.55/3.06 decisions=3463, wrong=1071, backtracks=874, failedAssignments=352, nogoods=92
5.55/3.06
5.55/3.10 o 133
5.55/3.11 num=16, depth=30..2855, filters=33836, ccks=293, wck=0.557, mem=97M931
5.55/3.11 decisions=3898, wrong=1098, backtracks=874, failedAssignments=379, nogoods=119, foundSolutions=1, bestBound=133
5.55/3.11
5.78/3.18 o 131
5.78/3.18 num=17, depth=34..2855, filters=34962, ccks=586, wck=0.63, mem=97M931
5.78/3.18 decisions=4378, wrong=1125, backtracks=880, failedAssignments=401, nogoods=139, foundSolutions=2, bestBound=131
5.78/3.18
6.01/3.23 num=18, depth=36..377, filters=35814, ccks=586, wck=0.675, mem=97M931
6.01/3.23 decisions=4772, wrong=1137, backtracks=881, failedAssignments=412, nogoods=150, foundSolutions=2, bestBound=131
6.01/3.23
6.01/3.24 num=19, depth=38..281, filters=36607, ccks=586, wck=0.69, mem=97M931
6.01/3.24 decisions=5076, wrong=1151, backtracks=885, failedAssignments=423, nogoods=159, foundSolutions=2, bestBound=131
6.01/3.24
6.01/3.26 num=20, depth=36..495, filters=37487, ccks=586, wck=0.711, mem=97M931
6.01/3.26 decisions=5592, wrong=1163, backtracks=885, failedAssignments=435, nogoods=171, foundSolutions=2, bestBound=131
6.01/3.26
6.01/3.30 o 128
6.24/3.30 num=21, depth=37..2855, filters=38446, ccks=879, wck=0.747, mem=100M574
6.24/3.30 decisions=6137, wrong=1172, backtracks=885, failedAssignments=444, nogoods=180, foundSolutions=3, bestBound=128
6.24/3.30
6.24/3.34 num=22, depth=40..238, filters=39285, ccks=879, wck=0.788, mem=100M574
6.24/3.34 decisions=6414, wrong=1193, backtracks=896, failedAssignments=458, nogoods=184, foundSolutions=3, bestBound=128
6.24/3.34
6.24/3.37 num=23, depth=39..276, filters=39959, ccks=879, wck=0.815, mem=100M574
6.24/3.37 decisions=6707, wrong=1207, backtracks=901, failedAssignments=469, nogoods=193, foundSolutions=3, bestBound=128
6.24/3.37
6.24/3.38 num=24, depth=42..305, filters=40647, ccks=879, wck=0.83, mem=100M574
6.24/3.38 decisions=7029, wrong=1219, backtracks=901, failedAssignments=481, nogoods=205, foundSolutions=3, bestBound=128
6.24/3.38
6.40/3.40 num=25, depth=45..328, filters=41404, ccks=879, wck=0.845, mem=100M574
6.40/3.40 decisions=7377, wrong=1232, backtracks=901, failedAssignments=494, nogoods=218, foundSolutions=3, bestBound=128
6.40/3.40
6.40/3.43 num=26, depth=46..450, filters=42272, ccks=879, wck=0.876, mem=100M574
6.40/3.43 decisions=7849, wrong=1246, backtracks=901, failedAssignments=508, nogoods=232, foundSolutions=3, bestBound=128
6.40/3.43
6.40/3.46 o 127
6.40/3.46 num=27, depth=45..2855, filters=43200, ccks=1172, wck=0.911, mem=100M574
6.40/3.46 decisions=8408, wrong=1260, backtracks=901, failedAssignments=522, nogoods=246, foundSolutions=4, bestBound=127
6.40/3.46
6.54/3.50 num=28, depth=46..305, filters=43928, ccks=1172, wck=0.951, mem=100M574
6.54/3.50 decisions=8738, wrong=1277, backtracks=901, failedAssignments=539, nogoods=263, foundSolutions=4, bestBound=127
6.54/3.50
6.54/3.51 num=29, depth=47..168, filters=44615, ccks=1172, wck=0.962, mem=100M574
6.54/3.51 decisions=8932, wrong=1295, backtracks=911, failedAssignments=550, nogoods=268, foundSolutions=4, bestBound=127
6.54/3.51
6.54/3.52 num=30, depth=47..140, filters=45408, ccks=1172, wck=0.972, mem=100M574
6.54/3.52 decisions=9103, wrong=1317, backtracks=921, failedAssignments=562, nogoods=273, foundSolutions=4, bestBound=127
6.54/3.52
6.54/3.54 num=31, depth=48..292, filters=46348, ccks=1172, wck=0.987, mem=100M574
6.54/3.54 decisions=9431, wrong=1338, backtracks=934, failedAssignments=575, nogoods=280, foundSolutions=4, bestBound=127
6.54/3.54
6.54/3.57 o 117
6.54/3.57 num=32, depth=49..2855, filters=47115, ccks=1465, wck=1.018, mem=103M216
6.54/3.57 decisions=9870, wrong=1347, backtracks=934, failedAssignments=584, nogoods=289, foundSolutions=5, bestBound=117
6.54/3.57
6.65/3.61 num=33, depth=49..307, filters=47914, ccks=1465, wck=1.059, mem=103M216
6.65/3.61 decisions=10210, wrong=1367, backtracks=938, failedAssignments=600, nogoods=294, foundSolutions=5, bestBound=117
6.65/3.61
6.65/3.62 num=34, depth=6..236, filters=48777, ccks=1465, wck=1.072, mem=103M216
6.65/3.62 decisions=10475, wrong=1387, backtracks=949, failedAssignments=611, nogoods=301, foundSolutions=5, bestBound=117
6.65/3.62
6.65/3.64 num=35, depth=6..229, filters=49620, ccks=1465, wck=1.085, mem=103M216
6.65/3.64 decisions=10730, wrong=1404, backtracks=956, failedAssignments=623, nogoods=309, foundSolutions=5, bestBound=117
6.65/3.64
6.65/3.65 num=36, depth=6..228, filters=50431, ccks=1465, wck=1.098, mem=103M216
6.65/3.65 decisions=10984, wrong=1420, backtracks=960, failedAssignments=636, nogoods=320, foundSolutions=5, bestBound=117
6.65/3.65
6.65/3.67 num=37, depth=1..254, filters=51275, ccks=1465, wck=1.114, mem=103M216
6.65/3.67 decisions=11266, wrong=1438, backtracks=966, failedAssignments=650, nogoods=330, foundSolutions=5, bestBound=117
6.65/3.67
6.77/3.70 o 116
6.77/3.70 num=38, depth=1..2855, filters=52239, ccks=1758, wck=1.148, mem=103M216
6.77/3.70 decisions=11723, wrong=1451, backtracks=968, failedAssignments=661, nogoods=340, foundSolutions=6, bestBound=116
6.77/3.70
6.77/3.76 o 115
6.77/3.76 num=39, depth=1..2855, filters=53153, ccks=2051, wck=1.209, mem=105M859
6.77/3.76 decisions=12223, wrong=1468, backtracks=972, failedAssignments=675, nogoods=350, foundSolutions=7, bestBound=115
6.77/3.76
6.91/3.80 num=40, depth=1..174, filters=53756, ccks=2051, wck=1.245, mem=105M859
6.91/3.80 decisions=12412, wrong=1479, backtracks=972, failedAssignments=686, nogoods=361, foundSolutions=7, bestBound=115
6.91/3.80
6.91/3.81 num=41, depth=1..264, filters=54485, ccks=2051, wck=1.258, mem=105M859
6.91/3.81 decisions=12693, wrong=1491, backtracks=974, failedAssignments=697, nogoods=370, foundSolutions=7, bestBound=115
6.91/3.81
6.91/3.82 num=42, depth=1..167, filters=55304, ccks=2051, wck=1.27, mem=105M859
6.91/3.82 decisions=12891, wrong=1513, backtracks=988, failedAssignments=709, nogoods=378, foundSolutions=7, bestBound=115
6.91/3.82
6.91/3.85 o 113
6.91/3.85 num=43, depth=1..2855, filters=56148, ccks=2344, wck=1.302, mem=105M859
6.91/3.85 decisions=13352, wrong=1525, backtracks=989, failedAssignments=720, nogoods=389, foundSolutions=8, bestBound=113
6.91/3.85
7.02/3.91 o 112
7.02/3.91 num=44, depth=7..2855, filters=56873, ccks=2637, wck=1.359, mem=108M501
7.02/3.91 decisions=13812, wrong=1534, backtracks=989, failedAssignments=729, nogoods=398, foundSolutions=9, bestBound=112
7.02/3.91
7.02/3.97 o 111
7.02/3.97 num=45, depth=2857..2855, filters=57554, ccks=2930, wck=1.416, mem=108M501
7.02/3.97 decisions=14238, wrong=1534, backtracks=989, failedAssignments=729, nogoods=398, foundSolutions=10, bestBound=111
7.02/3.97
7.13/4.01 num=46, depth=152..220, filters=58290, ccks=2930, wck=1.455, mem=108M501
7.13/4.01 decisions=14506, wrong=1560, backtracks=1009, failedAssignments=740, nogoods=402, foundSolutions=10, bestBound=111
7.13/4.01
7.13/4.04 o 110
7.13/4.04 num=47, depth=1..2855, filters=59034, ccks=3223, wck=1.486, mem=108M501
7.13/4.04 decisions=14918, wrong=1567, backtracks=1009, failedAssignments=747, nogoods=409, foundSolutions=11, bestBound=110
7.13/4.04
7.13/4.08 num=48, depth=105..158, filters=59794, ccks=3223, wck=1.524, mem=108M501
7.13/4.08 decisions=15118, wrong=1592, backtracks=1028, failedAssignments=759, nogoods=411, foundSolutions=11, bestBound=110
7.13/4.08
7.13/4.09 num=49, depth=1..130, filters=60408, ccks=3223, wck=1.533, mem=108M501
7.13/4.09 decisions=15286, wrong=1615, backtracks=1042, failedAssignments=770, nogoods=415, foundSolutions=11, bestBound=110
7.13/4.09
7.13/4.10 num=50, depth=1..154, filters=61096, ccks=3223, wck=1.543, mem=108M501
7.13/4.10 decisions=15484, wrong=1642, backtracks=1060, failedAssignments=782, nogoods=418, foundSolutions=11, bestBound=110
7.13/4.10
7.13/4.10 num=51, depth=1..131, filters=61759, ccks=3223, wck=1.552, mem=108M501
7.13/4.10 decisions=15651, wrong=1666, backtracks=1074, failedAssignments=795, nogoods=420, foundSolutions=11, bestBound=110
7.13/4.10
7.27/4.11 num=52, depth=1..118, filters=62543, ccks=3223, wck=1.561, mem=108M501
7.27/4.11 decisions=15805, wrong=1690, backtracks=1086, failedAssignments=809, nogoods=422, foundSolutions=11, bestBound=110
7.27/4.11
7.27/4.12 num=53, depth=1..113, filters=63073, ccks=3223, wck=1.569, mem=108M501
7.27/4.12 decisions=15951, wrong=1714, backtracks=1096, failedAssignments=825, nogoods=428, foundSolutions=11, bestBound=110
7.27/4.12
7.27/4.13 num=54, depth=1..185, filters=63685, ccks=3223, wck=1.58, mem=108M501
7.27/4.13 decisions=16168, wrong=1734, backtracks=1102, failedAssignments=842, nogoods=442, foundSolutions=11, bestBound=110
7.27/4.13
7.27/4.16 o 109
7.27/4.16 num=55, depth=31..2855, filters=64303, ccks=3516, wck=1.611, mem=111M143
7.27/4.16 decisions=16592, wrong=1748, backtracks=1102, failedAssignments=856, nogoods=456, foundSolutions=12, bestBound=109
7.27/4.16
7.41/4.20 num=56, depth=33..154, filters=64890, ccks=3516, wck=1.647, mem=111M143
7.41/4.20 decisions=16796, wrong=1783, backtracks=1123, failedAssignments=877, nogoods=462, foundSolutions=12, bestBound=109
7.41/4.20
7.41/4.21 num=57, depth=23..83, filters=65228, ccks=3516, wck=1.653, mem=111M143
7.41/4.21 decisions=16894, wrong=1794, backtracks=1123, failedAssignments=888, nogoods=473, foundSolutions=12, bestBound=109
7.41/4.21
7.41/4.22 num=58, depth=16..37, filters=66120, ccks=3516, wck=1.663, mem=111M143
7.41/4.22 decisions=16999, wrong=1836, backtracks=1160, failedAssignments=900, nogoods=476, foundSolutions=12, bestBound=109
7.41/4.22
7.41/4.23 num=59, depth=0..36, filters=67108, ccks=3516, wck=1.673, mem=111M143
7.41/4.23 decisions=17086, wrong=1865, backtracks=1182, failedAssignments=913, nogoods=480, foundSolutions=12, bestBound=109
7.41/4.23
7.41/4.23 num=60, depth=13..38, filters=67609, ccks=3516, wck=1.678, mem=111M143
7.41/4.23 decisions=17155, wrong=1887, backtracks=1193, failedAssignments=927, nogoods=484, foundSolutions=12, bestBound=109
7.41/4.23
7.41/4.24 num=61, depth=1..100, filters=68740, ccks=3516, wck=1.69, mem=111M143
7.41/4.24 decisions=17306, wrong=1921, backtracks=1213, failedAssignments=943, nogoods=493, foundSolutions=12, bestBound=109
7.41/4.24
7.41/4.25 num=62, depth=8..172, filters=69485, ccks=3516, wck=1.702, mem=111M143
7.41/4.25 decisions=17511, wrong=1944, backtracks=1221, failedAssignments=960, nogoods=508, foundSolutions=12, bestBound=109
7.41/4.25
7.41/4.27 num=63, depth=9..171, filters=70239, ccks=3516, wck=1.713, mem=111M143
7.41/4.27 decisions=17723, wrong=1972, backtracks=1238, failedAssignments=979, nogoods=519, foundSolutions=12, bestBound=109
7.41/4.27
7.41/4.29 o 104
7.55/4.30 num=64, depth=10..2855, filters=71220, ccks=3809, wck=1.744, mem=111M143
7.55/4.30 decisions=18059, wrong=1992, backtracks=1246, failedAssignments=992, nogoods=529, foundSolutions=13, bestBound=104
7.55/4.30
7.55/4.34 num=65, depth=10..213, filters=72161, ccks=3809, wck=1.783, mem=111M143
7.55/4.34 decisions=18323, wrong=2023, backtracks=1262, failedAssignments=1015, nogoods=544, foundSolutions=13, bestBound=104
7.55/4.34
7.55/4.35 num=66, depth=9..274, filters=72833, ccks=3809, wck=1.796, mem=111M143
7.55/4.35 decisions=18613, wrong=2034, backtracks=1262, failedAssignments=1026, nogoods=555, foundSolutions=13, bestBound=104
7.55/4.35
7.55/4.38 o 103
7.55/4.38 num=67, depth=9..2855, filters=73454, ccks=4102, wck=1.825, mem=113M786
7.55/4.38 decisions=18926, wrong=2041, backtracks=1262, failedAssignments=1033, nogoods=562, foundSolutions=14, bestBound=103
7.55/4.38
7.65/4.41 num=68, depth=134..199, filters=74162, ccks=4102, wck=1.862, mem=113M786
7.65/4.41 decisions=19150, wrong=2059, backtracks=1271, failedAssignments=1046, nogoods=567, foundSolutions=14, bestBound=103
7.65/4.41
7.65/4.44 o 102
7.65/4.44 num=69, depth=9..2855, filters=74756, ccks=4395, wck=1.889, mem=113M786
7.65/4.44 decisions=19448, wrong=2064, backtracks=1271, failedAssignments=1051, nogoods=572, foundSolutions=15, bestBound=102
7.65/4.44
7.65/4.48 num=70, depth=23..35, filters=75475, ccks=4395, wck=1.923, mem=113M786
7.65/4.48 decisions=19529, wrong=2093, backtracks=1295, failedAssignments=1063, nogoods=573, foundSolutions=15, bestBound=102
7.65/4.48
7.65/4.48 num=71, depth=10..35, filters=76094, ccks=4395, wck=1.931, mem=113M786
7.65/4.48 decisions=19593, wrong=2114, backtracks=1309, failedAssignments=1074, nogoods=579, foundSolutions=15, bestBound=102
7.65/4.48
7.65/4.49 num=72, depth=10..22, filters=76680, ccks=4395, wck=1.938, mem=113M786
7.65/4.49 decisions=19661, wrong=2140, backtracks=1326, failedAssignments=1086, nogoods=588, foundSolutions=15, bestBound=102
7.65/4.49
7.81/4.50 num=73, depth=0..26, filters=77907, ccks=4395, wck=1.948, mem=113M786
7.81/4.50 decisions=19750, wrong=2173, backtracks=1350, failedAssignments=1099, nogoods=592, foundSolutions=15, bestBound=102
7.81/4.50
7.81/4.51 num=74, depth=0..37, filters=78922, ccks=4395, wck=1.958, mem=113M786
7.81/4.51 decisions=19882, wrong=2239, backtracks=1411, failedAssignments=1113, nogoods=592, foundSolutions=15, bestBound=102
7.81/4.51
7.81/4.52 num=75, depth=1..44, filters=79643, ccks=4395, wck=1.969, mem=113M786
7.81/4.52 decisions=19969, wrong=2265, backtracks=1427, failedAssignments=1129, nogoods=602, foundSolutions=15, bestBound=102
7.81/4.52
7.81/4.54 num=76, depth=0..34, filters=80962, ccks=4395, wck=1.982, mem=113M786
7.81/4.54 decisions=20119, wrong=2330, backtracks=1483, failedAssignments=1146, nogoods=608, foundSolutions=15, bestBound=102
7.81/4.54
7.81/4.55 num=77, depth=0..34, filters=81930, ccks=4395, wck=1.993, mem=113M786
7.81/4.55 decisions=20228, wrong=2373, backtracks=1516, failedAssignments=1165, nogoods=617, foundSolutions=15, bestBound=102
7.81/4.55
7.81/4.56 num=78, depth=8..43, filters=83080, ccks=4395, wck=2.008, mem=113M786
7.81/4.56 decisions=20372, wrong=2434, backtracks=1570, failedAssignments=1186, nogoods=623, foundSolutions=15, bestBound=102
7.81/4.56
7.81/4.57 num=79, depth=6..30, filters=84514, ccks=4395, wck=2.022, mem=113M786
7.81/4.57 decisions=20501, wrong=2495, backtracks=1626, failedAssignments=1209, nogoods=625, foundSolutions=15, bestBound=102
7.81/4.57
7.81/4.59 num=80, depth=1..29, filters=85377, ccks=4395, wck=2.033, mem=113M786
7.81/4.59 decisions=20614, wrong=2544, backtracks=1664, failedAssignments=1234, nogoods=635, foundSolutions=15, bestBound=102
7.81/4.59
7.92/4.60 num=81, depth=0..23, filters=86469, ccks=4395, wck=2.045, mem=113M786
7.92/4.60 decisions=20750, wrong=2612, backtracks=1729, failedAssignments=1262, nogoods=635, foundSolutions=15, bestBound=102
7.92/4.60
7.92/4.60
7.92/4.60 New Bounds: 102..101
7.92/4.60 num=82, depth=0..5, filters=86631, ccks=4395, wck=2.049, mem=113M786
7.92/4.60 decisions=20764, wrong=2620, backtracks=1736, failedAssignments=1265, foundSolutions=15, bestBound=102
7.92/4.60
7.92/4.60 Global
7.92/4.60 filters=86631, ccks=4395
7.92/4.60 Stop=FULL_EXPLORATION, wrong=2620, bestBound=102, bestBoundWck=2.516, bestBoundCpu=4.325, foundSolutions=15, firstSolCpu=2.98
7.92/4.60 wck=2.679, cpu=4.487, mem=113M786
7.92/4.60
7.92/4.60 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>
7.92/4.60 s OPTIMUM FOUND
7.92/4.60
7.92/4.60 d WRONG_DECISIONS 2620
7.92/4.60 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 (10522 MiB free)
memory of node 1: 16384 MiB (14091 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390860-1568380700/watcher-4390860-1568380700 -o /tmp/evaluation-result-4390860-1568380700/solver-4390860-1568380700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568380478-20884 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390860-1568380700.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21716, runsolver pid=21713
[startup+0.102432 s]*
/proc/loadavg: 1.96 0.97 0.42 3/227 21731
/proc/meminfo: memFree=25188416/32770624 swapFree=67004752/67108860
[pid=21716] ppid=21713 vsize=10659884 memory=27960 CPUtime=0.14 cores=1,3,5,7
/proc/21716/stat : 21716 (java) S 21713 21716 20852 0 -1 1077944320 5490 0 0 0 13 1 0 0 20 0 15 0 414337856 10915721216 6990 33554432000 4194304 4196468 140728710743648 140728710726192 139963798359799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
/proc/21716/statm: 2664971 6990 2872 1 0 2627468 0
[pid=21716/tid=21718] ppid=21713 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/21716/task/21718/stat : 21718 (java) R 21713 21716 20852 0 -1 4202560 3246 0 0 0 8 1 0 0 20 0 15 0 414337856 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963802586152 139963798381725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21719] ppid=21713 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963724434064 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21720] ppid=21713 vsize=10659884 memory=140416541431424 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963404380688 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21721] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963403327888 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21722] ppid=21713 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963402275088 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21723] ppid=21713 vsize=10659884 memory=140416541431424 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337858 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963290344304 139963798370946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21724] ppid=21713 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414337859 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963289290272 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21725] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414337859 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963288237424 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21726] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337861 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963287185744 139963798378395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21727] ppid=21713 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21716/task/21727/stat : 21727 (java) R 21713 21716 20852 0 -1 4202560 438 0 0 0 1 0 0 0 20 0 15 0 414337861 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963286114120 139963784374125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21728] ppid=21713 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21728/stat : 21728 (java) S 21713 21716 20852 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 414337861 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963285080304 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21729] ppid=21713 vsize=10659884 memory=140416541431424 CPUtime=0.03 cores=1,3,5,7
/proc/21716/task/21729/stat : 21729 (java) R 21713 21716 20852 0 -1 4202560 395 0 0 0 3 0 0 0 20 0 15 0 414337861 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963284027504 139963777316252 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21730] ppid=21713 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337862 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963282974944 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21731] ppid=21713 vsize=10659884 memory=140416541431424 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337862 10915721216 6990 33554432000 4194304 4196468 140728710743648 139963281923248 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27960 KiB
[startup+0.211627 s]*
/proc/loadavg: 1.96 0.97 0.42 3/227 21731
/proc/meminfo: memFree=25177468/32770624 swapFree=67004752/67108860
[pid=21716] ppid=21713 vsize=10659884 memory=37400 CPUtime=0.33 cores=1,3,5,7
/proc/21716/stat : 21716 (java) S 21713 21716 20852 0 -1 1077944320 9089 0 0 0 30 3 0 0 20 0 15 0 414337856 10915721216 9350 33554432000 4194304 4196468 140728710743648 140728710726192 139963798359799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
/proc/21716/statm: 2664971 9350 2989 1 0 2627468 0
[pid=21716/tid=21718] ppid=21713 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21716/task/21718/stat : 21718 (java) R 21713 21716 20852 0 -1 4202560 6131 0 0 0 18 2 0 0 20 0 15 0 414337856 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963802591888 139963798381725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21719] ppid=21713 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963724434064 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21720] ppid=21713 vsize=10659884 memory=140416544509310 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963404380688 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21721] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963403327888 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21722] ppid=21713 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963402275088 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21723] ppid=21713 vsize=10659884 memory=140416541431424 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337858 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963290344304 139963798370946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21724] ppid=21713 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414337859 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963289290272 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21725] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414337859 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963288237424 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21726] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337861 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963287185744 139963798378395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21727] ppid=21713 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21716/task/21727/stat : 21727 (java) S 21713 21716 20852 0 -1 1077944384 634 0 0 0 3 0 0 0 20 0 15 0 414337861 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963286133104 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21728] ppid=21713 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21716/task/21728/stat : 21728 (java) S 21713 21716 20852 0 -1 1077944384 301 0 0 0 2 0 0 0 20 0 15 0 414337861 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963285080304 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21729] ppid=21713 vsize=10659884 memory=140416541431424 CPUtime=0.05 cores=1,3,5,7
/proc/21716/task/21729/stat : 21729 (java) S 21713 21716 20852 0 -1 1077944384 665 0 0 0 5 0 0 0 20 0 15 0 414337861 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963284027504 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21730] ppid=21713 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337862 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963282974944 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21731] ppid=21713 vsize=10659884 memory=140416541431424 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337862 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963281923248 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37400 KiB
[startup+0.310261 s]*
/proc/loadavg: 1.96 0.97 0.42 2/227 21731
/proc/meminfo: memFree=25176488/32770624 swapFree=67004752/67108860
[pid=21716] ppid=21713 vsize=10659884 memory=37400 CPUtime=0.39 cores=1,3,5,7
/proc/21716/stat : 21716 (java) S 21713 21716 20852 0 -1 1077944320 9101 0 0 0 36 3 0 0 20 0 15 0 414337856 10915721216 9350 33554432000 4194304 4196468 140728710743648 140728710726192 139963798359799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
/proc/21716/statm: 2664971 9350 2989 1 0 2627468 0
[pid=21716/tid=21718] ppid=21713 vsize=10659884 memory=140416439649135 CPUtime=0.27 cores=1,3,5,7
/proc/21716/task/21718/stat : 21718 (java) D 21713 21716 20852 0 -1 4202560 6143 0 0 0 24 3 0 0 20 0 15 0 414337856 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963802591584 139963784100082 0 4 0 16800975 18446744072100592773 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21719] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963724434064 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21720] ppid=21713 vsize=10659884 memory=280832981083424 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963404380688 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21721] ppid=21713 vsize=10659884 memory=2110767046790692 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963403327888 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21722] ppid=21713 vsize=10659884 memory=140416439658943 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963402275088 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21723] ppid=21713 vsize=10659884 memory=280832981116096 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337858 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963290344304 139963798370946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21724] ppid=21713 vsize=10659884 memory=140416439663551 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414337859 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963289290272 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21725] ppid=21713 vsize=10659884 memory=280832879174832 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414337859 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963288237424 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21726] ppid=21713 vsize=10659884 memory=280832879331696 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337861 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963287185744 139963798378395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21727] ppid=21713 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21716/task/21727/stat : 21727 (java) D 21713 21716 20852 0 -1 4202560 634 0 0 0 3 0 0 0 20 0 15 0 414337861 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963286133024 139963778283935 0 4 0 16800975 18446744072100592773 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21728] ppid=21713 vsize=10659884 memory=140416439675087 CPUtime=0.02 cores=1,3,5,7
/proc/21716/task/21728/stat : 21728 (java) D 21713 21716 20852 0 -1 4202560 301 0 0 0 2 0 0 0 20 0 15 0 414337861 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963285080600 139963778283935 0 4 0 16800975 18446744072100592773 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21729] ppid=21713 vsize=10659884 memory=140416541431424 CPUtime=0.05 cores=1,3,5,7
/proc/21716/task/21729/stat : 21729 (java) D 21713 21716 20852 0 -1 4202560 665 0 0 0 5 0 0 0 20 0 15 0 414337861 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963284027800 139963778283935 0 4 0 16800975 18446744072100592773 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21730] ppid=21713 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337862 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963282974944 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21731] ppid=21713 vsize=10659884 memory=140416541431424 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21731/stat : 21731 (java) D 21713 21716 20852 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 414337862 10915721216 9350 33554432000 4194304 4196468 140728710743648 139963281923168 139963783215886 0 4 0 16800975 18446744072100592773 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37400 KiB
[startup+0.70163 s]
/proc/loadavg: 1.96 0.97 0.42 3/227 21731
/proc/meminfo: memFree=25167040/32770624 swapFree=67004752/67108860
[pid=21716] ppid=21713 vsize=10659884 memory=58132 CPUtime=0.99 cores=1,3,5,7
/proc/21716/stat : 21716 (java) S 21713 21716 20852 0 -1 1077944320 12626 0 0 0 94 5 0 0 20 0 15 0 414337856 10915721216 14533 33554432000 4194304 4196468 140728710743648 140728710726192 139963798359799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
/proc/21716/statm: 2664971 14533 3061 1 0 2627468 0
[pid=21716/tid=21718] ppid=21713 vsize=10659884 memory=952 CPUtime=0.6 cores=1,3,5,7
/proc/21716/task/21718/stat : 21718 (java) R 21713 21716 20852 0 -1 4202560 8529 0 0 0 56 4 0 0 20 0 15 0 414337856 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963802576624 139963754968919 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21719] ppid=21713 vsize=10659884 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963724434064 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21720] ppid=21713 vsize=10659884 memory=21732 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963404380688 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21721] ppid=21713 vsize=10659884 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963403327888 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21722] ppid=21713 vsize=10659884 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337857 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963402275088 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21723] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337858 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963290344304 139963798370946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21724] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414337859 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963289290272 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21725] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414337859 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963288237424 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21726] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337861 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963287185744 139963798378395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21727] ppid=21713 vsize=10659884 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/21716/task/21727/stat : 21727 (java) S 21713 21716 20852 0 -1 1077944384 1006 0 0 0 11 0 0 0 20 0 15 0 414337861 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963286133104 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21728] ppid=21713 vsize=10659884 memory=6944652177228980320 CPUtime=0.09 cores=1,3,5,7
/proc/21716/task/21728/stat : 21728 (java) S 21713 21716 20852 0 -1 1077944384 586 0 0 0 9 0 0 0 20 0 15 0 414337861 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963285080304 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21729] ppid=21713 vsize=10659884 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/21716/task/21729/stat : 21729 (java) S 21713 21716 20852 0 -1 1077944384 1145 0 0 0 17 0 0 0 20 0 15 0 414337861 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963284027504 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21730] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337862 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963282974944 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21731] ppid=21713 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414337862 10915721216 14533 33554432000 4194304 4196468 140728710743648 139963281923248 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 58132 KiB
[startup+1.50072 s]
/proc/loadavg: 1.96 0.97 0.42 3/227 21731
/proc/meminfo: memFree=25148056/32770624 swapFree=67004752/67108860
[pid=21716] ppid=21713 vsize=10663980 memory=74820 CPUtime=1.88 cores=1,3,5,7
/proc/21716/stat : 21716 (java) S 21713 21716 20852 0 -1 1077944320 18192 0 0 0 182 6 0 0 20 0 15 0 414337856 10919915520 18705 33554432000 4194304 4196468 140728710743648 140728710726192 139963798359799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
/proc/21716/statm: 2665995 18705 3089 1 0 2628492 0
[pid=21716/tid=21718] ppid=21713 vsize=10663980 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/21716/task/21718/stat : 21718 (java) R 21713 21716 20852 0 -1 4202560 12915 0 0 0 134 5 0 0 20 0 15 0 414337856 10919915520 18705 33554432000 4194304 4196468 140728710743648 139963802591824 139963782440286 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21719] ppid=21713 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10919915520 18705 33554432000 4194304 4196468 140728710743648 139963724434064 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21720] ppid=21713 vsize=10663980 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10919915520 18705 33554432000 4194304 4196468 140728710743648 139963404380688 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21721] ppid=21713 vsize=10663980 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414337857 10919915520 18758 33554432000 4194304 4196468 140728710743648 139963403327888 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21722] ppid=21713 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414337857 10919915520 18758 33554432000 4194304 4196468 140728710743648 139963402275088 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21723] ppid=21713 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 20852 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414337858 10919915520 18758 33554432000 4194304 4196468 140728710743648 139963290344304 139963798370946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
################
# More data... #
################
[startup+3.20163 s]
/proc/loadavg: 1.96 0.97 0.42 4/228 21732
/proc/meminfo: memFree=25022024/32770624 swapFree=67004752/67108860
[pid=21716] ppid=21713 vsize=10748324 memory=196984 CPUtime=6.01 cores=1,3,5,7
/proc/21716/stat : 21716 (java) S 21713 21716 20852 0 -1 1077944320 29688 0 0 0 588 13 0 0 20 0 16 0 414337856 11006283776 49246 33554432000 4194304 4196468 140728710743648 140728710726192 139963798359799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
/proc/21716/statm: 2687081 49246 3347 1 0 2647217 0
[pid=21716/tid=21718] ppid=21713 vsize=10748324 memory=6655300316396806240 CPUtime=1.85 cores=1,3,5,7
/proc/21716/task/21718/stat : 21718 (java) S 21713 21716 20852 0 -1 1077944384 15404 0 0 0 178 7 0 0 20 0 16 0 414337856 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963802602672 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21719] ppid=21713 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 20852 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 16 0 414337857 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963724434064 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21720] ppid=21713 vsize=10748324 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 20852 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414337857 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963404380688 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21721] ppid=21713 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 20852 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 414337857 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963403327888 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21722] ppid=21713 vsize=10748324 memory=-6800859132029471843 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 20852 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414337857 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963402275088 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21723] ppid=21713 vsize=10748324 memory=6944656575208382560 CPUtime=0.01 cores=1,3,5,7
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 20852 0 -1 1077944384 1040 0 0 0 1 0 0 0 20 0 16 0 414337858 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963290344304 139963798370946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21724] ppid=21713 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 20852 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414337859 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963289290336 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21725] ppid=21713 vsize=10748324 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 20852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414337859 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963288237440 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21726] ppid=21713 vsize=10748324 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337861 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963287185744 139963798378395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21727] ppid=21713 vsize=10748324 memory=4137284780655939955 CPUtime=1.11 cores=1,3,5,7
/proc/21716/task/21727/stat : 21727 (java) R 21713 21716 20852 0 -1 4202560 3268 0 0 0 111 0 0 0 20 0 16 0 414337861 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963286114512 139963783241497 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21728] ppid=21713 vsize=10748324 memory=4137290303932963203 CPUtime=1.06 cores=1,3,5,7
/proc/21716/task/21728/stat : 21728 (java) R 21713 21716 20852 0 -1 4202560 1877 0 0 0 106 0 0 0 20 0 16 0 414337861 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963285066848 139963783474854 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21729] ppid=21713 vsize=10748324 memory=8508281403248445837 CPUtime=0.66 cores=1,3,5,7
/proc/21716/task/21729/stat : 21729 (java) S 21713 21716 20852 0 -1 1077944384 2984 0 0 0 66 0 0 0 20 0 16 0 414337861 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963284027504 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21730] ppid=21713 vsize=10748324 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337862 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963282974944 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21731] ppid=21713 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 20852 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 16 0 414337862 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963281923248 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21732] ppid=21713 vsize=10748324 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/21716/task/21732/stat : 21732 (java) R 21713 21716 20852 0 -1 4202560 3484 0 0 0 118 2 0 0 20 0 16 0 414338052 11006283776 49246 33554432000 4194304 4196468 140728710743648 139963264853824 139963411637903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 196984 KiB
[startup+4.00074 s]*
/proc/loadavg: 1.96 0.97 0.42 3/228 21732
/proc/meminfo: memFree=25010544/32770624 swapFree=67004752/67108860
[pid=21716] ppid=21713 vsize=10748324 memory=205628 CPUtime=7.13 cores=1,3,5,7
/proc/21716/stat : 21716 (java) S 21713 21716 20852 0 -1 1077944320 30005 0 0 0 699 14 0 0 20 0 16 0 414337856 11006283776 51407 33554432000 4194304 4196468 140728710743648 140728710726192 139963798359799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
/proc/21716/statm: 2687081 51407 3348 1 0 2647217 0
[pid=21716/tid=21718] ppid=21713 vsize=10748324 memory=1398722017469774279 CPUtime=1.85 cores=1,3,5,7
/proc/21716/task/21718/stat : 21718 (java) S 21713 21716 20852 0 -1 1077944384 15404 0 0 0 178 7 0 0 20 0 16 0 414337856 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963802602672 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21719] ppid=21713 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 20852 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 16 0 414337857 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963724434064 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21720] ppid=21713 vsize=10748324 memory=3472328296227418159 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 20852 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414337857 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963404380688 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21721] ppid=21713 vsize=10748324 memory=3472328296160571439 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 20852 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 414337857 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963403327888 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21722] ppid=21713 vsize=10748324 memory=6943487855420614559 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 20852 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414337857 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963402275088 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21723] ppid=21713 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 20852 0 -1 1077944384 1040 0 0 0 1 0 0 0 20 0 16 0 414337858 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963290344304 139963798370946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21724] ppid=21713 vsize=10748324 memory=140416439588575 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 20852 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414337859 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963289290336 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21725] ppid=21713 vsize=10748324 memory=56747737 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 20852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414337859 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963288237440 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21726] ppid=21713 vsize=10748324 memory=7518303557283309926 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337861 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963287185744 139963798378395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21727] ppid=21713 vsize=10748324 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/21716/task/21727/stat : 21727 (java) S 21713 21716 20852 0 -1 1077944384 3300 0 0 0 127 0 0 0 20 0 16 0 414337861 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963286133104 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21728] ppid=21713 vsize=10748324 memory=3472328296227418159 CPUtime=1.19 cores=1,3,5,7
/proc/21716/task/21728/stat : 21728 (java) S 21713 21716 20852 0 -1 1077944384 1901 0 0 0 119 0 0 0 20 0 16 0 414337861 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963285080304 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21729] ppid=21713 vsize=10748324 memory=3471342812862269104 CPUtime=0.68 cores=1,3,5,7
/proc/21716/task/21729/stat : 21729 (java) S 21713 21716 20852 0 -1 1077944384 3013 0 0 0 68 0 0 0 20 0 16 0 414337861 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963284027504 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21730] ppid=21713 vsize=10748324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337862 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963282974944 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21731] ppid=21713 vsize=10748324 memory=7312413168568410306 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 20852 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 16 0 414337862 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963281923248 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21732] ppid=21713 vsize=10748324 memory=8820673074241880682 CPUtime=2.01 cores=1,3,5,7
/proc/21716/task/21732/stat : 21732 (java) R 21713 21716 20852 0 -1 4202560 3716 0 0 0 199 2 0 0 20 0 16 0 414338052 11006283776 51407 33554432000 4194304 4196468 140728710743648 139963264841328 139963412089038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
Current children cumulated CPU time: 7.13 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 205628 KiB
[startup+4.40072 s]
/proc/loadavg: 1.96 0.97 0.42 3/228 21732
/proc/meminfo: memFree=25010544/32770624 swapFree=67004752/67108860
[pid=21716] ppid=21713 vsize=10748324 memory=211916 CPUtime=7.65 cores=1,3,5,7
/proc/21716/stat : 21716 (java) S 21713 21716 20852 0 -1 1077944320 30059 0 0 0 751 14 0 0 20 0 16 0 414337856 11006283776 52979 33554432000 4194304 4196468 140728710743648 140728710726192 139963798359799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
/proc/21716/statm: 2687081 52979 3353 1 0 2647217 0
[pid=21716/tid=21718] ppid=21713 vsize=10748324 memory=-7748678027442495391 CPUtime=1.85 cores=1,3,5,7
/proc/21716/task/21718/stat : 21718 (java) S 21713 21716 20852 0 -1 1077944384 15404 0 0 0 178 7 0 0 20 0 16 0 414337856 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963802602672 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21719] ppid=21713 vsize=10748324 memory=7232886968738802340 CPUtime=0.01 cores=1,3,5,7
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 20852 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 16 0 414337857 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963724434064 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21720] ppid=21713 vsize=10748324 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 20852 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414337857 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963404380688 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21721] ppid=21713 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 20852 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 414337857 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963403327888 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21722] ppid=21713 vsize=10748324 memory=-2915668813050402206 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 20852 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414337857 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963402275088 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21723] ppid=21713 vsize=10748324 memory=772 CPUtime=0.01 cores=1,3,5,7
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 20852 0 -1 1077944384 1040 0 0 0 1 0 0 0 20 0 16 0 414337858 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963290344304 139963798370946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21724] ppid=21713 vsize=10748324 memory=952 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 20852 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414337859 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963289290336 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21725] ppid=21713 vsize=10748324 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 20852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414337859 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963288237440 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21726] ppid=21713 vsize=10748324 memory=21732 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337861 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963287185744 139963798378395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21727] ppid=21713 vsize=10748324 memory=2116 CPUtime=1.36 cores=1,3,5,7
/proc/21716/task/21727/stat : 21727 (java) S 21713 21716 20852 0 -1 1077944384 3320 0 0 0 136 0 0 0 20 0 16 0 414337861 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963286133104 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21728] ppid=21713 vsize=10748324 memory=12028 CPUtime=1.23 cores=1,3,5,7
/proc/21716/task/21728/stat : 21728 (java) S 21713 21716 20852 0 -1 1077944384 1907 0 0 0 123 0 0 0 20 0 16 0 414337861 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963285080304 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21729] ppid=21713 vsize=10748324 memory=496 CPUtime=0.69 cores=1,3,5,7
/proc/21716/task/21729/stat : 21729 (java) S 21713 21716 20852 0 -1 1077944384 3032 0 0 0 69 0 0 0 20 0 16 0 414337861 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963284027504 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21730] ppid=21713 vsize=10748324 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337862 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963282974944 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21731] ppid=21713 vsize=10748324 memory=928 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 20852 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 16 0 414337862 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963281923248 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21732] ppid=21713 vsize=10748324 memory=1660 CPUtime=2.41 cores=1,3,5,7
/proc/21716/task/21732/stat : 21732 (java) R 21713 21716 20852 0 -1 4202560 3724 0 0 0 238 3 0 0 20 0 16 0 414338052 11006283776 52979 33554432000 4194304 4196468 140728710743648 139963264853168 139963411637843 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
Current children cumulated CPU time: 7.65 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 211916 KiB
[startup+4.60072 s]
/proc/loadavg: 1.96 0.97 0.42 3/228 21732
/proc/meminfo: memFree=25010544/32770624 swapFree=67004752/67108860
[pid=21716] ppid=21713 vsize=10748324 memory=211948 CPUtime=7.92 cores=1,3,5,7
/proc/21716/stat : 21716 (java) S 21713 21716 20852 0 -1 1077944320 30080 0 0 0 778 14 0 0 20 0 16 0 414337856 11006283776 52987 33554432000 4194304 4196468 140728710743648 140728710726192 139963798359799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
/proc/21716/statm: 2687081 52987 3353 1 0 2647217 0
[pid=21716/tid=21718] ppid=21713 vsize=10748324 memory=33 CPUtime=1.85 cores=1,3,5,7
/proc/21716/task/21718/stat : 21718 (java) S 21713 21716 20852 0 -1 1077944384 15404 0 0 0 178 7 0 0 20 0 16 0 414337856 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963802602672 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21719] ppid=21713 vsize=10748324 memory=8030883985213620294 CPUtime=0.01 cores=1,3,5,7
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 20852 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 16 0 414337857 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963724434064 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21720] ppid=21713 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 20852 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414337857 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963404380688 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21721] ppid=21713 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 20852 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 414337857 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963403327888 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21722] ppid=21713 vsize=10748324 memory=-7695172506353635997 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 20852 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414337857 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963402275088 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21723] ppid=21713 vsize=10748324 memory=6932519083345735011 CPUtime=0.01 cores=1,3,5,7
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 20852 0 -1 1077944384 1040 0 0 0 1 0 0 0 20 0 16 0 414337858 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963290344304 139963798370946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21724] ppid=21713 vsize=10748324 memory=7666060413651805287 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 20852 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414337859 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963289290336 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21725] ppid=21713 vsize=10748324 memory=7594030371475580518 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 20852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414337859 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963288237440 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21726] ppid=21713 vsize=10748324 memory=7295938381028020304 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337861 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963287185744 139963798378395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21727] ppid=21713 vsize=10748324 memory=7957689449132282197 CPUtime=1.36 cores=1,3,5,7
/proc/21716/task/21727/stat : 21727 (java) S 21713 21716 20852 0 -1 1077944384 3320 0 0 0 136 0 0 0 20 0 16 0 414337861 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963286133104 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21728] ppid=21713 vsize=10748324 memory=7302138570467464289 CPUtime=1.28 cores=1,3,5,7
/proc/21716/task/21728/stat : 21728 (java) S 21713 21716 20852 0 -1 1077944384 1916 0 0 0 128 0 0 0 20 0 16 0 414337861 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963285080304 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21729] ppid=21713 vsize=10748324 memory=7234277872123795305 CPUtime=0.7 cores=1,3,5,7
/proc/21716/task/21729/stat : 21729 (java) S 21713 21716 20852 0 -1 1077944384 3042 0 0 0 70 0 0 0 20 0 16 0 414337861 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963284027504 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21730] ppid=21713 vsize=10748324 memory=7588993358573514130 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414337862 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963282974944 139963798370005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21731] ppid=21713 vsize=10748324 memory=7588993358573514130 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 20852 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 16 0 414337862 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963281923248 139963798370946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
[pid=21716/tid=21732] ppid=21713 vsize=10748324 memory=11420621638 CPUtime=2.61 cores=1,3,5,7
/proc/21716/task/21732/stat : 21732 (java) R 21713 21716 20852 0 -1 4202560 3726 0 0 0 258 3 0 0 20 0 16 0 414338052 11006283776 52987 33554432000 4194304 4196468 140728710743648 139963264853168 139963411160640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140728710747147 140728710747250 140728710747250 140728710750159 0
Current children cumulated CPU time: 7.92 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 211948 KiB
Child status: 0
Real time (s): 4.61509
CPU time (s): 7.94325
CPU user time (s): 7.78778
CPU system time (s): 0.155472
CPU usage (%): 172.115
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 211948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.78778
system time used= 0.155472
maximum resident set size= 216752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30398
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= 2765
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 21716
# total CPU time (s): 7.94325
# total CPU user time (s): 7.78778
# total CPU system time (s): 0.155472
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051842 second user time and 0.095246 second system time
The end