2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.89
3.21/2.15 Instance
3.21/2.15 name=instance-4390647-1568383863, framework=CSP
3.21/2.15
3.21/2.15 Loading variables...
3.21/2.18 Loading constraints...
3.89/2.34
3.89/2.34 Domains
3.89/2.34 nTypes=4, nValues=2088, sizes=[1#2,7#28,14#27,28#54]
3.89/2.34 Variables
3.89/2.34 count=111, degrees=[2#29,3#26,27#1,29#18,30#9,55#1,56#27]
3.89/2.34 Constraints
3.89/2.34 count=1261, arities=[2#1261]
3.89/2.34 distribution=[CtrExtensionV-Bits#1261]
3.89/2.34 nExtStructures=(88,shared:1173), nCftStructures=(88,shared:1173)
3.89/2.34 wck=0.495, cpu=2.292, mem=39M724
3.89/2.34 Solver SolverBacktrack being built...
3.89/2.34
3.89/2.37
3.89/2.37 Solver
3.89/2.37 guaranteedGAC=true
3.89/2.37 wck=0.527, cpu=2.323, mem=50M366
3.89/2.38
3.89/2.38 Preprocessing
3.89/2.38 filters=150, revisions=(2276,useless=2108), nACremovedValues=280, nTotalRemovedValues=280, inconcistency=false
3.89/2.38 wck=0.009, cpu=2.333, mem=50M366
3.89/2.38
3.89/2.39 num=0, depth=25..31, filters=962, revisions=(11734,useless=10754), wck=0.022, mem=50M366
3.89/2.39 decisions=65, wrong=20, backtracks=11, failedAssignments=10, nogoods=2
3.89/2.39
3.89/2.40 num=1, depth=24..35, filters=1639, revisions=(19874,useless=18217), wck=0.028, mem=50M366
3.89/2.40 decisions=133, wrong=42, backtracks=22, failedAssignments=21, nogoods=3
3.89/2.40
4.20/2.40 num=2, depth=18..25, filters=2309, revisions=(29790,useless=27463), wck=0.034, mem=50M366
4.20/2.40 decisions=199, wrong=66, backtracks=36, failedAssignments=33, nogoods=4
4.20/2.40
4.20/2.42 num=3, depth=22..35, filters=2937, revisions=(38389,useless=35434), wck=0.052, mem=50M366
4.20/2.42 decisions=273, wrong=92, backtracks=49, failedAssignments=46, nogoods=5
4.20/2.42
4.20/2.42 num=4, depth=10..24, filters=3736, revisions=(48069,useless=44315), wck=0.057, mem=50M366
4.20/2.42 decisions=339, wrong=120, backtracks=63, failedAssignments=60, nogoods=6
4.20/2.42
4.20/2.43 num=5, depth=15..31, filters=4513, revisions=(58341,useless=53810), wck=0.064, mem=50M366
4.20/2.43 decisions=418, wrong=152, backtracks=79, failedAssignments=76, nogoods=7
4.20/2.43
4.20/2.44 num=6, depth=13..34, filters=5488, revisions=(71209,useless=65696), wck=0.071, mem=50M366
4.20/2.44 decisions=514, wrong=186, backtracks=96, failedAssignments=93, nogoods=10
4.20/2.44
4.20/2.45 num=7, depth=12..23, filters=6271, revisions=(84034,useless=77730), wck=0.078, mem=50M366
4.20/2.45 decisions=609, wrong=224, backtracks=117, failedAssignments=112, nogoods=12
4.20/2.45
4.20/2.45 num=8, depth=12..21, filters=7204, revisions=(97815,useless=90571), wck=0.086, mem=50M366
4.20/2.45 decisions=704, wrong=264, backtracks=139, failedAssignments=133, nogoods=16
4.20/2.45
4.20/2.46 num=9, depth=13..26, filters=7961, revisions=(110469,useless=102466), wck=0.093, mem=53M9
4.20/2.46 decisions=805, wrong=308, backtracks=161, failedAssignments=156, nogoods=21
4.20/2.46
4.20/2.47 num=10, depth=9..17, filters=9196, revisions=(125258,useless=116016), wck=0.101, mem=53M9
4.20/2.47 decisions=896, wrong=347, backtracks=177, failedAssignments=181, nogoods=25
4.20/2.47
4.20/2.48 num=11, depth=11..25, filters=10106, revisions=(139323,useless=129164), wck=0.109, mem=53M9
4.20/2.48 decisions=1009, wrong=398, backtracks=202, failedAssignments=209, nogoods=29
4.20/2.48
4.20/2.49 num=12, depth=10..18, filters=11853, revisions=(159801,useless=147872), wck=0.119, mem=53M9
4.20/2.49 decisions=1120, wrong=445, backtracks=221, failedAssignments=240, nogoods=37
4.20/2.49
4.52/2.50 num=13, depth=11..15, filters=14051, revisions=(182642,useless=168489), wck=0.13, mem=53M9
4.52/2.50 decisions=1237, wrong=498, backtracks=245, failedAssignments=274, nogoods=40
4.52/2.50
4.52/2.51 num=14, depth=13..17, filters=15736, revisions=(206374,useless=190536), wck=0.141, mem=53M9
4.52/2.51 decisions=1393, wrong=569, backtracks=281, failedAssignments=311, nogoods=48
4.52/2.51
4.52/2.52 num=15, depth=14..20, filters=17878, revisions=(230621,useless=212610), wck=0.153, mem=53M9
4.52/2.52 decisions=1535, wrong=633, backtracks=307, failedAssignments=352, nogoods=52
4.52/2.52
4.52/2.53 num=16, depth=13..17, filters=19951, revisions=(254521,useless=234421), wck=0.164, mem=53M9
4.52/2.53 decisions=1670, wrong=694, backtracks=327, failedAssignments=397, nogoods=53
4.52/2.53
4.52/2.55 num=17, depth=14..18, filters=22771, revisions=(287409,useless=264454), wck=0.18, mem=53M9
4.52/2.55 decisions=1853, wrong=778, backtracks=368, failedAssignments=447, nogoods=61
4.52/2.55
4.52/2.56 num=18, depth=12..18, filters=24643, revisions=(315887,useless=291037), wck=0.193, mem=53M9
4.52/2.56 decisions=2065, wrong=878, backtracks=416, failedAssignments=502, nogoods=65
4.52/2.56
4.52/2.58 num=19, depth=11..17, filters=27063, revisions=(348525,useless=321231), wck=0.208, mem=53M9
4.52/2.58 decisions=2300, wrong=989, backtracks=470, failedAssignments=563, nogoods=72
4.52/2.58
4.52/2.59 num=20, depth=10..20, filters=30209, revisions=(381019,useless=350502), wck=0.223, mem=53M9
4.52/2.59 decisions=2517, wrong=1091, backtracks=508, failedAssignments=630, nogoods=78
4.52/2.59
4.83/2.61 num=21, depth=16..21, filters=33991, revisions=(426041,useless=391701), wck=0.244, mem=53M9
4.83/2.61 decisions=2788, wrong=1218, backtracks=574, failedAssignments=704, nogoods=89
4.83/2.61
4.83/2.63 num=22, depth=13..19, filters=38132, revisions=(468144,useless=429517), wck=0.262, mem=53M9
4.83/2.63 decisions=3033, wrong=1333, backtracks=618, failedAssignments=785, nogoods=94
4.83/2.63
4.83/2.65 num=23, depth=14..20, filters=43097, revisions=(521114,useless=477440), wck=0.284, mem=53M9
4.83/2.65 decisions=3329, wrong=1473, backtracks=681, failedAssignments=874, nogoods=100
4.83/2.65
4.83/2.67 num=24, depth=14..20, filters=47367, revisions=(572170,useless=524166), wck=0.306, mem=53M9
4.83/2.67 decisions=3679, wrong=1640, backtracks=761, failedAssignments=972, nogoods=108
4.83/2.67
5.13/2.70 num=25, depth=13..20, filters=52966, revisions=(633227,useless=579554), wck=0.332, mem=55M651
5.13/2.70 decisions=4045, wrong=1816, backtracks=846, failedAssignments=1080, nogoods=123
5.13/2.70
5.13/2.72 num=26, depth=13..20, filters=57807, revisions=(690667,useless=632117), wck=0.356, mem=55M651
5.13/2.72 decisions=4421, wrong=1997, backtracks=925, failedAssignments=1199, nogoods=128
5.13/2.72
5.13/2.76 num=27, depth=14..20, filters=65040, revisions=(765220,useless=699342), wck=0.388, mem=55M651
5.13/2.76 decisions=4839, wrong=2198, backtracks=1014, failedAssignments=1330, nogoods=136
5.13/2.76
5.13/2.79 num=28, depth=14..19, filters=73139, revisions=(844307,useless=770183), wck=0.421, mem=55M651
5.13/2.79 decisions=5270, wrong=2406, backtracks=1090, failedAssignments=1474, nogoods=156
5.13/2.79
5.44/2.82 num=29, depth=14..19, filters=81026, revisions=(923289,useless=841101), wck=0.454, mem=55M651
5.44/2.82 decisions=5719, wrong=2623, backtracks=1156, failedAssignments=1632, nogoods=159
5.44/2.82
5.44/2.86 num=30, depth=13..20, filters=90904, revisions=(1023896,useless=931667), wck=0.493, mem=55M651
5.44/2.86 decisions=6305, wrong=2909, backtracks=1284, failedAssignments=1806, nogoods=168
5.44/2.86
5.44/2.90 num=31, depth=14..18, filters=101096, revisions=(1121502,useless=1018806), wck=0.529, mem=58M294
5.44/2.90 decisions=6845, wrong=3172, backtracks=1364, failedAssignments=1997, nogoods=185
5.44/2.90
5.74/2.93 num=32, depth=14..20, filters=110404, revisions=(1220739,useless=1108625), wck=0.566, mem=58M294
5.74/2.93 decisions=7502, wrong=3493, backtracks=1497, failedAssignments=2208, nogoods=197
5.74/2.93
5.74/2.97 num=33, depth=13..20, filters=120108, revisions=(1333095,useless=1211187), wck=0.607, mem=58M294
5.74/2.97 decisions=8270, wrong=3869, backtracks=1669, failedAssignments=2440, nogoods=201
5.74/2.97
6.07/3.03 num=34, depth=13..21, filters=134639, revisions=(1475290,useless=1338626), wck=0.658, mem=58M294
6.07/3.03 decisions=9079, wrong=4267, backtracks=1841, failedAssignments=2695, nogoods=202
6.07/3.03
6.07/3.08 num=35, depth=15..21, filters=150315, revisions=(1626848,useless=1474268), wck=0.711, mem=60M936
6.07/3.08 decisions=9964, wrong=4701, backtracks=2020, failedAssignments=2976, nogoods=207
6.07/3.08
6.25/3.14 num=36, depth=13..19, filters=168434, revisions=(1797685,useless=1626737), wck=0.768, mem=60M936
6.25/3.14 decisions=10930, wrong=5177, backtracks=2212, failedAssignments=3285, nogoods=212
6.25/3.14
6.25/3.19 num=37, depth=13..20, filters=183255, revisions=(1968196,useless=1782281), wck=0.826, mem=60M936
6.25/3.19 decisions=12145, wrong=5775, backtracks=2516, failedAssignments=3625, nogoods=225
6.25/3.19
6.36/3.26 num=38, depth=15..22, filters=202809, revisions=(2156888,useless=1950967), wck=0.89, mem=63M579
6.36/3.26 decisions=13279, wrong=6334, backtracks=2719, failedAssignments=3999, nogoods=236
6.36/3.26
6.46/3.33 num=39, depth=12..19, filters=226385, revisions=(2385088,useless=2155183), wck=0.966, mem=63M579
6.46/3.33 decisions=14591, wrong=6983, backtracks=3002, failedAssignments=4410, nogoods=243
6.46/3.33
6.56/3.41 num=40, depth=13..20, filters=248980, revisions=(2608481,useless=2355614), wck=1.039, mem=66M221
6.56/3.41 decisions=15959, wrong=7660, backtracks=3268, failedAssignments=4862, nogoods=247
6.56/3.41
6.66/3.50 num=41, depth=12..19, filters=277363, revisions=(2876482,useless=2594745), wck=1.13, mem=68M864
6.66/3.50 decisions=17496, wrong=8422, backtracks=3581, failedAssignments=5359, nogoods=267
6.66/3.50
6.66/3.59 num=42, depth=14..21, filters=305695, revisions=(3160516,useless=2850014), wck=1.225, mem=68M864
6.66/3.59 decisions=19233, wrong=9283, backtracks=3977, failedAssignments=5906, nogoods=283
6.66/3.59
6.78/3.69 num=43, depth=12..19, filters=333464, revisions=(3456549,useless=3117978), wck=1.322, mem=71M506
6.78/3.69 decisions=21275, wrong=10297, backtracks=4471, failedAssignments=6508, nogoods=299
6.78/3.69
7.00/3.80 num=44, depth=13..21, filters=366902, revisions=(3794890,useless=3422321), wck=1.433, mem=71M506
7.00/3.80 decisions=23390, wrong=11347, backtracks=4928, failedAssignments=7170, nogoods=324
7.00/3.80
7.10/3.94 num=45, depth=12..21, filters=412338, revisions=(4232575,useless=3813942), wck=1.575, mem=74M148
7.10/3.94 decisions=25747, wrong=12517, backtracks=5469, failedAssignments=7898, nogoods=332
7.10/3.94
7.21/4.08 num=46, depth=14..21, filters=452931, revisions=(4658037,useless=4198254), wck=1.716, mem=76M791
7.21/4.08 decisions=28468, wrong=13870, backtracks=6120, failedAssignments=8699, nogoods=345
7.21/4.08
7.41/4.24 num=47, depth=12..20, filters=498288, revisions=(5122278,useless=4616583), wck=1.873, mem=79M433
7.41/4.24 decisions=31353, wrong=15306, backtracks=6776, failedAssignments=9580, nogoods=357
7.41/4.24
7.61/4.40 num=48, depth=12..21, filters=544034, revisions=(5606351,useless=5054306), wck=2.031, mem=82M76
7.61/4.40 decisions=34576, wrong=16910, backtracks=7517, failedAssignments=10550, nogoods=377
7.61/4.40
7.71/4.58 num=49, depth=10..20, filters=598155, revisions=(6168386,useless=5561534), wck=2.215, mem=84M718
7.71/4.58 decisions=38148, wrong=18690, backtracks=8360, failedAssignments=11617, nogoods=382
7.71/4.58
7.91/4.78 num=50, depth=14..22, filters=660424, revisions=(6777066,useless=6106975), wck=2.414, mem=90M3
7.91/4.78 decisions=41969, wrong=20592, backtracks=9207, failedAssignments=12790, nogoods=393
7.91/4.78
8.12/5.00 num=51, depth=13..21, filters=723940, revisions=(7438935,useless=6704277), wck=2.63, mem=92M646
8.12/5.00 decisions=46146, wrong=22673, backtracks=10179, failedAssignments=14081, nogoods=407
8.12/5.00
8.42/5.23 num=52, depth=10..20, filters=785808, revisions=(8160340,useless=7363416), wck=2.861, mem=95M288
8.42/5.23 decisions=51092, wrong=25140, backtracks=11435, failedAssignments=15501, nogoods=424
8.42/5.23
8.72/5.50 num=53, depth=11..20, filters=866963, revisions=(8983914,useless=8104773), wck=3.131, mem=100M573
8.72/5.50 decisions=56177, wrong=27676, backtracks=12565, failedAssignments=17063, nogoods=441
8.72/5.50
9.02/5.82 num=54, depth=11..20, filters=971767, revisions=(9965531,useless=8979497), wck=3.455, mem=105M858
9.02/5.82 decisions=61564, wrong=30363, backtracks=13740, failedAssignments=18781, nogoods=453
9.02/5.82
9.33/6.14 num=55, depth=13..22, filters=1070161, revisions=(10935956,useless=9849894), wck=3.77, mem=111M143
9.33/6.14 decisions=67482, wrong=33314, backtracks=15017, failedAssignments=20671, nogoods=472
9.33/6.14
9.62/6.49 num=56, depth=12..21, filters=1176341, revisions=(12039044,useless=10845468), wck=4.126, mem=116M427
9.62/6.49 decisions=74360, wrong=36746, backtracks=16708, failedAssignments=22750, nogoods=484
9.62/6.49
10.02/6.89 num=57, depth=12..21, filters=1307018, revisions=(13270516,useless=11943807), wck=4.527, mem=124M355
10.02/6.89 decisions=81537, wrong=40327, backtracks=18237, failedAssignments=25037, nogoods=502
10.02/6.89
10.53/7.31 num=58, depth=10..20, filters=1421802, revisions=(14538666,useless=13095764), wck=4.938, mem=129M640
10.53/7.31 decisions=89897, wrong=44500, backtracks=20217, failedAssignments=27553, nogoods=517
10.53/7.31
10.93/7.73 num=59, depth=12..21, filters=1541242, revisions=(15879001,useless=14315015), wck=5.368, mem=134M925
10.93/7.73 decisions=98816, wrong=48952, backtracks=22312, failedAssignments=30321, nogoods=540
10.93/7.73
11.43/8.28 num=60, depth=12..22, filters=1697942, revisions=(17519682,useless=15796783), wck=5.909, mem=23M811
11.43/8.28 decisions=108888, wrong=53980, backtracks=24771, failedAssignments=33365, nogoods=560
11.43/8.28
12.12/8.82 num=61, depth=11..20, filters=1870741, revisions=(19295847,useless=17397722), wck=6.457, mem=31M580
12.12/8.82 decisions=119678, wrong=59367, backtracks=27166, failedAssignments=36714, nogoods=573
12.12/8.82
12.72/9.40 num=62, depth=12..21, filters=2043365, revisions=(21144588,useless=19071368), wck=7.033, mem=41M938
12.72/9.40 decisions=132031, wrong=65536, backtracks=30184, failedAssignments=40398, nogoods=596
12.72/9.40
13.43/10.11 num=63, depth=11..21, filters=2270825, revisions=(23455129,useless=21151515), wck=7.742, mem=52M296
13.43/10.11 decisions=145508, wrong=72268, backtracks=33566, failedAssignments=44450, nogoods=617
13.43/10.11
14.12/10.81 num=64, depth=11..20, filters=2487955, revisions=(25712935,useless=23188754), wck=8.444, mem=65M244
14.12/10.81 decisions=160023, wrong=79518, backtracks=36905, failedAssignments=48907, nogoods=631
14.12/10.81
14.82/11.57 num=65, depth=11..21, filters=2715553, revisions=(28180331,useless=25426167), wck=9.2, mem=75M602
14.82/11.57 decisions=176549, wrong=87773, backtracks=41042, failedAssignments=53810, nogoods=653
14.82/11.57
15.74/12.44 num=66, depth=13..22, filters=2982530, revisions=(31010898,useless=27986765), wck=10.07, mem=91M193
15.74/12.44 decisions=194865, wrong=96923, backtracks=45555, failedAssignments=59204, nogoods=666
15.74/12.44
16.76/13.41 num=67, depth=11..21, filters=3294685, revisions=(34204021,useless=30864024), wck=11.046, mem=106M730
16.76/13.41 decisions=214228, wrong=106597, backtracks=50240, failedAssignments=65137, nogoods=696
16.76/13.41
17.76/14.42 num=68, depth=10..20, filters=3599062, revisions=(37529924,useless=33882909), wck=12.055, mem=122M267
17.76/14.42 decisions=235493, wrong=117223, backtracks=55375, failedAssignments=71663, nogoods=716
17.76/14.42
18.85/15.53 num=69, depth=11..21, filters=3929108, revisions=(41192271,useless=37211723), wck=13.161, mem=137M805
18.85/15.53 decisions=259027, wrong=128982, backtracks=61010, failedAssignments=78842, nogoods=733
18.85/15.53
20.18/16.86 num=70, depth=10..20, filters=4350978, revisions=(45482063,useless=41074165), wck=14.498, mem=28M990
20.18/16.86 decisions=284981, wrong=141953, backtracks=67097, failedAssignments=86739, nogoods=746
20.18/16.86
21.59/18.26 num=71, depth=12..21, filters=4780289, revisions=(50084142,useless=45242461), wck=15.896, mem=49M707
21.59/18.26 decisions=313964, wrong=156437, backtracks=74171, failedAssignments=95426, nogoods=771
21.59/18.26
23.19/19.88 num=72, depth=10..20, filters=5292837, revisions=(55300972,useless=49940144), wck=17.509, mem=75M602
23.19/19.88 decisions=345526, wrong=172211, backtracks=81714, failedAssignments=104981, nogoods=785
23.19/19.88
24.90/21.51 num=73, depth=10..21, filters=5785687, revisions=(60690589,useless=54830810), wck=19.146, mem=98M908
24.90/21.51 decisions=379691, wrong=189287, backtracks=89798, failedAssignments=115492, nogoods=798
24.90/21.51
26.70/23.36 num=74, depth=11..23, filters=6347439, revisions=(66741162,useless=60313190), wck=20.991, mem=127M394
26.70/23.36 decisions=418865, wrong=208867, backtracks=99498, failedAssignments=127054, nogoods=820
26.70/23.36
28.93/25.52 num=75, depth=10..21, filters=7015841, revisions=(73704828,useless=66599706), wck=23.154, mem=30M567
28.93/25.52 decisions=461552, wrong=230204, backtracks=109624, failedAssignments=139772, nogoods=844
28.93/25.52
31.13/27.74 num=76, depth=11..21, filters=7699161, revisions=(80998039,useless=73202162), wck=25.37, mem=64M834
31.13/27.74 decisions=508107, wrong=253474, backtracks=121032, failedAssignments=153762, nogoods=872
31.13/27.74
33.73/30.37 num=77, depth=10..22, filters=8526942, revisions=(89599108,useless=80966036), wck=28.0, mem=105M331
33.73/30.37 decisions=559673, wrong=279249, backtracks=133931, failedAssignments=169151, nogoods=890
33.73/30.37
36.54/33.14 num=78, depth=11..21, filters=9391268, revisions=(98659179,useless=89150623), wck=30.775, mem=152M59
36.54/33.14 decisions=615978, wrong=307394, backtracks=147530, failedAssignments=186079, nogoods=899
36.54/33.14
39.46/36.02 num=79, depth=9..21, filters=10243047, revisions=(108095746,useless=97726238), wck=33.652, mem=36M557
39.46/36.02 decisions=677491, wrong=338144, backtracks=162300, failedAssignments=204700, nogoods=924
39.46/36.02
42.75/39.38 num=80, depth=11..22, filters=11277163, revisions=(119025470,useless=107608380), wck=37.012, mem=88M699
42.75/39.38 decisions=746897, wrong=372840, backtracks=179295, failedAssignments=225184, nogoods=943
42.75/39.38
46.46/43.04 num=81, depth=9..21, filters=12411769, revisions=(130895247,useless=118330303), wck=40.677, mem=146M975
46.46/43.04 decisions=821726, wrong=410249, backtracks=196944, failedAssignments=247716, nogoods=970
46.46/43.04
50.49/47.10 num=82, depth=11..21, filters=13692092, revisions=(144010703,useless=130148607), wck=44.732, mem=60M433
50.49/47.10 decisions=902734, wrong=450746, backtracks=216258, failedAssignments=272501, nogoods=1001
50.49/47.10
55.08/51.60 num=83, depth=10..21, filters=15087176, revisions=(158644733,useless=143372396), wck=49.236, mem=129M749
55.08/51.60 decisions=994922, wrong=496834, backtracks=239091, failedAssignments=299765, nogoods=1052
55.08/51.60
60.11/56.69 num=84, depth=10..22, filters=16735428, revisions=(175084074,useless=158138285), wck=54.325, mem=65M764
60.11/56.69 decisions=1092697, wrong=545715, backtracks=261812, failedAssignments=329755, nogoods=1067
60.11/56.69
66.02/62.33 num=85, depth=9..21, filters=18503544, revisions=(193212722,useless=174477625), wck=59.961, mem=154M784
66.02/62.33 decisions=1201920, wrong=600320, backtracks=287824, failedAssignments=362744, nogoods=1083
66.02/62.33
71.95/68.27 num=86, depth=10..22, filters=20244272, revisions=(212349710,useless=191855819), wck=65.905, mem=91M304
71.95/68.27 decisions=1327524, wrong=663114, backtracks=319743, failedAssignments=399032, nogoods=1101
71.95/68.27
78.77/75.05 num=87, depth=10..22, filters=22404409, revisions=(234004917,useless=211321522), wck=72.68, mem=55M712
78.77/75.05 decisions=1456456, wrong=727573, backtracks=349844, failedAssignments=438949, nogoods=1120
78.77/75.05
85.77/82.04 num=88, depth=9..22, filters=24430322, revisions=(256508501,useless=231779322), wck=79.674, mem=153M250
85.77/82.04 decisions=1605897, wrong=802286, backtracks=387665, failedAssignments=482858, nogoods=1148
85.77/82.04
93.88/90.11 num=89, depth=10..22, filters=26902196, revisions=(282506714,useless=255273994), wck=87.748, mem=136M788
93.88/90.11 decisions=1765003, wrong=881831, backtracks=425981, failedAssignments=531158, nogoods=1160
93.88/90.11
102.08/98.39 num=90, depth=8..22, filters=29198379, revisions=(308855230,useless=279302975), wck=96.023, mem=109M847
102.08/98.39 decisions=1947350, wrong=972998, backtracks=471584, failedAssignments=584288, nogoods=1186
102.08/98.39
112.29/108.54 num=91, depth=10..22, filters=32280197, revisions=(341393232,useless=308724356), wck=106.174, mem=121M698
112.29/108.54 decisions=2146504, wrong=1072568, backtracks=522778, failedAssignments=642731, nogoods=1213
112.29/108.54
122.91/119.12 num=92, depth=9..22, filters=35330077, revisions=(375676509,useless=339929042), wck=116.754, mem=125M540
122.91/119.12 decisions=2365885, wrong=1182250, backtracks=579715, failedAssignments=707018, nogoods=1224
122.91/119.12
134.31/130.50 num=93, depth=9..22, filters=38574367, revisions=(412795576,useless=373772413), wck=128.133, mem=142M334
134.31/130.50 decisions=2603216, wrong=1300909, backtracks=639228, failedAssignments=777734, nogoods=1239
134.31/130.50
147.33/143.58 num=94, depth=10..23, filters=42611522, revisions=(454568538,useless=411454141), wck=141.211, mem=90M79
147.33/143.58 decisions=2857679, wrong=1428132, backtracks=700177, failedAssignments=855521, nogoods=1262
147.33/143.58
161.75/157.95 num=95, depth=9..21, filters=46748225, revisions=(501333658,useless=454047286), wck=155.58, mem=26M286
161.75/157.95 decisions=3148748, wrong=1573661, backtracks=775466, failedAssignments=941087, nogoods=1307
161.75/157.95
177.56/173.79 num=96, depth=10..22, filters=51615275, revisions=(552152210,useless=499938677), wck=171.421, mem=28M515
177.56/173.79 decisions=3459517, wrong=1729039, backtracks=851522, failedAssignments=1035210, nogoods=1357
177.56/173.79
195.08/191.25 num=97, depth=9..22, filters=56665974, revisions=(608463503,useless=551150816), wck=188.884, mem=26M34
195.08/191.25 decisions=3817768, wrong=1908157, backtracks=946250, failedAssignments=1138745, nogoods=1378
195.08/191.25
213.62/209.78 num=98, depth=9..21, filters=61894189, revisions=(668699156,useless=606111899), wck=207.414, mem=44M1
213.62/209.78 decisions=4205553, wrong=2102043, backtracks=1043930, failedAssignments=1252634, nogoods=1425
213.62/209.78
234.65/230.72 num=99, depth=8..22, filters=68112524, revisions=(734877270,useless=666004638), wck=228.351, mem=28M10
234.65/230.72 decisions=4627249, wrong=2312885, backtracks=1145140, failedAssignments=1377912, nogoods=1457
234.65/230.72
257.57/253.65 num=100, depth=9..22, filters=74869276, revisions=(808569250,useless=732872181), wck=251.28, mem=42M261
257.57/253.65 decisions=5093278, wrong=2545893, backtracks=1262601, failedAssignments=1515718, nogoods=1489
257.57/253.65
281.19/277.25 num=101, depth=8..22, filters=81302948, revisions=(884418979,useless=802232576), wck=274.887, mem=37M483
281.19/277.25 decisions=5621327, wrong=2809910, backtracks=1399579, failedAssignments=1667304, nogoods=1513
281.19/277.25
304.92/300.99 num=102, depth=9..22, filters=89883324, revisions=(977238428,useless=886387723), wck=298.625, mem=56M948
304.92/300.99 decisions=6189049, wrong=3093764, backtracks=1545487, failedAssignments=1834049, nogoods=1545
304.92/300.99
328.93/324.95 num=103, depth=9..22, filters=99198160, revisions=(1076862258,useless=976593399), wck=322.585, mem=74M596
328.93/324.95 decisions=6803073, wrong=3400769, backtracks=1697981, failedAssignments=2017468, nogoods=1562
328.93/324.95
355.63/351.63 num=104, depth=8..22, filters=109504058, revisions=(1187182100,useless=1076491745), wck=349.263, mem=94M204
355.63/351.63 decisions=7482507, wrong=3740479, backtracks=1865645, failedAssignments=2219229, nogoods=1590
355.63/351.63
384.05/380.07 num=105, depth=9..22, filters=120210222, revisions=(1304920599,useless=1183407711), wck=377.706, mem=115M773
384.05/380.07 decisions=8248162, wrong=4123299, backtracks=2059171, failedAssignments=2441167, nogoods=1625
384.05/380.07
415.75/411.73 num=106, depth=8..22, filters=132099657, revisions=(1436848075,useless=1303327631), wck=409.364, mem=42M991
415.75/411.73 decisions=9079924, wrong=4539172, backtracks=2268881, failedAssignments=2685298, nogoods=1646
415.75/411.73
448.76/444.71 num=107, depth=7..21, filters=143709039, revisions=(1574460725,useless=1429215750), wck=442.339, mem=68M210
448.76/444.71 decisions=9991390, wrong=4994899, backtracks=2497768, failedAssignments=2953843, nogoods=1674
448.76/444.71
487.07/483.03 num=108, depth=9..22, filters=158798891, revisions=(1733922364,useless=1573407935), wck=480.664, mem=97M308
487.07/483.03 decisions=10981245, wrong=5489820, backtracks=2741498, failedAssignments=3249242, nogoods=1707
487.07/483.03
529.99/525.92 num=109, depth=8..22, filters=174763449, revisions=(1914226228,useless=1737605399), wck=523.556, mem=33M232
529.99/525.92 decisions=12105759, wrong=6052071, backtracks=3039323, failedAssignments=3574181, nogoods=1723
529.99/525.92
576.49/572.40 num=110, depth=8..22, filters=191767577, revisions=(2109170435,useless=1915397774), wck=570.033, mem=69M691
576.49/572.40 decisions=13346028, wrong=6672199, backtracks=3366471, failedAssignments=3931614, nogoods=1754
576.49/572.40
626.60/622.52 num=111, depth=8..23, filters=209805298, revisions=(2319533858,useless=2107577237), wck=620.157, mem=109M988
626.60/622.52 decisions=14713817, wrong=7356087, backtracks=3728887, failedAssignments=4324790, nogoods=1804
626.60/622.52
681.72/677.67 num=112, depth=8..22, filters=230720834, revisions=(2548138435,useless=2315045313), wck=675.308, mem=57M812
681.72/677.67 decisions=16181572, wrong=8089958, backtracks=4097720, failedAssignments=4757284, nogoods=1855
681.72/677.67
745.32/741.23 num=113, depth=8..22, filters=255180824, revisions=(2811061331,useless=2553253195), wck=738.862, mem=103M362
745.32/741.23 decisions=17788120, wrong=8893224, backtracks=4494952, failedAssignments=5233028, nogoods=1897
745.32/741.23
813.45/809.30 num=114, depth=9..22, filters=281906154, revisions=(3094319919,useless=2809476954), wck=806.937, mem=59M323
813.45/809.30 decisions=19525753, wrong=9762034, backtracks=4920855, failedAssignments=5756346, nogoods=1937
813.45/809.30
885.28/881.14 num=115, depth=8..22, filters=307945624, revisions=(3396194589,useless=3085094921), wck=878.768, mem=23M640
885.28/881.14 decisions=21481143, wrong=10739723, backtracks=5423014, failedAssignments=6331996, nogoods=1968
885.28/881.14
967.78/963.69 num=116, depth=8..22, filters=339120590, revisions=(3740402336,useless=3397813608), wck=961.325, mem=87M671
967.78/963.69 decisions=23647210, wrong=11822749, backtracks=5979487, failedAssignments=6965211, nogoods=1982
967.78/963.69
1059.79/1055.68 num=117, depth=7..22, filters=373142621, revisions=(4125782973,useless=3748858178), wck=1053.316, mem=63M874
1059.79/1055.68 decisions=26049273, wrong=13023772, backtracks=6608575, failedAssignments=7661747, nogoods=2004
1059.79/1055.68
1157.71/1153.51 num=118, depth=7..22, filters=408886141, revisions=(4533760334,useless=4120775419), wck=1151.147, mem=50M751
1157.71/1153.51 decisions=28707545, wrong=14352902, backtracks=7302026, failedAssignments=8427937, nogoods=2032
1157.71/1153.51
1263.25/1259.08 num=119, depth=7..23, filters=447715704, revisions=(4975614948,useless=4523329771), wck=1256.714, mem=43M277
1263.25/1259.08 decisions=31604394, wrong=15801319, backtracks=8032934, failedAssignments=9270746, nogoods=2059
1263.25/1259.08
1383.38/1379.18 num=120, depth=7..23, filters=491058368, revisions=(5478200395,useless=4982196332), wck=1376.814, mem=48M405
1383.38/1379.18 decisions=34830344, wrong=17414286, backtracks=8882510, failedAssignments=10197836, nogoods=2074
1383.38/1379.18
1513.69/1509.48 num=121, depth=8..22, filters=540101208, revisions=(6020773578,useless=5475136692), wck=1507.112, mem=60M350
1513.69/1509.48 decisions=38316484, wrong=19157350, backtracks=9737887, failedAssignments=11217635, nogoods=2124
1513.69/1509.48
1656.34/1652.08 num=122, depth=7..23, filters=591248095, revisions=(6621807588,useless=6024560170), wck=1649.712, mem=84M110
1656.34/1652.08 decisions=42146451, wrong=21072328, backtracks=10722833, failedAssignments=12339414, nogoods=2173
1656.34/1652.08
1816.57/1812.26 num=123, depth=7..22, filters=650196343, revisions=(7292161463,useless=6635420918), wck=1809.891, mem=37M74
1816.57/1812.26 decisions=46393906, wrong=23196049, backtracks=11822636, failedAssignments=13573371, nogoods=2195
1816.57/1812.26
1990.90/1986.53 num=124, depth=8..22, filters=717460695, revisions=(8018857159,useless=7294121625), wck=1984.165, mem=85M263
1990.90/1986.53 decisions=50914168, wrong=25456174, backtracks=12947294, failedAssignments=14930724, nogoods=2245
1990.90/1986.53
2185.65/2181.23 num=125, depth=7..22, filters=789039632, revisions=(8827840416,useless=8030894178), wck=2178.859, mem=69M38
2185.65/2181.23 decisions=56093639, wrong=28045903, backtracks=14291148, failedAssignments=16423812, nogoods=2273
2185.65/2181.23
2402.99/2398.59 num=126, depth=8..23, filters=873939693, revisions=(9731497448,useless=8848682068), wck=2396.219, mem=71M47
2402.99/2398.59 decisions=61674775, wrong=30836464, backtracks=15692211, failedAssignments=18066209, nogoods=2314
2402.99/2398.59
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 (14965 MiB free)
memory of node 1: 16384 MiB (15044 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390647-1568383863/watcher-4390647-1568383863 -o /tmp/evaluation-result-4390647-1568383863/solver-4390647-1568383863 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568380475-10475 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390647-1568383863.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=11485, runsolver pid=11482
[startup+0.100059 s]*
/proc/loadavg: 1.94 1.90 1.87 4/232 11500
/proc/meminfo: memFree=30714136/32770624 swapFree=66967136/67108860
[pid=11485] ppid=11482 vsize=10659884 memory=28312 CPUtime=0.13 cores=1,3,5,7
/proc/11485/stat : 11485 (java) S 11482 11485 10443 0 -1 1077944320 5566 0 0 0 12 1 0 0 20 0 15 0 414635857 10915721216 7078 33554432000 4194304 4196468 140726304964112 140726304946656 139796392713975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
/proc/11485/statm: 2664971 7078 2914 1 0 2627468 0
[pid=11485/tid=11487] ppid=11482 vsize=10659884 memory=-8197568871503533184 CPUtime=0.09 cores=1,3,5,7
/proc/11485/task/11487/stat : 11487 (java) R 11482 11485 10443 0 -1 4202560 3237 0 0 0 8 1 0 0 20 0 15 0 414635858 10915721216 7078 33554432000 4194304 4196468 140726304964112 139796396945360 139796392735322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11488] ppid=11482 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11488/stat : 11488 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635858 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795999988240 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11489] ppid=11482 vsize=10659884 memory=140531800573568 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11489/stat : 11489 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635858 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795998935696 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11490] ppid=11482 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11490/stat : 11490 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635858 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795997882640 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11491] ppid=11482 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11491/stat : 11491 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635858 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795996830096 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11492] ppid=11482 vsize=10659884 memory=140531800573568 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11492/stat : 11492 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635860 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795883879152 139796392725122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11493] ppid=11482 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11493/stat : 11493 (java) S 11482 11485 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414635860 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795882825376 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11494] ppid=11482 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11494/stat : 11494 (java) S 11482 11485 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414635860 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795881772272 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11495] ppid=11482 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11495/stat : 11495 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414635863 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795880720848 139796392732571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11496] ppid=11482 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11485/task/11496/stat : 11496 (java) S 11482 11485 10443 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 15 0 414635863 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795879667952 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11497] ppid=11482 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11497/stat : 11497 (java) S 11482 11485 10443 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 414635863 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795878615408 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11498] ppid=11482 vsize=10659884 memory=140531800573568 CPUtime=0.02 cores=1,3,5,7
/proc/11485/task/11498/stat : 11498 (java) R 11482 11485 10443 0 -1 4202560 418 0 0 0 2 0 0 0 20 0 15 0 414635863 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795877559048 139796371849484 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11499] ppid=11482 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11499/stat : 11499 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414635863 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795876510048 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11500] ppid=11482 vsize=10659884 memory=140531800573568 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11500/stat : 11500 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635863 10915721216 7078 33554432000 4194304 4196468 140726304964112 139795875458096 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28312 KiB
[startup+0.210865 s]*
/proc/loadavg: 1.94 1.90 1.87 4/232 11500
/proc/meminfo: memFree=30703280/32770624 swapFree=66967136/67108860
[pid=11485] ppid=11482 vsize=10659884 memory=37948 CPUtime=0.33 cores=1,3,5,7
/proc/11485/stat : 11485 (java) S 11482 11485 10443 0 -1 1077944320 9185 0 0 0 30 3 0 0 20 0 15 0 414635857 10915721216 9487 33554432000 4194304 4196468 140726304964112 140726304946656 139796392713975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
/proc/11485/statm: 2664971 9487 2988 1 0 2627468 0
[pid=11485/tid=11487] ppid=11482 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/11485/task/11487/stat : 11487 (java) R 11482 11485 10443 0 -1 4202560 6142 0 0 0 18 2 0 0 20 0 15 0 414635858 10915721216 9487 33554432000 4194304 4196468 140726304964112 139796396952144 139796392735901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11488] ppid=11482 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11488/stat : 11488 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635858 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795999988240 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11489] ppid=11482 vsize=10659884 memory=288370907952285312 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11489/stat : 11489 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635858 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795998935696 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11490] ppid=11482 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11490/stat : 11490 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635858 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795997882640 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11491] ppid=11482 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11491/stat : 11491 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635858 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795996830096 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11492] ppid=11482 vsize=10659884 memory=140531800573568 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11492/stat : 11492 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635860 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795883879152 139796392725122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11493] ppid=11482 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11493/stat : 11493 (java) S 11482 11485 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414635860 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795882825376 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11494] ppid=11482 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11494/stat : 11494 (java) S 11482 11485 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414635860 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795881772272 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11495] ppid=11482 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11495/stat : 11495 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414635863 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795880720848 139796392732571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11496] ppid=11482 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11485/task/11496/stat : 11496 (java) S 11482 11485 10443 0 -1 1077944384 860 0 0 0 3 0 0 0 20 0 15 0 414635863 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795879667952 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11497] ppid=11482 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11485/task/11497/stat : 11497 (java) S 11482 11485 10443 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 15 0 414635863 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795878615408 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11498] ppid=11482 vsize=10659884 memory=140531800573568 CPUtime=0.05 cores=1,3,5,7
/proc/11485/task/11498/stat : 11498 (java) S 11482 11485 10443 0 -1 1077944384 688 0 0 0 5 0 0 0 20 0 15 0 414635863 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795877562352 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11499] ppid=11482 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11499/stat : 11499 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414635863 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795876510048 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11500] ppid=11482 vsize=10659884 memory=140531800573568 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11500/stat : 11500 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635863 10915721216 9487 33554432000 4194304 4196468 140726304964112 139795875458096 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37948 KiB
[startup+0.310811 s]*
/proc/loadavg: 1.94 1.90 1.87 4/232 11500
/proc/meminfo: memFree=30701336/32770624 swapFree=66967136/67108860
[pid=11485] ppid=11482 vsize=10659884 memory=40476 CPUtime=0.48 cores=1,3,5,7
/proc/11485/stat : 11485 (java) S 11482 11485 10443 0 -1 1077944320 9398 0 0 0 44 4 0 0 20 0 15 0 414635857 10915721216 10119 33554432000 4194304 4196468 140726304964112 140726304946656 139796392713975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
/proc/11485/statm: 2664971 10119 3000 1 0 2627468 0
[pid=11485/tid=11487] ppid=11482 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/11485/task/11487/stat : 11487 (java) R 11482 11485 10443 0 -1 4202560 6288 0 0 0 28 2 0 0 20 0 15 0 414635858 10915721216 10119 33554432000 4194304 4196468 140726304964112 139796396946384 139796377985537 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11488] ppid=11482 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11488/stat : 11488 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635858 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795999988240 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11489] ppid=11482 vsize=10659884 memory=288370907952285312 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11489/stat : 11489 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635858 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795998935696 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11490] ppid=11482 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11490/stat : 11490 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635858 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795997882640 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11491] ppid=11482 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11491/stat : 11491 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635858 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795996830096 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11492] ppid=11482 vsize=10659884 memory=140531800573568 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11492/stat : 11492 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635860 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795883879152 139796392725122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11493] ppid=11482 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11493/stat : 11493 (java) S 11482 11485 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414635860 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795882825376 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11494] ppid=11482 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11494/stat : 11494 (java) S 11482 11485 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414635860 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795881772272 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11495] ppid=11482 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11495/stat : 11495 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414635863 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795880720848 139796392732571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11496] ppid=11482 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11485/task/11496/stat : 11496 (java) R 11482 11485 10443 0 -1 4202560 868 0 0 0 4 0 0 0 20 0 15 0 414635863 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795879667952 139796376241943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11497] ppid=11482 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/11485/task/11497/stat : 11497 (java) R 11482 11485 10443 0 -1 1077944384 170 0 0 0 3 0 0 0 20 0 15 0 414635863 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795878615408 139796392725122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11498] ppid=11482 vsize=10659884 memory=140531800573568 CPUtime=0.08 cores=1,3,5,7
/proc/11485/task/11498/stat : 11498 (java) S 11482 11485 10443 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 15 0 414635863 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795877562352 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11499] ppid=11482 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11499/stat : 11499 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414635863 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795876510048 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11500] ppid=11482 vsize=10659884 memory=140531800573568 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11500/stat : 11500 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635863 10915721216 10119 33554432000 4194304 4196468 140726304964112 139795875458096 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40476 KiB
[startup+0.703645 s]
/proc/loadavg: 1.94 1.90 1.87 3/232 11500
/proc/meminfo: memFree=30692304/32770624 swapFree=66967136/67108860
[pid=11485] ppid=11482 vsize=10661932 memory=62412 CPUtime=1.09 cores=1,3,5,7
/proc/11485/stat : 11485 (java) S 11482 11485 10443 0 -1 1077944320 12628 0 0 0 104 5 0 0 20 0 15 0 414635857 10917818368 15603 33554432000 4194304 4196468 140726304964112 140726304946656 139796392713975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
/proc/11485/statm: 2665483 15603 3073 1 0 2627980 0
[pid=11485/tid=11487] ppid=11482 vsize=10661932 memory=1240 CPUtime=0.68 cores=1,3,5,7
/proc/11485/task/11487/stat : 11487 (java) R 11482 11485 10443 0 -1 4202560 8837 0 0 0 64 4 0 0 20 0 15 0 414635858 10917818368 15603 33554432000 4194304 4196468 140726304964112 139796396936912 139796375900784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11488] ppid=11482 vsize=10661932 memory=3428 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11488/stat : 11488 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635858 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795999988240 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11489] ppid=11482 vsize=10661932 memory=716 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11489/stat : 11489 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635858 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795998935696 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11490] ppid=11482 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11490/stat : 11490 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635858 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795997882640 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11491] ppid=11482 vsize=10661932 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11491/stat : 11491 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635858 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795996830096 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11492] ppid=11482 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11492/stat : 11492 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635860 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795883879152 139796392725122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11493] ppid=11482 vsize=10661932 memory=9328 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11493/stat : 11493 (java) S 11482 11485 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414635860 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795882825376 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11494] ppid=11482 vsize=10661932 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11494/stat : 11494 (java) S 11482 11485 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414635860 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795881772272 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11495] ppid=11482 vsize=10661932 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11495/stat : 11495 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414635863 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795880720848 139796392732571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11496] ppid=11482 vsize=10661932 memory=4639098309541126757 CPUtime=0.1 cores=1,3,5,7
/proc/11485/task/11496/stat : 11496 (java) S 11482 11485 10443 0 -1 1077944384 999 0 0 0 10 0 0 0 20 0 15 0 414635863 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795879667952 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11497] ppid=11482 vsize=10661932 memory=7955443078088779376 CPUtime=0.1 cores=1,3,5,7
/proc/11485/task/11497/stat : 11497 (java) R 11482 11485 10443 0 -1 4202560 383 0 0 0 10 0 0 0 20 0 15 0 414635863 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795878601432 139796372407067 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11498] ppid=11482 vsize=10661932 memory=5865188000529146989 CPUtime=0.18 cores=1,3,5,7
/proc/11485/task/11498/stat : 11498 (java) S 11482 11485 10443 0 -1 1077944384 1049 0 0 0 18 0 0 0 20 0 15 0 414635863 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795877562352 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11499] ppid=11482 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11499/stat : 11499 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414635863 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795876510048 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11500] ppid=11482 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11500/stat : 11500 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635863 10917818368 15603 33554432000 4194304 4196468 140726304964112 139795875458096 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62412 KiB
[startup+1.50074 s]
/proc/loadavg: 2.10 1.94 1.88 3/232 11500
/proc/meminfo: memFree=30675740/32770624 swapFree=66967136/67108860
[pid=11485] ppid=11482 vsize=10663980 memory=75232 CPUtime=1.98 cores=1,3,5,7
/proc/11485/stat : 11485 (java) S 11482 11485 10443 0 -1 1077944320 18234 0 0 0 192 6 0 0 20 0 15 0 414635857 10919915520 18808 33554432000 4194304 4196468 140726304964112 140726304946656 139796392713975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
/proc/11485/statm: 2665995 18808 3096 1 0 2628492 0
[pid=11485/tid=11487] ppid=11482 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/11485/task/11487/stat : 11487 (java) R 11482 11485 10443 0 -1 4202560 13098 0 0 0 143 4 0 0 20 0 15 0 414635858 10919915520 18808 33554432000 4194304 4196468 140726304964112 139796396946000 139796376794462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11488] ppid=11482 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11488/stat : 11488 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635858 10919915520 18808 33554432000 4194304 4196468 140726304964112 139795999988240 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11489] ppid=11482 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11489/stat : 11489 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635858 10919915520 18808 33554432000 4194304 4196468 140726304964112 139795998935696 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11490] ppid=11482 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11490/stat : 11490 (java) S 11482 11485 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414635858 10919915520 18808 33554432000 4194304 4196468 140726304964112 139795997882640 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11491] ppid=11482 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11491/stat : 11491 (java) S 11482 11485 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414635858 10919915520 18808 33554432000 4194304 4196468 140726304964112 139795996830096 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11492] ppid=11482 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11492/stat : 11492 (java) S 11482 11485 10443 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414635860 10919915520 18808 33554432000 4194304 4196468 140726304964112 139795883879152 139796392725122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
################
# More data... #
################
/proc/11485/task/11491/stat : 11491 (java) S 11482 11485 10443 0 -1 1077944384 6254 0 0 0 16 1 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795996830096 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11492] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.08 cores=1,3,5,7
/proc/11485/task/11492/stat : 11492 (java) S 11482 11485 10443 0 -1 1077944384 6691 0 0 0 5 3 0 0 20 0 16 0 414635860 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795883879152 139796392725122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11493] ppid=11482 vsize=10748324 memory=222696 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11493/stat : 11493 (java) S 11482 11485 10443 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414635860 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795882825440 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11494] ppid=11482 vsize=10748324 memory=222696 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11494/stat : 11494 (java) S 11482 11485 10443 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414635860 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795881772288 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11495] ppid=11482 vsize=10748324 memory=222696 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11495/stat : 11495 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795880720848 139796392732571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11496] ppid=11482 vsize=10748324 memory=222696 CPUtime=1.42 cores=1,3,5,7
/proc/11485/task/11496/stat : 11496 (java) S 11482 11485 10443 0 -1 1077944384 10759 0 0 0 141 1 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795879667952 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11497] ppid=11482 vsize=10748324 memory=222696 CPUtime=1.45 cores=1,3,5,7
/proc/11485/task/11497/stat : 11497 (java) S 11482 11485 10443 0 -1 1077944384 10482 0 0 0 144 1 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795878615408 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11498] ppid=11482 vsize=10748324 memory=3428 CPUtime=0.73 cores=1,3,5,7
/proc/11485/task/11498/stat : 11498 (java) S 11482 11485 10443 0 -1 1077944384 8852 0 0 0 71 2 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795877562352 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11499] ppid=11482 vsize=10748324 memory=222696 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11499/stat : 11499 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795876510048 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11500] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.47 cores=1,3,5,7
/proc/11485/task/11500/stat : 11500 (java) S 11482 11485 10443 0 -1 1077944384 1158 0 0 0 19 28 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795875458096 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11501] ppid=11482 vsize=10748324 memory=222696 CPUtime=2440.02 cores=1,3,5,7
/proc/11485/task/11501/stat : 11501 (java) R 11482 11485 10443 0 -1 4202560 17630 0 0 0 243996 6 0 0 20 0 16 0 414636045 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795858796800 139796038204092 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
Current children cumulated CPU time: 2446.83 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 222696 KiB
[startup+2502.3 s]
/proc/loadavg: 2.15 2.13 2.02 5/234 11814
/proc/meminfo: memFree=30531260/32770624 swapFree=66967172/67108860
[pid=11485] ppid=11482 vsize=10748324 memory=222696 CPUtime=2506.83 cores=1,3,5,7
/proc/11485/stat : 11485 (java) S 11482 11485 10443 0 -1 1077944320 91208 0 0 0 250634 49 0 0 20 0 16 0 414635857 11006283776 55674 33554432000 4194304 4196468 140726304964112 140726304946656 139796392713975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
/proc/11485/statm: 2687081 55674 3371 1 0 2647217 0
[pid=11485/tid=11487] ppid=11482 vsize=10748324 memory=222696 CPUtime=1.85 cores=1,3,5,7
/proc/11485/task/11487/stat : 11487 (java) S 11482 11485 10443 0 -1 1077944384 15325 0 0 0 180 5 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139796396956848 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11488] ppid=11482 vsize=10748324 memory=281063331027392 CPUtime=0.17 cores=1,3,5,7
/proc/11485/task/11488/stat : 11488 (java) S 11482 11485 10443 0 -1 1077944384 3523 0 0 0 17 0 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795999988240 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11489] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.16 cores=1,3,5,7
/proc/11485/task/11489/stat : 11489 (java) S 11482 11485 10443 0 -1 1077944384 4875 0 0 0 15 1 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795998935696 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11490] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.17 cores=1,3,5,7
/proc/11485/task/11490/stat : 11490 (java) S 11482 11485 10443 0 -1 1077944384 4123 0 0 0 16 1 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795997882640 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11491] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.17 cores=1,3,5,7
/proc/11485/task/11491/stat : 11491 (java) S 11482 11485 10443 0 -1 1077944384 6254 0 0 0 16 1 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795996830096 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11492] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.08 cores=1,3,5,7
/proc/11485/task/11492/stat : 11492 (java) S 11482 11485 10443 0 -1 1077944384 6698 0 0 0 5 3 0 0 20 0 16 0 414635860 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795883879152 139796392725122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11493] ppid=11482 vsize=10748324 memory=222696 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11493/stat : 11493 (java) S 11482 11485 10443 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414635860 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795882825440 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11494] ppid=11482 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11494/stat : 11494 (java) S 11482 11485 10443 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414635860 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795881772288 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11495] ppid=11482 vsize=10748324 memory=222696 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11495/stat : 11495 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795880720848 139796392732571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11496] ppid=11482 vsize=10748324 memory=222696 CPUtime=1.42 cores=1,3,5,7
/proc/11485/task/11496/stat : 11496 (java) S 11482 11485 10443 0 -1 1077944384 10762 0 0 0 141 1 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795879667952 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11497] ppid=11482 vsize=10748324 memory=6791534058613427641 CPUtime=1.45 cores=1,3,5,7
/proc/11485/task/11497/stat : 11497 (java) S 11482 11485 10443 0 -1 1077944384 10484 0 0 0 144 1 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795878615408 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11498] ppid=11482 vsize=10748324 memory=111632 CPUtime=0.73 cores=1,3,5,7
/proc/11485/task/11498/stat : 11498 (java) S 11482 11485 10443 0 -1 1077944384 8854 0 0 0 71 2 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795877562352 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11499] ppid=11482 vsize=10748324 memory=800 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11499/stat : 11499 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795876510048 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11500] ppid=11482 vsize=10748324 memory=1632 CPUtime=0.49 cores=1,3,5,7
/proc/11485/task/11500/stat : 11500 (java) S 11482 11485 10443 0 -1 1077944384 1189 0 0 0 20 29 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795875458096 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11501] ppid=11482 vsize=10748324 memory=932 CPUtime=2500.02 cores=1,3,5,7
/proc/11485/task/11501/stat : 11501 (java) R 11482 11485 10443 0 -1 4202560 17689 0 0 0 249996 6 0 0 20 0 16 0 414636045 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795858796800 139796037401097 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
Current children cumulated CPU time: 2506.83 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 222696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.5 s]
/proc/loadavg: 2.12 2.12 2.02 3/234 11814
/proc/meminfo: memFree=29159340/32770624 swapFree=66967172/67108860
[pid=11485] ppid=11482 vsize=10748324 memory=222696 CPUtime=2520.04 cores=1,3,5,7
/proc/11485/stat : 11485 (java) S 11482 11485 10443 0 -1 1077944320 91216 0 0 0 251954 50 0 0 20 0 16 0 414635857 11006283776 55674 33554432000 4194304 4196468 140726304964112 140726304946656 139796392713975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
/proc/11485/statm: 2687081 55674 3371 1 0 2647217 0
[pid=11485/tid=11487] ppid=11482 vsize=10748324 memory=222696 CPUtime=1.85 cores=1,3,5,7
/proc/11485/task/11487/stat : 11487 (java) S 11482 11485 10443 0 -1 1077944384 15325 0 0 0 180 5 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139796396956848 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11488] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.17 cores=1,3,5,7
/proc/11485/task/11488/stat : 11488 (java) S 11482 11485 10443 0 -1 1077944384 3523 0 0 0 17 0 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795999988240 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11489] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.16 cores=1,3,5,7
/proc/11485/task/11489/stat : 11489 (java) S 11482 11485 10443 0 -1 1077944384 4875 0 0 0 15 1 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795998935696 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11490] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.17 cores=1,3,5,7
/proc/11485/task/11490/stat : 11490 (java) S 11482 11485 10443 0 -1 1077944384 4123 0 0 0 16 1 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795997882640 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11491] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.17 cores=1,3,5,7
/proc/11485/task/11491/stat : 11491 (java) S 11482 11485 10443 0 -1 1077944384 6254 0 0 0 16 1 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795996830096 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11492] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.08 cores=1,3,5,7
/proc/11485/task/11492/stat : 11492 (java) S 11482 11485 10443 0 -1 1077944384 6698 0 0 0 5 3 0 0 20 0 16 0 414635860 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795883879152 139796392725122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11493] ppid=11482 vsize=10748324 memory=222696 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11493/stat : 11493 (java) S 11482 11485 10443 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414635860 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795882825440 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11494] ppid=11482 vsize=10748324 memory=222696 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11494/stat : 11494 (java) S 11482 11485 10443 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414635860 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795881772288 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11495] ppid=11482 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11495/stat : 11495 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795880720848 139796392732571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11496] ppid=11482 vsize=10748324 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/11485/task/11496/stat : 11496 (java) S 11482 11485 10443 0 -1 1077944384 10762 0 0 0 141 1 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795879667952 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11497] ppid=11482 vsize=10748324 memory=7649399367168962865 CPUtime=1.45 cores=1,3,5,7
/proc/11485/task/11497/stat : 11497 (java) S 11482 11485 10443 0 -1 1077944384 10484 0 0 0 144 1 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795878615408 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11498] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.73 cores=1,3,5,7
/proc/11485/task/11498/stat : 11498 (java) S 11482 11485 10443 0 -1 1077944384 8854 0 0 0 71 2 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795877562352 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11499] ppid=11482 vsize=10748324 memory=1087880 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11499/stat : 11499 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795876510048 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11500] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.49 cores=1,3,5,7
/proc/11485/task/11500/stat : 11500 (java) S 11482 11485 10443 0 -1 1077944384 1191 0 0 0 20 29 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795875458096 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11501] ppid=11482 vsize=10748324 memory=222696 CPUtime=2513.22 cores=1,3,5,7
/proc/11485/task/11501/stat : 11501 (java) R 11482 11485 10443 0 -1 4202560 17695 0 0 0 251316 6 0 0 20 0 16 0 414636045 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795858796800 139796037401963 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 222696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.51 s]
# the end of solver process 11485 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.55 s, system=0.502015 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.5 s]
/proc/loadavg: 2.12 2.12 2.02 3/234 11814
/proc/meminfo: memFree=29159340/32770624 swapFree=66967172/67108860
[pid=11485] ppid=11482 vsize=10748324 memory=222696 CPUtime=2520.04 cores=1,3,5,7
/proc/11485/stat : 11485 (java) S 11482 11485 10443 0 -1 1077944320 91216 0 0 0 251954 50 0 0 20 0 16 0 414635857 11006283776 55674 33554432000 4194304 4196468 140726304964112 140726304946656 139796392713975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
/proc/11485/statm: 2687081 55674 3371 1 0 2647217 0
[pid=11485/tid=11487] ppid=11482 vsize=10748324 memory=222696 CPUtime=1.85 cores=1,3,5,7
/proc/11485/task/11487/stat : 11487 (java) S 11482 11485 10443 0 -1 1077944384 15325 0 0 0 180 5 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139796396956848 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11488] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.17 cores=1,3,5,7
/proc/11485/task/11488/stat : 11488 (java) S 11482 11485 10443 0 -1 1077944384 3523 0 0 0 17 0 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795999988240 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11489] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.16 cores=1,3,5,7
/proc/11485/task/11489/stat : 11489 (java) S 11482 11485 10443 0 -1 1077944384 4875 0 0 0 15 1 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795998935696 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11490] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.17 cores=1,3,5,7
/proc/11485/task/11490/stat : 11490 (java) S 11482 11485 10443 0 -1 1077944384 4123 0 0 0 16 1 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795997882640 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11491] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.17 cores=1,3,5,7
/proc/11485/task/11491/stat : 11491 (java) S 11482 11485 10443 0 -1 1077944384 6254 0 0 0 16 1 0 0 20 0 16 0 414635858 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795996830096 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11492] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.08 cores=1,3,5,7
/proc/11485/task/11492/stat : 11492 (java) S 11482 11485 10443 0 -1 1077944384 6698 0 0 0 5 3 0 0 20 0 16 0 414635860 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795883879152 139796392725122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11493] ppid=11482 vsize=10748324 memory=222696 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11493/stat : 11493 (java) S 11482 11485 10443 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414635860 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795882825440 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11494] ppid=11482 vsize=10748324 memory=222696 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11494/stat : 11494 (java) S 11482 11485 10443 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414635860 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795881772288 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11495] ppid=11482 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11495/stat : 11495 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795880720848 139796392732571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11496] ppid=11482 vsize=10748324 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/11485/task/11496/stat : 11496 (java) S 11482 11485 10443 0 -1 1077944384 10762 0 0 0 141 1 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795879667952 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11497] ppid=11482 vsize=10748324 memory=7649399367168962865 CPUtime=1.45 cores=1,3,5,7
/proc/11485/task/11497/stat : 11497 (java) S 11482 11485 10443 0 -1 1077944384 10484 0 0 0 144 1 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795878615408 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11498] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.73 cores=1,3,5,7
/proc/11485/task/11498/stat : 11498 (java) S 11482 11485 10443 0 -1 1077944384 8854 0 0 0 71 2 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795877562352 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11499] ppid=11482 vsize=10748324 memory=1087880 CPUtime=0 cores=1,3,5,7
/proc/11485/task/11499/stat : 11499 (java) S 11482 11485 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795876510048 139796392724181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11500] ppid=11482 vsize=10748324 memory=222696 CPUtime=0.49 cores=1,3,5,7
/proc/11485/task/11500/stat : 11500 (java) S 11482 11485 10443 0 -1 1077944384 1191 0 0 0 20 29 0 0 20 0 16 0 414635863 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795875458096 139796392725122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
[pid=11485/tid=11501] ppid=11482 vsize=10748324 memory=222696 CPUtime=2513.22 cores=1,3,5,7
/proc/11485/task/11501/stat : 11501 (java) R 11482 11485 10443 0 -1 4202560 17695 0 0 0 251316 6 0 0 20 0 16 0 414636045 11006283776 55674 33554432000 4194304 4196468 140726304964112 139795858796800 139796037401963 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140726304965643 140726304965746 140726304965746 140726304968655 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 222696 KiB
Child status: 143
Real time (s): 2515.51
CPU time (s): 2520.06
CPU user time (s): 2519.55
CPU system time (s): 0.502015
CPU usage (%): 100.181
Max. virtual memory (cumulated for all children) (KiB): 10750300
Max. memory (cumulated for all children) (KiB): 290044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.55
system time used= 0.502015
maximum resident set size= 290044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91642
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58338
involuntary context switches= 2247
# summary of solver processes directly reported to runsolver:
# pid: 11485
# total CPU time (s): 2520.06
# total CPU user time (s): 2519.55
# total CPU system time (s): 0.502015
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0753 second user time and 16.126 second system time
The end