2.56/2.34
2.56/2.34 AbsCon 2
2.67/2.42
4.14/2.95 Instance
4.14/2.95 name=instance-4390513-1568380517, framework=CSP
4.14/2.95
4.14/2.95 Loading variables...
4.54/3.03 Loading constraints...
7.48/3.92
7.48/3.92 Domains
7.48/3.92 nTypes=5, nValues=24528, sizes=[6#2,22#14,33#336,40#328]
7.48/3.92 Variables
7.48/3.92 count=680, degrees=[1#1,3#26,4#13,5#86...44#1,47#1,55#1,62#1]
7.48/3.92 Constraints
7.48/3.92 count=4103, arities=[2#4103]
7.48/3.92 distribution=[CtrIntension#4103]
7.48/3.92 nIntStructures=(173,shared:3930), nCftStructures=(173,shared:3930)
7.48/3.92 wck=1.607, cpu=3.313, mem=57M452
7.48/3.93 Solver SolverBacktrack being built...
7.48/3.93
7.48/3.99
7.48/3.99 Solver
7.48/3.99 guaranteedGAC=true
7.48/3.99 wck=1.678, cpu=3.361, mem=69M909
7.83/4.05
7.83/4.05 Preprocessing
7.83/4.05 filters=334, revisions=(668,useless=0), ccks=466184, nACremovedValues=2328, nTotalRemovedValues=2328, inconcistency=false
7.83/4.05 wck=0.056, cpu=3.419, mem=69M909
7.83/4.05
7.83/4.07 num=0, depth=69..70, filters=2259, revisions=(4445,useless=1830), ccks=526419, wck=0.086, mem=69M909
7.83/4.07 decisions=95, wrong=13, backtracks=3, failedAssignments=10, nogoods=5
7.83/4.07
8.15/4.11 num=1, depth=71..73, filters=4305, revisions=(8644,useless=3966), ccks=555420, wck=0.119, mem=69M909
8.15/4.11 decisions=192, wrong=26, backtracks=5, failedAssignments=21, nogoods=8
8.15/4.11
8.15/4.12 num=2, depth=3..6, filters=5174, revisions=(11210,useless=5653), ccks=578833, wck=0.128, mem=69M909
8.15/4.12 decisions=227, wrong=41, backtracks=8, failedAssignments=33, nogoods=15
8.15/4.12
8.15/4.12 num=3, depth=4..6, filters=5905, revisions=(13374,useless=7082), ccks=593580, wck=0.135, mem=69M909
8.15/4.12 decisions=261, wrong=56, backtracks=10, failedAssignments=46, nogoods=17
8.15/4.12
8.15/4.13 num=4, depth=3..5, filters=6723, revisions=(15358,useless=8241), ccks=613658, wck=0.142, mem=69M909
8.15/4.13 decisions=302, wrong=75, backtracks=15, failedAssignments=60, nogoods=21
8.15/4.13
8.15/4.14 num=5, depth=4..5, filters=7829, revisions=(17673,useless=9448), ccks=640062, wck=0.151, mem=69M909
8.15/4.14 decisions=343, wrong=93, backtracks=17, failedAssignments=76, nogoods=25
8.15/4.14
8.15/4.15 num=6, depth=4..6, filters=9220, revisions=(22329,useless=12688), ccks=673797, wck=0.164, mem=76M631
8.15/4.15 decisions=399, wrong=118, backtracks=26, failedAssignments=93, nogoods=27
8.15/4.15
8.15/4.16 num=7, depth=4..5, filters=10302, revisions=(25260,useless=14532), ccks=696786, wck=0.172, mem=76M631
8.15/4.16 decisions=448, wrong=140, backtracks=29, failedAssignments=112, nogoods=31
8.15/4.16
8.15/4.17 num=8, depth=4..5, filters=11558, revisions=(28637,useless=16645), ccks=725909, wck=0.181, mem=76M631
8.15/4.17 decisions=502, wrong=165, backtracks=33, failedAssignments=133, nogoods=41
8.15/4.17
8.15/4.18 num=9, depth=3..5, filters=13070, revisions=(32100,useless=18586), ccks=758093, wck=0.191, mem=76M631
8.15/4.18 decisions=558, wrong=191, backtracks=36, failedAssignments=156, nogoods=49
8.15/4.18
8.15/4.19 num=10, depth=2..4, filters=14472, revisions=(34855,useless=19932), ccks=786623, wck=0.199, mem=76M631
8.15/4.19 decisions=618, wrong=220, backtracks=40, failedAssignments=181, nogoods=51
8.15/4.19
8.45/4.20 num=11, depth=2..6, filters=16503, revisions=(41672,useless=24684), ccks=833358, wck=0.213, mem=76M631
8.45/4.20 decisions=703, wrong=260, backtracks=53, failedAssignments=209, nogoods=60
8.45/4.20
8.45/4.22 num=12, depth=4..6, filters=18606, revisions=(49174,useless=30048), ccks=881710, wck=0.227, mem=76M631
8.45/4.22 decisions=799, wrong=306, backtracks=69, failedAssignments=240, nogoods=64
8.45/4.22
8.45/4.23 num=13, depth=4..6, filters=20988, revisions=(56569,useless=35045), ccks=938499, wck=0.24, mem=76M631
8.45/4.23 decisions=902, wrong=355, backtracks=84, failedAssignments=274, nogoods=70
8.45/4.23
8.45/4.24 num=14, depth=4..6, filters=22926, revisions=(63134,useless=39665), ccks=984658, wck=0.25, mem=76M631
8.45/4.24 decisions=1007, wrong=405, backtracks=97, failedAssignments=311, nogoods=74
8.45/4.24
8.45/4.25 num=15, depth=3..5, filters=25159, revisions=(68225,useless=42510), ccks=1031158, wck=0.259, mem=76M631
8.45/4.25 decisions=1106, wrong=453, backtracks=104, failedAssignments=352, nogoods=77
8.45/4.25
8.45/4.26 num=16, depth=4..6, filters=27640, revisions=(76698,useless=48498), ccks=1085734, wck=0.27, mem=81M88
8.45/4.26 decisions=1235, wrong=515, backtracks=121, failedAssignments=397, nogoods=83
8.45/4.26
8.45/4.28 num=17, depth=2..6, filters=31721, revisions=(91753,useless=59438), ccks=1174092, wck=0.288, mem=81M88
8.45/4.28 decisions=1397, wrong=594, backtracks=151, failedAssignments=447, nogoods=103
8.45/4.28
8.45/4.29 num=18, depth=4..6, filters=35806, revisions=(105893,useless=69444), ccks=1260126, wck=0.306, mem=81M88
8.45/4.29 decisions=1568, wrong=677, backtracks=182, failedAssignments=502, nogoods=110
8.45/4.29
8.67/4.31 num=19, depth=2..4, filters=39475, revisions=(113026,useless=72881), ccks=1342354, wck=0.319, mem=81M88
8.67/4.31 decisions=1715, wrong=749, backtracks=193, failedAssignments=563, nogoods=118
8.67/4.31
8.67/4.33 num=20, depth=4..6, filters=43679, revisions=(127903,useless=83542), ccks=1440721, wck=0.338, mem=81M88
8.67/4.33 decisions=1924, wrong=851, backtracks=229, failedAssignments=630, nogoods=130
8.67/4.33
8.67/4.34 num=21, depth=3..6, filters=47682, revisions=(141196,useless=92792), ccks=1535820, wck=0.356, mem=81M88
8.67/4.34 decisions=2143, wrong=959, backtracks=263, failedAssignments=704, nogoods=131
8.67/4.34
8.67/4.37 num=22, depth=1..6, filters=53108, revisions=(155069,useless=101197), ccks=1661000, wck=0.378, mem=81M88
8.67/4.37 decisions=2356, wrong=1064, backtracks=288, failedAssignments=785, nogoods=139
8.67/4.37
8.67/4.39 num=23, depth=1..6, filters=59331, revisions=(169979,useless=109836), ccks=1804460, wck=0.402, mem=81M88
8.67/4.39 decisions=2588, wrong=1178, backtracks=314, failedAssignments=874, nogoods=148
8.67/4.39
8.78/4.41 num=24, depth=3..6, filters=64924, revisions=(187362,useless=121604), ccks=1937712, wck=0.426, mem=81M88
8.78/4.41 decisions=2875, wrong=1319, backtracks=357, failedAssignments=972, nogoods=157
8.78/4.41
8.78/4.44 num=25, depth=3..6, filters=71627, revisions=(206848,useless=134325), ccks=2089829, wck=0.453, mem=85M545
8.78/4.44 decisions=3186, wrong=1472, backtracks=402, failedAssignments=1080, nogoods=164
8.78/4.44
8.78/4.46 num=26, depth=3..5, filters=76344, revisions=(221720,useless=144465), ccks=2196712, wck=0.472, mem=85M545
8.78/4.46 decisions=3473, wrong=1613, backtracks=427, failedAssignments=1199, nogoods=172
8.78/4.46
8.78/4.49 num=27, depth=3..6, filters=83864, revisions=(244641,useless=159827), ccks=2377138, wck=0.504, mem=85M545
8.78/4.49 decisions=3851, wrong=1800, backtracks=484, failedAssignments=1330, nogoods=176
8.78/4.49
8.93/4.53 num=28, depth=3..6, filters=92861, revisions=(268876,useless=174988), ccks=2576116, wck=0.537, mem=85M545
8.93/4.53 decisions=4243, wrong=1994, backtracks=534, failedAssignments=1474, nogoods=189
8.93/4.53
8.93/4.56 num=29, depth=2..6, filters=102166, revisions=(298179,useless=194914), ccks=2761258, wck=0.572, mem=85M545
8.93/4.56 decisions=4650, wrong=2195, backtracks=579, failedAssignments=1632, nogoods=203
8.93/4.56
8.93/4.59 num=30, depth=2..4, filters=111919, revisions=(318079,useless=204965), ccks=2978371, wck=0.607, mem=85M545
8.93/4.59 decisions=5070, wrong=2404, backtracks=614, failedAssignments=1806, nogoods=233
8.93/4.59
9.03/4.63 num=31, depth=2..6, filters=122060, revisions=(342550,useless=219218), ccks=3215801, wck=0.645, mem=90M1
9.03/4.63 decisions=5545, wrong=2640, backtracks=660, failedAssignments=1997, nogoods=251
9.03/4.63
9.03/4.68 num=32, depth=1..6, filters=135431, revisions=(376412,useless=239618), ccks=3496260, wck=0.693, mem=90M1
9.03/4.68 decisions=6077, wrong=2904, backtracks=714, failedAssignments=2208, nogoods=263
9.03/4.68
9.16/4.73 num=33, depth=3..6, filters=149020, revisions=(414443,useless=263987), ccks=3806987, wck=0.745, mem=90M1
9.16/4.73 decisions=6710, wrong=3218, backtracks=796, failedAssignments=2440, nogoods=271
9.16/4.73
9.16/4.79 num=34, depth=3..6, filters=164589, revisions=(457203,useless=291034), ccks=4152590, wck=0.803, mem=94M458
9.16/4.79 decisions=7402, wrong=3562, backtracks=885, failedAssignments=2695, nogoods=286
9.16/4.79
9.26/4.87 num=35, depth=2..6, filters=183322, revisions=(515783,useless=330746), ccks=4566501, wck=0.877, mem=94M458
9.26/4.87 decisions=8195, wrong=3957, backtracks=1004, failedAssignments=2976, nogoods=310
9.26/4.87
9.36/4.93 num=36, depth=3..6, filters=200740, revisions=(563623,useless=361070), ccks=4960940, wck=0.943, mem=94M458
9.36/4.93 decisions=9019, wrong=4367, backtracks=1105, failedAssignments=3285, nogoods=322
9.36/4.93
9.36/5.00 num=37, depth=2..6, filters=219834, revisions=(615342,useless=393536), ccks=5341462, wck=1.01, mem=98M915
9.36/5.00 decisions=9839, wrong=4775, backtracks=1176, failedAssignments=3625, nogoods=346
9.36/5.00
9.48/5.07 num=38, depth=2..6, filters=239225, revisions=(667359,useless=425998), ccks=5739179, wck=1.079, mem=98M915
9.48/5.07 decisions=10758, wrong=5232, backtracks=1262, failedAssignments=3999, nogoods=362
9.48/5.07
9.71/5.18 num=39, depth=1..6, filters=267014, revisions=(761988,useless=492511), ccks=6348648, wck=1.196, mem=103M372
9.71/5.18 decisions=11908, wrong=5806, backtracks=1441, failedAssignments=4410, nogoods=366
9.71/5.18
9.82/5.29 num=40, depth=2..6, filters=295323, revisions=(839497,useless=541453), ccks=6981222, wck=1.303, mem=103M372
9.82/5.29 decisions=13136, wrong=6418, backtracks=1603, failedAssignments=4862, nogoods=375
9.82/5.29
10.10/5.42 num=41, depth=2..6, filters=328263, revisions=(939349,useless=608007), ccks=7712233, wck=1.43, mem=107M829
10.10/5.42 decisions=14539, wrong=7117, backtracks=1814, failedAssignments=5359, nogoods=389
10.10/5.42
10.21/5.51 num=42, depth=2..6, filters=357039, revisions=(1016330,useless=655952), ccks=8305817, wck=1.526, mem=112M286
10.21/5.51 decisions=15851, wrong=7771, backtracks=1926, failedAssignments=5906, nogoods=413
10.21/5.51
10.31/5.65 num=43, depth=2..6, filters=393015, revisions=(1118163,useless=721592), ccks=9118221, wck=1.659, mem=112M286
10.31/5.65 decisions=17471, wrong=8579, backtracks=2136, failedAssignments=6508, nogoods=423
10.31/5.65
10.41/5.77 num=44, depth=2..6, filters=430662, revisions=(1228708,useless=794167), ccks=9840003, wck=1.785, mem=116M743
10.41/5.77 decisions=19119, wrong=9401, backtracks=2310, failedAssignments=7170, nogoods=442
10.41/5.77
10.61/5.93 num=45, depth=1..6, filters=475623, revisions=(1346142,useless=866288), ccks=10763033, wck=1.938, mem=121M199
10.61/5.93 decisions=20935, wrong=10307, backtracks=2498, failedAssignments=7898, nogoods=461
10.61/5.93
10.72/6.10 num=46, depth=1..5, filters=521494, revisions=(1463946,useless=937758), ccks=11811302, wck=2.108, mem=125M656
10.72/6.10 decisions=22951, wrong=11314, backtracks=2719, failedAssignments=8699, nogoods=491
10.72/6.10
10.91/6.29 num=47, depth=2..6, filters=573512, revisions=(1610743,useless=1032215), ccks=12995348, wck=2.301, mem=130M113
10.91/6.29 decisions=25311, wrong=12492, backtracks=3023, failedAssignments=9580, nogoods=513
10.91/6.29
11.21/6.53 num=48, depth=2..6, filters=638651, revisions=(1809176,useless=1164906), ccks=14423367, wck=2.547, mem=139M27
11.21/6.53 decisions=27910, wrong=13790, backtracks=3392, failedAssignments=10550, nogoods=540
11.21/6.53
11.41/6.79 num=49, depth=2..6, filters=708252, revisions=(2013408,useless=1299052), ccks=15928939, wck=2.8, mem=143M484
11.41/6.79 decisions=30753, wrong=15210, backtracks=3774, failedAssignments=11617, nogoods=556
11.41/6.79
11.72/7.09 num=50, depth=2..6, filters=787786, revisions=(2259353,useless=1464929), ccks=17642135, wck=3.099, mem=147M940
11.72/7.09 decisions=34012, wrong=16837, backtracks=4260, failedAssignments=12790, nogoods=580
11.72/7.09
12.03/7.34 num=51, depth=1..6, filters=862795, revisions=(2470785,useless=1600639), ccks=19117182, wck=3.352, mem=156M854
12.03/7.34 decisions=37232, wrong=18445, backtracks=4602, failedAssignments=14081, nogoods=603
12.03/7.34
12.36/7.62 num=52, depth=1..6, filters=948321, revisions=(2711917,useless=1755577), ccks=20772978, wck=3.633, mem=165M768
12.36/7.62 decisions=40731, wrong=20192, backtracks=4943, failedAssignments=15501, nogoods=615
12.36/7.62
12.66/7.94 num=53, depth=1..6, filters=1042500, revisions=(2980292,useless=1929070), ccks=22666770, wck=3.955, mem=174M681
12.66/7.94 decisions=44573, wrong=22111, backtracks=5324, failedAssignments=17063, nogoods=629
12.66/7.94
13.06/8.33 num=54, depth=1..6, filters=1149705, revisions=(3294968,useless=2135549), ccks=24889544, wck=4.337, mem=183M595
13.06/8.33 decisions=49029, wrong=24336, backtracks=5866, failedAssignments=18781, nogoods=647
13.06/8.33
13.56/8.82 num=55, depth=1..6, filters=1285152, revisions=(3694787,useless=2398756), ccks=27816690, wck=4.836, mem=192M509
13.56/8.82 decisions=54269, wrong=26954, backtracks=6635, failedAssignments=20671, nogoods=668
13.56/8.82
14.07/9.33 num=56, depth=1..6, filters=1416447, revisions=(4117276,useless=2688791), ccks=30770111, wck=5.346, mem=205M879
14.07/9.33 decisions=59888, wrong=29762, backtracks=7427, failedAssignments=22750, nogoods=700
14.07/9.33
14.56/9.84 num=57, depth=1..6, filters=1561873, revisions=(4542123,useless=2967221), ccks=33808198, wck=5.855, mem=219M250
14.56/9.84 decisions=65862, wrong=32747, backtracks=8164, failedAssignments=25037, nogoods=725
14.56/9.84
15.16/10.47 num=58, depth=1..6, filters=1729306, revisions=(5049683,useless=3305667), ccks=37473752, wck=6.481, mem=232M620
15.16/10.47 decisions=72628, wrong=36129, backtracks=9106, failedAssignments=27553, nogoods=744
15.16/10.47
15.77/11.07 num=59, depth=1..6, filters=1894663, revisions=(5541672,useless=3631098), ccks=41017635, wck=7.081, mem=245M991
15.77/11.07 decisions=79704, wrong=39665, backtracks=9933, failedAssignments=30321, nogoods=779
15.77/11.07
16.51/11.77 num=60, depth=1..6, filters=2089746, revisions=(6098140,useless=3990838), ccks=45083957, wck=7.778, mem=46M953
16.51/11.77 decisions=87524, wrong=43573, backtracks=10855, failedAssignments=33365, nogoods=800
16.51/11.77
17.31/12.58 num=61, depth=1..6, filters=2318804, revisions=(6741176,useless=4402805), ccks=50071439, wck=8.595, mem=69M252
17.31/12.58 decisions=96224, wrong=47921, backtracks=11911, failedAssignments=36714, nogoods=815
17.31/12.58
18.21/13.47 num=62, depth=1..6, filters=2562488, revisions=(7460706,useless=4876511), ccks=55307701, wck=9.478, mem=87M91
18.21/13.47 decisions=105874, wrong=52744, backtracks=13112, failedAssignments=40398, nogoods=846
18.21/13.47
19.11/14.33 num=63, depth=1..6, filters=2805530, revisions=(8164757,useless=5335522), ccks=60421473, wck=10.337, mem=109M390
19.11/14.33 decisions=116102, wrong=57856, backtracks=14248, failedAssignments=44450, nogoods=877
19.11/14.33
20.11/15.37 num=64, depth=1..6, filters=3094935, revisions=(9023377,useless=5902215), ccks=66641640, wck=11.386, mem=136M150
20.11/15.37 decisions=127881, wrong=63744, backtracks=15760, failedAssignments=48907, nogoods=899
20.11/15.37
21.32/16.59 num=65, depth=1..6, filters=3427052, revisions=(9987109,useless=6531017), ccks=74013921, wck=12.604, mem=162M909
21.32/16.59 decisions=140970, wrong=70287, backtracks=17479, failedAssignments=53810, nogoods=939
21.32/16.59
22.62/17.84 num=66, depth=1..6, filters=3773144, revisions=(10982047,useless=7177095), ccks=81538986, wck=13.853, mem=194M127
22.62/17.84 decisions=154733, wrong=77167, backtracks=19063, failedAssignments=59204, nogoods=989
22.62/17.84
23.93/19.17 num=67, depth=0..6, filters=4135697, revisions=(11990515,useless=7820171), ccks=89718546, wck=15.187, mem=229M806
23.93/19.17 decisions=169919, wrong=84758, backtracks=20830, failedAssignments=65137, nogoods=1025
23.93/19.17
25.46/20.62 num=68, depth=0..6, filters=4526735, revisions=(13070938,useless=8505886), ccks=98459722, wck=16.628, mem=43M583
25.46/20.62 decisions=186148, wrong=92870, backtracks=22520, failedAssignments=71663, nogoods=1039
25.46/20.62
27.18/22.37 num=69, depth=0..6, filters=4997677, revisions=(14454134,useless=9414341), ccks=109010241, wck=18.379, mem=79M759
27.18/22.37 decisions=204984, wrong=102286, backtracks=24927, failedAssignments=78842, nogoods=1062
27.18/22.37
29.19/24.37 num=70, depth=0..6, filters=5526932, revisions=(16092345,useless=10517458), ccks=120688266, wck=20.38, mem=130M405
29.19/24.37 decisions=226102, wrong=112843, backtracks=27798, failedAssignments=86739, nogoods=1100
29.19/24.37
31.29/26.40 num=71, depth=0..6, filters=6077028, revisions=(17699222,useless=11569663), ccks=132958710, wck=22.413, mem=173M816
31.29/26.40 decisions=248411, wrong=123996, backtracks=30449, failedAssignments=95426, nogoods=1114
31.29/26.40
33.49/28.66 num=72, depth=0..6, filters=6689065, revisions=(19488356,useless=12741812), ccks=146574190, wck=24.668, mem=231M697
33.49/28.66 decisions=273046, wrong=136311, backtracks=33405, failedAssignments=104981, nogoods=1128
33.49/28.66
36.00/31.16 num=73, depth=0..6, filters=7367793, revisions=(21474339,useless=14043104), ccks=161644406, wck=27.169, mem=289M578
36.00/31.16 decisions=300114, wrong=149843, backtracks=36620, failedAssignments=115492, nogoods=1150
36.00/31.16
38.80/33.92 num=74, depth=0..6, filters=8086101, revisions=(23778561,useless=15621899), ccks=177507579, wck=29.934, mem=354M694
38.80/33.92 decisions=330984, wrong=165276, backtracks=40825, failedAssignments=127054, nogoods=1179
38.80/33.92
41.83/36.98 num=75, depth=0..6, filters=8890080, revisions=(26317530,useless=17348297), ccks=195083970, wck=32.997, mem=58M569
41.83/36.98 decisions=364346, wrong=181955, backtracks=45147, failedAssignments=139772, nogoods=1197
41.83/36.98
45.39/40.33 num=76, depth=0..6, filters=9777032, revisions=(28990894,useless=19126297), ccks=214902747, wck=36.344, mem=132M219
45.39/40.33 decisions=400540, wrong=200050, backtracks=49590, failedAssignments=153762, nogoods=1221
45.39/40.33
48.89/43.88 num=77, depth=0..6, filters=10699207, revisions=(32047610,useless=21250471), ccks=235189388, wck=39.892, mem=213M234
48.89/43.88 decisions=441822, wrong=220689, backtracks=55295, failedAssignments=169151, nogoods=1255
48.89/43.88
53.10/48.06 num=78, depth=0..6, filters=11772244, revisions=(35629950,useless=23746878), ccks=258978776, wck=44.075, mem=301M614
53.10/48.06 decisions=487601, wrong=243576, backtracks=61835, failedAssignments=186079, nogoods=1291
53.10/48.06
57.49/52.41 num=79, depth=0..6, filters=12910171, revisions=(39128614,useless=26094952), ccks=284713593, wck=48.418, mem=397M359
57.49/52.41 decisions=536436, wrong=267992, backtracks=68115, failedAssignments=204700, nogoods=1331
57.49/52.41
62.45/57.39 num=80, depth=0..6, filters=14213633, revisions=(43081066,useless=28729271), ccks=314172344, wck=53.404, mem=149M898
62.45/57.39 decisions=589409, wrong=294477, backtracks=74624, failedAssignments=225184, nogoods=1368
62.45/57.39
62.95/57.86 num=81, depth=0..4, filters=14339684, revisions=(43368169,useless=28889557), ccks=317205385, wck=53.87, mem=160M872
62.95/57.86 decisions=593975, wrong=296761, backtracks=75010, failedAssignments=227104, nogoods=1368
62.95/57.86
62.95/57.86 Global
62.95/57.86 filters=14339684, revisions=(43368169,useless=28889557), ccks=317205385, nogoods=1368
62.95/57.86 Stop=FULL_EXPLORATION, wrong=296761, wck=55.549, cpu=57.17, mem=160M872
62.95/57.86
62.95/57.86 s UNSATISFIABLE
62.95/57.86
62.95/57.86 d WRONG_DECISIONS 296761
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 (15337 MiB free)
memory of node 1: 16384 MiB (15613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390513-1568380517/watcher-4390513-1568380517 -o /tmp/evaluation-result-4390513-1568380517/solver-4390513-1568380517 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568380472-29502 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390513-1568380517.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=29529, runsolver pid=29522
[startup+0.100064 s]*
/proc/loadavg: 0.00 0.01 0.05 2/201 29534
/proc/meminfo: memFree=31690068/32770624 swapFree=66994764/67108860
[pid=29529] ppid=29522 vsize=361196 memory=5648 CPUtime=0 cores=1,3,5,7
/proc/29529/stat : 29529 (java) S 29522 29529 29470 0 -1 1077944320 1783 0 0 0 0 0 0 0 20 0 2 0 414303183 369864704 1412 33554432000 4194304 4196468 140729125710832 140729125693376 140205548130039 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
/proc/29529/statm: 90299 1412 1072 1 0 79210 0
[pid=29529/tid=29533] ppid=29522 vsize=361196 memory=720575944405811505 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29533/stat : 29533 (java) S 29522 29529 29470 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 2 0 414303191 369864704 1412 33554432000 4194304 4196468 140729125710832 140205552372128 140205548141186 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 361196 KiB
Current children cumulated memory: 5648 KiB
[startup+0.211718 s]*
/proc/loadavg: 0.00 0.01 0.05 5/227 29560
/proc/meminfo: memFree=31662744/32770624 swapFree=66994764/67108860
[pid=29529] ppid=29522 vsize=10659884 memory=28584 CPUtime=0.17 cores=1,3,5,7
/proc/29529/stat : 29529 (java) S 29522 29529 29470 0 -1 1077944320 6177 0 0 0 16 1 0 0 20 0 15 0 414303183 10915721216 7146 33554432000 4194304 4196468 140729125710832 140729125693376 140205548130039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
/proc/29529/statm: 2664971 7146 2909 1 0 2627468 0
[pid=29529/tid=29533] ppid=29522 vsize=10659884 memory=7022364594140610616 CPUtime=0.11 cores=1,3,5,7
/proc/29529/task/29533/stat : 29533 (java) R 29522 29529 29470 0 -1 4202560 3324 0 0 0 10 1 0 0 20 0 15 0 414303191 10915721216 7146 33554432000 4194304 4196468 140729125710832 140205552366000 140205532210526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29538] ppid=29522 vsize=10659884 memory=343 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29538/stat : 29538 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303194 10915721216 7146 33554432000 4194304 4196468 140729125710832 140205517843472 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29540] ppid=29522 vsize=10659884 memory=288370568873588352 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29540/stat : 29540 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303194 10915721216 7146 33554432000 4194304 4196468 140729125710832 140205153979536 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29541] ppid=29522 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29541/stat : 29541 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303194 10915721216 7146 33554432000 4194304 4196468 140729125710832 140205152926480 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29542] ppid=29522 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29542/stat : 29542 (java) S 29522 29529 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414303194 10915721216 7146 33554432000 4194304 4196468 140729125710832 140205151873936 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29544] ppid=29522 vsize=10659884 memory=140192721876608 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29544/stat : 29544 (java) S 29522 29529 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414303196 10915721216 7146 33554432000 4194304 4196468 140729125710832 140204852492528 140205548141186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29546] ppid=29522 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29546/stat : 29546 (java) S 29522 29529 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414303196 10915721216 7146 33554432000 4194304 4196468 140729125710832 140204851438752 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29548] ppid=29522 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29548/stat : 29548 (java) S 29522 29529 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414303197 10915721216 7146 33554432000 4194304 4196468 140729125710832 140204850385648 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29549] ppid=29522 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29549/stat : 29549 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414303199 10915721216 7146 33554432000 4194304 4196468 140729125710832 140204849334224 140205548148635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29550] ppid=29522 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29550/stat : 29550 (java) S 29522 29529 29470 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 15 0 414303199 10915721216 7146 33554432000 4194304 4196468 140729125710832 140204848282352 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29551] ppid=29522 vsize=10659884 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/29529/task/29551/stat : 29551 (java) S 29522 29529 29470 0 -1 1077944384 551 0 0 0 1 0 0 0 20 0 15 0 414303199 10915721216 7146 33554432000 4194304 4196468 140729125710832 140204847229808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29552] ppid=29522 vsize=10659884 memory=140192721876608 CPUtime=0.03 cores=1,3,5,7
/proc/29529/task/29552/stat : 29552 (java) R 29522 29529 29470 0 -1 4202560 755 0 0 0 3 0 0 0 20 0 15 0 414303199 10915721216 7146 33554432000 4194304 4196468 140729125710832 140204202348880 140205540349526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29557] ppid=29522 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29557/stat : 29557 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414303199 10915721216 7146 33554432000 4194304 4196468 140729125710832 140204201298784 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29559] ppid=29522 vsize=10659884 memory=140192721876608 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29559/stat : 29559 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303199 10915721216 7146 33554432000 4194304 4196468 140729125710832 140204200245808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28584 KiB
[startup+0.313563 s]*
/proc/loadavg: 0.00 0.01 0.05 8/227 29560
/proc/meminfo: memFree=31650224/32770624 swapFree=66994764/67108860
[pid=29529] ppid=29522 vsize=10659884 memory=33760 CPUtime=0.32 cores=1,3,5,7
/proc/29529/stat : 29529 (java) S 29522 29529 29470 0 -1 1077944320 7123 0 0 0 30 2 0 0 20 0 15 0 414303183 10915721216 8440 33554432000 4194304 4196468 140729125710832 140729125693376 140205548130039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
/proc/29529/statm: 2664971 8440 2990 1 0 2627468 0
[pid=29529/tid=29533] ppid=29522 vsize=10659884 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/29529/task/29533/stat : 29533 (java) R 29522 29529 29470 0 -1 4202560 3925 0 0 0 17 1 0 0 20 0 15 0 414303191 10915721216 8440 33554432000 4194304 4196468 140729125710832 140205552367056 140205548151965 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29538] ppid=29522 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29538/stat : 29538 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303194 10915721216 8440 33554432000 4194304 4196468 140729125710832 140205517843472 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29540] ppid=29522 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29540/stat : 29540 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303194 10915721216 8440 33554432000 4194304 4196468 140729125710832 140205153979536 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29541] ppid=29522 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29541/stat : 29541 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303194 10915721216 8440 33554432000 4194304 4196468 140729125710832 140205152926480 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29542] ppid=29522 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29542/stat : 29542 (java) S 29522 29529 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414303194 10915721216 8440 33554432000 4194304 4196468 140729125710832 140205151873936 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29544] ppid=29522 vsize=10659884 memory=140192721876608 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29544/stat : 29544 (java) S 29522 29529 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414303196 10915721216 8440 33554432000 4194304 4196468 140729125710832 140204852492528 140205548141186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29546] ppid=29522 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29546/stat : 29546 (java) S 29522 29529 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414303196 10915721216 8440 33554432000 4194304 4196468 140729125710832 140204851438752 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29548] ppid=29522 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29548/stat : 29548 (java) S 29522 29529 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414303197 10915721216 8440 33554432000 4194304 4196468 140729125710832 140204850385648 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29549] ppid=29522 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29549/stat : 29549 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414303199 10915721216 8440 33554432000 4194304 4196468 140729125710832 140204849334224 140205548148635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29550] ppid=29522 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29529/task/29550/stat : 29550 (java) S 29522 29529 29470 0 -1 1077944384 276 0 0 0 2 0 0 0 20 0 15 0 414303199 10915721216 8440 33554432000 4194304 4196468 140729125710832 140204848282352 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29551] ppid=29522 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/29529/task/29551/stat : 29551 (java) S 29522 29529 29470 0 -1 1077944384 757 0 0 0 3 0 0 0 20 0 15 0 414303199 10915721216 8440 33554432000 4194304 4196468 140729125710832 140204847229808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29552] ppid=29522 vsize=10659884 memory=140192721876608 CPUtime=0.05 cores=1,3,5,7
/proc/29529/task/29552/stat : 29552 (java) S 29522 29529 29470 0 -1 1077944384 807 0 0 0 5 0 0 0 20 0 15 0 414303199 10915721216 8440 33554432000 4194304 4196468 140729125710832 140204202351088 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29557] ppid=29522 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29557/stat : 29557 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414303199 10915721216 8440 33554432000 4194304 4196468 140729125710832 140204201298784 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29559] ppid=29522 vsize=10659884 memory=140192721876608 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29559/stat : 29559 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303199 10915721216 8440 33554432000 4194304 4196468 140729125710832 140204200245808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 33760 KiB
[startup+0.70162 s]
/proc/loadavg: 0.00 0.01 0.05 7/227 29560
/proc/meminfo: memFree=31628824/32770624 swapFree=66994764/67108860
[pid=29529] ppid=29522 vsize=10659884 memory=53808 CPUtime=0.93 cores=1,3,5,7
/proc/29529/stat : 29529 (java) S 29522 29529 29470 0 -1 1077944320 12742 0 0 0 88 5 0 0 20 0 15 0 414303183 10915721216 13452 33554432000 4194304 4196468 140729125710832 140729125693376 140205548130039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
/proc/29529/statm: 2664971 13452 3058 1 0 2627468 0
[pid=29529/tid=29533] ppid=29522 vsize=10659884 memory=3804 CPUtime=0.56 cores=1,3,5,7
/proc/29529/task/29533/stat : 29533 (java) R 29522 29529 29470 0 -1 4202560 8424 0 0 0 52 4 0 0 20 0 15 0 414303191 10915721216 13452 33554432000 4194304 4196468 140729125710832 140205552358992 140205532210526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29538] ppid=29522 vsize=10659884 memory=2300 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29538/stat : 29538 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303194 10915721216 13452 33554432000 4194304 4196468 140729125710832 140205517843472 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29540] ppid=29522 vsize=10659884 memory=2300 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29540/stat : 29540 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303194 10915721216 13452 33554432000 4194304 4196468 140729125710832 140205153979536 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29541] ppid=29522 vsize=10659884 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29541/stat : 29541 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303194 10915721216 13452 33554432000 4194304 4196468 140729125710832 140205152926480 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29542] ppid=29522 vsize=10659884 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29542/stat : 29542 (java) S 29522 29529 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414303194 10915721216 13452 33554432000 4194304 4196468 140729125710832 140205151873936 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29544] ppid=29522 vsize=10659884 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29544/stat : 29544 (java) S 29522 29529 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414303196 10915721216 13452 33554432000 4194304 4196468 140729125710832 140204852492528 140205548141186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29546] ppid=29522 vsize=10659884 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29546/stat : 29546 (java) S 29522 29529 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414303196 10915721216 13452 33554432000 4194304 4196468 140729125710832 140204851438752 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29548] ppid=29522 vsize=10659884 memory=44324 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29548/stat : 29548 (java) S 29522 29529 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414303197 10915721216 13452 33554432000 4194304 4196468 140729125710832 140204850385648 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29549] ppid=29522 vsize=10659884 memory=41804 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29549/stat : 29549 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414303199 10915721216 13452 33554432000 4194304 4196468 140729125710832 140204849334224 140205548148635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29550] ppid=29522 vsize=10659884 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/29529/task/29550/stat : 29550 (java) R 29522 29529 29470 0 -1 4202560 646 0 0 0 10 0 0 0 20 0 15 0 414303199 10915721216 13452 33554432000 4194304 4196468 140729125710832 140204848268896 140205527385015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29551] ppid=29522 vsize=10659884 memory=280385129307648 CPUtime=0.1 cores=1,3,5,7
/proc/29529/task/29551/stat : 29551 (java) S 29522 29529 29470 0 -1 1077944384 1064 0 0 0 10 0 0 0 20 0 15 0 414303199 10915721216 13452 33554432000 4194304 4196468 140729125710832 140204847229808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29552] ppid=29522 vsize=10659884 memory=140196322477192 CPUtime=0.15 cores=1,3,5,7
/proc/29529/task/29552/stat : 29552 (java) R 29522 29529 29470 0 -1 4202560 1251 0 0 0 15 0 0 0 20 0 15 0 414303199 10915721216 13452 33554432000 4194304 4196468 140729125710832 140204202351088 140205548151386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29557] ppid=29522 vsize=10659884 memory=140196322477740 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29557/stat : 29557 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414303199 10915721216 13452 33554432000 4194304 4196468 140729125710832 140204201298784 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29559] ppid=29522 vsize=10659884 memory=140196322478203 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29559/stat : 29559 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303199 10915721216 13452 33554432000 4194304 4196468 140729125710832 140204200245808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 53808 KiB
[startup+1.50561 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 29560
/proc/meminfo: memFree=31583728/32770624 swapFree=66994764/67108860
[pid=29529] ppid=29522 vsize=10663980 memory=71388 CPUtime=1.83 cores=1,3,5,7
/proc/29529/stat : 29529 (java) S 29522 29529 29470 0 -1 1077944320 16954 0 0 0 177 6 0 0 20 0 15 0 414303183 10919915520 17847 33554432000 4194304 4196468 140729125710832 140729125693376 140205548130039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
/proc/29529/statm: 2665995 17847 3088 1 0 2628492 0
[pid=29529/tid=29533] ppid=29522 vsize=10663980 memory=280385128931088 CPUtime=1.34 cores=1,3,5,7
/proc/29529/task/29533/stat : 29533 (java) R 29522 29529 29470 0 -1 4202560 11598 0 0 0 130 4 0 0 20 0 15 0 414303191 10919915520 17847 33554432000 4194304 4196468 140729125710832 140205552368448 140205528407102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29538] ppid=29522 vsize=10663980 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29538/stat : 29538 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303194 10919915520 17847 33554432000 4194304 4196468 140729125710832 140205517843472 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29540] ppid=29522 vsize=10663980 memory=19912 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29540/stat : 29540 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303194 10919915520 17847 33554432000 4194304 4196468 140729125710832 140205153979536 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29541] ppid=29522 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29541/stat : 29541 (java) S 29522 29529 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414303194 10919915520 17847 33554432000 4194304 4196468 140729125710832 140205152926480 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29542] ppid=29522 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29542/stat : 29542 (java) S 29522 29529 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414303194 10919915520 17847 33554432000 4194304 4196468 140729125710832 140205151873936 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29544] ppid=29522 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29544/stat : 29544 (java) S 29522 29529 29470 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414303196 10919915520 17847 33554432000 4194304 4196468 140729125710832 140204852492528 140205548141186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29546] ppid=29522 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29546/stat : 29546 (java) S 29522 29529 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414303196 10919915520 17847 33554432000 4194304 4196468 140729125710832 140204851438752 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29548] ppid=29522 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29548/stat : 29548 (java) S 29522 29529 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414303197 10919915520 17847 33554432000 4194304 4196468 140729125710832 140204850385648 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29549] ppid=29522 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29549/stat : 29549 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414303199 10919915520 17847 33554432000 4194304 4196468 140729125710832 140204849334224 140205548148635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29550] ppid=29522 vsize=10663980 memory=4206186544037388384 CPUtime=0.13 cores=1,3,5,7
/proc/29529/task/29550/stat : 29550 (java) R 29522 29529 29470 0 -1 4202560 978 0 0 0 13 0 0 0 20 0 15 0 414303199 10919915520 17847 33554432000 4194304 4196468 140729125710832 140204848282352 140205529652734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29551] ppid=29522 vsize=10663980 memory=9023629670928638048 CPUtime=0.14 cores=1,3,5,7
/proc/29529/task/29551/stat : 29551 (java) R 29522 29529 29470 0 -1 4202560 1679 0 0 0 14 0 0 0 20 0 15 0 414303199 10919915520 17847 33554432000 4194304 4196468 140729125710832 140204847216352 140205533255920 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29552] ppid=29522 vsize=10663980 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/29529/task/29552/stat : 29552 (java) S 29522 29529 29470 0 -1 1077944384 1337 0 0 0 19 0 0 0 20 0 15 0 414303199 10919915520 17847 33554432000 4194304 4196468 140729125710832 140204202351088 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29557] ppid=29522 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29557/stat : 29557 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414303199 10919915520 17847 33554432000 4194304 4196468 140729125710832 140204201298784 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29559] ppid=29522 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29559/stat : 29559 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414303199 10919915520 17847 33554432000 4194304 4196468 140729125710832 140204200245808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 71388 KiB
[startup+3.11024 s]
/proc/loadavg: 0.16 0.05 0.06 11/230 29564
/proc/meminfo: memFree=31213864/32770624 swapFree=66994764/67108860
[pid=29529] ppid=29522 vsize=10748324 memory=243180 CPUtime=4.9 cores=1,3,5,7
/proc/29529/stat : 29529 (java) S 29522 29529 29470 0 -1 1077944320 27091 0 6 0 475 15 0 0 20 0 16 0 414303183 11006283776 60795 33554432000 4194304 4196468 140729125710832 140729125693376 140205548130039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
/proc/29529/statm: 2687081 60795 3343 1 0 2647217 0
################
# More data... #
################
[startup+56.0006 s]*
/proc/loadavg: 1.32 0.38 0.17 3/229 29644
/proc/meminfo: memFree=30887816/32770624 swapFree=66994764/67108860
[pid=29529] ppid=29522 vsize=10748324 memory=536092 CPUtime=61.16 cores=1,3,5,7
/proc/29529/stat : 29529 (java) S 29522 29529 29470 0 -1 1077944320 58950 0 6 0 6084 32 0 0 20 0 16 0 414303183 11006283776 134023 33554432000 4194304 4196468 140729125710832 140729125693376 140205548130039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
/proc/29529/statm: 2687081 134023 3377 1 0 2647217 0
[pid=29529/tid=29533] ppid=29522 vsize=10748324 memory=8317482817917895235 CPUtime=1.87 cores=1,3,5,7
/proc/29529/task/29533/stat : 29533 (java) S 29522 29529 29470 0 -1 1077944384 13959 0 6 0 180 7 0 0 20 0 16 0 414303191 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205552372912 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29538] ppid=29522 vsize=10748324 memory=8317482817917895235 CPUtime=0.08 cores=1,3,5,7
/proc/29529/task/29538/stat : 29538 (java) S 29522 29529 29470 0 -1 1077944384 349 0 0 0 6 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205517843472 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29540] ppid=29522 vsize=10748324 memory=2016 CPUtime=0.09 cores=1,3,5,7
/proc/29529/task/29540/stat : 29540 (java) S 29522 29529 29470 0 -1 1077944384 2003 0 0 0 7 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205153979536 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29541] ppid=29522 vsize=10748324 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/29529/task/29541/stat : 29541 (java) S 29522 29529 29470 0 -1 1077944384 3248 0 0 0 6 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205152926480 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29542] ppid=29522 vsize=10748324 memory=776 CPUtime=0.07 cores=1,3,5,7
/proc/29529/task/29542/stat : 29542 (java) S 29522 29529 29470 0 -1 1077944384 162 0 0 0 5 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205151873936 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29544] ppid=29522 vsize=10748324 memory=6943526294502006880 CPUtime=0.02 cores=1,3,5,7
/proc/29529/task/29544/stat : 29544 (java) S 29522 29529 29470 0 -1 1077944384 2116 0 0 0 2 0 0 0 20 0 16 0 414303196 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204852492528 140205548141186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29546] ppid=29522 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29546/stat : 29546 (java) S 29522 29529 29470 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414303196 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204851438816 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29548] ppid=29522 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29548/stat : 29548 (java) S 29522 29529 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414303197 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204850385664 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29549] ppid=29522 vsize=10748324 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29549/stat : 29549 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204849334224 140205548148635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29550] ppid=29522 vsize=10748324 memory=6655300316396806240 CPUtime=2.22 cores=1,3,5,7
/proc/29529/task/29550/stat : 29550 (java) S 29522 29529 29470 0 -1 1077944384 7518 0 0 0 220 2 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204848282352 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29551] ppid=29522 vsize=10748324 memory=6943526294502006880 CPUtime=2.15 cores=1,3,5,7
/proc/29529/task/29551/stat : 29551 (java) S 29522 29529 29470 0 -1 1077944384 10094 0 0 0 213 2 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204847229808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29552] ppid=29522 vsize=10748324 memory=6943526294502006880 CPUtime=1.05 cores=1,3,5,7
/proc/29529/task/29552/stat : 29552 (java) S 29522 29529 29470 0 -1 1077944384 7954 0 0 0 104 1 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204202351088 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29557] ppid=29522 vsize=10748324 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29557/stat : 29557 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204201298784 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29559] ppid=29522 vsize=10748324 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29559/stat : 29559 (java) S 29522 29529 29470 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204200245808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29564] ppid=29522 vsize=10748324 memory=301793952447856926 CPUtime=53.42 cores=1,3,5,7
/proc/29529/task/29564/stat : 29564 (java) R 29522 29529 29470 0 -1 4202560 9662 0 0 0 5335 7 0 0 20 0 16 0 414303418 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204183584288 140205194529620 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
Current children cumulated CPU time: 61.16 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 536092 KiB
[startup+56.8006 s]
/proc/loadavg: 1.32 0.38 0.17 3/229 29644
/proc/meminfo: memFree=30887816/32770624 swapFree=66994764/67108860
[pid=29529] ppid=29522 vsize=10748324 memory=536092 CPUtime=61.95 cores=1,3,5,7
/proc/29529/stat : 29529 (java) S 29522 29529 29470 0 -1 1077944320 58961 0 6 0 6163 32 0 0 20 0 16 0 414303183 11006283776 134023 33554432000 4194304 4196468 140729125710832 140729125693376 140205548130039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
/proc/29529/statm: 2687081 134023 3377 1 0 2647217 0
[pid=29529/tid=29533] ppid=29522 vsize=10748324 memory=664 CPUtime=1.87 cores=1,3,5,7
/proc/29529/task/29533/stat : 29533 (java) S 29522 29529 29470 0 -1 1077944384 13959 0 6 0 180 7 0 0 20 0 16 0 414303191 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205552372912 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29538] ppid=29522 vsize=10748324 memory=1156 CPUtime=0.08 cores=1,3,5,7
/proc/29529/task/29538/stat : 29538 (java) S 29522 29529 29470 0 -1 1077944384 349 0 0 0 6 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205517843472 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29540] ppid=29522 vsize=10748324 memory=1000 CPUtime=0.09 cores=1,3,5,7
/proc/29529/task/29540/stat : 29540 (java) S 29522 29529 29470 0 -1 1077944384 2003 0 0 0 7 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205153979536 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29541] ppid=29522 vsize=10748324 memory=14008 CPUtime=0.08 cores=1,3,5,7
/proc/29529/task/29541/stat : 29541 (java) S 29522 29529 29470 0 -1 1077944384 3248 0 0 0 6 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205152926480 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29542] ppid=29522 vsize=10748324 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29529/task/29542/stat : 29542 (java) S 29522 29529 29470 0 -1 1077944384 162 0 0 0 5 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205151873936 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29544] ppid=29522 vsize=10748324 memory=1440 CPUtime=0.02 cores=1,3,5,7
/proc/29529/task/29544/stat : 29544 (java) S 29522 29529 29470 0 -1 1077944384 2116 0 0 0 2 0 0 0 20 0 16 0 414303196 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204852492528 140205548141186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29546] ppid=29522 vsize=10748324 memory=820 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29546/stat : 29546 (java) S 29522 29529 29470 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414303196 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204851438816 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29548] ppid=29522 vsize=10748324 memory=2356 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29548/stat : 29548 (java) S 29522 29529 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414303197 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204850385664 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29549] ppid=29522 vsize=10748324 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29549/stat : 29549 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204849334224 140205548148635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29550] ppid=29522 vsize=10748324 memory=536092 CPUtime=2.22 cores=1,3,5,7
/proc/29529/task/29550/stat : 29550 (java) S 29522 29529 29470 0 -1 1077944384 7518 0 0 0 220 2 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204848282352 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29551] ppid=29522 vsize=10748324 memory=536064 CPUtime=2.15 cores=1,3,5,7
/proc/29529/task/29551/stat : 29551 (java) S 29522 29529 29470 0 -1 1077944384 10094 0 0 0 213 2 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204847229808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29552] ppid=29522 vsize=10748324 memory=19912 CPUtime=1.05 cores=1,3,5,7
/proc/29529/task/29552/stat : 29552 (java) S 29522 29529 29470 0 -1 1077944384 7954 0 0 0 104 1 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204202351088 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29557] ppid=29522 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29557/stat : 29557 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204201298784 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29559] ppid=29522 vsize=10748324 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29559/stat : 29559 (java) S 29522 29529 29470 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204200245808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29564] ppid=29522 vsize=10748324 memory=1384 CPUtime=54.21 cores=1,3,5,7
/proc/29529/task/29564/stat : 29564 (java) R 29522 29529 29470 0 -1 4202560 9673 0 0 0 5414 7 0 0 20 0 16 0 414303418 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204183582152 140205194531727 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
Current children cumulated CPU time: 61.95 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 536092 KiB
[startup+57.6006 s]
/proc/loadavg: 1.29 0.39 0.17 3/229 29644
/proc/meminfo: memFree=30887816/32770624 swapFree=66994764/67108860
[pid=29529] ppid=29522 vsize=10748324 memory=536092 CPUtime=62.75 cores=1,3,5,7
/proc/29529/stat : 29529 (java) S 29522 29529 29470 0 -1 1077944320 59637 0 6 0 6243 32 0 0 20 0 16 0 414303183 11006283776 134023 33554432000 4194304 4196468 140729125710832 140729125693376 140205548130039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
/proc/29529/statm: 2687081 134023 3377 1 0 2647217 0
[pid=29529/tid=29533] ppid=29522 vsize=10748324 memory=19912 CPUtime=1.87 cores=1,3,5,7
/proc/29529/task/29533/stat : 29533 (java) S 29522 29529 29470 0 -1 1077944384 13959 0 6 0 180 7 0 0 20 0 16 0 414303191 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205552372912 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29538] ppid=29522 vsize=10748324 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/29529/task/29538/stat : 29538 (java) S 29522 29529 29470 0 -1 1077944384 349 0 0 0 6 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205517843472 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29540] ppid=29522 vsize=10748324 memory=28829630602021044 CPUtime=0.09 cores=1,3,5,7
/proc/29529/task/29540/stat : 29540 (java) S 29522 29529 29470 0 -1 1077944384 2003 0 0 0 7 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205153979536 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29541] ppid=29522 vsize=10748324 memory=288293289775258747 CPUtime=0.08 cores=1,3,5,7
/proc/29529/task/29541/stat : 29541 (java) S 29522 29529 29470 0 -1 1077944384 3248 0 0 0 6 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205152926480 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29542] ppid=29522 vsize=10748324 memory=32 CPUtime=0.07 cores=1,3,5,7
/proc/29529/task/29542/stat : 29542 (java) S 29522 29529 29470 0 -1 1077944384 162 0 0 0 5 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205151873936 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29544] ppid=29522 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/29529/task/29544/stat : 29544 (java) S 29522 29529 29470 0 -1 1077944384 2118 0 0 0 2 0 0 0 20 0 16 0 414303196 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204852492528 140205548141186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29546] ppid=29522 vsize=10748324 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29546/stat : 29546 (java) S 29522 29529 29470 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414303196 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204851438816 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29548] ppid=29522 vsize=10748324 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29548/stat : 29548 (java) S 29522 29529 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414303197 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204850385664 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29549] ppid=29522 vsize=10748324 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29549/stat : 29549 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204849334224 140205548148635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29550] ppid=29522 vsize=10748324 memory=496 CPUtime=2.22 cores=1,3,5,7
/proc/29529/task/29550/stat : 29550 (java) S 29522 29529 29470 0 -1 1077944384 7520 0 0 0 220 2 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204848282352 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29551] ppid=29522 vsize=10748324 memory=111632 CPUtime=2.15 cores=1,3,5,7
/proc/29529/task/29551/stat : 29551 (java) S 29522 29529 29470 0 -1 1077944384 10096 0 0 0 213 2 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204847229808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29552] ppid=29522 vsize=10748324 memory=808 CPUtime=1.05 cores=1,3,5,7
/proc/29529/task/29552/stat : 29552 (java) S 29522 29529 29470 0 -1 1077944384 8249 0 0 0 104 1 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204202351088 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29557] ppid=29522 vsize=10748324 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29557/stat : 29557 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204201298784 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29559] ppid=29522 vsize=10748324 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29559/stat : 29559 (java) S 29522 29529 29470 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204200245808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29564] ppid=29522 vsize=10748324 memory=920 CPUtime=55.01 cores=1,3,5,7
/proc/29529/task/29564/stat : 29564 (java) R 29522 29529 29470 0 -1 4202560 10046 0 0 0 5494 7 0 0 20 0 16 0 414303418 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204183582152 140205194531432 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
Current children cumulated CPU time: 62.75 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 536092 KiB
[startup+57.8006 s]
/proc/loadavg: 1.29 0.39 0.17 3/229 29644
/proc/meminfo: memFree=30887816/32770624 swapFree=66994764/67108860
[pid=29529] ppid=29522 vsize=10748324 memory=536092 CPUtime=62.95 cores=1,3,5,7
/proc/29529/stat : 29529 (java) S 29522 29529 29470 0 -1 1077944320 59639 0 6 0 6263 32 0 0 20 0 16 0 414303183 11006283776 134023 33554432000 4194304 4196468 140729125710832 140729125693376 140205548130039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
/proc/29529/statm: 2687081 134023 3377 1 0 2647217 0
[pid=29529/tid=29533] ppid=29522 vsize=10748324 memory=8030699387270942266 CPUtime=1.87 cores=1,3,5,7
/proc/29529/task/29533/stat : 29533 (java) S 29522 29529 29470 0 -1 1077944384 13959 0 6 0 180 7 0 0 20 0 16 0 414303191 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205552372912 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29538] ppid=29522 vsize=10748324 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/29529/task/29538/stat : 29538 (java) S 29522 29529 29470 0 -1 1077944384 349 0 0 0 6 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205517843472 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29540] ppid=29522 vsize=10748324 memory=1604 CPUtime=0.09 cores=1,3,5,7
/proc/29529/task/29540/stat : 29540 (java) S 29522 29529 29470 0 -1 1077944384 2003 0 0 0 7 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205153979536 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29541] ppid=29522 vsize=10748324 memory=1980 CPUtime=0.08 cores=1,3,5,7
/proc/29529/task/29541/stat : 29541 (java) S 29522 29529 29470 0 -1 1077944384 3248 0 0 0 6 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205152926480 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29542] ppid=29522 vsize=10748324 memory=2356 CPUtime=0.07 cores=1,3,5,7
/proc/29529/task/29542/stat : 29542 (java) S 29522 29529 29470 0 -1 1077944384 162 0 0 0 5 2 0 0 20 0 16 0 414303194 11006283776 134023 33554432000 4194304 4196468 140729125710832 140205151873936 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29544] ppid=29522 vsize=10748324 memory=1440 CPUtime=0.02 cores=1,3,5,7
/proc/29529/task/29544/stat : 29544 (java) S 29522 29529 29470 0 -1 1077944384 2118 0 0 0 2 0 0 0 20 0 16 0 414303196 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204852492528 140205548141186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29546] ppid=29522 vsize=10748324 memory=820 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29546/stat : 29546 (java) S 29522 29529 29470 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414303196 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204851438816 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29548] ppid=29522 vsize=10748324 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29548/stat : 29548 (java) S 29522 29529 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414303197 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204850385664 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29549] ppid=29522 vsize=10748324 memory=536024 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29549/stat : 29549 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204849334224 140205548148635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29550] ppid=29522 vsize=10748324 memory=-7521736447810188379 CPUtime=2.22 cores=1,3,5,7
/proc/29529/task/29550/stat : 29550 (java) S 29522 29529 29470 0 -1 1077944384 7520 0 0 0 220 2 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204848282352 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29551] ppid=29522 vsize=10748324 memory=-8412652160765825907 CPUtime=2.15 cores=1,3,5,7
/proc/29529/task/29551/stat : 29551 (java) S 29522 29529 29470 0 -1 1077944384 10096 0 0 0 213 2 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204847229808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29552] ppid=29522 vsize=10748324 memory=7897517683652307531 CPUtime=1.05 cores=1,3,5,7
/proc/29529/task/29552/stat : 29552 (java) S 29522 29529 29470 0 -1 1077944384 8249 0 0 0 104 1 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204202351088 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29557] ppid=29522 vsize=10748324 memory=8514726395715349656 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29557/stat : 29557 (java) S 29522 29529 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204201298784 140205548140245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29559] ppid=29522 vsize=10748324 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/29529/task/29559/stat : 29559 (java) S 29522 29529 29470 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 16 0 414303199 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204200245808 140205548141186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
[pid=29529/tid=29564] ppid=29522 vsize=10748324 memory=19912 CPUtime=55.21 cores=1,3,5,7
/proc/29529/task/29564/stat : 29564 (java) R 29522 29529 29470 0 -1 4202560 10048 0 0 0 5514 7 0 0 20 0 16 0 414303418 11006283776 134023 33554432000 4194304 4196468 140729125710832 140204183582152 140205192485716 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 21401600 140729125712907 140729125713010 140729125713010 140729125715919 0
Current children cumulated CPU time: 62.95 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 536092 KiB
Child status: 0
Real time (s): 57.8737
CPU time (s): 63.0356
CPU user time (s): 62.702
CPU system time (s): 0.333638
CPU usage (%): 108.919
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 536092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.702
system time used= 0.333638
maximum resident set size= 536220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61251
page faults= 6
swaps= 0
block input operations= 49512
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4642
involuntary context switches= 870
# summary of solver processes directly reported to runsolver:
# pid: 29529
# total CPU time (s): 63.0356
# total CPU user time (s): 62.702
# total CPU system time (s): 0.333638
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.293508 second user time and 0.592917 second system time
The end