2.40/1.87
2.40/1.87 AbsCon 2
2.40/1.89
2.62/2.00 Instance
2.62/2.00 name=instance-4390593-1568380740, framework=CSP
2.62/2.00
2.62/2.00 Loading variables...
2.89/2.02 Loading constraints...
2.89/2.09
2.89/2.09 Domains
2.89/2.09 nTypes=1, nValues=1764, sizes=[42#42]
2.89/2.09 Variables
2.89/2.09 count=42, degrees=[2#28,3#14]
2.89/2.09 Constraints
2.89/2.09 count=29, nSpecific=1, arities=[2#28,42#1]
2.89/2.09 distribution=[AllDifferent#1,CtrIntension#28]
2.89/2.09 nIntStructures=(14,shared:14), nCftStructures=(14,shared:14,unbuilt:1)
2.89/2.09 wck=0.25, cpu=2.059, mem=18M585
2.89/2.10 Solver SolverBacktrack being built...
2.89/2.10
3.14/2.12
3.14/2.12 Solver
3.14/2.12 guaranteedGAC=true
3.14/2.12 wck=0.281, cpu=2.088, mem=31M870
3.14/2.15
3.14/2.15 Preprocessing
3.14/2.15 filters=42, revisions=(70,useless=0), ccks=60328, nACremovedValues=714, nTotalRemovedValues=714, inconcistency=false
3.14/2.15 wck=0.024, cpu=2.114, mem=31M870
3.14/2.15
3.14/2.17 num=0, depth=4..5, filters=381, revisions=(442,useless=48), ccks=66535, wck=0.049, mem=31M870
3.14/2.17 decisions=27, wrong=11, backtracks=1, failedAssignments=10, nogoods=8
3.14/2.17
3.14/2.19 num=1, depth=3..6, filters=1051, revisions=(1308,useless=110), ccks=79076, wck=0.071, mem=31M870
3.14/2.19 decisions=62, wrong=26, backtracks=7, failedAssignments=21, nogoods=15
3.14/2.19
3.43/2.21 num=2, depth=4..6, filters=1548, revisions=(1953,useless=170), ccks=89507, wck=0.089, mem=31M870
3.43/2.21 decisions=97, wrong=41, backtracks=11, failedAssignments=33, nogoods=23
3.43/2.21
3.43/2.23 num=3, depth=4..6, filters=2088, revisions=(2619,useless=231), ccks=99563, wck=0.106, mem=31M870
3.43/2.23 decisions=136, wrong=58, backtracks=15, failedAssignments=46, nogoods=34
3.43/2.23
3.43/2.24 num=4, depth=5..8, filters=2697, revisions=(3373,useless=319), ccks=109013, wck=0.117, mem=31M870
3.43/2.24 decisions=179, wrong=77, backtracks=23, failedAssignments=60, nogoods=38
3.43/2.24
3.43/2.26 num=5, depth=4..7, filters=3410, revisions=(4235,useless=384), ccks=120540, wck=0.141, mem=31M870
3.43/2.26 decisions=230, wrong=100, backtracks=31, failedAssignments=76, nogoods=44
3.43/2.26
3.43/2.28 num=6, depth=4..7, filters=4384, revisions=(5438,useless=498), ccks=134788, wck=0.157, mem=31M870
3.43/2.28 decisions=291, wrong=128, backtracks=43, failedAssignments=93, nogoods=55
3.43/2.28
3.43/2.29 num=7, depth=5..7, filters=5033, revisions=(6207,useless=588), ccks=144322, wck=0.167, mem=31M870
3.43/2.29 decisions=348, wrong=154, backtracks=50, failedAssignments=112, nogoods=62
3.43/2.29
3.73/2.30 num=8, depth=4..8, filters=5895, revisions=(7289,useless=704), ccks=156781, wck=0.181, mem=31M870
3.73/2.30 decisions=411, wrong=183, backtracks=59, failedAssignments=133, nogoods=68
3.73/2.30
3.73/2.32 num=9, depth=4..7, filters=6813, revisions=(8392,useless=829), ccks=169468, wck=0.195, mem=31M870
3.73/2.32 decisions=486, wrong=218, backtracks=72, failedAssignments=156, nogoods=74
3.73/2.32
3.73/2.33 num=10, depth=3..6, filters=7747, revisions=(9548,useless=955), ccks=182845, wck=0.21, mem=31M870
3.73/2.33 decisions=560, wrong=252, backtracks=81, failedAssignments=181, nogoods=76
3.73/2.33
3.73/2.35 num=11, depth=4..6, filters=8813, revisions=(10850,useless=1088), ccks=196867, wck=0.226, mem=31M870
3.73/2.35 decisions=641, wrong=290, backtracks=91, failedAssignments=209, nogoods=84
3.73/2.35
3.73/2.37 num=12, depth=4..7, filters=10073, revisions=(12385,useless=1240), ccks=211837, wck=0.243, mem=31M870
3.73/2.37 decisions=732, wrong=333, backtracks=104, failedAssignments=240, nogoods=90
3.73/2.37
3.73/2.38 num=13, depth=4..7, filters=11289, revisions=(13845,useless=1397), ccks=225537, wck=0.259, mem=31M870
3.73/2.38 decisions=832, wrong=380, backtracks=119, failedAssignments=274, nogoods=93
3.73/2.38
4.02/2.40 num=14, depth=4..7, filters=12607, revisions=(15396,useless=1557), ccks=239479, wck=0.276, mem=34M512
4.02/2.40 decisions=931, wrong=427, backtracks=131, failedAssignments=311, nogoods=101
4.02/2.40
4.02/2.42 num=15, depth=4..6, filters=13974, revisions=(17053,useless=1757), ccks=255333, wck=0.293, mem=34M512
4.02/2.42 decisions=1045, wrong=482, backtracks=148, failedAssignments=352, nogoods=115
4.02/2.42
4.02/2.43 num=16, depth=4..7, filters=15377, revisions=(18751,useless=2001), ccks=270835, wck=0.31, mem=34M512
4.02/2.43 decisions=1164, wrong=539, backtracks=162, failedAssignments=397, nogoods=123
4.02/2.43
4.02/2.45 num=17, depth=4..7, filters=16845, revisions=(20516,useless=2221), ccks=286428, wck=0.328, mem=34M512
4.02/2.45 decisions=1292, wrong=600, backtracks=173, failedAssignments=447, nogoods=136
4.02/2.45
4.02/2.47 num=18, depth=3..7, filters=18773, revisions=(22784,useless=2476), ccks=305563, wck=0.35, mem=34M512
4.02/2.47 decisions=1445, wrong=674, backtracks=194, failedAssignments=502, nogoods=141
4.02/2.47
4.02/2.49 num=19, depth=3..8, filters=20403, revisions=(24685,useless=2706), ccks=323047, wck=0.369, mem=34M512
4.02/2.49 decisions=1602, wrong=750, backtracks=213, failedAssignments=563, nogoods=153
4.02/2.49
4.15/2.52 num=20, depth=3..6, filters=22745, revisions=(27374,useless=3057), ccks=345072, wck=0.395, mem=34M512
4.15/2.52 decisions=1785, wrong=839, backtracks=237, failedAssignments=630, nogoods=159
4.15/2.52
4.15/2.55 num=21, depth=3..7, filters=25112, revisions=(30295,useless=3450), ccks=368991, wck=0.423, mem=37M155
4.15/2.55 decisions=1985, wrong=937, backtracks=268, failedAssignments=704, nogoods=162
4.15/2.55
4.15/2.57 num=22, depth=4..7, filters=27350, revisions=(32837,useless=3765), ccks=388826, wck=0.448, mem=37M155
4.15/2.57 decisions=2189, wrong=1037, backtracks=289, failedAssignments=785, nogoods=187
4.15/2.57
4.26/2.61 num=23, depth=3..7, filters=30620, revisions=(36797,useless=4212), ccks=418806, wck=0.485, mem=37M155
4.26/2.61 decisions=2437, wrong=1159, backtracks=326, failedAssignments=874, nogoods=190
4.26/2.61
4.26/2.64 num=24, depth=3..8, filters=33801, revisions=(40475,useless=4607), ccks=450236, wck=0.521, mem=37M155
4.26/2.64 decisions=2704, wrong=1290, backtracks=367, failedAssignments=972, nogoods=195
4.26/2.64
4.26/2.68 num=25, depth=3..7, filters=37199, revisions=(44452,useless=5068), ccks=479070, wck=0.559, mem=37M155
4.26/2.68 decisions=2995, wrong=1433, backtracks=406, failedAssignments=1080, nogoods=201
4.26/2.68
4.36/2.72 num=26, depth=3..7, filters=41076, revisions=(49049,useless=5637), ccks=513295, wck=0.602, mem=39M797
4.36/2.72 decisions=3311, wrong=1589, backtracks=449, failedAssignments=1199, nogoods=208
4.36/2.72
4.36/2.77 num=27, depth=3..6, filters=45004, revisions=(53754,useless=6305), ccks=544850, wck=0.645, mem=39M797
4.36/2.77 decisions=3657, wrong=1760, backtracks=497, failedAssignments=1330, nogoods=229
4.36/2.77
4.47/2.81 num=28, depth=3..7, filters=49261, revisions=(58692,useless=6885), ccks=580050, wck=0.691, mem=39M797
4.47/2.81 decisions=4030, wrong=1944, backtracks=546, failedAssignments=1474, nogoods=242
4.47/2.81
4.47/2.87 num=29, depth=3..7, filters=54633, revisions=(64971,useless=7638), ccks=625986, wck=0.749, mem=42M439
4.47/2.87 decisions=4465, wrong=2159, backtracks=609, failedAssignments=1632, nogoods=260
4.47/2.87
4.58/2.99 num=30, depth=3..7, filters=60011, revisions=(71335,useless=8419), ccks=669632, wck=0.808, mem=42M439
4.58/2.99 decisions=4932, wrong=2390, backtracks=677, failedAssignments=1806, nogoods=272
4.58/2.99
4.58/3.00 num=31, depth=3..8, filters=65995, revisions=(78534,useless=9350), ccks=719323, wck=0.873, mem=42M439
4.58/3.00 decisions=5442, wrong=2643, backtracks=748, failedAssignments=1997, nogoods=279
4.58/3.00
4.70/3.08 num=32, depth=3..6, filters=73222, revisions=(87325,useless=10434), ccks=786168, wck=0.956, mem=45M82
4.70/3.08 decisions=6018, wrong=2929, backtracks=832, failedAssignments=2208, nogoods=292
4.70/3.08
4.81/3.15 num=33, depth=3..7, filters=79839, revisions=(94933,useless=11507), ccks=835581, wck=1.023, mem=45M82
4.81/3.15 decisions=6625, wrong=3230, backtracks=907, failedAssignments=2440, nogoods=306
4.81/3.15
4.93/3.24 num=34, depth=2..7, filters=88233, revisions=(105008,useless=12767), ccks=912480, wck=1.117, mem=47M724
4.93/3.24 decisions=7307, wrong=3569, backtracks=1009, failedAssignments=2695, nogoods=321
4.93/3.24
5.03/3.33 num=35, depth=3..7, filters=96797, revisions=(115053,useless=14058), ccks=978549, wck=1.206, mem=50M367
5.03/3.33 decisions=8061, wrong=3944, backtracks=1112, failedAssignments=2976, nogoods=328
5.03/3.33
5.16/3.45 num=36, depth=3..7, filters=107587, revisions=(128039,useless=15674), ccks=1067193, wck=1.323, mem=50M367
5.16/3.45 decisions=8887, wrong=4355, backtracks=1233, failedAssignments=3285, nogoods=342
5.16/3.45
5.26/3.54 num=37, depth=3..8, filters=116767, revisions=(138732,useless=17075), ccks=1134983, wck=1.417, mem=53M9
5.26/3.54 decisions=9760, wrong=4789, backtracks=1338, failedAssignments=3625, nogoods=358
5.26/3.54
5.36/3.67 num=38, depth=2..7, filters=128827, revisions=(152775,useless=18822), ccks=1235821, wck=1.546, mem=55M652
5.36/3.67 decisions=10760, wrong=5287, backtracks=1480, failedAssignments=3999, nogoods=365
5.36/3.67
5.63/3.83 num=39, depth=2..7, filters=143968, revisions=(170802,useless=20974), ccks=1361004, wck=1.708, mem=58M294
5.63/3.83 decisions=11887, wrong=5848, backtracks=1661, failedAssignments=4410, nogoods=383
5.63/3.83
5.73/3.99 num=40, depth=2..8, filters=159194, revisions=(188546,useless=23157), ccks=1482968, wck=1.865, mem=60M936
5.73/3.99 decisions=13107, wrong=6456, backtracks=1838, failedAssignments=4862, nogoods=390
5.73/3.99
5.94/4.17 num=41, depth=3..7, filters=176477, revisions=(209195,useless=25710), ccks=1618361, wck=2.047, mem=63M579
5.94/4.17 decisions=14481, wrong=7141, backtracks=2060, failedAssignments=5359, nogoods=401
5.94/4.17
6.13/4.35 num=42, depth=2..8, filters=193903, revisions=(229458,useless=28178), ccks=1757540, wck=2.226, mem=66M221
6.13/4.35 decisions=15928, wrong=7862, backtracks=2261, failedAssignments=5906, nogoods=427
6.13/4.35
6.33/4.55 num=43, depth=2..7, filters=212957, revisions=(251838,useless=30827), ccks=1918696, wck=2.426, mem=68M864
6.33/4.55 decisions=17514, wrong=8653, backtracks=2485, failedAssignments=6508, nogoods=445
6.33/4.55
6.53/4.76 num=44, depth=2..7, filters=233624, revisions=(275990,useless=33786), ccks=2083121, wck=2.639, mem=74M149
6.53/4.76 decisions=19230, wrong=9508, backtracks=2702, failedAssignments=7170, nogoods=457
6.53/4.76
6.85/5.05 num=45, depth=2..7, filters=260274, revisions=(307983,useless=37519), ccks=2309535, wck=2.925, mem=79M434
6.85/5.05 decisions=21245, wrong=10513, backtracks=3018, failedAssignments=7898, nogoods=475
6.85/5.05
7.14/5.31 num=46, depth=2..8, filters=285948, revisions=(337616,useless=41148), ccks=2518763, wck=3.19, mem=84M718
7.14/5.31 decisions=23373, wrong=11575, backtracks=3306, failedAssignments=8699, nogoods=499
7.14/5.31
7.34/5.59 num=47, depth=2..8, filters=312899, revisions=(369248,useless=45197), ccks=2722509, wck=3.464, mem=87M361
7.34/5.59 decisions=25704, wrong=12738, backtracks=3633, failedAssignments=9580, nogoods=507
7.34/5.59
7.74/5.94 num=48, depth=2..7, filters=345640, revisions=(408377,useless=49992), ccks=2989810, wck=3.814, mem=95M288
7.74/5.94 decisions=28328, wrong=14048, backtracks=4025, failedAssignments=10550, nogoods=534
7.74/5.94
8.04/6.28 num=49, depth=3..7, filters=378840, revisions=(447691,useless=55068), ccks=3239571, wck=4.155, mem=100M573
8.04/6.28 decisions=31108, wrong=15436, backtracks=4390, failedAssignments=11617, nogoods=568
8.04/6.28
8.44/6.67 num=50, depth=2..7, filters=416265, revisions=(491491,useless=60577), ccks=3550331, wck=4.545, mem=105M858
8.44/6.67 decisions=34228, wrong=16994, backtracks=4829, failedAssignments=12790, nogoods=574
8.44/6.67
8.95/7.11 num=51, depth=2..8, filters=458250, revisions=(541358,useless=66945), ccks=3887111, wck=4.985, mem=113M785
8.95/7.11 decisions=37696, wrong=18726, backtracks=5354, failedAssignments=14081, nogoods=598
8.95/7.11
9.34/7.58 num=52, depth=2..8, filters=504081, revisions=(595797,useless=73860), ccks=4233041, wck=5.46, mem=121M713
9.34/7.58 decisions=41517, wrong=20634, backtracks=5932, failedAssignments=15501, nogoods=617
9.34/7.58
9.85/8.10 num=53, depth=2..8, filters=554398, revisions=(654743,useless=81577), ccks=4626940, wck=5.976, mem=132M282
9.85/8.10 decisions=45624, wrong=22685, backtracks=6497, failedAssignments=17063, nogoods=630
9.85/8.10
10.45/8.67 num=54, depth=2..8, filters=610143, revisions=(720341,useless=89980), ccks=5058366, wck=6.547, mem=142M778
10.45/8.67 decisions=50171, wrong=24956, backtracks=7140, failedAssignments=18781, nogoods=641
10.45/8.67
11.18/9.30 num=55, depth=2..8, filters=670298, revisions=(791207,useless=98870), ccks=5506614, wck=7.175, mem=30M112
11.18/9.30 decisions=55201, wrong=27469, backtracks=7858, failedAssignments=20671, nogoods=670
11.18/9.30
11.89/10.02 num=56, depth=2..8, filters=739374, revisions=(871889,useless=108251), ccks=6087937, wck=7.893, mem=43M191
11.89/10.02 decisions=60761, wrong=30247, backtracks=8698, failedAssignments=22750, nogoods=692
11.89/10.02
12.70/10.84 num=57, depth=2..8, filters=817311, revisions=(963908,useless=118958), ccks=6736921, wck=8.714, mem=56M270
12.70/10.84 decisions=66941, wrong=33335, backtracks=9635, failedAssignments=25037, nogoods=716
12.70/10.84
13.60/11.73 num=58, depth=2..8, filters=902706, revisions=(1064574,useless=130448), ccks=7456063, wck=9.612, mem=71M965
13.60/11.73 decisions=73741, wrong=36733, backtracks=10669, failedAssignments=27553, nogoods=729
13.60/11.73
14.60/12.70 num=59, depth=2..7, filters=994357, revisions=(1173711,useless=143818), ccks=8209640, wck=10.578, mem=87M660
14.60/12.70 decisions=81177, wrong=40449, backtracks=11776, failedAssignments=30321, nogoods=758
14.60/12.70
15.71/13.82 num=60, depth=2..7, filters=1100574, revisions=(1299488,useless=158967), ccks=9112111, wck=11.696, mem=108M587
15.71/13.82 decisions=89473, wrong=44595, backtracks=13040, failedAssignments=33365, nogoods=792
15.71/13.82
16.92/15.07 num=61, depth=1..7, filters=1217962, revisions=(1439793,useless=175957), ccks=10126060, wck=12.946, mem=129M514
16.92/15.07 decisions=98392, wrong=49052, backtracks=14316, failedAssignments=36714, nogoods=807
16.92/15.07
18.21/16.33 num=62, depth=2..8, filters=1340410, revisions=(1584151,useless=193090), ccks=11073309, wck=14.205, mem=150M440
18.21/16.33 decisions=108292, wrong=53999, backtracks=15785, failedAssignments=40398, nogoods=824
18.21/16.33
19.67/17.78 num=63, depth=1..8, filters=1479937, revisions=(1746323,useless=211747), ccks=12237534, wck=15.659, mem=43M316
19.67/17.78 decisions=119421, wrong=59562, backtracks=17526, failedAssignments=44450, nogoods=851
19.67/17.78
21.42/19.43 num=64, depth=1..7, filters=1634639, revisions=(1931679,useless=233740), ccks=13507032, wck=17.304, mem=72M192
21.42/19.43 decisions=131665, wrong=65682, backtracks=19435, failedAssignments=48907, nogoods=861
21.42/19.43
23.03/21.10 num=65, depth=1..8, filters=1797098, revisions=(2122030,useless=256861), ccks=14822041, wck=18.98, mem=101M69
23.03/21.10 decisions=144857, wrong=72276, backtracks=21381, failedAssignments=53810, nogoods=867
23.03/21.10
24.93/22.96 num=66, depth=1..8, filters=1977495, revisions=(2334013,useless=283512), ccks=16245681, wck=20.842, mem=135M196
24.93/22.96 decisions=159316, wrong=79504, backtracks=23533, failedAssignments=59204, nogoods=884
24.93/22.96
27.17/25.12 num=67, depth=1..8, filters=2178472, revisions=(2570852,useless=310889), ccks=18040234, wck=22.999, mem=41M518
27.17/25.12 decisions=175284, wrong=87486, backtracks=25968, failedAssignments=65137, nogoods=905
27.17/25.12
29.56/27.55 num=68, depth=1..8, filters=2404373, revisions=(2839082,useless=343312), ccks=20072772, wck=25.431, mem=82M103
29.56/27.55 decisions=192801, wrong=96243, backtracks=28546, failedAssignments=71663, nogoods=936
29.56/27.55
32.20/30.17 num=69, depth=1..8, filters=2647691, revisions=(3131848,useless=379693), ccks=22170359, wck=28.048, mem=128M932
32.20/30.17 decisions=212206, wrong=105943, backtracks=31508, failedAssignments=78842, nogoods=948
32.20/30.17
35.00/32.93 num=70, depth=1..8, filters=2910829, revisions=(3438558,useless=414122), ccks=24508367, wck=30.805, mem=175M761
35.00/32.93 decisions=233618, wrong=116647, backtracks=34791, failedAssignments=86739, nogoods=969
35.00/32.93
38.13/36.04 num=71, depth=1..8, filters=3206882, revisions=(3785389,useless=454408), ccks=27075938, wck=33.92, mem=74M814
38.13/36.04 decisions=257166, wrong=128419, backtracks=38367, failedAssignments=95426, nogoods=982
38.13/36.04
41.52/39.46 num=72, depth=1..8, filters=3528090, revisions=(4170038,useless=501599), ccks=29784600, wck=37.338, mem=133M27
41.52/39.46 decisions=282716, wrong=141192, backtracks=42188, failedAssignments=104981, nogoods=997
41.52/39.46
45.45/43.33 num=73, depth=1..8, filters=3892669, revisions=(4604418,useless=554530), ccks=32889300, wck=41.204, mem=46M795
45.45/43.33 decisions=311002, wrong=155333, backtracks=46506, failedAssignments=115492, nogoods=1014
45.45/43.33
49.36/47.21 num=74, depth=1..8, filters=4270125, revisions=(5044914,useless=606311), ccks=36052967, wck=45.091, mem=116M128
49.36/47.21 decisions=342106, wrong=170883, backtracks=51207, failedAssignments=127054, nogoods=1037
49.36/47.21
53.88/51.77 num=75, depth=1..8, filters=4709061, revisions=(5564807,useless=669365), ccks=39614173, wck=49.646, mem=43M451
53.88/51.77 decisions=376455, wrong=188055, backtracks=56389, failedAssignments=139772, nogoods=1061
53.88/51.77
59.08/56.97 num=76, depth=1..8, filters=5197637, revisions=(6143160,useless=737161), ccks=43965377, wck=54.847, mem=132M371
59.08/56.97 decisions=414258, wrong=206954, backtracks=62177, failedAssignments=153762, nogoods=1099
59.08/56.97
64.71/62.55 num=77, depth=1..8, filters=5725024, revisions=(6767494,useless=810317), ccks=48493941, wck=60.423, mem=80M908
64.71/62.55 decisions=455657, wrong=227651, backtracks=68426, failedAssignments=169151, nogoods=1120
64.71/62.55
70.92/68.76 num=78, depth=0..8, filters=6309249, revisions=(7455672,useless=888375), ccks=53796645, wck=66.636, mem=42M595
70.92/68.76 decisions=501315, wrong=250478, backtracks=75349, failedAssignments=186079, nogoods=1152
70.92/68.76
77.62/75.47 num=79, depth=1..8, filters=6950874, revisions=(8217132,useless=977693), ccks=59196338, wck=73.353, mem=159M905
77.62/75.47 decisions=551731, wrong=275684, backtracks=83071, failedAssignments=204700, nogoods=1165
77.62/75.47
85.35/83.19 num=80, depth=1..8, filters=7669389, revisions=(9076033,useless=1079657), ccks=65480961, wck=81.067, mem=148M900
85.35/83.19 decisions=607105, wrong=303369, backtracks=91653, failedAssignments=225184, nogoods=1190
85.35/83.19
94.16/91.99 num=81, depth=0..8, filters=8478941, revisions=(10035976,useless=1188554), ccks=73155143, wck=89.867, mem=22M454
94.16/91.99 decisions=667960, wrong=333795, backtracks=100947, failedAssignments=247716, nogoods=1202
94.16/91.99
103.17/100.98 num=82, depth=1..8, filters=9327723, revisions=(11037889,useless=1304701), ccks=80598303, wck=98.854, mem=43M769
103.17/100.98 decisions=734803, wrong=367214, backtracks=111134, failedAssignments=272501, nogoods=1234
103.17/100.98
112.67/110.44 num=83, depth=1..8, filters=10236417, revisions=(12099286,useless=1426508), ccks=88311321, wck=108.316, mem=77M638
112.67/110.44 decisions=808315, wrong=403968, backtracks=122181, failedAssignments=299765, nogoods=1274
112.67/110.44
123.59/121.31 num=84, depth=0..8, filters=11260326, revisions=(13308097,useless=1569660), ccks=97430850, wck=119.19, mem=136M283
123.59/121.31 decisions=888913, wrong=444265, backtracks=134205, failedAssignments=329755, nogoods=1299
123.59/121.31
136.01/133.70 num=85, depth=0..8, filters=12405234, revisions=(14670842,useless=1728772), ccks=108155518, wck=131.576, mem=97M469
136.01/133.70 decisions=977371, wrong=488492, backtracks=147447, failedAssignments=362744, nogoods=1313
136.01/133.70
149.33/147.02 num=86, depth=0..9, filters=13672364, revisions=(16164107,useless=1897825), ccks=119421868, wck=144.894, mem=80M402
149.33/147.02 decisions=1076356, wrong=537982, backtracks=162845, failedAssignments=399032, nogoods=1327
149.33/147.02
164.24/161.90 num=87, depth=0..8, filters=15067321, revisions=(17819124,useless=2092632), ccks=132026613, wck=159.778, mem=102M47
164.24/161.90 decisions=1184019, wrong=591811, backtracks=179341, failedAssignments=438949, nogoods=1341
164.24/161.90
180.26/177.97 num=88, depth=0..8, filters=16592805, revisions=(19615546,useless=2299405), ccks=145549429, wck=175.85, mem=35M686
180.26/177.97 decisions=1303809, wrong=651704, backtracks=198160, failedAssignments=482858, nogoods=1356
180.26/177.97
198.49/196.18 num=89, depth=0..8, filters=18290890, revisions=(21636369,useless=2531413), ccks=161002066, wck=194.053, mem=127M338
198.49/196.18 decisions=1434642, wrong=717119, backtracks=218398, failedAssignments=531158, nogoods=1410
198.49/196.18
218.72/216.39 num=90, depth=0..8, filters=20184092, revisions=(23880029,useless=2792435), ccks=178399115, wck=214.27, mem=51M13
218.72/216.39 decisions=1579339, wrong=789466, backtracks=241119, failedAssignments=584288, nogoods=1438
218.72/216.39
233.14/230.76 num=91, depth=0..8, filters=21521186, revisions=(25474221,useless=2978949), ccks=190988819, wck=228.634, mem=98M160
233.14/230.76 decisions=1679919, wrong=839757, backtracks=257189, failedAssignments=621007, nogoods=1438
233.14/230.76
233.14/230.76 Global
233.14/230.76 filters=21521186, revisions=(25474221,useless=2978949), ccks=190988819, nogoods=1438
233.14/230.76 Stop=FULL_EXPLORATION, wrong=839757, wck=228.916, cpu=230.585, mem=98M160
233.14/230.76
233.14/230.76 s UNSATISFIABLE
233.14/230.76
233.14/230.76 d WRONG_DECISIONS 839757
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 (15081 MiB free)
memory of node 1: 16384 MiB (15527 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390593-1568380740/watcher-4390593-1568380740 -o /tmp/evaluation-result-4390593-1568380740/solver-4390593-1568380740 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568380473-26153 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390593-1568380740.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=26294, runsolver pid=26291
[startup+0.100059 s]*
/proc/loadavg: 1.73 0.94 0.41 4/228 26309
/proc/meminfo: memFree=31327480/32770624 swapFree=66918524/67108860
[pid=26294] ppid=26291 vsize=10659884 memory=27940 CPUtime=0.13 cores=1,3,5,7
/proc/26294/stat : 26294 (java) S 26291 26294 26121 0 -1 1077944320 5463 0 0 0 12 1 0 0 20 0 15 0 414011922 10915721216 6985 33554432000 4194304 4196468 140725229713728 140725229696272 139994239934199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
/proc/26294/statm: 2664971 6985 2852 1 0 2627468 0
[pid=26294/tid=26296] ppid=26291 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/26294/task/26296/stat : 26296 (java) R 26291 26294 26121 0 -1 4202560 3357 0 0 0 9 0 0 0 20 0 15 0 414011922 10915721216 6985 33554432000 4194304 4196468 140725229713728 139994244156960 139993871887584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26297] ppid=26291 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26297/stat : 26297 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10915721216 6985 33554432000 4194304 4196468 140725229713728 139994192554384 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26298] ppid=26291 vsize=10659884 memory=139804516185728 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26298/stat : 26298 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10915721216 6985 33554432000 4194304 4196468 140725229713728 139993845258512 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26299] ppid=26291 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26299/stat : 26299 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10915721216 6985 33554432000 4194304 4196468 140725229713728 139993844206224 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26300] ppid=26291 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26300/stat : 26300 (java) S 26291 26294 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414011923 10915721216 6985 33554432000 4194304 4196468 140725229713728 139993843153424 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26301] ppid=26291 vsize=10659884 memory=139804516185728 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26301/stat : 26301 (java) S 26291 26294 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414011924 10915721216 6985 33554432000 4194304 4196468 140725229713728 139993799060080 139994239945346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26302] ppid=26291 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26302/stat : 26302 (java) S 26291 26294 26121 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414011925 10915721216 6985 33554432000 4194304 4196468 140725229713728 139993798006048 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26303] ppid=26291 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26303/stat : 26303 (java) S 26291 26294 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414011925 10915721216 6985 33554432000 4194304 4196468 140725229713728 139993796953712 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26304] ppid=26291 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26304/stat : 26304 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414011927 10915721216 6985 33554432000 4194304 4196468 140725229713728 139993795902032 139994239952795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26305] ppid=26291 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26305/stat : 26305 (java) S 26291 26294 26121 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 414011927 10915721216 6985 33554432000 4194304 4196468 140725229713728 139993794848880 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26306] ppid=26291 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26306/stat : 26306 (java) R 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011927 10915721216 6985 33554432000 4194304 4196468 140725229713728 139993793796080 139994239945346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26307] ppid=26291 vsize=10659884 memory=139804516185728 CPUtime=0.01 cores=1,3,5,7
/proc/26294/task/26307/stat : 26307 (java) S 26291 26294 26121 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 15 0 414011928 10915721216 6985 33554432000 4194304 4196468 140725229713728 139993792743792 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26308] ppid=26291 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26308/stat : 26308 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414011928 10915721216 6985 33554432000 4194304 4196468 140725229713728 139993791691232 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26309] ppid=26291 vsize=10659884 memory=139804516185728 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26309/stat : 26309 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011928 10915721216 6985 33554432000 4194304 4196468 140725229713728 139993790639024 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27940 KiB
[startup+0.210433 s]*
/proc/loadavg: 1.73 0.94 0.41 3/228 26309
/proc/meminfo: memFree=31320844/32770624 swapFree=66918524/67108860
[pid=26294] ppid=26291 vsize=10659884 memory=35192 CPUtime=0.32 cores=1,3,5,7
/proc/26294/stat : 26294 (java) S 26291 26294 26121 0 -1 1077944320 6927 0 0 0 30 2 0 0 20 0 15 0 414011922 10915721216 8798 33554432000 4194304 4196468 140725229713728 140725229696272 139994239934199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
/proc/26294/statm: 2664971 8798 2989 1 0 2627468 0
[pid=26294/tid=26296] ppid=26291 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/26294/task/26296/stat : 26296 (java) R 26291 26294 26121 0 -1 4202560 3872 0 0 0 19 1 0 0 20 0 15 0 414011922 10915721216 8798 33554432000 4194304 4196468 140725229713728 139994244160560 139994239956125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26297] ppid=26291 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26297/stat : 26297 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10915721216 8798 33554432000 4194304 4196468 140725229713728 139994192554384 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26298] ppid=26291 vsize=10659884 memory=288370180667897472 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26298/stat : 26298 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10915721216 8798 33554432000 4194304 4196468 140725229713728 139993845258512 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26299] ppid=26291 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26299/stat : 26299 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10915721216 8798 33554432000 4194304 4196468 140725229713728 139993844206224 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26300] ppid=26291 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26300/stat : 26300 (java) S 26291 26294 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414011923 10915721216 8798 33554432000 4194304 4196468 140725229713728 139993843153424 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26301] ppid=26291 vsize=10659884 memory=139804516185728 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26301/stat : 26301 (java) S 26291 26294 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414011924 10915721216 8798 33554432000 4194304 4196468 140725229713728 139993799060080 139994239945346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26302] ppid=26291 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26302/stat : 26302 (java) S 26291 26294 26121 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414011925 10915721216 8798 33554432000 4194304 4196468 140725229713728 139993798006048 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26303] ppid=26291 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26303/stat : 26303 (java) S 26291 26294 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414011925 10915721216 8798 33554432000 4194304 4196468 140725229713728 139993796953712 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26304] ppid=26291 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26304/stat : 26304 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414011927 10915721216 8798 33554432000 4194304 4196468 140725229713728 139993795902032 139994239952795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26305] ppid=26291 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26294/task/26305/stat : 26305 (java) S 26291 26294 26121 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 15 0 414011927 10915721216 8798 33554432000 4194304 4196468 140725229713728 139993794848880 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26306] ppid=26291 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26294/task/26306/stat : 26306 (java) S 26291 26294 26121 0 -1 1077944384 458 0 0 0 3 0 0 0 20 0 15 0 414011927 10915721216 8798 33554432000 4194304 4196468 140725229713728 139993793796080 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26307] ppid=26291 vsize=10659884 memory=139804516185728 CPUtime=0.05 cores=1,3,5,7
/proc/26294/task/26307/stat : 26307 (java) S 26291 26294 26121 0 -1 1077944384 696 0 0 0 5 0 0 0 20 0 15 0 414011928 10915721216 8798 33554432000 4194304 4196468 140725229713728 139993792743792 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26308] ppid=26291 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26308/stat : 26308 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414011928 10915721216 8798 33554432000 4194304 4196468 140725229713728 139993791691232 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26309] ppid=26291 vsize=10659884 memory=139804516185728 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26309/stat : 26309 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011928 10915721216 8798 33554432000 4194304 4196468 140725229713728 139993790639024 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35192 KiB
[startup+0.310146 s]*
/proc/loadavg: 1.73 0.94 0.41 4/228 26309
/proc/meminfo: memFree=31312888/32770624 swapFree=66918524/67108860
[pid=26294] ppid=26291 vsize=10659884 memory=40308 CPUtime=0.46 cores=1,3,5,7
/proc/26294/stat : 26294 (java) S 26291 26294 26121 0 -1 1077944320 9458 0 0 0 43 3 0 0 20 0 15 0 414011922 10915721216 10077 33554432000 4194304 4196468 140725229713728 140725229696272 139994239934199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
/proc/26294/statm: 2664971 10077 3001 1 0 2627468 0
[pid=26294/tid=26296] ppid=26291 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/26294/task/26296/stat : 26296 (java) R 26291 26294 26121 0 -1 4202560 6338 0 0 0 28 2 0 0 20 0 15 0 414011922 10915721216 10077 33554432000 4194304 4196468 140725229713728 139994244155088 139994196544932 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26297] ppid=26291 vsize=10659884 memory=2810766 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26297/stat : 26297 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10915721216 10077 33554432000 4194304 4196468 140725229713728 139994192554384 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26298] ppid=26291 vsize=10659884 memory=288370180667897472 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26298/stat : 26298 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10915721216 10077 33554432000 4194304 4196468 140725229713728 139993845258512 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26299] ppid=26291 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26299/stat : 26299 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10915721216 10077 33554432000 4194304 4196468 140725229713728 139993844206224 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26300] ppid=26291 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26300/stat : 26300 (java) S 26291 26294 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414011923 10915721216 10077 33554432000 4194304 4196468 140725229713728 139993843153424 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26301] ppid=26291 vsize=10659884 memory=139804516185728 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26301/stat : 26301 (java) S 26291 26294 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414011924 10915721216 10077 33554432000 4194304 4196468 140725229713728 139993799060080 139994239945346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26302] ppid=26291 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26302/stat : 26302 (java) S 26291 26294 26121 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414011925 10915721216 10077 33554432000 4194304 4196468 140725229713728 139993798006048 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26303] ppid=26291 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26303/stat : 26303 (java) S 26291 26294 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414011925 10915721216 10077 33554432000 4194304 4196468 140725229713728 139993796953712 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26304] ppid=26291 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26304/stat : 26304 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414011927 10915721216 10077 33554432000 4194304 4196468 140725229713728 139993795902032 139994239952795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26305] ppid=26291 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26294/task/26305/stat : 26305 (java) S 26291 26294 26121 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 15 0 414011927 10915721216 10077 33554432000 4194304 4196468 140725229713728 139993794848880 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26306] ppid=26291 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/26294/task/26306/stat : 26306 (java) S 26291 26294 26121 0 -1 1077944384 491 0 0 0 4 0 0 0 20 0 15 0 414011927 10915721216 10077 33554432000 4194304 4196468 140725229713728 139993793796080 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26307] ppid=26291 vsize=10659884 memory=139804516185728 CPUtime=0.07 cores=1,3,5,7
/proc/26294/task/26307/stat : 26307 (java) R 26291 26294 26121 0 -1 4202560 720 0 0 0 7 0 0 0 20 0 15 0 414011928 10915721216 10077 33554432000 4194304 4196468 140725229713728 139993792743792 139994239955546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26308] ppid=26291 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26308/stat : 26308 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414011928 10915721216 10077 33554432000 4194304 4196468 140725229713728 139993791691232 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26309] ppid=26291 vsize=10659884 memory=139804516185728 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26309/stat : 26309 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011928 10915721216 10077 33554432000 4194304 4196468 140725229713728 139993790639024 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40308 KiB
[startup+0.700757 s]
/proc/loadavg: 1.73 0.94 0.41 4/228 26309
/proc/meminfo: memFree=31305832/32770624 swapFree=66918524/67108860
[pid=26294] ppid=26291 vsize=10661932 memory=62896 CPUtime=1.08 cores=1,3,5,7
/proc/26294/stat : 26294 (java) S 26291 26294 26121 0 -1 1077944320 12810 0 0 0 102 6 0 0 20 0 15 0 414011922 10917818368 15724 33554432000 4194304 4196468 140725229713728 140725229696272 139994239934199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
/proc/26294/statm: 2665483 15724 3072 1 0 2627980 0
[pid=26294/tid=26296] ppid=26291 vsize=10661932 memory=4481 CPUtime=0.68 cores=1,3,5,7
/proc/26294/task/26296/stat : 26296 (java) R 26291 26294 26121 0 -1 4202560 8880 0 0 0 64 4 0 0 20 0 15 0 414011922 10917818368 15724 33554432000 4194304 4196468 140725229713728 139994244166224 139994225099838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26297] ppid=26291 vsize=10661932 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26297/stat : 26297 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10917818368 15724 33554432000 4194304 4196468 140725229713728 139994192554384 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26298] ppid=26291 vsize=10661932 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26298/stat : 26298 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10917818368 15724 33554432000 4194304 4196468 140725229713728 139993845258512 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26299] ppid=26291 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26299/stat : 26299 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10917818368 15724 33554432000 4194304 4196468 140725229713728 139993844206224 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26300] ppid=26291 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26300/stat : 26300 (java) S 26291 26294 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414011923 10917818368 15724 33554432000 4194304 4196468 140725229713728 139993843153424 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26301] ppid=26291 vsize=10661932 memory=252766341593628 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26301/stat : 26301 (java) S 26291 26294 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414011924 10917818368 15724 33554432000 4194304 4196468 140725229713728 139993799060080 139994239945346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26302] ppid=26291 vsize=10661932 memory=3617007538077446496 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26302/stat : 26302 (java) S 26291 26294 26121 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414011925 10917818368 15724 33554432000 4194304 4196468 140725229713728 139993798006048 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26303] ppid=26291 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26303/stat : 26303 (java) S 26291 26294 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414011925 10917818368 15724 33554432000 4194304 4196468 140725229713728 139993796953712 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26304] ppid=26291 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26304/stat : 26304 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414011927 10917818368 15724 33554432000 4194304 4196468 140725229713728 139993795902032 139994239952795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26305] ppid=26291 vsize=10661932 memory=279608813448096 CPUtime=0.09 cores=1,3,5,7
/proc/26294/task/26305/stat : 26305 (java) R 26291 26294 26121 0 -1 4202560 804 0 0 0 9 0 0 0 20 0 15 0 414011927 10917818368 15724 33554432000 4194304 4196468 140725229713728 139993794848880 139994239955546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26306] ppid=26291 vsize=10661932 memory=19153 CPUtime=0.1 cores=1,3,5,7
/proc/26294/task/26306/stat : 26306 (java) S 26291 26294 26121 0 -1 1077944384 668 0 0 0 10 0 0 0 20 0 15 0 414011927 10917818368 15724 33554432000 4194304 4196468 140725229713728 139993793796080 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26307] ppid=26291 vsize=10661932 memory=279608813420784 CPUtime=0.18 cores=1,3,5,7
/proc/26294/task/26307/stat : 26307 (java) S 26291 26294 26121 0 -1 1077944384 1099 0 0 0 18 0 0 0 20 0 15 0 414011928 10917818368 15724 33554432000 4194304 4196468 140725229713728 139993792743792 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26308] ppid=26291 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26308/stat : 26308 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414011928 10917818368 15724 33554432000 4194304 4196468 140725229713728 139993791691232 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26309] ppid=26291 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26309/stat : 26309 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011928 10917818368 15724 33554432000 4194304 4196468 140725229713728 139993790639024 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62896 KiB
[startup+1.50077 s]
/proc/loadavg: 1.73 0.94 0.41 3/228 26309
/proc/meminfo: memFree=31289020/32770624 swapFree=66918524/67108860
[pid=26294] ppid=26291 vsize=10663980 memory=74772 CPUtime=1.97 cores=1,3,5,7
/proc/26294/stat : 26294 (java) S 26291 26294 26121 0 -1 1077944320 18371 0 0 0 191 6 0 0 20 0 15 0 414011922 10919915520 18693 33554432000 4194304 4196468 140725229713728 140725229696272 139994239934199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
/proc/26294/statm: 2665995 18693 3092 1 0 2628492 0
[pid=26294/tid=26296] ppid=26291 vsize=10663980 memory=279608814297760 CPUtime=1.48 cores=1,3,5,7
/proc/26294/task/26296/stat : 26296 (java) R 26291 26294 26121 0 -1 4202560 13068 0 0 0 143 5 0 0 20 0 15 0 414011922 10919915520 18693 33554432000 4194304 4196468 140725229713728 139994244166224 139994221497743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26297] ppid=26291 vsize=10663980 memory=279608813470640 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26297/stat : 26297 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10919915520 18693 33554432000 4194304 4196468 140725229713728 139994192554384 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26298] ppid=26291 vsize=10663980 memory=56 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26298/stat : 26298 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10919915520 18693 33554432000 4194304 4196468 140725229713728 139993845258512 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26299] ppid=26291 vsize=10663980 memory=2811011 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26299/stat : 26299 (java) S 26291 26294 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414011923 10919915520 18693 33554432000 4194304 4196468 140725229713728 139993844206224 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26300] ppid=26291 vsize=10663980 memory=2812297 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26300/stat : 26300 (java) S 26291 26294 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414011923 10919915520 18693 33554432000 4194304 4196468 140725229713728 139993843153424 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26301] ppid=26291 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26301/stat : 26301 (java) S 26291 26294 26121 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 414011924 10919915520 18693 33554432000 4194304 4196468 140725229713728 139993799060080 139994239945346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
################
# More data... #
################
[startup+229.601 s]
/proc/loadavg: 1.90 1.47 0.75 3/231 26336
/proc/meminfo: memFree=31168340/32770624 swapFree=66918536/67108860
[pid=26294] ppid=26291 vsize=10746276 memory=210940 CPUtime=232.04 cores=1,3,5,7
/proc/26294/stat : 26294 (java) S 26291 26294 26121 0 -1 1077944320 55485 0 0 0 23182 22 0 0 20 0 16 0 414011922 11004186624 52735 33554432000 4194304 4196468 140725229713728 140725229696272 139994239934199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
/proc/26294/statm: 2686569 52735 3365 1 0 2646705 0
[pid=26294/tid=26296] ppid=26291 vsize=10746276 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/26294/task/26296/stat : 26296 (java) S 26291 26294 26121 0 -1 1077944384 15290 0 0 0 178 7 0 0 20 0 16 0 414011922 11004186624 52735 33554432000 4194304 4196468 140725229713728 139994244177072 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26297] ppid=26291 vsize=10746276 memory=988 CPUtime=0.12 cores=1,3,5,7
/proc/26294/task/26297/stat : 26297 (java) S 26291 26294 26121 0 -1 1077944384 2325 0 0 0 11 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139994192554384 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26298] ppid=26291 vsize=10746276 memory=2012 CPUtime=0.12 cores=1,3,5,7
/proc/26294/task/26298/stat : 26298 (java) S 26291 26294 26121 0 -1 1077944384 2864 0 0 0 11 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993845258512 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26299] ppid=26291 vsize=10746276 memory=1324 CPUtime=0.13 cores=1,3,5,7
/proc/26294/task/26299/stat : 26299 (java) S 26291 26294 26121 0 -1 1077944384 2400 0 0 0 12 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993844206224 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26300] ppid=26291 vsize=10746276 memory=1704 CPUtime=0.12 cores=1,3,5,7
/proc/26294/task/26300/stat : 26300 (java) S 26291 26294 26121 0 -1 1077944384 1512 0 0 0 11 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993843153424 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26301] ppid=26291 vsize=10746276 memory=5936 CPUtime=0.04 cores=1,3,5,7
/proc/26294/task/26301/stat : 26301 (java) S 26291 26294 26121 0 -1 1077944384 3066 0 0 0 3 1 0 0 20 0 16 0 414011924 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993799060080 139994239945346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26302] ppid=26291 vsize=10746276 memory=588 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26302/stat : 26302 (java) S 26291 26294 26121 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414011925 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993798006112 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26303] ppid=26291 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26303/stat : 26303 (java) S 26291 26294 26121 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414011925 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993796953728 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26304] ppid=26291 vsize=10746276 memory=864 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26304/stat : 26304 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414011927 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993795902032 139994239952795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26305] ppid=26291 vsize=10746276 memory=213504 CPUtime=0.8 cores=1,3,5,7
/proc/26294/task/26305/stat : 26305 (java) S 26291 26294 26121 0 -1 1077944384 6607 0 0 0 79 1 0 0 20 0 16 0 414011927 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993794848880 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26306] ppid=26291 vsize=10746276 memory=1980 CPUtime=0.69 cores=1,3,5,7
/proc/26294/task/26306/stat : 26306 (java) S 26291 26294 26121 0 -1 1077944384 4130 0 0 0 69 0 0 0 20 0 16 0 414011927 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993793796080 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26307] ppid=26291 vsize=10746276 memory=2432 CPUtime=0.48 cores=1,3,5,7
/proc/26294/task/26307/stat : 26307 (java) S 26291 26294 26121 0 -1 1077944384 5619 0 0 0 47 1 0 0 20 0 16 0 414011928 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993792743792 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26308] ppid=26291 vsize=10746276 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26308/stat : 26308 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414011928 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993791691232 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26309] ppid=26291 vsize=10746276 memory=111636 CPUtime=0.04 cores=1,3,5,7
/proc/26294/task/26309/stat : 26309 (java) S 26291 26294 26121 0 -1 1077944384 391 0 0 0 2 2 0 0 20 0 16 0 414011928 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993790639024 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26310] ppid=26291 vsize=10746276 memory=800 CPUtime=227.54 cores=1,3,5,7
/proc/26294/task/26310/stat : 26310 (java) R 26291 26294 26121 0 -1 4202560 9843 0 0 0 22751 3 0 0 20 0 16 0 414012109 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993789177200 139993875688131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
Current children cumulated CPU time: 232.04 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 210940 KiB
[startup+230.401 s]
/proc/loadavg: 1.90 1.47 0.75 3/231 26336
/proc/meminfo: memFree=31168348/32770624 swapFree=66918536/67108860
[pid=26294] ppid=26291 vsize=10746276 memory=210940 CPUtime=232.84 cores=1,3,5,7
/proc/26294/stat : 26294 (java) S 26291 26294 26121 0 -1 1077944320 55485 0 0 0 23262 22 0 0 20 0 16 0 414011922 11004186624 52735 33554432000 4194304 4196468 140725229713728 140725229696272 139994239934199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
/proc/26294/statm: 2686569 52735 3365 1 0 2646705 0
[pid=26294/tid=26296] ppid=26291 vsize=10746276 memory=279608814499232 CPUtime=1.85 cores=1,3,5,7
/proc/26294/task/26296/stat : 26296 (java) S 26291 26294 26121 0 -1 1077944384 15290 0 0 0 178 7 0 0 20 0 16 0 414011922 11004186624 52735 33554432000 4194304 4196468 140725229713728 139994244177072 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26297] ppid=26291 vsize=10746276 memory=-6948047529741492128 CPUtime=0.12 cores=1,3,5,7
/proc/26294/task/26297/stat : 26297 (java) S 26291 26294 26121 0 -1 1077944384 2325 0 0 0 11 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139994192554384 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26298] ppid=26291 vsize=10746276 memory=213504 CPUtime=0.12 cores=1,3,5,7
/proc/26294/task/26298/stat : 26298 (java) S 26291 26294 26121 0 -1 1077944384 2864 0 0 0 11 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993845258512 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26299] ppid=26291 vsize=10746276 memory=213504 CPUtime=0.13 cores=1,3,5,7
/proc/26294/task/26299/stat : 26299 (java) S 26291 26294 26121 0 -1 1077944384 2400 0 0 0 12 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993844206224 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26300] ppid=26291 vsize=10746276 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/26294/task/26300/stat : 26300 (java) S 26291 26294 26121 0 -1 1077944384 1512 0 0 0 11 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993843153424 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26301] ppid=26291 vsize=10746276 memory=932 CPUtime=0.04 cores=1,3,5,7
/proc/26294/task/26301/stat : 26301 (java) S 26291 26294 26121 0 -1 1077944384 3066 0 0 0 3 1 0 0 20 0 16 0 414011924 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993799060080 139994239945346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26302] ppid=26291 vsize=10746276 memory=1492 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26302/stat : 26302 (java) S 26291 26294 26121 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414011925 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993798006112 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26303] ppid=26291 vsize=10746276 memory=864 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26303/stat : 26303 (java) S 26291 26294 26121 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414011925 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993796953728 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26304] ppid=26291 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26304/stat : 26304 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414011927 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993795902032 139994239952795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26305] ppid=26291 vsize=10746276 memory=2012 CPUtime=0.8 cores=1,3,5,7
/proc/26294/task/26305/stat : 26305 (java) S 26291 26294 26121 0 -1 1077944384 6607 0 0 0 79 1 0 0 20 0 16 0 414011927 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993794848880 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26306] ppid=26291 vsize=10746276 memory=1324 CPUtime=0.69 cores=1,3,5,7
/proc/26294/task/26306/stat : 26306 (java) S 26291 26294 26121 0 -1 1077944384 4130 0 0 0 69 0 0 0 20 0 16 0 414011927 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993793796080 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26307] ppid=26291 vsize=10746276 memory=56 CPUtime=0.48 cores=1,3,5,7
/proc/26294/task/26307/stat : 26307 (java) S 26291 26294 26121 0 -1 1077944384 5619 0 0 0 47 1 0 0 20 0 16 0 414011928 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993792743792 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26308] ppid=26291 vsize=10746276 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26308/stat : 26308 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414011928 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993791691232 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26309] ppid=26291 vsize=10746276 memory=5936 CPUtime=0.04 cores=1,3,5,7
/proc/26294/task/26309/stat : 26309 (java) S 26291 26294 26121 0 -1 1077944384 391 0 0 0 2 2 0 0 20 0 16 0 414011928 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993790639024 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26310] ppid=26291 vsize=10746276 memory=588 CPUtime=228.34 cores=1,3,5,7
/proc/26294/task/26310/stat : 26310 (java) R 26291 26294 26121 0 -1 4202560 9843 0 0 0 22831 3 0 0 20 0 16 0 414012109 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993789177200 139993876590978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
Current children cumulated CPU time: 232.84 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 210940 KiB
[startup+230.601 s]
/proc/loadavg: 1.90 1.47 0.75 3/231 26336
/proc/meminfo: memFree=31168348/32770624 swapFree=66918536/67108860
[pid=26294] ppid=26291 vsize=10746276 memory=210940 CPUtime=233.04 cores=1,3,5,7
/proc/26294/stat : 26294 (java) S 26291 26294 26121 0 -1 1077944320 55485 0 0 0 23282 22 0 0 20 0 16 0 414011922 11004186624 52735 33554432000 4194304 4196468 140725229713728 140725229696272 139994239934199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
/proc/26294/statm: 2686569 52735 3365 1 0 2646705 0
[pid=26294/tid=26296] ppid=26291 vsize=10746276 memory=1324 CPUtime=1.85 cores=1,3,5,7
/proc/26294/task/26296/stat : 26296 (java) S 26291 26294 26121 0 -1 1077944384 15290 0 0 0 178 7 0 0 20 0 16 0 414011922 11004186624 52735 33554432000 4194304 4196468 140725229713728 139994244177072 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26297] ppid=26291 vsize=10746276 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/26294/task/26297/stat : 26297 (java) S 26291 26294 26121 0 -1 1077944384 2325 0 0 0 11 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139994192554384 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26298] ppid=26291 vsize=10746276 memory=8056 CPUtime=0.12 cores=1,3,5,7
/proc/26294/task/26298/stat : 26298 (java) S 26291 26294 26121 0 -1 1077944384 2864 0 0 0 11 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993845258512 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26299] ppid=26291 vsize=10746276 memory=528 CPUtime=0.13 cores=1,3,5,7
/proc/26294/task/26299/stat : 26299 (java) S 26291 26294 26121 0 -1 1077944384 2400 0 0 0 12 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993844206224 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26300] ppid=26291 vsize=10746276 memory=1560 CPUtime=0.12 cores=1,3,5,7
/proc/26294/task/26300/stat : 26300 (java) S 26291 26294 26121 0 -1 1077944384 1512 0 0 0 11 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993843153424 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26301] ppid=26291 vsize=10746276 memory=932 CPUtime=0.04 cores=1,3,5,7
/proc/26294/task/26301/stat : 26301 (java) S 26291 26294 26121 0 -1 1077944384 3066 0 0 0 3 1 0 0 20 0 16 0 414011924 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993799060080 139994239945346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26302] ppid=26291 vsize=10746276 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26302/stat : 26302 (java) S 26291 26294 26121 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414011925 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993798006112 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26303] ppid=26291 vsize=10746276 memory=5936 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26303/stat : 26303 (java) S 26291 26294 26121 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414011925 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993796953728 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26304] ppid=26291 vsize=10746276 memory=588 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26304/stat : 26304 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414011927 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993795902032 139994239952795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26305] ppid=26291 vsize=10746276 memory=780 CPUtime=0.8 cores=1,3,5,7
/proc/26294/task/26305/stat : 26305 (java) S 26291 26294 26121 0 -1 1077944384 6607 0 0 0 79 1 0 0 20 0 16 0 414011927 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993794848880 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26306] ppid=26291 vsize=10746276 memory=1056 CPUtime=0.69 cores=1,3,5,7
/proc/26294/task/26306/stat : 26306 (java) S 26291 26294 26121 0 -1 1077944384 4130 0 0 0 69 0 0 0 20 0 16 0 414011927 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993793796080 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26307] ppid=26291 vsize=10746276 memory=111636 CPUtime=0.48 cores=1,3,5,7
/proc/26294/task/26307/stat : 26307 (java) S 26291 26294 26121 0 -1 1077944384 5619 0 0 0 47 1 0 0 20 0 16 0 414011928 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993792743792 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26308] ppid=26291 vsize=10746276 memory=800 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26308/stat : 26308 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414011928 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993791691232 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26309] ppid=26291 vsize=10746276 memory=4100 CPUtime=0.04 cores=1,3,5,7
/proc/26294/task/26309/stat : 26309 (java) S 26291 26294 26121 0 -1 1077944384 391 0 0 0 2 2 0 0 20 0 16 0 414011928 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993790639024 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26310] ppid=26291 vsize=10746276 memory=1804 CPUtime=228.54 cores=1,3,5,7
/proc/26294/task/26310/stat : 26310 (java) R 26291 26294 26121 0 -1 4202560 9843 0 0 0 22851 3 0 0 20 0 16 0 414012109 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993789177200 139993876591312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
Current children cumulated CPU time: 233.04 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 210940 KiB
[startup+230.701 s]
/proc/loadavg: 1.90 1.47 0.75 3/231 26336
/proc/meminfo: memFree=31168348/32770624 swapFree=66918536/67108860
[pid=26294] ppid=26291 vsize=10746276 memory=210940 CPUtime=233.14 cores=1,3,5,7
/proc/26294/stat : 26294 (java) S 26291 26294 26121 0 -1 1077944320 55485 0 0 0 23292 22 0 0 20 0 16 0 414011922 11004186624 52735 33554432000 4194304 4196468 140725229713728 140725229696272 139994239934199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
/proc/26294/statm: 2686569 52735 3365 1 0 2646705 0
[pid=26294/tid=26296] ppid=26291 vsize=10746276 memory=210940 CPUtime=1.85 cores=1,3,5,7
/proc/26294/task/26296/stat : 26296 (java) S 26291 26294 26121 0 -1 1077944384 15290 0 0 0 178 7 0 0 20 0 16 0 414011922 11004186624 52735 33554432000 4194304 4196468 140725229713728 139994244177072 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26297] ppid=26291 vsize=10746276 memory=3616 CPUtime=0.12 cores=1,3,5,7
/proc/26294/task/26297/stat : 26297 (java) S 26291 26294 26121 0 -1 1077944384 2325 0 0 0 11 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139994192554384 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26298] ppid=26291 vsize=10746276 memory=21036 CPUtime=0.12 cores=1,3,5,7
/proc/26294/task/26298/stat : 26298 (java) S 26291 26294 26121 0 -1 1077944384 2864 0 0 0 11 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993845258512 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26299] ppid=26291 vsize=10746276 memory=21036 CPUtime=0.13 cores=1,3,5,7
/proc/26294/task/26299/stat : 26299 (java) S 26291 26294 26121 0 -1 1077944384 2400 0 0 0 12 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993844206224 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26300] ppid=26291 vsize=10746276 memory=988 CPUtime=0.12 cores=1,3,5,7
/proc/26294/task/26300/stat : 26300 (java) S 26291 26294 26121 0 -1 1077944384 1512 0 0 0 11 1 0 0 20 0 16 0 414011923 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993843153424 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26301] ppid=26291 vsize=10746276 memory=213504 CPUtime=0.04 cores=1,3,5,7
/proc/26294/task/26301/stat : 26301 (java) S 26291 26294 26121 0 -1 1077944384 3066 0 0 0 3 1 0 0 20 0 16 0 414011924 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993799060080 139994239945346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26302] ppid=26291 vsize=10746276 memory=216072 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26302/stat : 26302 (java) S 26291 26294 26121 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414011925 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993798006112 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26303] ppid=26291 vsize=10746276 memory=218628 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26303/stat : 26303 (java) S 26291 26294 26121 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414011925 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993796953728 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26304] ppid=26291 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26304/stat : 26304 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414011927 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993795902032 139994239952795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26305] ppid=26291 vsize=10746276 memory=780 CPUtime=0.8 cores=1,3,5,7
/proc/26294/task/26305/stat : 26305 (java) S 26291 26294 26121 0 -1 1077944384 6607 0 0 0 79 1 0 0 20 0 16 0 414011927 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993794848880 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26306] ppid=26291 vsize=10746276 memory=210940 CPUtime=0.69 cores=1,3,5,7
/proc/26294/task/26306/stat : 26306 (java) S 26291 26294 26121 0 -1 1077944384 4130 0 0 0 69 0 0 0 20 0 16 0 414011927 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993793796080 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26307] ppid=26291 vsize=10746276 memory=213504 CPUtime=0.48 cores=1,3,5,7
/proc/26294/task/26307/stat : 26307 (java) S 26291 26294 26121 0 -1 1077944384 5619 0 0 0 47 1 0 0 20 0 16 0 414011928 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993792743792 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26308] ppid=26291 vsize=10746276 memory=213504 CPUtime=0 cores=1,3,5,7
/proc/26294/task/26308/stat : 26308 (java) S 26291 26294 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414011928 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993791691232 139994239944405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26309] ppid=26291 vsize=10746276 memory=213504 CPUtime=0.04 cores=1,3,5,7
/proc/26294/task/26309/stat : 26309 (java) S 26291 26294 26121 0 -1 1077944384 391 0 0 0 2 2 0 0 20 0 16 0 414011928 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993790639024 139994239945346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
[pid=26294/tid=26310] ppid=26291 vsize=10746276 memory=528 CPUtime=228.64 cores=1,3,5,7
/proc/26294/task/26310/stat : 26310 (java) R 26291 26294 26121 0 -1 4202560 9843 0 0 0 22861 3 0 0 20 0 16 0 414012109 11004186624 52735 33554432000 4194304 4196468 140725229713728 139993789177200 139993876564864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24207360 140725229720587 140725229720690 140725229720690 140725229723599 0
Current children cumulated CPU time: 233.14 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 210940 KiB
Child status: 0
Real time (s): 230.779
CPU time (s): 233.213
CPU user time (s): 232.989
CPU system time (s): 0.224143
CPU usage (%): 101.055
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 264576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.989
system time used= 0.224143
maximum resident set size= 266628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7925
involuntary context switches= 387
# summary of solver processes directly reported to runsolver:
# pid: 26294
# total CPU time (s): 233.213
# total CPU user time (s): 232.989
# total CPU system time (s): 0.224143
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39889 second user time and 1.96499 second system time
The end