2.44/1.87
2.44/1.87 AbsCon 2
2.44/1.88
3.27/2.14 Instance
3.27/2.14 name=instance-4390658-1568383863, framework=CSP
3.27/2.14
3.27/2.14 Loading variables...
3.27/2.17 Loading constraints...
3.88/2.33
3.88/2.33 Domains
3.88/2.33 nTypes=4, nValues=2088, sizes=[1#2,7#28,14#27,28#54]
3.88/2.33 Variables
3.88/2.33 count=111, degrees=[2#29,3#26,27#1,29#18,30#9,55#1,56#27]
3.88/2.33 Constraints
3.88/2.33 count=1261, arities=[2#1261]
3.88/2.33 distribution=[CtrExtensionV-Bits#1261]
3.88/2.33 nExtStructures=(88,shared:1173), nCftStructures=(88,shared:1173)
3.88/2.33 wck=0.49, cpu=2.3, mem=42M367
3.88/2.33 Solver SolverBacktrack being built...
3.88/2.33
3.88/2.36
3.88/2.36 Solver
3.88/2.36 guaranteedGAC=true
3.88/2.36 wck=0.522, cpu=2.33, mem=53M9
3.88/2.37
3.88/2.37 Preprocessing
3.88/2.37 filters=150, revisions=(2191,useless=2023), nACremovedValues=280, nTotalRemovedValues=280, inconcistency=false
3.88/2.37 wck=0.008, cpu=2.339, mem=53M9
3.88/2.37
3.88/2.38 num=0, depth=25..31, filters=962, revisions=(11680,useless=10700), wck=0.022, mem=53M9
3.88/2.38 decisions=65, wrong=20, backtracks=11, failedAssignments=10, nogoods=2
3.88/2.38
3.88/2.39 num=1, depth=26..37, filters=1640, revisions=(19793,useless=18135), wck=0.028, mem=53M9
3.88/2.39 decisions=135, wrong=42, backtracks=22, failedAssignments=21, nogoods=3
3.88/2.39
3.88/2.39 num=2, depth=18..25, filters=2310, revisions=(29749,useless=27421), wck=0.035, mem=53M9
3.88/2.39 decisions=201, wrong=66, backtracks=36, failedAssignments=33, nogoods=4
3.88/2.39
4.22/2.41 num=3, depth=23..36, filters=2937, revisions=(38267,useless=35312), wck=0.054, mem=53M9
4.22/2.41 decisions=276, wrong=92, backtracks=49, failedAssignments=46, nogoods=5
4.22/2.41
4.22/2.42 num=4, depth=10..24, filters=3736, revisions=(47967,useless=44213), wck=0.06, mem=53M9
4.22/2.42 decisions=342, wrong=120, backtracks=63, failedAssignments=60, nogoods=6
4.22/2.42
4.22/2.42 num=5, depth=16..32, filters=4494, revisions=(58100,useless=53588), wck=0.067, mem=53M9
4.22/2.42 decisions=422, wrong=152, backtracks=79, failedAssignments=76, nogoods=7
4.22/2.42
4.22/2.43 num=6, depth=13..34, filters=5480, revisions=(71043,useless=65538), wck=0.075, mem=53M9
4.22/2.43 decisions=518, wrong=186, backtracks=96, failedAssignments=93, nogoods=9
4.22/2.43
4.22/2.44 num=7, depth=21..29, filters=6133, revisions=(83341,useless=77181), wck=0.082, mem=53M9
4.22/2.44 decisions=615, wrong=224, backtracks=120, failedAssignments=112, nogoods=10
4.22/2.44
4.22/2.45 num=8, depth=12..19, filters=6777, revisions=(93657,useless=86849), wck=0.089, mem=53M9
4.22/2.45 decisions=690, wrong=255, backtracks=131, failedAssignments=133, nogoods=16
4.22/2.45
4.22/2.46 num=9, depth=14..30, filters=7419, revisions=(105231,useless=97781), wck=0.096, mem=53M9
4.22/2.46 decisions=805, wrong=301, backtracks=158, failedAssignments=156, nogoods=19
4.22/2.46
4.22/2.46 num=10, depth=14..26, filters=8259, revisions=(119736,useless=111443), wck=0.104, mem=55M651
4.22/2.46 decisions=919, wrong=350, backtracks=186, failedAssignments=181, nogoods=23
4.22/2.46
4.22/2.47 num=11, depth=11..16, filters=9360, revisions=(136185,useless=126781), wck=0.113, mem=55M651
4.22/2.47 decisions=1025, wrong=397, backtracks=208, failedAssignments=209, nogoods=26
4.22/2.47
4.22/2.48 num=12, depth=15..25, filters=10379, revisions=(152133,useless=141708), wck=0.122, mem=55M651
4.22/2.48 decisions=1145, wrong=449, backtracks=232, failedAssignments=240, nogoods=35
4.22/2.48
4.22/2.49 num=13, depth=10..15, filters=11890, revisions=(172879,useless=160929), wck=0.133, mem=55M651
4.22/2.49 decisions=1270, wrong=506, backtracks=260, failedAssignments=274, nogoods=40
4.22/2.49
4.55/2.50 num=14, depth=13..19, filters=13932, revisions=(198709,useless=184710), wck=0.146, mem=55M651
4.55/2.50 decisions=1412, wrong=569, backtracks=290, failedAssignments=311, nogoods=46
4.55/2.50
4.55/2.52 num=15, depth=12..19, filters=15811, revisions=(224518,useless=208620), wck=0.159, mem=55M651
4.55/2.52 decisions=1580, wrong=646, backtracks=329, failedAssignments=352, nogoods=51
4.55/2.52
4.55/2.53 num=16, depth=13..19, filters=17577, revisions=(248327,useless=230646), wck=0.171, mem=55M651
4.55/2.53 decisions=1742, wrong=720, backtracks=363, failedAssignments=397, nogoods=54
4.55/2.53
4.55/2.54 num=17, depth=12..18, filters=19190, revisions=(272491,useless=253187), wck=0.183, mem=55M651
4.55/2.54 decisions=1930, wrong=807, backtracks=403, failedAssignments=447, nogoods=58
4.55/2.54
4.55/2.56 num=18, depth=14..19, filters=21541, revisions=(303377,useless=281703), wck=0.199, mem=55M651
4.55/2.56 decisions=2125, wrong=896, backtracks=445, failedAssignments=502, nogoods=68
4.55/2.56
4.55/2.57 num=19, depth=13..17, filters=23882, revisions=(334782,useless=310752), wck=0.214, mem=55M651
4.55/2.57 decisions=2364, wrong=1008, backtracks=500, failedAssignments=563, nogoods=74
4.55/2.57
4.55/2.59 num=20, depth=12..21, filters=25934, revisions=(366685,useless=340590), wck=0.23, mem=55M651
4.55/2.59 decisions=2616, wrong=1127, backtracks=559, failedAssignments=630, nogoods=81
4.55/2.59
4.85/2.61 num=21, depth=11..16, filters=30546, revisions=(407593,useless=376742), wck=0.25, mem=55M651
4.85/2.61 decisions=2829, wrong=1227, backtracks=587, failedAssignments=704, nogoods=86
4.85/2.61
4.85/2.63 num=22, depth=14..19, filters=34353, revisions=(446239,useless=411550), wck=0.268, mem=55M651
4.85/2.63 decisions=3068, wrong=1339, backtracks=623, failedAssignments=785, nogoods=93
4.85/2.63
4.85/2.65 num=23, depth=14..20, filters=38911, revisions=(495313,useless=456030), wck=0.291, mem=55M651
4.85/2.65 decisions=3369, wrong=1482, backtracks=684, failedAssignments=874, nogoods=101
4.85/2.65
4.85/2.67 num=24, depth=14..20, filters=43211, revisions=(550329,useless=506700), wck=0.316, mem=55M651
4.85/2.67 decisions=3732, wrong=1655, backtracks=770, failedAssignments=972, nogoods=108
4.85/2.67
5.15/2.70 num=25, depth=14..19, filters=49113, revisions=(608869,useless=559236), wck=0.343, mem=58M294
5.15/2.70 decisions=4062, wrong=1812, backtracks=826, failedAssignments=1080, nogoods=115
5.15/2.70
5.15/2.73 num=26, depth=15..21, filters=54636, revisions=(667343,useless=612060), wck=0.37, mem=58M294
5.15/2.73 decisions=4439, wrong=1992, backtracks=894, failedAssignments=1199, nogoods=126
5.15/2.73
5.15/2.76 num=27, depth=14..21, filters=60466, revisions=(739672,useless=678507), wck=0.403, mem=58M294
5.15/2.76 decisions=4928, wrong=2227, backtracks=1010, failedAssignments=1330, nogoods=133
5.15/2.76
5.15/2.79 num=28, depth=14..19, filters=68070, revisions=(815598,useless=746683), wck=0.435, mem=58M294
5.15/2.79 decisions=5364, wrong=2438, backtracks=1095, failedAssignments=1474, nogoods=137
5.15/2.79
5.46/2.83 num=29, depth=14..20, filters=77122, revisions=(904856,useless=826748), wck=0.47, mem=58M294
5.46/2.83 decisions=5846, wrong=2671, backtracks=1186, failedAssignments=1632, nogoods=147
5.46/2.83
5.46/2.86 num=30, depth=14..22, filters=85303, revisions=(995876,useless=909474), wck=0.503, mem=58M294
5.46/2.86 decisions=6432, wrong=2956, backtracks=1317, failedAssignments=1806, nogoods=159
5.46/2.86
5.69/2.90 num=31, depth=14..19, filters=95684, revisions=(1107692,useless=1010752), wck=0.542, mem=60M936
5.69/2.90 decisions=7099, wrong=3282, backtracks=1474, failedAssignments=1997, nogoods=176
5.69/2.90
5.69/2.94 num=32, depth=14..22, filters=104730, revisions=(1210449,useless=1104382), wck=0.578, mem=60M936
5.69/2.94 decisions=7826, wrong=3637, backtracks=1642, failedAssignments=2208, nogoods=183
5.69/2.94
5.69/2.98 num=33, depth=13..20, filters=116787, revisions=(1328773,useless=1210520), wck=0.618, mem=60M936
5.69/2.98 decisions=8566, wrong=4000, backtracks=1795, failedAssignments=2440, nogoods=191
5.69/2.98
5.83/3.02 num=34, depth=14..20, filters=129528, revisions=(1458918,useless=1327812), wck=0.663, mem=60M936
5.83/3.02 decisions=9347, wrong=4383, backtracks=1961, failedAssignments=2695, nogoods=199
5.83/3.02
5.83/3.08 num=35, depth=13..19, filters=144257, revisions=(1613926,useless=1467889), wck=0.718, mem=63M579
5.83/3.08 decisions=10316, wrong=4860, backtracks=2183, failedAssignments=2976, nogoods=208
5.83/3.08
6.04/3.13 num=36, depth=12..19, filters=159212, revisions=(1770576,useless=1609356), wck=0.771, mem=63M579
6.04/3.13 decisions=11325, wrong=5358, backtracks=2400, failedAssignments=3285, nogoods=215
6.04/3.13
6.04/3.19 num=37, depth=14..21, filters=178670, revisions=(1953204,useless=1772178), wck=0.834, mem=63M579
6.04/3.19 decisions=12365, wrong=5870, backtracks=2606, failedAssignments=3625, nogoods=228
6.04/3.19
6.18/3.26 num=38, depth=12..19, filters=199852, revisions=(2157843,useless=1955262), wck=0.904, mem=66M221
6.18/3.26 decisions=13603, wrong=6481, backtracks=2876, failedAssignments=3999, nogoods=239
6.18/3.26
6.28/3.33 num=39, depth=14..20, filters=221384, revisions=(2371775,useless=2147280), wck=0.976, mem=66M221
6.28/3.33 decisions=14884, wrong=7114, backtracks=3132, failedAssignments=4410, nogoods=252
6.28/3.33
6.38/3.41 num=40, depth=13..20, filters=241118, revisions=(2594750,useless=2350349), wck=1.048, mem=68M864
6.38/3.41 decisions=16368, wrong=7849, backtracks=3498, failedAssignments=4862, nogoods=266
6.38/3.41
6.38/3.49 num=41, depth=14..21, filters=265027, revisions=(2846399,useless=2577714), wck=1.132, mem=68M864
6.38/3.49 decisions=17955, wrong=8635, backtracks=3856, failedAssignments=5359, nogoods=286
6.38/3.49
6.49/3.59 num=42, depth=12..19, filters=292842, revisions=(3141606,useless=2844738), wck=1.229, mem=71M506
6.49/3.59 decisions=19858, wrong=9580, backtracks=4312, failedAssignments=5906, nogoods=301
6.49/3.59
6.70/3.70 num=43, depth=14..21, filters=329163, revisions=(3478542,useless=3144779), wck=1.34, mem=74M148
6.70/3.70 decisions=21727, wrong=10507, backtracks=4700, failedAssignments=6508, nogoods=323
6.70/3.70
6.81/3.82 num=44, depth=11..19, filters=366064, revisions=(3842097,useless=3470861), wck=1.461, mem=74M148
6.81/3.82 decisions=23918, wrong=11595, backtracks=5182, failedAssignments=7170, nogoods=327
6.81/3.82
6.91/3.93 num=45, depth=11..20, filters=394451, revisions=(4168118,useless=3768069), wck=1.567, mem=76M791
6.91/3.93 decisions=26424, wrong=12842, backtracks=5785, failedAssignments=7898, nogoods=332
6.91/3.93
7.02/4.06 num=46, depth=13..20, filters=436253, revisions=(4593777,useless=4151269), wck=1.705, mem=79M433
7.02/4.06 decisions=29018, wrong=14132, backtracks=6384, failedAssignments=8699, nogoods=352
7.02/4.06
7.21/4.23 num=47, depth=12..20, filters=487004, revisions=(5102670,useless=4608782), wck=1.871, mem=82M76
7.21/4.23 decisions=31914, wrong=15573, backtracks=7085, failedAssignments=9580, nogoods=362
7.21/4.23
7.31/4.39 num=48, depth=12..20, filters=536451, revisions=(5599888,useless=5055930), wck=2.033, mem=84M718
7.31/4.39 decisions=34996, wrong=17107, backtracks=7769, failedAssignments=10550, nogoods=392
7.31/4.39
7.52/4.59 num=49, depth=12..21, filters=595711, revisions=(6200943,useless=5596857), wck=2.228, mem=87M361
7.52/4.59 decisions=38518, wrong=18861, backtracks=8603, failedAssignments=11617, nogoods=398
7.52/4.59
7.72/4.78 num=50, depth=13..21, filters=651761, revisions=(6805012,useless=6144292), wck=2.424, mem=90M3
7.72/4.78 decisions=42450, wrong=20818, backtracks=9559, failedAssignments=12790, nogoods=415
7.72/4.78
7.92/5.00 num=51, depth=12..21, filters=713423, revisions=(7476297,useless=6753222), wck=2.641, mem=92M646
7.92/5.00 decisions=46843, wrong=23007, backtracks=10658, failedAssignments=14081, nogoods=420
7.92/5.00
8.22/5.24 num=52, depth=14..22, filters=782319, revisions=(8198258,useless=7405412), wck=2.877, mem=97M930
8.22/5.24 decisions=51526, wrong=25339, backtracks=11741, failedAssignments=15501, nogoods=427
8.22/5.24
8.59/5.53 num=53, depth=12..21, filters=868781, revisions=(9078528,useless=8198102), wck=3.168, mem=100M573
8.59/5.53 decisions=56659, wrong=27899, backtracks=12994, failedAssignments=17063, nogoods=453
8.59/5.53
8.88/5.82 num=54, depth=12..21, filters=955856, revisions=(9983521,useless=9014955), wck=3.462, mem=105M858
8.88/5.82 decisions=62278, wrong=30701, backtracks=14337, failedAssignments=18781, nogoods=460
8.88/5.82
9.19/6.13 num=55, depth=11..21, filters=1047110, revisions=(10947324,useless=9886387), wck=3.775, mem=111M143
9.19/6.13 decisions=68355, wrong=33732, backtracks=15714, failedAssignments=20671, nogoods=470
9.19/6.13
9.58/6.50 num=56, depth=10..18, filters=1158519, revisions=(12053722,useless=10879857), wck=4.139, mem=116M428
9.58/6.50 decisions=75153, wrong=37124, backtracks=17234, failedAssignments=22750, nogoods=486
9.58/6.50
9.98/6.90 num=57, depth=12..21, filters=1284132, revisions=(13286302,useless=11984999), wck=4.544, mem=124M355
9.98/6.90 decisions=82670, wrong=40874, backtracks=18937, failedAssignments=25037, nogoods=497
9.98/6.90
10.38/7.32 num=58, depth=11..21, filters=1404698, revisions=(14593723,useless=13170618), wck=4.966, mem=129M640
10.38/7.32 decisions=90919, wrong=44992, backtracks=20924, failedAssignments=27553, nogoods=514
10.38/7.32
10.88/7.82 num=59, depth=13..21, filters=1556462, revisions=(16099439,useless=14521838), wck=5.462, mem=140M209
10.88/7.82 decisions=99839, wrong=49445, backtracks=22950, failedAssignments=30321, nogoods=540
10.88/7.82
11.43/8.35 num=60, depth=11..21, filters=1711848, revisions=(17730083,useless=15995437), wck=5.99, mem=26M381
11.43/8.35 decisions=109883, wrong=54461, backtracks=25372, failedAssignments=33365, nogoods=566
11.43/8.35
11.93/8.88 num=61, depth=12..20, filters=1891145, revisions=(19432896,useless=17515731), wck=6.52, mem=36M633
11.93/8.88 decisions=120123, wrong=59574, backtracks=27474, failedAssignments=36714, nogoods=598
11.93/8.88
12.54/9.49 num=62, depth=11..20, filters=2085909, revisions=(21403375,useless=19288593), wck=7.134, mem=46M886
12.54/9.49 decisions=132070, wrong=65541, backtracks=30204, failedAssignments=40398, nogoods=618
12.54/9.49
13.25/10.13 num=63, depth=12..21, filters=2283483, revisions=(23478160,useless=21163384), wck=7.77, mem=57M138
13.25/10.13 decisions=145311, wrong=72155, backtracks=33342, failedAssignments=44450, nogoods=643
13.25/10.13
13.94/10.85 num=64, depth=11..21, filters=2496996, revisions=(25853234,useless=23322972), wck=8.494, mem=67M391
13.94/10.85 decisions=160505, wrong=79745, backtracks=37171, failedAssignments=48907, nogoods=666
13.94/10.85
14.74/11.63 num=65, depth=12..21, filters=2736778, revisions=(28365145,useless=25591945), wck=9.271, mem=80M207
14.74/11.63 decisions=176844, wrong=87908, backtracks=41052, failedAssignments=53810, nogoods=685
14.74/11.63
15.66/12.53 num=66, depth=11..21, filters=3006052, revisions=(31310399,useless=28265510), wck=10.168, mem=96M907
15.66/12.53 decisions=195404, wrong=97181, backtracks=45715, failedAssignments=59204, nogoods=693
15.66/12.53
16.67/13.58 num=67, depth=11..21, filters=3351049, revisions=(34729369,useless=31334956), wck=11.22, mem=114M849
16.67/13.58 decisions=214868, wrong=106907, backtracks=50290, failedAssignments=65137, nogoods=708
16.67/13.58
17.77/14.64 num=68, depth=12..21, filters=3685026, revisions=(38223608,useless=34491775), wck=12.278, mem=130M228
17.77/14.64 decisions=236371, wrong=117651, backtracks=55471, failedAssignments=71663, nogoods=733
17.77/14.64
18.98/15.85 num=69, depth=11..21, filters=4071114, revisions=(42173477,useless=38050797), wck=13.493, mem=150M733
18.98/15.85 decisions=260095, wrong=129505, backtracks=61349, failedAssignments=78842, nogoods=750
18.98/15.85
20.41/17.20 num=70, depth=12..22, filters=4514289, revisions=(46511714,useless=41939169), wck=14.841, mem=41M875
20.41/17.20 decisions=285302, wrong=142101, backtracks=67146, failedAssignments=86739, nogoods=777
20.41/17.20
21.71/18.57 num=71, depth=10..21, filters=4932349, revisions=(51007390,useless=46012182), wck=16.21, mem=65M109
21.71/18.57 decisions=313467, wrong=156177, backtracks=73681, failedAssignments=95426, nogoods=791
21.71/18.57
23.22/20.08 num=72, depth=11..22, filters=5389801, revisions=(56003765,useless=50546112), wck=17.726, mem=88M344
23.22/20.08 decisions=345661, wrong=172267, backtracks=81761, failedAssignments=104981, nogoods=817
23.22/20.08
25.01/21.83 num=73, depth=10..21, filters=5929570, revisions=(61693306,useless=55689557), wck=19.471, mem=114M160
25.01/21.83 decisions=380919, wrong=189890, backtracks=90515, failedAssignments=115492, nogoods=838
25.01/21.83
26.81/23.65 num=74, depth=11..21, filters=6487810, revisions=(67651815,useless=61083864), wck=21.288, mem=142M559
26.81/23.65 decisions=418924, wrong=208886, backtracks=99748, failedAssignments=127054, nogoods=867
26.81/23.65
29.05/25.80 num=75, depth=11..21, filters=7157229, revisions=(74612408,useless=67367189), wck=23.439, mem=46M209
29.05/25.80 decisions=461665, wrong=230249, backtracks=110559, failedAssignments=139772, nogoods=898
29.05/25.80
31.15/27.95 num=76, depth=10..21, filters=7806982, revisions=(81648487,useless=73746912), wck=25.59, mem=77M403
31.15/27.95 decisions=508175, wrong=253497, backtracks=122059, failedAssignments=153762, nogoods=920
31.15/27.95
33.65/30.49 num=77, depth=11..21, filters=8628485, revisions=(89902354,useless=81167818), wck=28.132, mem=121M74
33.65/30.49 decisions=557639, wrong=278221, backtracks=133606, failedAssignments=169151, nogoods=930
33.65/30.49
36.45/33.26 num=78, depth=10..21, filters=9463553, revisions=(99001341,useless=89422651), wck=30.902, mem=164M745
36.45/33.26 decisions=614150, wrong=306469, backtracks=147424, failedAssignments=186079, nogoods=948
36.45/33.26
39.48/36.26 num=79, depth=11..21, filters=10355855, revisions=(108816309,useless=98336951), wck=33.903, mem=51M999
39.48/36.26 decisions=676844, wrong=337809, backtracks=163250, failedAssignments=204700, nogoods=983
39.48/36.26
42.88/39.62 num=80, depth=10..21, filters=11358924, revisions=(119844598,useless=108351183), wck=37.266, mem=101M177
42.88/39.62 decisions=747647, wrong=373204, backtracks=181049, failedAssignments=225184, nogoods=1012
42.88/39.62
46.58/43.31 num=81, depth=11..21, filters=12538290, revisions=(131790365,useless=119100617), wck=40.947, mem=165M723
46.58/43.31 decisions=820640, wrong=409693, backtracks=198191, failedAssignments=247716, nogoods=1043
46.58/43.31
50.43/47.13 num=82, depth=9..22, filters=13604338, revisions=(144307825,useless=130542614), wck=44.77, mem=60M544
50.43/47.13 decisions=907532, wrong=453132, backtracks=221335, failedAssignments=272501, nogoods=1067
50.43/47.13
54.73/51.48 num=83, depth=10..22, filters=14940404, revisions=(158563784,useless=143445421), wck=49.121, mem=133M64
54.73/51.48 decisions=998621, wrong=498670, backtracks=243408, failedAssignments=299765, nogoods=1078
54.73/51.48
59.75/56.49 num=84, depth=9..20, filters=16502075, revisions=(174693677,useless=157995415), wck=54.132, mem=62M929
59.75/56.49 decisions=1097226, wrong=547965, backtracks=266400, failedAssignments=329755, nogoods=1090
59.75/56.49
65.16/61.83 num=85, depth=10..22, filters=18097286, revisions=(192315267,useless=174006419), wck=59.473, mem=140M309
65.16/61.83 decisions=1210463, wrong=604576, backtracks=295183, failedAssignments=362744, nogoods=1109
65.16/61.83
71.18/67.83 num=86, depth=9..21, filters=19959032, revisions=(211650979,useless=191458514), wck=65.474, mem=91M571
71.18/67.83 decisions=1329910, wrong=664293, backtracks=323080, failedAssignments=399032, nogoods=1130
71.18/67.83
77.40/74.07 num=87, depth=10..22, filters=21823945, revisions=(231993862,useless=209906499), wck=71.712, mem=44M324
77.40/74.07 decisions=1461051, wrong=729856, backtracks=354058, failedAssignments=438949, nogoods=1147
77.40/74.07
84.79/81.43 num=88, depth=10..22, filters=24123753, revisions=(256126161,useless=231712993), wck=79.068, mem=162M346
84.79/81.43 decisions=1606621, wrong=802635, backtracks=390472, failedAssignments=482858, nogoods=1176
84.79/81.43
92.60/89.26 num=89, depth=9..22, filters=26443295, revisions=(281885700,useless=255130164), wck=86.9, mem=128M758
92.60/89.26 decisions=1769413, wrong=884024, backtracks=431900, failedAssignments=531158, nogoods=1209
92.60/89.26
101.32/97.90 num=90, depth=9..21, filters=28985358, revisions=(310363377,useless=281042435), wck=95.542, mem=110M149
101.32/97.90 decisions=1950348, wrong=974484, backtracks=479439, failedAssignments=584288, nogoods=1222
101.32/97.90
110.53/107.14 num=91, depth=9..22, filters=31711585, revisions=(340649161,useless=308573074), wck=104.783, mem=108M495
110.53/107.14 decisions=2144975, wrong=1071792, backtracks=526974, failedAssignments=642731, nogoods=1246
110.53/107.14
121.23/117.87 num=92, depth=9..21, filters=34995865, revisions=(375644374,useless=340247736), wck=115.509, mem=139M403
121.23/117.87 decisions=2359736, wrong=1179167, backtracks=579172, failedAssignments=707018, nogoods=1277
121.23/117.87
132.65/129.21 num=93, depth=9..21, filters=38431765, revisions=(412666081,useless=373797397), wck=126.849, mem=44M696
132.65/129.21 decisions=2598950, wrong=1298767, backtracks=639146, failedAssignments=777734, nogoods=1295
132.65/129.21
145.57/142.16 num=94, depth=10..22, filters=42423044, revisions=(454632746,useless=411722947), wck=139.806, mem=121M102
145.57/142.16 decisions=2863582, wrong=1431077, backtracks=704240, failedAssignments=855521, nogoods=1336
145.57/142.16
159.88/156.46 num=95, depth=9..22, filters=46599586, revisions=(501415781,useless=454292040), wck=154.101, mem=63M445
159.88/156.46 decisions=3159397, wrong=1578977, backtracks=781056, failedAssignments=941087, nogoods=1357
159.88/156.46
174.50/171.08 num=96, depth=8..22, filters=50740982, revisions=(549096404,useless=497793277), wck=168.726, mem=143M18
174.50/171.08 decisions=3480524, wrong=1739534, backtracks=861186, failedAssignments=1035210, nogoods=1379
174.50/171.08
191.63/188.12 num=97, depth=10..22, filters=55964849, revisions=(604308821,useless=547720182), wck=185.765, mem=49M369
191.63/188.12 decisions=3824186, wrong=1911358, backtracks=945977, failedAssignments=1138745, nogoods=1397
191.63/188.12
210.67/207.19 num=98, depth=9..22, filters=61613368, revisions=(666211273,useless=603916321), wck=204.834, mem=96M235
210.67/207.19 decisions=4210393, wrong=2104454, backtracks=1044115, failedAssignments=1252634, nogoods=1426
210.67/207.19
231.19/227.65 num=99, depth=9..22, filters=67661687, revisions=(733289512,useless=664890391), wck=225.288, mem=51M954
231.19/227.65 decisions=4637952, wrong=2318227, backtracks=1153697, failedAssignments=1377912, nogoods=1460
231.19/227.65
254.73/251.19 num=100, depth=9..22, filters=74747092, revisions=(809565205,useless=734004019), wck=248.828, mem=79M748
254.73/251.19 decisions=5109025, wrong=2553757, backtracks=1276427, failedAssignments=1515718, nogoods=1475
254.73/251.19
279.54/276.00 num=101, depth=9..22, filters=81993941, revisions=(891178736,useless=808307852), wck=273.638, mem=27M603
279.54/276.00 decisions=5626588, wrong=2812532, backtracks=1410224, failedAssignments=1667304, nogoods=1506
279.54/276.00
308.18/304.51 num=102, depth=9..22, filters=90750463, revisions=(983443260,useless=891715583), wck=302.153, mem=78M361
308.18/304.51 decisions=6187704, wrong=3093083, backtracks=1551384, failedAssignments=1834049, nogoods=1542
308.18/304.51
337.00/333.35 num=103, depth=8..22, filters=98898172, revisions=(1077844962,useless=977897018), wck=330.996, mem=99M307
337.00/333.35 decisions=6808579, wrong=3403513, backtracks=1706462, failedAssignments=2017468, nogoods=1569
337.00/333.35
371.16/367.48 num=104, depth=8..21, filters=109209591, revisions=(1186566574,useless=1076191513), wck=365.118, mem=46M655
371.16/367.48 decisions=7484232, wrong=3741334, backtracks=1867218, failedAssignments=2219229, nogoods=1606
371.16/367.48
407.40/403.68 num=105, depth=9..23, filters=119844055, revisions=(1304725153,useless=1183602399), wck=401.318, mem=93M722
407.40/403.68 decisions=8245141, wrong=4121782, backtracks=2061608, failedAssignments=2441167, nogoods=1633
407.40/403.68
447.06/443.28 num=106, depth=8..22, filters=131262568, revisions=(1434435505,useless=1301790512), wck=440.917, mem=24M834
447.06/443.28 decisions=9072923, wrong=4535666, backtracks=2273324, failedAssignments=2685298, nogoods=1648
447.06/443.28
491.70/487.84 num=107, depth=8..22, filters=144241486, revisions=(1579199070,useless=1433460590), wck=485.478, mem=76M316
491.70/487.84 decisions=9997997, wrong=4998196, backtracks=2508604, failedAssignments=2953843, nogoods=1680
491.70/487.84
539.57/535.64 num=108, depth=9..22, filters=158415234, revisions=(1734748431,useless=1574687613), wck=533.279, mem=50M87
539.57/535.64 decisions=10997434, wrong=5497907, backtracks=2761091, failedAssignments=3249242, nogoods=1710
539.57/535.64
591.36/587.35 num=109, depth=8..22, filters=173245394, revisions=(1902615197,useless=1727586613), wck=584.994, mem=35M809
591.36/587.35 decisions=12119002, wrong=6058685, backtracks=3050588, failedAssignments=3574181, nogoods=1741
591.36/587.35
649.65/645.52 num=110, depth=7..21, filters=190068870, revisions=(2089868073,useless=1897844962), wck=643.164, mem=36M884
649.65/645.52 decisions=13323814, wrong=6661084, backtracks=3342166, failedAssignments=3931614, nogoods=1766
649.65/645.52
713.45/709.29 num=111, depth=8..22, filters=208293627, revisions=(2299136047,useless=2088726726), wck=706.929, mem=46M542
713.45/709.29 decisions=14685112, wrong=7341726, backtracks=3693449, failedAssignments=4324790, nogoods=1790
713.45/709.29
787.16/782.83 num=112, depth=8..22, filters=229835111, revisions=(2539925349,useless=2307785863), wck=780.471, mem=52M984
787.16/782.83 decisions=16175182, wrong=8086754, backtracks=4084343, failedAssignments=4757284, nogoods=1806
787.16/782.83
863.78/859.39 num=113, depth=8..23, filters=251495989, revisions=(2790380463,useless=2536378014), wck=857.035, mem=26M262
863.78/859.39 decisions=17802692, wrong=8900503, backtracks=4501046, failedAssignments=5233028, nogoods=1830
863.78/859.39
948.52/943.99 num=114, depth=8..22, filters=275761797, revisions=(3068269917,useless=2789767507), wck=941.636, mem=56M234
948.52/943.99 decisions=19570801, wrong=9784550, backtracks=4948123, failedAssignments=5756346, nogoods=1854
948.52/943.99
1044.24/1039.53 num=115, depth=8..22, filters=304065959, revisions=(3378287289,useless=3071186288), wck=1037.173, mem=30M589
1044.24/1039.53 decisions=21514550, wrong=10756418, backtracks=5434072, failedAssignments=6331996, nogoods=1886
1044.24/1039.53
1149.28/1144.47 num=116, depth=8..22, filters=333776976, revisions=(3721568594,useless=3384513380), wck=1142.109, mem=33M831
1149.28/1144.47 decisions=23719256, wrong=11858764, backtracks=6019319, failedAssignments=6965211, nogoods=1907
1149.28/1144.47
1264.14/1259.13 num=117, depth=8..22, filters=366677364, revisions=(4098575929,useless=3728324405), wck=1256.767, mem=62M733
1264.14/1259.13 decisions=26122892, wrong=13060576, backtracks=6645516, failedAssignments=7661747, nogoods=1929
1264.14/1259.13
1385.19/1380.09 num=118, depth=7..22, filters=400497728, revisions=(4494226415,useless=4089841639), wck=1377.736, mem=63M827
1385.19/1380.09 decisions=28715765, wrong=14357005, backtracks=7299841, failedAssignments=8427937, nogoods=1955
1385.19/1380.09
1527.83/1522.58 num=119, depth=7..22, filters=442224850, revisions=(4955784503,useless=4509242565), wck=1520.222, mem=69M191
1527.83/1522.58 decisions=31594998, wrong=15796615, backtracks=8029858, failedAssignments=9270746, nogoods=1972
1527.83/1522.58
1686.91/1681.43 num=120, depth=8..22, filters=490779779, revisions=(5471176254,useless=4975527261), wck=1679.076, mem=66M7
1686.91/1681.43 decisions=34719423, wrong=17358821, backtracks=8804979, failedAssignments=10197836, nogoods=1998
1686.91/1681.43
1857.27/1851.69 num=121, depth=7..22, filters=539147333, revisions=(6029393059,useless=5484964208), wck=1849.33, mem=57M484
1857.27/1851.69 decisions=38255646, wrong=19126925, backtracks=9744588, failedAssignments=11217635, nogoods=2025
1857.27/1851.69
2030.86/2025.01 num=122, depth=7..22, filters=588013571, revisions=(6595656604,useless=6001698807), wck=2022.655, mem=54M299
2030.86/2025.01 decisions=42006156, wrong=21002174, backtracks=10657387, failedAssignments=12339414, nogoods=2060
2030.86/2025.01
2239.84/2233.85 num=123, depth=8..23, filters=647678937, revisions=(7277272355,useless=6623124734), wck=2231.496, mem=31M864
2239.84/2233.85 decisions=46321524, wrong=23159852, backtracks=11804361, failedAssignments=13573371, nogoods=2100
2239.84/2233.85
2455.95/2449.75 num=124, depth=7..22, filters=708469916, revisions=(7983258593,useless=7267718963), wck=2447.393, mem=29M757
2455.95/2449.75 decisions=50896467, wrong=25447316, backtracks=12946631, failedAssignments=14930724, nogoods=2143
2455.95/2449.75
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 (9231 MiB free)
memory of node 1: 16384 MiB (13961 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390658-1568383863/watcher-4390658-1568383863 -o /tmp/evaluation-result-4390658-1568383863/solver-4390658-1568383863 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10797 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390658-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=12264, runsolver pid=12261
[startup+0.100154 s]*
/proc/loadavg: 1.87 1.76 1.65 5/231 12279
/proc/meminfo: memFree=23732536/32770624 swapFree=66939832/67108860
[pid=12264] ppid=12261 vsize=10659884 memory=29248 CPUtime=0.14 cores=1,3,5,7
/proc/12264/stat : 12264 (java) S 12261 12264 10765 0 -1 1077944320 5292 0 0 0 13 1 0 0 20 0 15 0 414301199 10915721216 7312 33554432000 4194304 4196468 140722258099712 140722258082256 139860191375095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
/proc/12264/statm: 2664971 7312 2910 1 0 2627468 0
[pid=12264/tid=12266] ppid=12261 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/12264/task/12266/stat : 12266 (java) R 12261 12264 10765 0 -1 4202560 2983 0 0 0 9 0 0 0 20 0 15 0 414301199 10915721216 7510 33554432000 4194304 4196468 140722258099712 139860195606536 139860172769197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12267] ppid=12261 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12267/stat : 12267 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10915721216 7510 33554432000 4194304 4196468 140722258099712 139860117449872 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12268] ppid=12261 vsize=10659884 memory=139863021590144 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12268/stat : 12268 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10915721216 7510 33554432000 4194304 4196468 140722258099712 139860116397072 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12269] ppid=12261 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12269/stat : 12269 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10915721216 7510 33554432000 4194304 4196468 140722258099712 139860115344272 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12270] ppid=12261 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12270/stat : 12270 (java) S 12261 12264 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301200 10915721216 7510 33554432000 4194304 4196468 140722258099712 139860114291472 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12271] ppid=12261 vsize=10659884 memory=139863021590144 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12271/stat : 12271 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301201 10915721216 7510 33554432000 4194304 4196468 140722258099712 139859682335088 139860191386242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12272] ppid=12261 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12272/stat : 12272 (java) S 12261 12264 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414301202 10915721216 7576 33554432000 4194304 4196468 140722258099712 139859681281056 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12273] ppid=12261 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12273/stat : 12273 (java) S 12261 12264 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414301202 10915721216 7576 33554432000 4194304 4196468 140722258099712 139859680228208 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12274] ppid=12261 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12274/stat : 12274 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301204 10915721216 7576 33554432000 4194304 4196468 140722258099712 139859679176528 139860191393691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12275] ppid=12261 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12264/task/12275/stat : 12275 (java) R 12261 12264 10765 0 -1 4202560 603 0 0 0 1 0 0 0 20 0 15 0 414301204 10915721216 7576 33554432000 4194304 4196468 140722258099712 139859678105928 139860183664477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12276] ppid=12261 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12276/stat : 12276 (java) S 12261 12264 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301204 10915721216 7576 33554432000 4194304 4196468 140722258099712 139859677072112 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12277] ppid=12261 vsize=10659884 memory=139863021590144 CPUtime=0.02 cores=1,3,5,7
/proc/12264/task/12277/stat : 12277 (java) R 12261 12264 10765 0 -1 4202560 583 0 0 0 2 0 0 0 20 0 15 0 414301204 10915721216 7576 33554432000 4194304 4196468 140722258099712 139859676015368 139860170316686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12278] ppid=12261 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12278/stat : 12278 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301204 10915721216 7576 33554432000 4194304 4196468 140722258099712 139859674966752 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12279] ppid=12261 vsize=10659884 memory=139863021590144 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12279/stat : 12279 (java) S 12261 12264 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301205 10915721216 7576 33554432000 4194304 4196468 140722258099712 139859673914032 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29248 KiB
[startup+0.211771 s]*
/proc/loadavg: 1.87 1.76 1.65 3/231 12279
/proc/meminfo: memFree=23725900/32770624 swapFree=66939832/67108860
[pid=12264] ppid=12261 vsize=10659884 memory=35352 CPUtime=0.33 cores=1,3,5,7
/proc/12264/stat : 12264 (java) S 12261 12264 10765 0 -1 1077944320 6509 0 0 0 32 1 0 0 20 0 15 0 414301199 10915721216 8838 33554432000 4194304 4196468 140722258099712 140722258082256 139860191375095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
/proc/12264/statm: 2664971 8838 2989 1 0 2627468 0
[pid=12264/tid=12266] ppid=12261 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/12264/task/12266/stat : 12266 (java) R 12261 12264 10765 0 -1 4202560 3451 0 0 0 20 0 0 0 20 0 15 0 414301199 10915721216 8838 33554432000 4194304 4196468 140722258099712 139860195607184 139860191397021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12267] ppid=12261 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12267/stat : 12267 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10915721216 8838 33554432000 4194304 4196468 140722258099712 139860117449872 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12268] ppid=12261 vsize=10659884 memory=139863021602544 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12268/stat : 12268 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10915721216 8838 33554432000 4194304 4196468 140722258099712 139860116397072 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12269] ppid=12261 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12269/stat : 12269 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10915721216 8838 33554432000 4194304 4196468 140722258099712 139860115344272 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12270] ppid=12261 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12270/stat : 12270 (java) S 12261 12264 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301200 10915721216 8838 33554432000 4194304 4196468 140722258099712 139860114291472 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12271] ppid=12261 vsize=10659884 memory=139863021590144 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12271/stat : 12271 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301201 10915721216 8838 33554432000 4194304 4196468 140722258099712 139859682335088 139860191386242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12272] ppid=12261 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12272/stat : 12272 (java) S 12261 12264 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414301202 10915721216 8838 33554432000 4194304 4196468 140722258099712 139859681281056 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12273] ppid=12261 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12273/stat : 12273 (java) S 12261 12264 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414301202 10915721216 8838 33554432000 4194304 4196468 140722258099712 139859680228208 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12274] ppid=12261 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12274/stat : 12274 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301204 10915721216 8838 33554432000 4194304 4196468 140722258099712 139859679176528 139860191393691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12275] ppid=12261 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12264/task/12275/stat : 12275 (java) S 12261 12264 10765 0 -1 1077944384 927 0 0 0 4 0 0 0 20 0 15 0 414301204 10915721216 8838 33554432000 4194304 4196468 140722258099712 139859678124912 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12276] ppid=12261 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12264/task/12276/stat : 12276 (java) S 12261 12264 10765 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 15 0 414301204 10915721216 8838 33554432000 4194304 4196468 140722258099712 139859677072112 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12277] ppid=12261 vsize=10659884 memory=139863021590144 CPUtime=0.05 cores=1,3,5,7
/proc/12264/task/12277/stat : 12277 (java) S 12261 12264 10765 0 -1 1077944384 690 0 0 0 5 0 0 0 20 0 15 0 414301204 10915721216 8838 33554432000 4194304 4196468 140722258099712 139859676019312 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12278] ppid=12261 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12278/stat : 12278 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301204 10915721216 8838 33554432000 4194304 4196468 140722258099712 139859674966752 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12279] ppid=12261 vsize=10659884 memory=139863021590144 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12279/stat : 12279 (java) S 12261 12264 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301205 10915721216 8838 33554432000 4194304 4196468 140722258099712 139859673914032 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35352 KiB
[startup+0.310208 s]*
/proc/loadavg: 1.87 1.76 1.65 5/231 12279
/proc/meminfo: memFree=23718836/32770624 swapFree=66939832/67108860
[pid=12264] ppid=12261 vsize=10659884 memory=40260 CPUtime=0.47 cores=1,3,5,7
/proc/12264/stat : 12264 (java) S 12261 12264 10765 0 -1 1077944320 9097 0 0 0 45 2 0 0 20 0 15 0 414301199 10915721216 10065 33554432000 4194304 4196468 140722258099712 140722258082256 139860191375095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
/proc/12264/statm: 2664971 10065 3001 1 0 2627468 0
[pid=12264/tid=12266] ppid=12261 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/12264/task/12266/stat : 12266 (java) R 12261 12264 10765 0 -1 4202560 5972 0 0 0 28 2 0 0 20 0 15 0 414301199 10915721216 10065 33554432000 4194304 4196468 140722258099712 139860195606896 139860191387030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12267] ppid=12261 vsize=10659884 memory=10528 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12267/stat : 12267 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10915721216 10065 33554432000 4194304 4196468 140722258099712 139860117449872 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12268] ppid=12261 vsize=10659884 memory=139863021602543 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12268/stat : 12268 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10915721216 10065 33554432000 4194304 4196468 140722258099712 139860116397072 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12269] ppid=12261 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12269/stat : 12269 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10915721216 10065 33554432000 4194304 4196468 140722258099712 139860115344272 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12270] ppid=12261 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12270/stat : 12270 (java) S 12261 12264 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301200 10915721216 10065 33554432000 4194304 4196468 140722258099712 139860114291472 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12271] ppid=12261 vsize=10659884 memory=139863021590144 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12271/stat : 12271 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301201 10915721216 10065 33554432000 4194304 4196468 140722258099712 139859682335088 139860191386242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12272] ppid=12261 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12272/stat : 12272 (java) S 12261 12264 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414301202 10915721216 10065 33554432000 4194304 4196468 140722258099712 139859681281056 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12273] ppid=12261 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12273/stat : 12273 (java) S 12261 12264 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414301202 10915721216 10065 33554432000 4194304 4196468 140722258099712 139859680228208 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12274] ppid=12261 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12274/stat : 12274 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301204 10915721216 10065 33554432000 4194304 4196468 140722258099712 139859679176528 139860191393691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12275] ppid=12261 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12264/task/12275/stat : 12275 (java) S 12261 12264 10765 0 -1 1077944384 976 0 0 0 5 0 0 0 20 0 15 0 414301204 10915721216 10065 33554432000 4194304 4196468 140722258099712 139859678124912 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12276] ppid=12261 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12264/task/12276/stat : 12276 (java) S 12261 12264 10765 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 15 0 414301204 10915721216 10065 33554432000 4194304 4196468 140722258099712 139859677072112 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12277] ppid=12261 vsize=10659884 memory=139863021590144 CPUtime=0.08 cores=1,3,5,7
/proc/12264/task/12277/stat : 12277 (java) S 12261 12264 10765 0 -1 1077944384 703 0 0 0 8 0 0 0 20 0 15 0 414301204 10915721216 10065 33554432000 4194304 4196468 140722258099712 139859676019312 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12278] ppid=12261 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12278/stat : 12278 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301204 10915721216 10065 33554432000 4194304 4196468 140722258099712 139859674966752 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12279] ppid=12261 vsize=10659884 memory=139863021590144 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12279/stat : 12279 (java) S 12261 12264 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301205 10915721216 10065 33554432000 4194304 4196468 140722258099712 139859673914032 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40260 KiB
[startup+0.700786 s]
/proc/loadavg: 1.87 1.76 1.65 3/231 12279
/proc/meminfo: memFree=23709648/32770624 swapFree=66939832/67108860
[pid=12264] ppid=12261 vsize=10661932 memory=64060 CPUtime=1.11 cores=1,3,5,7
/proc/12264/stat : 12264 (java) S 12261 12264 10765 0 -1 1077944320 12710 0 0 0 107 4 0 0 20 0 15 0 414301199 10917818368 16015 33554432000 4194304 4196468 140722258099712 140722258082256 139860191375095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
/proc/12264/statm: 2665483 16015 3064 1 0 2627980 0
[pid=12264/tid=12266] ppid=12261 vsize=10661932 memory=14056 CPUtime=0.68 cores=1,3,5,7
/proc/12264/task/12266/stat : 12266 (java) R 12261 12264 10765 0 -1 4202560 8405 0 0 0 65 3 0 0 20 0 15 0 414301199 10917818368 16015 33554432000 4194304 4196468 140722258099712 139860195600976 139860172938716 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12267] ppid=12261 vsize=10661932 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12267/stat : 12267 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10917818368 16015 33554432000 4194304 4196468 140722258099712 139860117449872 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12268] ppid=12261 vsize=10661932 memory=520 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12268/stat : 12268 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10917818368 16015 33554432000 4194304 4196468 140722258099712 139860116397072 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12269] ppid=12261 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12269/stat : 12269 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10917818368 16015 33554432000 4194304 4196468 140722258099712 139860115344272 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12270] ppid=12261 vsize=10661932 memory=924 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12270/stat : 12270 (java) S 12261 12264 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301200 10917818368 16015 33554432000 4194304 4196468 140722258099712 139860114291472 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12271] ppid=12261 vsize=10661932 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12271/stat : 12271 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301201 10917818368 16015 33554432000 4194304 4196468 140722258099712 139859682335088 139860191386242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12272] ppid=12261 vsize=10661932 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12272/stat : 12272 (java) S 12261 12264 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414301202 10917818368 16015 33554432000 4194304 4196468 140722258099712 139859681281056 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12273] ppid=12261 vsize=10661932 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12273/stat : 12273 (java) S 12261 12264 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414301202 10917818368 16015 33554432000 4194304 4196468 140722258099712 139859680228208 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12274] ppid=12261 vsize=10661932 memory=812 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12274/stat : 12274 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301204 10917818368 16015 33554432000 4194304 4196468 140722258099712 139859679176528 139860191393691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12275] ppid=12261 vsize=10661932 memory=7086240636179272035 CPUtime=0.12 cores=1,3,5,7
/proc/12264/task/12275/stat : 12275 (java) S 12261 12264 10765 0 -1 1077944384 1289 0 0 0 12 0 0 0 20 0 15 0 414301204 10917818368 16015 33554432000 4194304 4196468 140722258099712 139859678124912 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12276] ppid=12261 vsize=10661932 memory=7453282923444726100 CPUtime=0.1 cores=1,3,5,7
/proc/12264/task/12276/stat : 12276 (java) R 12261 12264 10765 0 -1 4202560 443 0 0 0 10 0 0 0 20 0 15 0 414301204 10917818368 16015 33554432000 4194304 4196468 140722258099712 139859677072112 139860172920621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12277] ppid=12261 vsize=10661932 memory=7223879631928058176 CPUtime=0.19 cores=1,3,5,7
/proc/12264/task/12277/stat : 12277 (java) S 12261 12264 10765 0 -1 1077944384 1212 0 0 0 19 0 0 0 20 0 15 0 414301204 10917818368 16015 33554432000 4194304 4196468 140722258099712 139859676019312 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12278] ppid=12261 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12278/stat : 12278 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301204 10917818368 16015 33554432000 4194304 4196468 140722258099712 139859674966752 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12279] ppid=12261 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12279/stat : 12279 (java) S 12261 12264 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301205 10917818368 16015 33554432000 4194304 4196468 140722258099712 139859673914032 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64060 KiB
[startup+1.50078 s]
/proc/loadavg: 1.87 1.76 1.65 3/231 12279
/proc/meminfo: memFree=23693332/32770624 swapFree=66939832/67108860
[pid=12264] ppid=12261 vsize=10663980 memory=76052 CPUtime=2 cores=1,3,5,7
/proc/12264/stat : 12264 (java) S 12261 12264 10765 0 -1 1077944320 18014 0 0 0 195 5 0 0 20 0 15 0 414301199 10919915520 19013 33554432000 4194304 4196468 140722258099712 140722258082256 139860191375095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
/proc/12264/statm: 2665995 19013 3096 1 0 2628492 0
[pid=12264/tid=12266] ppid=12261 vsize=10663980 memory=6493990552776 CPUtime=1.48 cores=1,3,5,7
/proc/12264/task/12266/stat : 12266 (java) R 12261 12264 10765 0 -1 4202560 12431 0 0 0 144 4 0 0 20 0 15 0 414301199 10919915520 19013 33554432000 4194304 4196468 140722258099712 139860195615376 139860147990242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12267] ppid=12261 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12267/stat : 12267 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10919915520 19013 33554432000 4194304 4196468 140722258099712 139860117449872 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12268] ppid=12261 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12268/stat : 12268 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10919915520 19013 33554432000 4194304 4196468 140722258099712 139860116397072 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12269] ppid=12261 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12269/stat : 12269 (java) S 12261 12264 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301200 10919915520 19013 33554432000 4194304 4196468 140722258099712 139860115344272 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12270] ppid=12261 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12270/stat : 12270 (java) S 12261 12264 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301200 10919915520 19013 33554432000 4194304 4196468 140722258099712 139860114291472 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12271] ppid=12261 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12271/stat : 12271 (java) S 12261 12264 10765 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 414301201 10919915520 19013 33554432000 4194304 4196468 140722258099712 139859682335088 139860191386242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
################
# More data... #
################
/proc/12264/task/12270/stat : 12270 (java) S 12261 12264 10765 0 -1 1077944384 5206 0 0 0 85 4 0 0 20 0 16 0 414301200 11006283776 52948 33554432000 4194304 4196468 140722258099712 139860114291472 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12271] ppid=12261 vsize=10748324 memory=211792 CPUtime=0.43 cores=1,3,5,7
/proc/12264/task/12271/stat : 12271 (java) S 12261 12264 10765 0 -1 1077944384 6935 0 0 0 38 5 0 0 20 0 16 0 414301201 11006283776 52948 33554432000 4194304 4196468 140722258099712 139859682335088 139860191386242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12272] ppid=12261 vsize=10748324 memory=211792 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12272/stat : 12272 (java) S 12261 12264 10765 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414301202 11006283776 52948 33554432000 4194304 4196468 140722258099712 139859681281120 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12273] ppid=12261 vsize=10748324 memory=211792 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12273/stat : 12273 (java) S 12261 12264 10765 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414301202 11006283776 52948 33554432000 4194304 4196468 140722258099712 139859680228224 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12274] ppid=12261 vsize=10748324 memory=211792 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12274/stat : 12274 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301204 11006283776 52948 33554432000 4194304 4196468 140722258099712 139859679176528 139860191393691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12275] ppid=12261 vsize=10748324 memory=211792 CPUtime=1.24 cores=1,3,5,7
/proc/12264/task/12275/stat : 12275 (java) S 12261 12264 10765 0 -1 1077944384 8126 0 0 0 123 1 0 0 20 0 16 0 414301204 11006283776 52948 33554432000 4194304 4196468 140722258099712 139859678124912 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12276] ppid=12261 vsize=10748324 memory=211792 CPUtime=1.23 cores=1,3,5,7
/proc/12264/task/12276/stat : 12276 (java) S 12261 12264 10765 0 -1 1077944384 7192 0 0 0 122 1 0 0 20 0 16 0 414301204 11006283776 52948 33554432000 4194304 4196468 140722258099712 139859677072112 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12277] ppid=12261 vsize=10748324 memory=139862859149283 CPUtime=0.71 cores=1,3,5,7
/proc/12264/task/12277/stat : 12277 (java) S 12261 12264 10765 0 -1 1077944384 8458 0 0 0 70 1 0 0 20 0 16 0 414301204 11006283776 52948 33554432000 4194304 4196468 140722258099712 139859676019312 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12278] ppid=12261 vsize=10748324 memory=211792 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12278/stat : 12278 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301204 11006283776 52948 33554432000 4194304 4196468 140722258099712 139859674966752 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12279] ppid=12261 vsize=10748324 memory=211792 CPUtime=0.48 cores=1,3,5,7
/proc/12264/task/12279/stat : 12279 (java) S 12261 12264 10765 0 -1 1077944384 1130 0 0 0 22 26 0 0 20 0 16 0 414301205 11006283776 52948 33554432000 4194304 4196468 140722258099712 139859673914032 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12280] ppid=12261 vsize=10748324 memory=211792 CPUtime=2438.97 cores=1,3,5,7
/proc/12264/task/12280/stat : 12280 (java) R 12261 12264 10765 0 -1 4202560 15993 0 0 0 243892 5 0 0 20 0 16 0 414301386 11006283776 52948 33554432000 4194304 4196468 140722258099712 139859657252272 139859795723355 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
Current children cumulated CPU time: 2448.55 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 211792 KiB
[startup+2502.3 s]
/proc/loadavg: 1.88 1.95 1.87 3/230 12662
/proc/meminfo: memFree=22065044/32770624 swapFree=66939836/67108860
[pid=12264] ppid=12261 vsize=10748324 memory=213664 CPUtime=2508.64 cores=1,3,5,7
/proc/12264/stat : 12264 (java) S 12261 12264 10765 0 -1 1077944320 85107 0 0 0 250813 51 0 0 20 0 16 0 414301199 11006283776 53416 33554432000 4194304 4196468 140722258099712 140722258082256 139860191375095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
/proc/12264/statm: 2687081 53416 3376 1 0 2647217 0
[pid=12264/tid=12266] ppid=12261 vsize=10748324 memory=213664 CPUtime=1.85 cores=1,3,5,7
/proc/12264/task/12266/stat : 12266 (java) S 12261 12264 10765 0 -1 1077944384 14559 0 0 0 180 5 0 0 20 0 16 0 414301199 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860195617968 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12267] ppid=12261 vsize=10748324 memory=279725717645760 CPUtime=0.92 cores=1,3,5,7
/proc/12264/task/12267/stat : 12267 (java) S 12261 12264 10765 0 -1 1077944384 6375 0 0 0 89 3 0 0 20 0 16 0 414301200 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860117449872 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12268] ppid=12261 vsize=10748324 memory=211792 CPUtime=0.91 cores=1,3,5,7
/proc/12264/task/12268/stat : 12268 (java) S 12261 12264 10765 0 -1 1077944384 4453 0 0 0 88 3 0 0 20 0 16 0 414301200 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860116397072 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12269] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.9 cores=1,3,5,7
/proc/12264/task/12269/stat : 12269 (java) S 12261 12264 10765 0 -1 1077944384 4582 0 0 0 87 3 0 0 20 0 16 0 414301200 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860115344272 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12270] ppid=12261 vsize=10748324 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/12264/task/12270/stat : 12270 (java) S 12261 12264 10765 0 -1 1077944384 5230 0 0 0 88 4 0 0 20 0 16 0 414301200 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860114291472 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12271] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.44 cores=1,3,5,7
/proc/12264/task/12271/stat : 12271 (java) S 12261 12264 10765 0 -1 1077944384 7113 0 0 0 39 5 0 0 20 0 16 0 414301201 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859682335088 139860191386242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12272] ppid=12261 vsize=10748324 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12272/stat : 12272 (java) S 12261 12264 10765 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414301202 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859681281120 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12273] ppid=12261 vsize=10748324 memory=211792 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12273/stat : 12273 (java) S 12261 12264 10765 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414301202 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859680228224 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12274] ppid=12261 vsize=10748324 memory=211792 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12274/stat : 12274 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859679176528 139860191393691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12275] ppid=12261 vsize=10748324 memory=213664 CPUtime=1.24 cores=1,3,5,7
/proc/12264/task/12275/stat : 12275 (java) S 12261 12264 10765 0 -1 1077944384 8128 0 0 0 123 1 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859678124912 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12276] ppid=12261 vsize=10748324 memory=213664 CPUtime=1.23 cores=1,3,5,7
/proc/12264/task/12276/stat : 12276 (java) S 12261 12264 10765 0 -1 1077944384 7194 0 0 0 122 1 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859677072112 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12277] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.71 cores=1,3,5,7
/proc/12264/task/12277/stat : 12277 (java) S 12261 12264 10765 0 -1 1077944384 8553 0 0 0 70 1 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859676019312 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12278] ppid=12261 vsize=10748324 memory=213664 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12278/stat : 12278 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859674966752 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12279] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.49 cores=1,3,5,7
/proc/12264/task/12279/stat : 12279 (java) S 12261 12264 10765 0 -1 1077944384 1149 0 0 0 22 27 0 0 20 0 16 0 414301205 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859673914032 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12280] ppid=12261 vsize=10748324 memory=213664 CPUtime=2498.93 cores=1,3,5,7
/proc/12264/task/12280/stat : 12280 (java) R 12261 12264 10765 0 -1 4202560 16335 0 0 0 249888 5 0 0 20 0 16 0 414301386 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859657252272 139859795169662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
Current children cumulated CPU time: 2508.64 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 213664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.7 s]
/proc/loadavg: 1.82 1.94 1.86 3/230 12663
/proc/meminfo: memFree=22065160/32770624 swapFree=66939836/67108860
[pid=12264] ppid=12261 vsize=10748324 memory=213664 CPUtime=2520.06 cores=1,3,5,7
/proc/12264/stat : 12264 (java) S 12261 12264 10765 0 -1 1077944320 85115 0 0 0 251955 51 0 0 20 0 16 0 414301199 11006283776 53416 33554432000 4194304 4196468 140722258099712 140722258082256 139860191375095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
/proc/12264/statm: 2687081 53416 3376 1 0 2647217 0
[pid=12264/tid=12266] ppid=12261 vsize=10748324 memory=213664 CPUtime=1.85 cores=1,3,5,7
/proc/12264/task/12266/stat : 12266 (java) S 12261 12264 10765 0 -1 1077944384 14559 0 0 0 180 5 0 0 20 0 16 0 414301199 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860195617968 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12267] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.92 cores=1,3,5,7
/proc/12264/task/12267/stat : 12267 (java) S 12261 12264 10765 0 -1 1077944384 6375 0 0 0 89 3 0 0 20 0 16 0 414301200 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860117449872 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12268] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.91 cores=1,3,5,7
/proc/12264/task/12268/stat : 12268 (java) S 12261 12264 10765 0 -1 1077944384 4454 0 0 0 88 3 0 0 20 0 16 0 414301200 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860116397072 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12269] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.9 cores=1,3,5,7
/proc/12264/task/12269/stat : 12269 (java) S 12261 12264 10765 0 -1 1077944384 4582 0 0 0 87 3 0 0 20 0 16 0 414301200 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860115344272 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12270] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.92 cores=1,3,5,7
/proc/12264/task/12270/stat : 12270 (java) S 12261 12264 10765 0 -1 1077944384 5230 0 0 0 88 4 0 0 20 0 16 0 414301200 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860114291472 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12271] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.44 cores=1,3,5,7
/proc/12264/task/12271/stat : 12271 (java) S 12261 12264 10765 0 -1 1077944384 7117 0 0 0 39 5 0 0 20 0 16 0 414301201 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859682335088 139860191386242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12272] ppid=12261 vsize=10748324 memory=213664 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12272/stat : 12272 (java) S 12261 12264 10765 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414301202 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859681281120 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12273] ppid=12261 vsize=10748324 memory=213664 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12273/stat : 12273 (java) S 12261 12264 10765 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414301202 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859680228224 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12274] ppid=12261 vsize=10748324 memory=213664 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12274/stat : 12274 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859679176528 139860191393691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12275] ppid=12261 vsize=10748324 memory=3504 CPUtime=1.24 cores=1,3,5,7
/proc/12264/task/12275/stat : 12275 (java) S 12261 12264 10765 0 -1 1077944384 8128 0 0 0 123 1 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859678124912 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12276] ppid=12261 vsize=10748324 memory=39600 CPUtime=1.23 cores=1,3,5,7
/proc/12264/task/12276/stat : 12276 (java) S 12261 12264 10765 0 -1 1077944384 7194 0 0 0 122 1 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859677072112 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12277] ppid=12261 vsize=10748324 memory=4104 CPUtime=0.71 cores=1,3,5,7
/proc/12264/task/12277/stat : 12277 (java) S 12261 12264 10765 0 -1 1077944384 8553 0 0 0 70 1 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859676019312 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12278] ppid=12261 vsize=10748324 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12278/stat : 12278 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859674966752 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12279] ppid=12261 vsize=10748324 memory=49 CPUtime=0.49 cores=1,3,5,7
/proc/12264/task/12279/stat : 12279 (java) S 12261 12264 10765 0 -1 1077944384 1149 0 0 0 22 27 0 0 20 0 16 0 414301205 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859673914032 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12280] ppid=12261 vsize=10748324 memory=250512 CPUtime=2510.32 cores=1,3,5,7
/proc/12264/task/12280/stat : 12280 (java) R 12261 12264 10765 0 -1 4202560 16338 0 0 0 251027 5 0 0 20 0 16 0 414301386 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859657252272 139859795168819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 213664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.71 s]
# the end of solver process 12264 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.56 s, system=0.516137 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.7 s]
/proc/loadavg: 1.82 1.94 1.86 3/230 12663
/proc/meminfo: memFree=22065160/32770624 swapFree=66939836/67108860
[pid=12264] ppid=12261 vsize=10748324 memory=213664 CPUtime=2520.06 cores=1,3,5,7
/proc/12264/stat : 12264 (java) S 12261 12264 10765 0 -1 1077944320 85115 0 0 0 251955 51 0 0 20 0 16 0 414301199 11006283776 53416 33554432000 4194304 4196468 140722258099712 140722258082256 139860191375095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
/proc/12264/statm: 2687081 53416 3376 1 0 2647217 0
[pid=12264/tid=12266] ppid=12261 vsize=10748324 memory=213664 CPUtime=1.85 cores=1,3,5,7
/proc/12264/task/12266/stat : 12266 (java) S 12261 12264 10765 0 -1 1077944384 14559 0 0 0 180 5 0 0 20 0 16 0 414301199 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860195617968 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12267] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.92 cores=1,3,5,7
/proc/12264/task/12267/stat : 12267 (java) S 12261 12264 10765 0 -1 1077944384 6375 0 0 0 89 3 0 0 20 0 16 0 414301200 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860117449872 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12268] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.91 cores=1,3,5,7
/proc/12264/task/12268/stat : 12268 (java) S 12261 12264 10765 0 -1 1077944384 4454 0 0 0 88 3 0 0 20 0 16 0 414301200 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860116397072 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12269] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.9 cores=1,3,5,7
/proc/12264/task/12269/stat : 12269 (java) S 12261 12264 10765 0 -1 1077944384 4582 0 0 0 87 3 0 0 20 0 16 0 414301200 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860115344272 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12270] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.92 cores=1,3,5,7
/proc/12264/task/12270/stat : 12270 (java) S 12261 12264 10765 0 -1 1077944384 5230 0 0 0 88 4 0 0 20 0 16 0 414301200 11006283776 53416 33554432000 4194304 4196468 140722258099712 139860114291472 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12271] ppid=12261 vsize=10748324 memory=213664 CPUtime=0.44 cores=1,3,5,7
/proc/12264/task/12271/stat : 12271 (java) S 12261 12264 10765 0 -1 1077944384 7117 0 0 0 39 5 0 0 20 0 16 0 414301201 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859682335088 139860191386242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12272] ppid=12261 vsize=10748324 memory=213664 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12272/stat : 12272 (java) S 12261 12264 10765 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414301202 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859681281120 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12273] ppid=12261 vsize=10748324 memory=213664 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12273/stat : 12273 (java) S 12261 12264 10765 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414301202 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859680228224 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12274] ppid=12261 vsize=10748324 memory=213664 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12274/stat : 12274 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859679176528 139860191393691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12275] ppid=12261 vsize=10748324 memory=3504 CPUtime=1.24 cores=1,3,5,7
/proc/12264/task/12275/stat : 12275 (java) S 12261 12264 10765 0 -1 1077944384 8128 0 0 0 123 1 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859678124912 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12276] ppid=12261 vsize=10748324 memory=39600 CPUtime=1.23 cores=1,3,5,7
/proc/12264/task/12276/stat : 12276 (java) S 12261 12264 10765 0 -1 1077944384 7194 0 0 0 122 1 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859677072112 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12277] ppid=12261 vsize=10748324 memory=4104 CPUtime=0.71 cores=1,3,5,7
/proc/12264/task/12277/stat : 12277 (java) S 12261 12264 10765 0 -1 1077944384 8553 0 0 0 70 1 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859676019312 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12278] ppid=12261 vsize=10748324 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/12264/task/12278/stat : 12278 (java) S 12261 12264 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301204 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859674966752 139860191385301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12279] ppid=12261 vsize=10748324 memory=49 CPUtime=0.49 cores=1,3,5,7
/proc/12264/task/12279/stat : 12279 (java) S 12261 12264 10765 0 -1 1077944384 1149 0 0 0 22 27 0 0 20 0 16 0 414301205 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859673914032 139860191386242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
[pid=12264/tid=12280] ppid=12261 vsize=10748324 memory=250512 CPUtime=2510.32 cores=1,3,5,7
/proc/12264/task/12280/stat : 12280 (java) R 12261 12264 10765 0 -1 4202560 16338 0 0 0 251027 5 0 0 20 0 16 0 414301386 11006283776 53416 33554432000 4194304 4196468 140722258099712 139859657252272 139859795168819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24023040 140722258105355 140722258105458 140722258105458 140722258108367 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 213664 KiB
Child status: 143
Real time (s): 2513.71
CPU time (s): 2520.08
CPU user time (s): 2519.56
CPU system time (s): 0.516137
CPU usage (%): 100.253
Max. virtual memory (cumulated for all children) (KiB): 10750300
Max. memory (cumulated for all children) (KiB): 285816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.56
system time used= 0.516137
maximum resident set size= 286364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85416
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66616
involuntary context switches= 1126
# summary of solver processes directly reported to runsolver:
# pid: 12264
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.56
# total CPU system time (s): 0.516137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4695 second user time and 21.1955 second system time
The end