2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.90
7.57/5.23 Instance
7.57/5.23 name=instance-4390546-1568381016, framework=CSP
7.57/5.23
7.57/5.23 Loading variables...
7.87/5.32 Loading constraints...
10.54/6.87
10.54/6.87 Domains
10.54/6.87 nTypes=1, nValues=125, sizes=[5#25]
10.54/6.88 Variables
10.54/6.88 count=25, degrees=[9#1,10#1,13#2,14#3...17#6,18#2,19#4,21#2]
10.54/6.88 Constraints
10.54/6.88 count=58, nSpecific=58, arities=[7#58]
10.54/6.88 distribution=[CtrExtensionCT-Table#58]
10.54/6.88 tables=[38424#1,38566#1,38614#1,38669#1...39498#1,39558#1,39725#1,39825#1], nTotalTuples=2267154
10.54/6.88 nExtStructures=(58,shared:0)
10.54/6.88 wck=5.024, cpu=6.145, mem=937M985
10.54/6.89 Solver SolverBacktrack being built...
10.54/6.89
10.68/6.91
10.68/6.91 Solver
10.68/6.91 guaranteedGAC=true
10.68/6.91 wck=5.058, cpu=6.177, mem=948M298
10.68/6.91
10.68/6.91 Preprocessing
10.68/6.91 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
10.68/6.91 wck=0.005, cpu=6.183, mem=948M298
10.68/6.91
10.68/6.93 num=0, depth=12..14, filters=280, wck=0.025, mem=948M298
10.68/6.93 decisions=44, wrong=15, backtracks=5, failedAssignments=10, nogoods=3
10.68/6.93 nFilterCalls=1614, avgTableProportion=0.9999744106263488, avgTableSize=39079.78934324659
10.68/6.93
10.68/6.97 num=1, depth=4..8, filters=553, wck=0.064, mem=948M298
10.68/6.97 decisions=91, wrong=36, backtracks=17, failedAssignments=21, nogoods=7
10.68/6.97 nFilterCalls=3492, avgTableProportion=0.9999744138021094, avgTableSize=39084.607674684994
10.68/6.97
10.68/6.99 num=2, depth=6..9, filters=815, wck=0.083, mem=948M298
10.68/6.99 decisions=129, wrong=52, backtracks=22, failedAssignments=33, nogoods=11
10.68/6.99 nFilterCalls=4969, avgTableProportion=0.9999744148035927, avgTableSize=39086.13242101026
10.68/6.99
10.99/7.02 num=3, depth=5..10, filters=1152, wck=0.112, mem=948M298
10.99/7.02 decisions=177, wrong=73, backtracks=32, failedAssignments=46, nogoods=15
10.99/7.02 nFilterCalls=7071, avgTableProportion=0.9999744127673602, avgTableSize=39083.03125441946
10.99/7.02
10.99/7.05 num=4, depth=5..10, filters=1541, wck=0.145, mem=948M298
10.99/7.05 decisions=235, wrong=99, backtracks=47, failedAssignments=60, nogoods=19
10.99/7.05 nFilterCalls=9584, avgTableProportion=0.9999744157428689, avgTableSize=39087.51940734558
10.99/7.05
10.99/7.08 num=5, depth=6..10, filters=1986, wck=0.168, mem=948M298
10.99/7.08 decisions=293, wrong=124, backtracks=58, failedAssignments=76, nogoods=28
10.99/7.08 nFilterCalls=11964, avgTableProportion=0.9999744145396795, avgTableSize=39085.70987963892
10.99/7.08
10.99/7.10 num=6, depth=5..9, filters=2392, wck=0.194, mem=948M298
10.99/7.10 decisions=357, wrong=153, backtracks=71, failedAssignments=93, nogoods=30
10.99/7.10 nFilterCalls=14335, avgTableProportion=0.9999744143553873, avgTableSize=39085.44164632019
10.99/7.10
11.20/7.14 num=7, depth=5..10, filters=2811, wck=0.228, mem=948M298
11.20/7.14 decisions=423, wrong=182, backtracks=85, failedAssignments=112, nogoods=33
11.20/7.14 nFilterCalls=17223, avgTableProportion=0.9999744137476961, avgTableSize=39084.51053823376
11.20/7.14
11.20/7.15 num=8, depth=5..10, filters=3280, wck=0.241, mem=948M298
11.20/7.15 decisions=498, wrong=216, backtracks=100, failedAssignments=133, nogoods=35
11.20/7.15 nFilterCalls=20007, avgTableProportion=0.9999744151016876, avgTableSize=39086.55580546809
11.20/7.15
11.20/7.17 num=9, depth=5..9, filters=3764, wck=0.259, mem=948M298
11.20/7.17 decisions=573, wrong=251, backtracks=114, failedAssignments=156, nogoods=38
11.20/7.17 nFilterCalls=22910, avgTableProportion=0.9999744154583414, avgTableSize=39087.106940200785
11.20/7.17
11.20/7.19 num=10, depth=4..9, filters=4329, wck=0.28, mem=948M298
11.20/7.19 decisions=661, wrong=293, backtracks=139, failedAssignments=181, nogoods=39
11.20/7.19 nFilterCalls=26461, avgTableProportion=0.9999744166482222, avgTableSize=39088.925890933824
11.20/7.19
11.38/7.21 num=11, depth=5..9, filters=5094, wck=0.304, mem=948M298
11.38/7.21 decisions=761, wrong=340, backtracks=162, failedAssignments=209, nogoods=43
11.38/7.21 nFilterCalls=31165, avgTableProportion=0.9999744158612909, avgTableSize=39087.70075405102
11.38/7.21
11.38/7.23 num=12, depth=5..9, filters=5894, wck=0.323, mem=948M298
11.38/7.23 decisions=864, wrong=388, backtracks=183, failedAssignments=240, nogoods=46
11.38/7.23 nFilterCalls=36038, avgTableProportion=0.9999744155117436, avgTableSize=39087.16818358399
11.38/7.23
11.38/7.25 num=13, depth=5..10, filters=6619, wck=0.346, mem=948M298
11.38/7.25 decisions=972, wrong=439, backtracks=203, failedAssignments=274, nogoods=54
11.38/7.25 nFilterCalls=40234, avgTableProportion=0.9999744160863911, avgTableSize=39088.05763781876
11.38/7.25
11.38/7.28 num=14, depth=5..11, filters=7547, wck=0.372, mem=948M298
11.38/7.28 decisions=1112, wrong=506, backtracks=234, failedAssignments=311, nogoods=57
11.38/7.28 nFilterCalls=45934, avgTableProportion=0.9999744159363989, avgTableSize=39087.80846431837
11.38/7.28
11.38/7.29 num=15, depth=5..11, filters=8613, wck=0.385, mem=948M298
11.38/7.29 decisions=1245, wrong=569, backtracks=259, failedAssignments=352, nogoods=60
11.38/7.29 nFilterCalls=51376, avgTableProportion=0.9999744168278466, avgTableSize=39089.16061974463
11.38/7.29
11.51/7.31 num=16, depth=6..13, filters=9608, wck=0.404, mem=948M298
11.51/7.31 decisions=1381, wrong=634, backtracks=283, failedAssignments=397, nogoods=62
11.51/7.31 nFilterCalls=56966, avgTableProportion=0.9999744165134773, avgTableSize=39088.696415405684
11.51/7.31
11.51/7.35 num=17, depth=4..11, filters=10727, wck=0.443, mem=948M298
11.51/7.35 decisions=1539, wrong=710, backtracks=320, failedAssignments=447, nogoods=70
11.51/7.35 nFilterCalls=63477, avgTableProportion=0.9999744156314441, avgTableSize=39087.36035099327
11.51/7.35
11.70/7.40 num=18, depth=4..9, filters=12101, wck=0.492, mem=948M298
11.70/7.40 decisions=1725, wrong=801, backtracks=370, failedAssignments=502, nogoods=77
11.70/7.40 nFilterCalls=71375, avgTableProportion=0.9999744168521815, avgTableSize=39089.21143257443
11.70/7.40
11.70/7.44 num=19, depth=5..9, filters=13377, wck=0.532, mem=948M298
11.70/7.44 decisions=1914, wrong=892, backtracks=410, failedAssignments=563, nogoods=83
11.70/7.44 nFilterCalls=78920, avgTableProportion=0.999974417021088, avgTableSize=39089.46980486569
11.70/7.44
11.70/7.48 num=20, depth=4..10, filters=14929, wck=0.573, mem=948M298
11.70/7.48 decisions=2138, wrong=1001, backtracks=464, failedAssignments=630, nogoods=90
11.70/7.48 nFilterCalls=87876, avgTableProportion=0.999974416851491, avgTableSize=39089.212014657016
11.70/7.48
11.80/7.54 num=21, depth=4..10, filters=16672, wck=0.627, mem=973M961
11.80/7.54 decisions=2381, wrong=1120, backtracks=524, failedAssignments=704, nogoods=96
11.80/7.54 nFilterCalls=98163, avgTableProportion=0.9999744161060204, avgTableSize=39088.058739036096
11.80/7.54
11.80/7.58 num=22, depth=4..11, filters=18601, wck=0.671, mem=973M961
11.80/7.58 decisions=2643, wrong=1248, backtracks=581, failedAssignments=785, nogoods=102
11.80/7.58 nFilterCalls=109175, avgTableProportion=0.9999744155217573, avgTableSize=39087.16471719716
11.80/7.58
11.91/7.65 num=23, depth=4..9, filters=20740, wck=0.743, mem=973M961
11.91/7.65 decisions=2952, wrong=1400, backtracks=665, failedAssignments=874, nogoods=115
11.91/7.65 nFilterCalls=122112, avgTableProportion=0.9999744154078243, avgTableSize=39087.000057324425
11.91/7.65
12.02/7.73 num=24, depth=4..9, filters=22952, wck=0.821, mem=973M961
12.02/7.73 decisions=3287, wrong=1564, backtracks=743, failedAssignments=972, nogoods=124
12.02/7.73 nFilterCalls=135398, avgTableProportion=0.9999744146141848, avgTableSize=39085.79036617971
12.02/7.73
12.02/7.78 num=25, depth=4..10, filters=25226, wck=0.876, mem=973M961
12.02/7.78 decisions=3643, wrong=1739, backtracks=826, failedAssignments=1080, nogoods=136
12.02/7.78 nFilterCalls=149446, avgTableProportion=0.9999744149503227, avgTableSize=39086.29618725158
12.02/7.78
12.16/7.87 num=26, depth=4..11, filters=27835, wck=0.96, mem=973M961
12.16/7.87 decisions=4040, wrong=1935, backtracks=914, failedAssignments=1199, nogoods=144
12.16/7.87 nFilterCalls=164890, avgTableProportion=0.99997441457098, avgTableSize=39085.7177148402
12.16/7.87
12.26/7.95 num=27, depth=4..11, filters=30775, wck=1.041, mem=973M961
12.26/7.95 decisions=4457, wrong=2141, backtracks=1011, failedAssignments=1330, nogoods=151
12.26/7.95 nFilterCalls=182496, avgTableProportion=0.999974415119481, avgTableSize=39086.5638972909
12.26/7.95
12.37/8.06 num=28, depth=4..11, filters=34443, wck=1.151, mem=973M961
12.37/8.06 decisions=4932, wrong=2376, backtracks=1132, failedAssignments=1474, nogoods=157
12.37/8.06 nFilterCalls=203110, avgTableProportion=0.999974414921466, avgTableSize=39086.25742208656
12.37/8.06
12.47/8.17 num=29, depth=3..11, filters=38436, wck=1.261, mem=973M961
12.47/8.17 decisions=5478, wrong=2646, backtracks=1272, failedAssignments=1632, nogoods=165
12.47/8.17 nFilterCalls=226019, avgTableProportion=0.9999744157948571, avgTableSize=39087.59163610139
12.47/8.17
12.57/8.28 num=30, depth=4..11, filters=42709, wck=1.369, mem=973M961
12.57/8.28 decisions=6064, wrong=2936, backtracks=1413, failedAssignments=1806, nogoods=173
12.57/8.28 nFilterCalls=250503, avgTableProportion=0.9999744157652241, avgTableSize=39087.53982587035
12.57/8.28
12.78/8.42 num=31, depth=4..9, filters=46979, wck=1.508, mem=973M961
12.78/8.42 decisions=6682, wrong=3242, backtracks=1560, failedAssignments=1997, nogoods=186
12.78/8.42 nFilterCalls=275621, avgTableProportion=0.9999744159294665, avgTableSize=39087.795490909615
12.78/8.42
12.88/8.55 num=32, depth=4..10, filters=52460, wck=1.643, mem=973M961
12.88/8.55 decisions=7399, wrong=3598, backtracks=1747, failedAssignments=2208, nogoods=198
12.88/8.55 nFilterCalls=306872, avgTableProportion=0.9999744158143271, avgTableSize=39087.62017388357
12.88/8.55
12.98/8.68 num=33, depth=4..11, filters=58455, wck=1.769, mem=973M961
12.98/8.68 decisions=8161, wrong=3976, backtracks=1936, failedAssignments=2440, nogoods=205
12.98/8.68 nFilterCalls=341901, avgTableProportion=0.9999744156776806, avgTableSize=39087.40896048856
12.98/8.68
13.18/8.88 num=34, depth=3..10, filters=64149, wck=1.974, mem=973M961
13.18/8.88 decisions=8974, wrong=4380, backtracks=2132, failedAssignments=2695, nogoods=217
13.18/8.88 nFilterCalls=375247, avgTableProportion=0.9999744150582458, avgTableSize=39086.46653271045
13.18/8.88
13.56/9.12 num=35, depth=3..10, filters=70447, wck=2.213, mem=973M961
13.56/9.12 decisions=9886, wrong=4834, backtracks=2353, failedAssignments=2976, nogoods=222
13.56/9.12 nFilterCalls=413271, avgTableProportion=0.9999744149900864, avgTableSize=39086.354665582636
13.56/9.12
13.79/9.30 num=36, depth=4..12, filters=77456, wck=2.396, mem=973M961
13.79/9.30 decisions=10878, wrong=5326, backtracks=2583, failedAssignments=3285, nogoods=230
13.79/9.30 nFilterCalls=453457, avgTableProportion=0.9999744154432094, avgTableSize=39087.057557827975
13.79/9.30
14.00/9.53 num=37, depth=3..11, filters=84833, wck=2.625, mem=973M961
14.00/9.53 decisions=11925, wrong=5847, backtracks=2827, failedAssignments=3625, nogoods=240
14.00/9.53 nFilterCalls=496253, avgTableProportion=0.999974415242831, avgTableSize=39086.74500708308
14.00/9.53
14.20/9.77 num=38, depth=3..11, filters=93737, wck=2.866, mem=973M961
14.20/9.77 decisions=13137, wrong=6450, backtracks=3129, failedAssignments=3999, nogoods=245
14.20/9.77 nFilterCalls=547626, avgTableProportion=0.9999744147696061, avgTableSize=39086.033312881416
14.20/9.77
14.51/10.01 num=39, depth=3..10, filters=103435, wck=3.1, mem=973M961
14.51/10.01 decisions=14493, wrong=7125, backtracks=3486, failedAssignments=4410, nogoods=255
14.51/10.01 nFilterCalls=603974, avgTableProportion=0.9999744150623453, avgTableSize=39086.48496624027
14.51/10.01
14.80/10.34 num=40, depth=3..10, filters=114173, wck=3.427, mem=973M961
14.80/10.34 decisions=16020, wrong=7886, backtracks=3886, failedAssignments=4862, nogoods=262
14.80/10.34 nFilterCalls=667596, avgTableProportion=0.9999744148564461, avgTableSize=39086.162590848355
14.80/10.34
15.10/10.68 num=41, depth=3..11, filters=126118, wck=3.774, mem=973M961
15.10/10.68 decisions=17672, wrong=8709, backtracks=4362, failedAssignments=5359, nogoods=276
15.10/10.68 nFilterCalls=737129, avgTableProportion=0.9999744152977037, avgTableSize=39086.83190866185
15.10/10.68
15.41/11.00 num=42, depth=3..11, filters=138462, wck=4.09, mem=973M961
15.41/11.00 decisions=19482, wrong=9612, backtracks=4815, failedAssignments=5906, nogoods=279
15.41/11.00 nFilterCalls=809604, avgTableProportion=0.999974415198562, avgTableSize=39086.68148872782
15.41/11.00
15.91/11.41 num=43, depth=3..10, filters=153099, wck=4.501, mem=973M961
15.91/11.41 decisions=21556, wrong=10646, backtracks=5369, failedAssignments=6508, nogoods=286
15.91/11.41 nFilterCalls=899430, avgTableProportion=0.9999744144393311, avgTableSize=39085.51706414062
15.91/11.41
16.41/11.93 num=44, depth=2..12, filters=167818, wck=5.02, mem=973M961
16.41/11.93 decisions=23743, wrong=11737, backtracks=5930, failedAssignments=7170, nogoods=290
16.41/11.93 nFilterCalls=988331, avgTableProportion=0.9999744142020497, avgTableSize=39085.16019633099
16.41/11.93
16.71/12.25 num=45, depth=3..11, filters=184771, wck=5.337, mem=973M961
16.71/12.25 decisions=26141, wrong=12933, backtracks=6517, failedAssignments=7898, nogoods=299
16.71/12.25 nFilterCalls=1083150, avgTableProportion=0.9999744140081065, avgTableSize=39084.86767391405
16.71/12.25
17.31/12.83 num=46, depth=2..11, filters=203729, wck=5.925, mem=973M961
17.31/12.83 decisions=28790, wrong=14254, backtracks=7214, failedAssignments=8699, nogoods=310
17.31/12.83 nFilterCalls=1198334, avgTableProportion=0.9999744137990704, avgTableSize=39084.53935797532
17.31/12.83
18.01/13.51 num=47, depth=2..12, filters=224338, wck=6.597, mem=973M961
18.01/13.51 decisions=31734, wrong=15723, backtracks=8008, failedAssignments=9580, nogoods=320
18.01/13.51 nFilterCalls=1321212, avgTableProportion=0.9999744136623768, avgTableSize=39084.334354365536
18.01/13.51
18.53/14.01 num=48, depth=3..11, filters=246621, wck=7.104, mem=973M961
18.53/14.01 decisions=34902, wrong=17304, backtracks=8783, failedAssignments=10550, nogoods=332
18.53/14.01 nFilterCalls=1449924, avgTableProportion=0.999974414219182, avgTableSize=39085.18978098162
18.53/14.01
19.22/14.73 num=49, depth=2..10, filters=271302, wck=7.823, mem=973M961
19.22/14.73 decisions=38389, wrong=19044, backtracks=9678, failedAssignments=11617, nogoods=341
19.22/14.73 nFilterCalls=1598884, avgTableProportion=0.9999744139920791, avgTableSize=39084.838924524855
19.22/14.73
20.02/15.56 num=50, depth=2..11, filters=299317, wck=8.649, mem=973M961
20.02/15.56 decisions=42342, wrong=21019, backtracks=10774, failedAssignments=12790, nogoods=350
20.02/15.56 nFilterCalls=1764237, avgTableProportion=0.9999744142000115, avgTableSize=39085.154322236755
20.02/15.56
21.22/16.70 num=51, depth=2..11, filters=329370, wck=9.795, mem=973M961
21.22/16.70 decisions=46729, wrong=23210, backtracks=11903, failedAssignments=14081, nogoods=363
21.22/16.70 nFilterCalls=1942170, avgTableProportion=0.999974414109372, avgTableSize=39085.02630974632
21.22/16.70
22.22/17.78 num=52, depth=2..12, filters=364815, wck=10.873, mem=973M961
22.22/17.78 decisions=51617, wrong=25651, backtracks=13251, failedAssignments=15501, nogoods=381
22.22/17.78 nFilterCalls=2152592, avgTableProportion=0.9999744144350023, avgTableSize=39085.518610122126
22.22/17.78
23.32/18.85 num=53, depth=2..11, filters=401446, wck=11.941, mem=973M961
23.32/18.85 decisions=56720, wrong=28201, backtracks=14573, failedAssignments=17063, nogoods=396
23.32/18.85 nFilterCalls=2367458, avgTableProportion=0.9999744142457639, avgTableSize=39085.22900807533
23.32/18.85
24.73/20.22 num=54, depth=1..13, filters=442407, wck=13.307, mem=999M624
24.73/20.22 decisions=62505, wrong=31091, backtracks=16130, failedAssignments=18781, nogoods=402
24.73/20.22 nFilterCalls=2613945, avgTableProportion=0.9999744140939922, avgTableSize=39085.000996195406
24.73/20.22
25.93/21.41 num=55, depth=2..11, filters=487456, wck=14.504, mem=999M624
25.93/21.41 decisions=68798, wrong=34235, backtracks=17792, failedAssignments=20671, nogoods=412
25.93/21.41 nFilterCalls=2881042, avgTableProportion=0.9999744141153228, avgTableSize=39085.03589742878
25.93/21.41
26.93/22.49 num=56, depth=2..11, filters=537994, wck=15.585, mem=999M624
26.93/22.49 decisions=75619, wrong=37643, backtracks=19620, failedAssignments=22750, nogoods=426
26.93/22.49 nFilterCalls=3170859, avgTableProportion=0.9999744145760444, avgTableSize=39085.737846116775
26.93/22.49
29.14/24.65 num=57, depth=1..13, filters=591448, wck=17.737, mem=999M624
29.14/24.65 decisions=83458, wrong=41560, backtracks=21785, failedAssignments=25037, nogoods=440
29.14/24.65 nFilterCalls=3497083, avgTableProportion=0.9999744143997159, avgTableSize=39085.472609314675
29.14/24.65
30.94/26.44 num=58, depth=1..12, filters=650296, wck=19.527, mem=999M624
30.94/26.44 decisions=91993, wrong=45825, backtracks=24146, failedAssignments=27553, nogoods=447
30.94/26.44 nFilterCalls=3850850, avgTableProportion=0.9999744147316092, avgTableSize=39085.98595063428
30.94/26.44
32.74/28.20 num=59, depth=1..11, filters=717643, wck=21.291, mem=999M624
32.74/28.20 decisions=101281, wrong=50467, backtracks=26741, failedAssignments=30321, nogoods=455
32.74/28.20 nFilterCalls=4248659, avgTableProportion=0.9999744143608699, avgTableSize=39085.41480994356
32.74/28.20
35.21/30.67 num=60, depth=1..11, filters=788150, wck=23.762, mem=999M624
35.21/30.67 decisions=111715, wrong=55682, backtracks=29615, failedAssignments=33365, nogoods=467
35.21/30.67 nFilterCalls=4674951, avgTableProportion=0.9999744142227958, avgTableSize=39085.2068396011
35.21/30.67
37.62/33.04 num=61, depth=1..13, filters=867076, wck=26.137, mem=1025M287
37.62/33.04 decisions=122970, wrong=61307, backtracks=32662, failedAssignments=36714, nogoods=473
37.62/33.04 nFilterCalls=5138990, avgTableProportion=0.9999744144273147, avgTableSize=39085.52687064968
37.62/33.04
40.41/35.87 num=62, depth=1..12, filters=952794, wck=28.96, mem=1025M287
40.41/35.87 decisions=135213, wrong=67426, backtracks=36088, failedAssignments=40398, nogoods=481
40.41/35.87 nFilterCalls=5648674, avgTableProportion=0.9999744144304195, avgTableSize=39085.53692087736
40.41/35.87
42.51/37.99 num=63, depth=2..11, filters=1048198, wck=31.083, mem=1025M287
42.51/37.99 decisions=148786, wrong=74210, backtracks=39736, failedAssignments=44450, nogoods=490
42.51/37.99 nFilterCalls=6211401, avgTableProportion=0.9999744146605261, avgTableSize=39085.88910376258
42.51/37.99
45.91/41.37 num=64, depth=1..11, filters=1154661, wck=34.462, mem=1025M287
45.91/41.37 decisions=164060, wrong=81845, backtracks=44081, failedAssignments=48907, nogoods=506
45.91/41.37 nFilterCalls=6840248, avgTableProportion=0.9999744144464809, avgTableSize=39085.56049897606
45.91/41.37
48.74/44.14 num=65, depth=2..12, filters=1274570, wck=37.234, mem=1050M950
48.74/44.14 decisions=180736, wrong=90181, backtracks=48773, failedAssignments=53810, nogoods=522
48.74/44.14 nFilterCalls=7547202, avgTableProportion=0.9999744143317975, avgTableSize=39085.38569234002
48.74/44.14
53.15/48.51 num=66, depth=1..11, filters=1408953, wck=41.607, mem=1050M950
53.15/48.51 decisions=199343, wrong=99483, backtracks=54152, failedAssignments=59204, nogoods=534
53.15/48.51 nFilterCalls=8350458, avgTableProportion=0.9999744143381057, avgTableSize=39085.40032726349
53.15/48.51
57.94/53.21 num=67, depth=0..12, filters=1546912, wck=46.298, mem=1050M950
57.94/53.21 decisions=219518, wrong=109569, backtracks=59873, failedAssignments=65137, nogoods=556
57.94/53.21 nFilterCalls=9173435, avgTableProportion=0.9999744141665604, avgTableSize=39085.13553559817
57.94/53.21
63.14/58.47 num=68, depth=1..12, filters=1701622, wck=51.558, mem=1076M613
63.14/58.47 decisions=242097, wrong=120856, backtracks=66292, failedAssignments=71663, nogoods=571
63.14/58.47 nFilterCalls=10093548, avgTableProportion=0.999974414015092, avgTableSize=39084.899391868945
63.14/58.47
68.25/63.54 num=69, depth=0..11, filters=1872515, wck=56.636, mem=1076M613
68.25/63.54 decisions=266554, wrong=133083, backtracks=73337, failedAssignments=78842, nogoods=593
68.25/63.54 nFilterCalls=11106265, avgTableProportion=0.999974413845973, avgTableSize=39084.635568483194
68.25/63.54
74.15/69.46 num=70, depth=0..11, filters=2058310, wck=62.554, mem=1102M276
74.15/69.46 decisions=293502, wrong=146555, backtracks=81144, failedAssignments=86739, nogoods=607
74.15/69.46 nFilterCalls=12220782, avgTableProportion=0.9999744140825442, avgTableSize=39084.99412083449
74.15/69.46
80.96/76.21 num=71, depth=0..11, filters=2271437, wck=69.303, mem=1102M276
80.96/76.21 decisions=323957, wrong=161780, backtracks=90190, failedAssignments=95426, nogoods=621
80.96/76.21 nFilterCalls=13492799, avgTableProportion=0.9999744140715471, avgTableSize=39084.97395314345
80.96/76.21
85.46/80.74 num=72, depth=0..11, filters=2412661, wck=73.831, mem=1127M939
85.46/80.74 decisions=344527, wrong=172066, backtracks=96458, failedAssignments=101283, nogoods=621
85.46/80.74 nFilterCalls=14343509, avgTableProportion=0.9999744141321171, avgTableSize=39085.06470069493
85.46/80.74
85.46/80.74 Global
85.46/80.74 filters=2412661, nogoods=621
85.46/80.74 Stop=FULL_EXPLORATION, wrong=172066, wck=78.891, cpu=80.009, mem=1127M939
85.46/80.74
85.46/80.74 s UNSATISFIABLE
85.46/80.74
85.46/80.74 d WRONG_DECISIONS 172066
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 (8808 MiB free)
memory of node 1: 16384 MiB (13934 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390546-1568381016/watcher-4390546-1568381016 -o /tmp/evaluation-result-4390546-1568381016/solver-4390546-1568381016 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10797 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390546-1568381016.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11661, runsolver pid=11658
Current StackSize limit: 8192 KiB
[startup+0.100444 s]*
/proc/loadavg: 2.04 1.60 0.85 3/229 11676
/proc/meminfo: memFree=23272092/32770624 swapFree=66939832/67108860
[pid=11661] ppid=11658 vsize=10659884 memory=27888 CPUtime=0.13 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 10765 0 -1 1077944320 5511 0 0 0 12 1 0 0 20 0 15 0 414016530 10915721216 6972 33554432000 4194304 4196468 140721011250928 140721011233472 139786827173623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
/proc/11661/statm: 2664971 6972 2849 1 0 2627468 0
[pid=11661/tid=11663] ppid=11658 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/11661/task/11663/stat : 11663 (java) R 11658 11661 10765 0 -1 4202560 3278 0 0 0 8 1 0 0 20 0 15 0 414016530 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786831404688 139786811217253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11664] ppid=11658 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11664/stat : 11664 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786763864592 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11665] ppid=11658 vsize=10659884 memory=139629104178816 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11665/stat : 11665 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786762812048 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11666] ppid=11658 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11666/stat : 11666 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786761758992 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11667] ppid=11658 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11667/stat : 11667 (java) S 11658 11661 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414016531 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786760706448 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11668] ppid=11658 vsize=10659884 memory=139629104178816 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11668/stat : 11668 (java) S 11658 11661 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414016532 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786319174384 139786827184770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11669] ppid=11658 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11669/stat : 11669 (java) S 11658 11661 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414016533 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786318120608 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11670] ppid=11658 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11670/stat : 11670 (java) S 11658 11661 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414016533 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786317067504 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11671] ppid=11658 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11671/stat : 11671 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414016535 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786316016080 139786827192219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11672] ppid=11658 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11672/stat : 11672 (java) R 11658 11661 10765 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 15 0 414016535 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786314963184 139786827184770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11673] ppid=11658 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11673/stat : 11673 (java) S 11658 11661 10765 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 414016535 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786313910640 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11674] ppid=11658 vsize=10659884 memory=139629104178816 CPUtime=0.02 cores=1,3,5,7
/proc/11661/task/11674/stat : 11674 (java) R 11658 11661 10765 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 414016535 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786312853496 139786805804398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11675] ppid=11658 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11675/stat : 11675 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414016535 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786311805280 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11676] ppid=11658 vsize=10659884 memory=139629104178816 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11676/stat : 11676 (java) R 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016536 10915721216 7037 33554432000 4194304 4196468 140721011250928 139786310753328 139786827184770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27888 KiB
[startup+0.210694 s]*
/proc/loadavg: 2.04 1.60 0.85 3/229 11676
/proc/meminfo: memFree=23265440/32770624 swapFree=66939832/67108860
[pid=11661] ppid=11658 vsize=10659884 memory=35156 CPUtime=0.33 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 10765 0 -1 1077944320 6914 0 0 0 31 2 0 0 20 0 15 0 414016530 10915721216 8789 33554432000 4194304 4196468 140721011250928 140721011233472 139786827173623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
/proc/11661/statm: 2664971 8789 2990 1 0 2627468 0
[pid=11661/tid=11663] ppid=11658 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/11661/task/11663/stat : 11663 (java) R 11658 11661 10765 0 -1 4202560 3894 0 0 0 19 1 0 0 20 0 15 0 414016530 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786831399984 139786827195549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11664] ppid=11658 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11664/stat : 11664 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786763864592 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11665] ppid=11658 vsize=10659884 memory=3834166573248784032 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11665/stat : 11665 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786762812048 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11666] ppid=11658 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11666/stat : 11666 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786761758992 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11667] ppid=11658 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11667/stat : 11667 (java) S 11658 11661 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414016531 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786760706448 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11668] ppid=11658 vsize=10659884 memory=139629104178816 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11668/stat : 11668 (java) S 11658 11661 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414016532 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786319174384 139786827184770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11669] ppid=11658 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11669/stat : 11669 (java) S 11658 11661 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414016533 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786318120608 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11670] ppid=11658 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11670/stat : 11670 (java) S 11658 11661 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414016533 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786317067504 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11671] ppid=11658 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11671/stat : 11671 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414016535 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786316016080 139786827192219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11672] ppid=11658 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11661/task/11672/stat : 11672 (java) S 11658 11661 10765 0 -1 1077944384 791 0 0 0 3 0 0 0 20 0 15 0 414016535 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786314963184 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11673] ppid=11658 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11661/task/11673/stat : 11673 (java) S 11658 11661 10765 0 -1 1077944384 180 0 0 0 2 0 0 0 20 0 15 0 414016535 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786313910640 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11674] ppid=11658 vsize=10659884 memory=139629104178816 CPUtime=0.05 cores=1,3,5,7
/proc/11661/task/11674/stat : 11674 (java) S 11658 11661 10765 0 -1 1077944384 690 0 0 0 5 0 0 0 20 0 15 0 414016535 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786312857584 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11675] ppid=11658 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11675/stat : 11675 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414016535 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786311805280 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11676] ppid=11658 vsize=10659884 memory=139629104178816 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11676/stat : 11676 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016536 10915721216 8789 33554432000 4194304 4196468 140721011250928 139786310753328 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35156 KiB
[startup+0.310118 s]*
/proc/loadavg: 2.04 1.60 0.85 3/229 11676
/proc/meminfo: memFree=23257632/32770624 swapFree=66939832/67108860
[pid=11661] ppid=11658 vsize=10659884 memory=40284 CPUtime=0.47 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 10765 0 -1 1077944320 9426 0 0 0 44 3 0 0 20 0 15 0 414016530 10915721216 10071 33554432000 4194304 4196468 140721011250928 140721011233472 139786827173623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
/proc/11661/statm: 2664971 10071 3002 1 0 2627468 0
[pid=11661/tid=11663] ppid=11658 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/11661/task/11663/stat : 11663 (java) R 11658 11661 10765 0 -1 4202560 6343 0 0 0 27 2 0 0 20 0 15 0 414016530 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786831405424 139786827194970 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11664] ppid=11658 vsize=10659884 memory=10528 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11664/stat : 11664 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786763864592 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11665] ppid=11658 vsize=10659884 memory=3979412054983026336 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11665/stat : 11665 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786762812048 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11666] ppid=11658 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11666/stat : 11666 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786761758992 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11667] ppid=11658 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11667/stat : 11667 (java) S 11658 11661 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414016531 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786760706448 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11668] ppid=11658 vsize=10659884 memory=139629104178816 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11668/stat : 11668 (java) S 11658 11661 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414016532 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786319174384 139786827184770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11669] ppid=11658 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11669/stat : 11669 (java) S 11658 11661 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414016533 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786318120608 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11670] ppid=11658 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11670/stat : 11670 (java) S 11658 11661 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414016533 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786317067504 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11671] ppid=11658 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11671/stat : 11671 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414016535 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786316016080 139786827192219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11672] ppid=11658 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11661/task/11672/stat : 11672 (java) S 11658 11661 10765 0 -1 1077944384 799 0 0 0 4 0 0 0 20 0 15 0 414016535 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786314963184 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11673] ppid=11658 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/11661/task/11673/stat : 11673 (java) S 11658 11661 10765 0 -1 1077944384 213 0 0 0 3 0 0 0 20 0 15 0 414016535 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786313910640 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11674] ppid=11658 vsize=10659884 memory=139629104178816 CPUtime=0.08 cores=1,3,5,7
/proc/11661/task/11674/stat : 11674 (java) S 11658 11661 10765 0 -1 1077944384 717 0 0 0 8 0 0 0 20 0 15 0 414016535 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786312857584 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11675] ppid=11658 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11675/stat : 11675 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414016535 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786311805280 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11676] ppid=11658 vsize=10659884 memory=139629104178816 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11676/stat : 11676 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016536 10915721216 10071 33554432000 4194304 4196468 140721011250928 139786310753328 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40284 KiB
[startup+0.708526 s]
/proc/loadavg: 2.04 1.60 0.85 3/229 11676
/proc/meminfo: memFree=23248568/32770624 swapFree=66939832/67108860
[pid=11661] ppid=11658 vsize=10661932 memory=64348 CPUtime=1.14 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 10765 0 -1 1077944320 13187 0 0 0 108 6 0 0 20 0 15 0 414016530 10917818368 16087 33554432000 4194304 4196468 140721011250928 140721011233472 139786827173623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
/proc/11661/statm: 2665483 16087 3073 1 0 2627980 0
[pid=11661/tid=11663] ppid=11658 vsize=10661932 memory=14056 CPUtime=0.68 cores=1,3,5,7
/proc/11661/task/11663/stat : 11663 (java) R 11658 11661 10765 0 -1 4202560 8918 0 0 0 64 4 0 0 20 0 15 0 414016530 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786831405648 139786808737152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11664] ppid=11658 vsize=10661932 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11664/stat : 11664 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786763864592 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11665] ppid=11658 vsize=10661932 memory=520 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11665/stat : 11665 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786762812048 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11666] ppid=11658 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11666/stat : 11666 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786761758992 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11667] ppid=11658 vsize=10661932 memory=924 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11667/stat : 11667 (java) S 11658 11661 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414016531 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786760706448 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11668] ppid=11658 vsize=10661932 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11668/stat : 11668 (java) S 11658 11661 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414016532 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786319174384 139786827184770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11669] ppid=11658 vsize=10661932 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11669/stat : 11669 (java) S 11658 11661 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414016533 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786318120608 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11670] ppid=11658 vsize=10661932 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11670/stat : 11670 (java) S 11658 11661 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414016533 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786317067504 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11671] ppid=11658 vsize=10661932 memory=812 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11671/stat : 11671 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414016535 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786316016080 139786827192219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11672] ppid=11658 vsize=10661932 memory=7086240636179272035 CPUtime=0.14 cores=1,3,5,7
/proc/11661/task/11672/stat : 11672 (java) R 11658 11661 10765 0 -1 4202560 1137 0 0 0 14 0 0 0 20 0 15 0 414016535 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786314949280 139786812299779 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11673] ppid=11658 vsize=10661932 memory=7453282923444726100 CPUtime=0.1 cores=1,3,5,7
/proc/11661/task/11673/stat : 11673 (java) S 11658 11661 10765 0 -1 1077944384 599 0 0 0 10 0 0 0 20 0 15 0 414016535 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786313910640 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11674] ppid=11658 vsize=10661932 memory=7223879631928058176 CPUtime=0.19 cores=1,3,5,7
/proc/11661/task/11674/stat : 11674 (java) S 11658 11661 10765 0 -1 1077944384 1174 0 0 0 19 0 0 0 20 0 15 0 414016535 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786312857584 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11675] ppid=11658 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11675/stat : 11675 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414016535 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786311805280 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11676] ppid=11658 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11676/stat : 11676 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016536 10917818368 16087 33554432000 4194304 4196468 140721011250928 139786310753328 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64348 KiB
[startup+1.50074 s]
/proc/loadavg: 2.04 1.60 0.85 3/229 11676
/proc/meminfo: memFree=23245840/32770624 swapFree=66939832/67108860
[pid=11661] ppid=11658 vsize=10663980 memory=76296 CPUtime=2.02 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 10765 0 -1 1077944320 18798 0 0 0 196 6 0 0 20 0 15 0 414016530 10919915520 19074 33554432000 4194304 4196468 140721011250928 140721011233472 139786827173623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
/proc/11661/statm: 2665995 19074 3097 1 0 2628492 0
[pid=11661/tid=11663] ppid=11658 vsize=10663980 memory=6493990552776 CPUtime=1.48 cores=1,3,5,7
/proc/11661/task/11663/stat : 11663 (java) R 11658 11661 10765 0 -1 4202560 13123 0 0 0 143 5 0 0 20 0 15 0 414016530 10919915520 19074 33554432000 4194304 4196468 140721011250928 139786831399504 139786810360453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11664] ppid=11658 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11664/stat : 11664 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10919915520 19074 33554432000 4194304 4196468 140721011250928 139786763864592 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11665] ppid=11658 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11665/stat : 11665 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10919915520 19074 33554432000 4194304 4196468 140721011250928 139786762812048 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11666] ppid=11658 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11666/stat : 11666 (java) S 11658 11661 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414016531 10919915520 19074 33554432000 4194304 4196468 140721011250928 139786761758992 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11667] ppid=11658 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11667/stat : 11667 (java) S 11658 11661 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414016531 10919915520 19074 33554432000 4194304 4196468 140721011250928 139786760706448 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11668] ppid=11658 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11668/stat : 11668 (java) S 11658 11661 10765 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 414016532 10919915520 19074 33554432000 4194304 4196468 140721011250928 139786319174384 139786827184770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
################
# More data... #
################
[startup+80.0008 s]*
/proc/loadavg: 1.97 1.70 0.95 3/230 11684
/proc/meminfo: memFree=22021088/32770624 swapFree=66939832/67108860
[pid=11661] ppid=11658 vsize=10746276 memory=1402860 CPUtime=84.77 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 10765 0 -1 1077944320 47825 0 0 0 8388 89 0 0 20 0 16 0 414016530 11004186624 350715 33554432000 4194304 4196468 140721011250928 140721011233472 139786827173623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
/proc/11661/statm: 2686569 350715 3370 1 0 2646705 0
[pid=11661/tid=11663] ppid=11658 vsize=10746276 memory=8317482817917895235 CPUtime=1.85 cores=1,3,5,7
/proc/11661/task/11663/stat : 11663 (java) S 11658 11661 10765 0 -1 1077944384 15391 0 0 0 179 6 0 0 20 0 16 0 414016530 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786831416496 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11664] ppid=11658 vsize=10746276 memory=4872558044660077418 CPUtime=0.54 cores=1,3,5,7
/proc/11661/task/11664/stat : 11664 (java) S 11658 11661 10765 0 -1 1077944384 1204 0 0 0 41 13 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786763864592 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11665] ppid=11658 vsize=10746276 memory=1984 CPUtime=0.55 cores=1,3,5,7
/proc/11661/task/11665/stat : 11665 (java) S 11658 11661 10765 0 -1 1077944384 974 0 0 0 39 16 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786762812048 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11666] ppid=11658 vsize=10746276 memory=1440 CPUtime=0.54 cores=1,3,5,7
/proc/11661/task/11666/stat : 11666 (java) S 11658 11661 10765 0 -1 1077944384 797 0 0 0 39 15 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786761758992 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11667] ppid=11658 vsize=10746276 memory=812 CPUtime=0.55 cores=1,3,5,7
/proc/11661/task/11667/stat : 11667 (java) S 11658 11661 10765 0 -1 1077944384 440 0 0 0 39 16 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786760706448 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11668] ppid=11658 vsize=10746276 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/11661/task/11668/stat : 11668 (java) S 11658 11661 10765 0 -1 1077944384 2406 0 0 0 15 0 0 0 20 0 16 0 414016532 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786319174384 139786827184770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11669] ppid=11658 vsize=10746276 memory=39480 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11669/stat : 11669 (java) S 11658 11661 10765 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414016533 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786318120672 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11670] ppid=11658 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11670/stat : 11670 (java) S 11658 11661 10765 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414016533 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786317067520 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11671] ppid=11658 vsize=10746276 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11671/stat : 11671 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786316016080 139786827192219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11672] ppid=11658 vsize=10746276 memory=1436 CPUtime=1.24 cores=1,3,5,7
/proc/11661/task/11672/stat : 11672 (java) S 11658 11661 10765 0 -1 1077944384 7111 0 0 0 123 1 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786314963184 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11673] ppid=11658 vsize=10746276 memory=1402860 CPUtime=1.21 cores=1,3,5,7
/proc/11661/task/11673/stat : 11673 (java) S 11658 11661 10765 0 -1 1077944384 5222 0 0 0 121 0 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786313910640 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11674] ppid=11658 vsize=10746276 memory=39480 CPUtime=0.61 cores=1,3,5,7
/proc/11661/task/11674/stat : 11674 (java) S 11658 11661 10765 0 -1 1077944384 3953 0 0 0 60 1 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786312857584 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11675] ppid=11658 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11675/stat : 11675 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786311805280 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11676] ppid=11658 vsize=10746276 memory=2008 CPUtime=0.04 cores=1,3,5,7
/proc/11661/task/11676/stat : 11676 (java) S 11658 11661 10765 0 -1 1077944384 257 0 0 0 2 2 0 0 20 0 16 0 414016536 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786310753328 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11677] ppid=11658 vsize=10746276 memory=1436 CPUtime=77.39 cores=1,3,5,7
/proc/11661/task/11677/stat : 11677 (java) R 11658 11661 10765 0 -1 4202560 8672 0 0 0 7725 14 0 0 20 0 16 0 414016718 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786293677952 139786444113341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
Current children cumulated CPU time: 84.77 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 1402860 KiB
[startup+80.4007 s]
/proc/loadavg: 1.97 1.70 0.95 3/230 11684
/proc/meminfo: memFree=22021088/32770624 swapFree=66939832/67108860
[pid=11661] ppid=11658 vsize=10746276 memory=1402860 CPUtime=85.16 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 10765 0 -1 1077944320 47825 0 0 0 8427 89 0 0 20 0 16 0 414016530 11004186624 350715 33554432000 4194304 4196468 140721011250928 140721011233472 139786827173623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
/proc/11661/statm: 2686569 350715 3370 1 0 2646705 0
[pid=11661/tid=11663] ppid=11658 vsize=10746276 memory=920 CPUtime=1.85 cores=1,3,5,7
/proc/11661/task/11663/stat : 11663 (java) S 11658 11661 10765 0 -1 1077944384 15391 0 0 0 179 6 0 0 20 0 16 0 414016530 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786831416496 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11664] ppid=11658 vsize=10746276 memory=3852 CPUtime=0.54 cores=1,3,5,7
/proc/11661/task/11664/stat : 11664 (java) S 11658 11661 10765 0 -1 1077944384 1204 0 0 0 41 13 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786763864592 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11665] ppid=11658 vsize=10746276 memory=2620 CPUtime=0.55 cores=1,3,5,7
/proc/11661/task/11665/stat : 11665 (java) S 11658 11661 10765 0 -1 1077944384 974 0 0 0 39 16 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786762812048 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11666] ppid=11658 vsize=10746276 memory=2700 CPUtime=0.54 cores=1,3,5,7
/proc/11661/task/11666/stat : 11666 (java) S 11658 11661 10765 0 -1 1077944384 797 0 0 0 39 15 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786761758992 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11667] ppid=11658 vsize=10746276 memory=1408 CPUtime=0.55 cores=1,3,5,7
/proc/11661/task/11667/stat : 11667 (java) S 11658 11661 10765 0 -1 1077944384 440 0 0 0 39 16 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786760706448 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11668] ppid=11658 vsize=10746276 memory=3044 CPUtime=0.15 cores=1,3,5,7
/proc/11661/task/11668/stat : 11668 (java) S 11658 11661 10765 0 -1 1077944384 2406 0 0 0 15 0 0 0 20 0 16 0 414016532 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786319174384 139786827184770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11669] ppid=11658 vsize=10746276 memory=39480 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11669/stat : 11669 (java) S 11658 11661 10765 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414016533 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786318120672 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11670] ppid=11658 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11670/stat : 11670 (java) S 11658 11661 10765 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414016533 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786317067520 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11671] ppid=11658 vsize=10746276 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11671/stat : 11671 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786316016080 139786827192219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11672] ppid=11658 vsize=10746276 memory=1436 CPUtime=1.24 cores=1,3,5,7
/proc/11661/task/11672/stat : 11672 (java) S 11658 11661 10765 0 -1 1077944384 7111 0 0 0 123 1 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786314963184 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11673] ppid=11658 vsize=10746276 memory=4164 CPUtime=1.21 cores=1,3,5,7
/proc/11661/task/11673/stat : 11673 (java) S 11658 11661 10765 0 -1 1077944384 5222 0 0 0 121 0 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786313910640 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11674] ppid=11658 vsize=10746276 memory=1548 CPUtime=0.61 cores=1,3,5,7
/proc/11661/task/11674/stat : 11674 (java) S 11658 11661 10765 0 -1 1077944384 3953 0 0 0 60 1 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786312857584 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11675] ppid=11658 vsize=10746276 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11675/stat : 11675 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786311805280 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11676] ppid=11658 vsize=10746276 memory=7984 CPUtime=0.04 cores=1,3,5,7
/proc/11661/task/11676/stat : 11676 (java) S 11658 11661 10765 0 -1 1077944384 257 0 0 0 2 2 0 0 20 0 16 0 414016536 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786310753328 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11677] ppid=11658 vsize=10746276 memory=9580 CPUtime=77.78 cores=1,3,5,7
/proc/11661/task/11677/stat : 11677 (java) R 11658 11661 10765 0 -1 4202560 8672 0 0 0 7764 14 0 0 20 0 16 0 414016718 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786293677952 139786444113109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
Current children cumulated CPU time: 85.16 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 1402860 KiB
[startup+80.6008 s]
/proc/loadavg: 1.97 1.70 0.95 3/230 11684
/proc/meminfo: memFree=22021088/32770624 swapFree=66939832/67108860
[pid=11661] ppid=11658 vsize=10746276 memory=1402860 CPUtime=85.36 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 10765 0 -1 1077944320 47825 0 0 0 8447 89 0 0 20 0 16 0 414016530 11004186624 350715 33554432000 4194304 4196468 140721011250928 140721011233472 139786827173623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
/proc/11661/statm: 2686569 350715 3370 1 0 2646705 0
[pid=11661/tid=11663] ppid=11658 vsize=10746276 memory=189695820585758 CPUtime=1.85 cores=1,3,5,7
/proc/11661/task/11663/stat : 11663 (java) S 11658 11661 10765 0 -1 1077944384 15391 0 0 0 179 6 0 0 20 0 16 0 414016530 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786831416496 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11664] ppid=11658 vsize=10746276 memory=189695820585759 CPUtime=0.54 cores=1,3,5,7
/proc/11661/task/11664/stat : 11664 (java) S 11658 11661 10765 0 -1 1077944384 1204 0 0 0 41 13 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786763864592 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11665] ppid=11658 vsize=10746276 memory=189695820585760 CPUtime=0.55 cores=1,3,5,7
/proc/11661/task/11665/stat : 11665 (java) S 11658 11661 10765 0 -1 1077944384 974 0 0 0 39 16 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786762812048 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11666] ppid=11658 vsize=10746276 memory=189695820585761 CPUtime=0.54 cores=1,3,5,7
/proc/11661/task/11666/stat : 11666 (java) S 11658 11661 10765 0 -1 1077944384 797 0 0 0 39 15 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786761758992 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11667] ppid=11658 vsize=10746276 memory=189695820585762 CPUtime=0.55 cores=1,3,5,7
/proc/11661/task/11667/stat : 11667 (java) S 11658 11661 10765 0 -1 1077944384 440 0 0 0 39 16 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786760706448 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11668] ppid=11658 vsize=10746276 memory=189695820585763 CPUtime=0.15 cores=1,3,5,7
/proc/11661/task/11668/stat : 11668 (java) S 11658 11661 10765 0 -1 1077944384 2406 0 0 0 15 0 0 0 20 0 16 0 414016532 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786319174384 139786827184770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11669] ppid=11658 vsize=10746276 memory=189695820585764 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11669/stat : 11669 (java) S 11658 11661 10765 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414016533 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786318120672 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11670] ppid=11658 vsize=10746276 memory=189695820585765 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11670/stat : 11670 (java) S 11658 11661 10765 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414016533 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786317067520 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11671] ppid=11658 vsize=10746276 memory=189695820585766 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11671/stat : 11671 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786316016080 139786827192219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11672] ppid=11658 vsize=10746276 memory=189695820585767 CPUtime=1.24 cores=1,3,5,7
/proc/11661/task/11672/stat : 11672 (java) S 11658 11661 10765 0 -1 1077944384 7111 0 0 0 123 1 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786314963184 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11673] ppid=11658 vsize=10746276 memory=189695820585768 CPUtime=1.21 cores=1,3,5,7
/proc/11661/task/11673/stat : 11673 (java) S 11658 11661 10765 0 -1 1077944384 5222 0 0 0 121 0 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786313910640 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11674] ppid=11658 vsize=10746276 memory=189695820585769 CPUtime=0.61 cores=1,3,5,7
/proc/11661/task/11674/stat : 11674 (java) S 11658 11661 10765 0 -1 1077944384 3953 0 0 0 60 1 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786312857584 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11675] ppid=11658 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11675/stat : 11675 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786311805280 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11676] ppid=11658 vsize=10746276 memory=189695820585763 CPUtime=0.04 cores=1,3,5,7
/proc/11661/task/11676/stat : 11676 (java) S 11658 11661 10765 0 -1 1077944384 257 0 0 0 2 2 0 0 20 0 16 0 414016536 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786310753328 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11677] ppid=11658 vsize=10746276 memory=0 CPUtime=77.98 cores=1,3,5,7
/proc/11661/task/11677/stat : 11677 (java) R 11658 11661 10765 0 -1 4202560 8672 0 0 0 7784 14 0 0 20 0 16 0 414016718 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786293677952 139786444114303 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
Current children cumulated CPU time: 85.36 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 1402860 KiB
[startup+80.7008 s]
/proc/loadavg: 1.97 1.70 0.95 3/230 11684
/proc/meminfo: memFree=22021088/32770624 swapFree=66939832/67108860
[pid=11661] ppid=11658 vsize=10746276 memory=1402860 CPUtime=85.46 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 10765 0 -1 1077944320 47825 0 0 0 8457 89 0 0 20 0 16 0 414016530 11004186624 350715 33554432000 4194304 4196468 140721011250928 140721011233472 139786827173623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
/proc/11661/statm: 2686569 350715 3370 1 0 2646705 0
[pid=11661/tid=11663] ppid=11658 vsize=10746276 memory=1402860 CPUtime=1.85 cores=1,3,5,7
/proc/11661/task/11663/stat : 11663 (java) S 11658 11661 10765 0 -1 1077944384 15391 0 0 0 179 6 0 0 20 0 16 0 414016530 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786831416496 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11664] ppid=11658 vsize=10746276 memory=1402860 CPUtime=0.54 cores=1,3,5,7
/proc/11661/task/11664/stat : 11664 (java) S 11658 11661 10765 0 -1 1077944384 1204 0 0 0 41 13 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786763864592 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11665] ppid=11658 vsize=10746276 memory=1402860 CPUtime=0.55 cores=1,3,5,7
/proc/11661/task/11665/stat : 11665 (java) S 11658 11661 10765 0 -1 1077944384 974 0 0 0 39 16 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786762812048 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11666] ppid=11658 vsize=10746276 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/11661/task/11666/stat : 11666 (java) S 11658 11661 10765 0 -1 1077944384 797 0 0 0 39 15 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786761758992 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11667] ppid=11658 vsize=10746276 memory=1402860 CPUtime=0.55 cores=1,3,5,7
/proc/11661/task/11667/stat : 11667 (java) S 11658 11661 10765 0 -1 1077944384 440 0 0 0 39 16 0 0 20 0 16 0 414016531 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786760706448 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11668] ppid=11658 vsize=10746276 memory=1402860 CPUtime=0.15 cores=1,3,5,7
/proc/11661/task/11668/stat : 11668 (java) S 11658 11661 10765 0 -1 1077944384 2406 0 0 0 15 0 0 0 20 0 16 0 414016532 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786319174384 139786827184770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11669] ppid=11658 vsize=10746276 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11669/stat : 11669 (java) S 11658 11661 10765 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414016533 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786318120672 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11670] ppid=11658 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11670/stat : 11670 (java) S 11658 11661 10765 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414016533 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786317067520 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11671] ppid=11658 vsize=10746276 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11671/stat : 11671 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786316016080 139786827192219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11672] ppid=11658 vsize=10746276 memory=920 CPUtime=1.24 cores=1,3,5,7
/proc/11661/task/11672/stat : 11672 (java) S 11658 11661 10765 0 -1 1077944384 7111 0 0 0 123 1 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786314963184 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11673] ppid=11658 vsize=10746276 memory=1052 CPUtime=1.21 cores=1,3,5,7
/proc/11661/task/11673/stat : 11673 (java) S 11658 11661 10765 0 -1 1077944384 5222 0 0 0 121 0 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786313910640 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11674] ppid=11658 vsize=10746276 memory=776 CPUtime=0.61 cores=1,3,5,7
/proc/11661/task/11674/stat : 11674 (java) S 11658 11661 10765 0 -1 1077944384 3953 0 0 0 60 1 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786312857584 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11675] ppid=11658 vsize=10746276 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/11661/task/11675/stat : 11675 (java) S 11658 11661 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414016535 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786311805280 139786827183829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11676] ppid=11658 vsize=10746276 memory=1402860 CPUtime=0.04 cores=1,3,5,7
/proc/11661/task/11676/stat : 11676 (java) S 11658 11661 10765 0 -1 1077944384 257 0 0 0 2 2 0 0 20 0 16 0 414016536 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786310753328 139786827184770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
[pid=11661/tid=11677] ppid=11658 vsize=10746276 memory=4164 CPUtime=78.08 cores=1,3,5,7
/proc/11661/task/11677/stat : 11677 (java) R 11658 11661 10765 0 -1 4202560 8672 0 0 0 7794 14 0 0 20 0 16 0 414016718 11004186624 350715 33554432000 4194304 4196468 140721011250928 139786293677952 139786444113728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27332608 140721011254283 140721011254386 140721011254386 140721011257295 0
Current children cumulated CPU time: 85.46 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 1402860 KiB
Child status: 0
Real time (s): 80.7575
CPU time (s): 85.5313
CPU user time (s): 84.6209
CPU system time (s): 0.910397
CPU usage (%): 105.911
Max. virtual memory (cumulated for all children) (KiB): 10746452
Max. memory (cumulated for all children) (KiB): 1402860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.6209
system time used= 0.910397
maximum resident set size= 1403276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4766
involuntary context switches= 80
# summary of solver processes directly reported to runsolver:
# pid: 11661
# total CPU time (s): 85.5313
# total CPU user time (s): 84.6209
# total CPU system time (s): 0.910397
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.516018 second user time and 0.817058 second system time
The end