2.56/1.93
2.56/1.93 AbsCon 2
2.56/1.95
2.84/2.07 Instance
2.84/2.07 name=instance-4390561-1568380754, framework=CSP
2.84/2.07
2.84/2.07 Loading variables...
2.84/2.09 Loading constraints...
3.08/2.19
3.08/2.19 Domains
3.08/2.19 nTypes=1, nValues=4096, sizes=[64#64]
3.08/2.19 Variables
3.08/2.19 count=64, degrees=[2#32,3#32]
3.08/2.19 Constraints
3.08/2.19 count=49, nSpecific=1, arities=[2#48,64#1]
3.08/2.19 distribution=[AllDifferent#1,CtrIntension#48]
3.08/2.19 nIntStructures=(16,shared:32), nCftStructures=(16,shared:32,unbuilt:1)
3.08/2.19 wck=0.286, cpu=2.15, mem=21M227
3.08/2.19 Solver SolverBacktrack being built...
3.08/2.19
3.33/2.22
3.33/2.22 Solver
3.33/2.22 guaranteedGAC=true
3.33/2.22 wck=0.316, cpu=2.178, mem=31M870
3.33/2.27
3.33/2.27 Preprocessing
3.33/2.27 filters=95, revisions=(143,useless=0), ccks=205810, nACremovedValues=1824, nTotalRemovedValues=1824, inconcistency=false
3.33/2.27 wck=0.055, cpu=2.235, mem=31M870
3.33/2.27
3.63/2.31 num=0, depth=4..5, filters=638, revisions=(771,useless=64), ccks=227656, wck=0.091, mem=31M870
3.63/2.31 decisions=27, wrong=11, backtracks=1, failedAssignments=10, nogoods=10
3.63/2.31
3.63/2.34 num=1, depth=4..6, filters=1367, revisions=(1710,useless=140), ccks=261161, wck=0.118, mem=31M870
3.63/2.34 decisions=58, wrong=24, backtracks=3, failedAssignments=21, nogoods=18
3.63/2.34
3.63/2.37 num=2, depth=4..6, filters=2704, revisions=(3473,useless=294), ccks=302064, wck=0.158, mem=31M870
3.63/2.37 decisions=98, wrong=41, backtracks=8, failedAssignments=33, nogoods=24
3.63/2.37
3.92/2.40 num=3, depth=4..5, filters=3576, revisions=(4587,useless=416), ccks=335254, wck=0.185, mem=31M870
3.92/2.40 decisions=137, wrong=58, backtracks=12, failedAssignments=46, nogoods=29
3.92/2.40
3.92/2.44 num=4, depth=4..6, filters=4701, revisions=(6012,useless=519), ccks=372193, wck=0.22, mem=31M870
3.92/2.44 decisions=175, wrong=75, backtracks=16, failedAssignments=60, nogoods=35
3.92/2.44
3.92/2.49 num=5, depth=3..6, filters=6231, revisions=(7970,useless=637), ccks=418708, wck=0.273, mem=31M870
3.92/2.49 decisions=219, wrong=95, backtracks=21, failedAssignments=76, nogoods=41
3.92/2.49
4.15/2.53 num=6, depth=3..6, filters=7632, revisions=(9800,useless=819), ccks=463715, wck=0.311, mem=31M870
4.15/2.53 decisions=268, wrong=117, backtracks=26, failedAssignments=93, nogoods=46
4.15/2.53
4.15/2.57 num=7, depth=4..6, filters=9050, revisions=(11652,useless=971), ccks=506004, wck=0.349, mem=31M870
4.15/2.57 decisions=321, wrong=141, backtracks=32, failedAssignments=112, nogoods=57
4.15/2.57
4.26/2.60 num=8, depth=4..5, filters=10384, revisions=(13429,useless=1152), ccks=551317, wck=0.386, mem=31M870
4.26/2.60 decisions=378, wrong=167, backtracks=37, failedAssignments=133, nogoods=71
4.26/2.60
4.26/2.64 num=9, depth=3..6, filters=11890, revisions=(15309,useless=1335), ccks=595009, wck=0.425, mem=34M512
4.26/2.64 decisions=438, wrong=195, backtracks=42, failedAssignments=156, nogoods=75
4.26/2.64
4.26/2.68 num=10, depth=4..6, filters=13308, revisions=(17015,useless=1474), ccks=633548, wck=0.461, mem=34M512
4.26/2.68 decisions=498, wrong=223, backtracks=45, failedAssignments=181, nogoods=84
4.26/2.68
4.36/2.72 num=11, depth=4..6, filters=14978, revisions=(19049,useless=1662), ccks=676436, wck=0.502, mem=34M512
4.36/2.72 decisions=569, wrong=256, backtracks=51, failedAssignments=209, nogoods=98
4.36/2.72
4.36/2.76 num=12, depth=3..6, filters=16725, revisions=(21211,useless=1900), ccks=721415, wck=0.544, mem=34M512
4.36/2.76 decisions=653, wrong=296, backtracks=61, failedAssignments=240, nogoods=102
4.36/2.76
4.47/2.82 num=13, depth=3..6, filters=19191, revisions=(24306,useless=2225), ccks=776801, wck=0.602, mem=34M512
4.47/2.82 decisions=749, wrong=342, backtracks=73, failedAssignments=274, nogoods=106
4.47/2.82
4.47/2.88 num=14, depth=3..6, filters=21676, revisions=(27371,useless=2517), ccks=831201, wck=0.659, mem=34M512
4.47/2.88 decisions=856, wrong=394, backtracks=89, failedAssignments=311, nogoods=112
4.47/2.88
4.59/2.94 num=15, depth=4..6, filters=24550, revisions=(30977,useless=2870), ccks=890999, wck=0.725, mem=34M512
4.59/2.94 decisions=964, wrong=445, backtracks=100, failedAssignments=352, nogoods=132
4.59/2.94
4.59/2.99 num=16, depth=3..6, filters=26776, revisions=(33659,useless=3214), ccks=940182, wck=0.775, mem=34M512
4.59/2.99 decisions=1075, wrong=498, backtracks=108, failedAssignments=397, nogoods=152
4.59/2.99
4.72/3.07 num=17, depth=2..6, filters=30249, revisions=(37926,useless=3587), ccks=1009132, wck=0.852, mem=34M512
4.72/3.07 decisions=1201, wrong=560, backtracks=123, failedAssignments=447, nogoods=153
4.72/3.07
4.82/3.14 num=18, depth=3..6, filters=33575, revisions=(42001,useless=4024), ccks=1075958, wck=0.924, mem=34M512
4.82/3.14 decisions=1345, wrong=630, backtracks=140, failedAssignments=502, nogoods=167
4.82/3.14
4.93/3.23 num=19, depth=3..6, filters=37605, revisions=(47007,useless=4522), ccks=1155795, wck=1.014, mem=34M512
4.93/3.23 decisions=1499, wrong=705, backtracks=156, failedAssignments=563, nogoods=186
4.93/3.23
5.03/3.33 num=20, depth=3..6, filters=42092, revisions=(52716,useless=5233), ccks=1234716, wck=1.111, mem=34M512
5.03/3.33 decisions=1679, wrong=793, backtracks=178, failedAssignments=630, nogoods=199
5.03/3.33
5.13/3.42 num=21, depth=3..6, filters=46627, revisions=(58175,useless=5864), ccks=1316454, wck=1.208, mem=34M512
5.13/3.42 decisions=1879, wrong=891, backtracks=205, failedAssignments=704, nogoods=208
5.13/3.42
5.23/3.52 num=22, depth=3..7, filters=51309, revisions=(63763,useless=6457), ccks=1394719, wck=1.305, mem=34M512
5.23/3.52 decisions=2088, wrong=993, backtracks=229, failedAssignments=785, nogoods=218
5.23/3.52
5.33/3.65 num=23, depth=3..6, filters=57067, revisions=(71059,useless=7189), ccks=1514785, wck=1.434, mem=34M512
5.33/3.65 decisions=2318, wrong=1106, backtracks=256, failedAssignments=874, nogoods=238
5.33/3.65
5.43/3.75 num=24, depth=3..6, filters=61770, revisions=(76883,useless=7996), ccks=1586252, wck=1.531, mem=34M512
5.43/3.75 decisions=2553, wrong=1221, backtracks=276, failedAssignments=972, nogoods=244
5.43/3.75
5.53/3.85 num=25, depth=3..6, filters=66861, revisions=(83140,useless=8794), ccks=1670976, wck=1.637, mem=37M154
5.53/3.85 decisions=2812, wrong=1348, backtracks=298, failedAssignments=1080, nogoods=263
5.53/3.85
5.75/4.01 num=26, depth=3..6, filters=73882, revisions=(91665,useless=9635), ccks=1800572, wck=1.789, mem=37M154
5.75/4.01 decisions=3111, wrong=1496, backtracks=330, failedAssignments=1199, nogoods=293
5.75/4.01
5.85/4.18 num=27, depth=3..6, filters=82246, revisions=(102034,useless=10718), ccks=1936373, wck=1.967, mem=37M154
5.85/4.18 decisions=3467, wrong=1672, backtracks=381, failedAssignments=1330, nogoods=312
5.85/4.18
6.05/4.34 num=28, depth=3..6, filters=89616, revisions=(111208,useless=11773), ccks=2055744, wck=2.12, mem=37M154
6.05/4.34 decisions=3836, wrong=1854, backtracks=425, failedAssignments=1474, nogoods=333
6.05/4.34
6.26/4.55 num=29, depth=2..6, filters=99385, revisions=(123154,useless=13022), ccks=2238460, wck=2.337, mem=37M154
6.26/4.55 decisions=4212, wrong=2040, backtracks=461, failedAssignments=1632, nogoods=339
6.26/4.55
6.49/4.79 num=30, depth=2..6, filters=110166, revisions=(136369,useless=14335), ccks=2429310, wck=2.573, mem=37M154
6.49/4.79 decisions=4640, wrong=2252, backtracks=503, failedAssignments=1806, nogoods=353
6.49/4.79
6.69/4.98 num=31, depth=2..6, filters=119431, revisions=(147286,useless=15734), ccks=2560465, wck=2.76, mem=39M797
6.69/4.98 decisions=5088, wrong=2474, backtracks=539, failedAssignments=1997, nogoods=360
6.69/4.98
7.00/5.28 num=32, depth=2..6, filters=133274, revisions=(164547,useless=17392), ccks=2806105, wck=3.059, mem=39M797
7.00/5.28 decisions=5635, wrong=2746, backtracks=608, failedAssignments=2208, nogoods=366
7.00/5.28
7.30/5.56 num=33, depth=3..6, filters=146825, revisions=(181177,useless=19300), ccks=3012711, wck=3.34, mem=39M797
7.30/5.56 decisions=6240, wrong=3047, backtracks=684, failedAssignments=2440, nogoods=399
7.30/5.56
7.73/5.90 num=34, depth=2..6, filters=163452, revisions=(201450,useless=21407), ccks=3261274, wck=3.68, mem=39M797
7.73/5.90 decisions=6920, wrong=3385, backtracks=781, failedAssignments=2695, nogoods=414
7.73/5.90
8.04/6.22 num=35, depth=3..7, filters=179183, revisions=(220913,useless=23830), ccks=3497949, wck=4.007, mem=42M439
8.04/6.22 decisions=7613, wrong=3729, backtracks=854, failedAssignments=2976, nogoods=429
8.04/6.22
8.34/6.55 num=36, depth=3..6, filters=195303, revisions=(240798,useless=26186), ccks=3719396, wck=4.334, mem=42M439
8.34/6.55 decisions=8379, wrong=4110, backtracks=934, failedAssignments=3285, nogoods=449
8.34/6.55
8.87/7.03 num=37, depth=2..7, filters=217378, revisions=(267839,useless=28967), ccks=4098627, wck=4.81, mem=42M439
8.87/7.03 decisions=9257, wrong=4547, backtracks=1041, failedAssignments=3625, nogoods=465
8.87/7.03
9.26/7.48 num=38, depth=2..7, filters=238664, revisions=(293899,useless=31621), ccks=4450253, wck=5.263, mem=45M82
9.26/7.48 decisions=10185, wrong=5009, backtracks=1142, failedAssignments=3999, nogoods=470
9.26/7.48
9.80/7.96 num=39, depth=3..7, filters=262481, revisions=(323048,useless=34781), ccks=4792678, wck=5.746, mem=45M82
9.80/7.96 decisions=11234, wrong=5531, backtracks=1271, failedAssignments=4410, nogoods=496
9.80/7.96
10.40/8.58 num=40, depth=2..6, filters=291867, revisions=(359196,useless=38317), ccks=5300114, wck=6.362, mem=45M82
10.40/8.58 decisions=12434, wrong=6129, backtracks=1435, failedAssignments=4862, nogoods=507
10.40/8.58
11.06/9.12 num=41, depth=2..7, filters=318151, revisions=(390690,useless=41798), ccks=5705257, wck=6.9, mem=47M724
11.06/9.12 decisions=13666, wrong=6743, backtracks=1575, failedAssignments=5359, nogoods=513
11.06/9.12
11.75/9.82 num=42, depth=2..6, filters=351778, revisions=(432003,useless=45954), ccks=6248087, wck=7.604, mem=47M724
11.75/9.82 decisions=15088, wrong=7452, backtracks=1765, failedAssignments=5906, nogoods=537
11.75/9.82
12.55/10.67 num=43, depth=2..7, filters=391636, revisions=(481171,useless=51002), ccks=6902571, wck=8.45, mem=50M367
12.55/10.67 decisions=16615, wrong=8214, backtracks=1954, failedAssignments=6508, nogoods=553
12.55/10.67
13.36/11.46 num=44, depth=2..7, filters=430677, revisions=(528750,useless=56025), ccks=7487840, wck=9.243, mem=53M9
13.36/11.46 decisions=18333, wrong=9071, backtracks=2172, failedAssignments=7170, nogoods=567
13.36/11.46
14.16/12.22 num=45, depth=2..6, filters=468911, revisions=(575430,useless=61482), ccks=8019201, wck=10.007, mem=53M9
14.16/12.22 decisions=20202, wrong=10003, backtracks=2404, failedAssignments=7898, nogoods=573
14.16/12.22
15.07/13.20 num=46, depth=2..7, filters=516178, revisions=(633669,useless=67396), ccks=8735084, wck=10.979, mem=55M651
15.07/13.20 decisions=22313, wrong=11056, backtracks=2702, failedAssignments=8699, nogoods=589
15.07/13.20
16.07/14.18 num=47, depth=2..7, filters=564778, revisions=(693978,useless=74654), ccks=9409089, wck=11.96, mem=58M294
16.07/14.18 decisions=24532, wrong=12163, backtracks=2955, failedAssignments=9580, nogoods=596
16.07/14.18
17.26/15.32 num=48, depth=2..6, filters=620102, revisions=(761208,useless=82316), ccks=10272571, wck=13.101, mem=60M936
17.26/15.32 decisions=26964, wrong=13377, backtracks=3224, failedAssignments=10550, nogoods=610
17.26/15.32
18.56/16.68 num=49, depth=2..6, filters=685053, revisions=(841396,useless=90751), ccks=11309771, wck=14.462, mem=63M579
18.56/16.68 decisions=29696, wrong=14741, backtracks=3573, failedAssignments=11617, nogoods=627
18.56/16.68
20.16/18.22 num=50, depth=2..7, filters=759454, revisions=(932974,useless=100406), ccks=12458568, wck=16.005, mem=66M221
20.16/18.22 decisions=32732, wrong=16257, backtracks=3948, failedAssignments=12790, nogoods=639
20.16/18.22
21.46/19.55 num=51, depth=2..6, filters=826654, revisions=(1013814,useless=109985), ccks=13353042, wck=17.332, mem=68M863
21.46/19.55 decisions=35967, wrong=17872, backtracks=4315, failedAssignments=14081, nogoods=653
21.46/19.55
23.46/21.52 num=52, depth=2..6, filters=919417, revisions=(1128098,useless=122105), ccks=14908824, wck=19.302, mem=74M148
23.46/21.52 decisions=39594, wrong=19684, backtracks=4762, failedAssignments=15501, nogoods=684
23.46/21.52
25.26/23.39 num=53, depth=2..7, filters=1010299, revisions=(1240174,useless=134459), ccks=16287435, wck=21.173, mem=76M791
25.26/23.39 decisions=43576, wrong=21673, backtracks=5252, failedAssignments=17063, nogoods=711
25.26/23.39
27.56/25.61 num=54, depth=1..7, filters=1115850, revisions=(1369625,useless=148039), ccks=18093889, wck=23.397, mem=82M76
27.56/25.61 decisions=48045, wrong=23905, backtracks=5837, failedAssignments=18781, nogoods=728
27.56/25.61
29.97/28.10 num=55, depth=2..7, filters=1233210, revisions=(1515098,useless=162543), ccks=20059677, wck=25.879, mem=87M360
29.97/28.10 decisions=52912, wrong=26336, backtracks=6472, failedAssignments=20671, nogoods=764
29.97/28.10
32.56/30.60 num=56, depth=2..6, filters=1355923, revisions=(1665702,useless=178786), ccks=21887806, wck=28.386, mem=92M645
32.56/30.60 decisions=58330, wrong=29042, backtracks=7183, failedAssignments=22750, nogoods=775
32.56/30.60
35.46/33.54 num=57, depth=1..7, filters=1492749, revisions=(1831796,useless=195649), ccks=24301832, wck=31.323, mem=97M930
35.46/33.54 decisions=64052, wrong=31901, backtracks=7842, failedAssignments=25037, nogoods=801
35.46/33.54
38.57/36.60 num=58, depth=1..7, filters=1640431, revisions=(2012333,useless=215316), ccks=26678842, wck=34.379, mem=105M857
38.57/36.60 decisions=70473, wrong=35109, backtracks=8623, failedAssignments=27553, nogoods=816
38.57/36.60
41.87/39.98 num=59, depth=1..7, filters=1803362, revisions=(2210768,useless=235573), ccks=29290849, wck=37.764, mem=111M142
41.87/39.98 decisions=77548, wrong=38644, backtracks=9521, failedAssignments=30321, nogoods=825
41.87/39.98
45.37/43.48 num=60, depth=2..7, filters=1975469, revisions=(2421524,useless=259678), ccks=31834809, wck=41.264, mem=119M70
45.37/43.48 decisions=85259, wrong=42497, backtracks=10454, failedAssignments=33365, nogoods=860
45.37/43.48
49.47/47.56 num=61, depth=1..7, filters=2167848, revisions=(2656100,useless=283380), ccks=35094181, wck=45.343, mem=126M997
49.47/47.56 decisions=93626, wrong=46679, backtracks=11410, failedAssignments=36714, nogoods=881
49.47/47.56
54.37/52.49 num=62, depth=1..7, filters=2399444, revisions=(2941292,useless=312280), ccks=39051617, wck=50.268, mem=137M567
54.37/52.49 decisions=102999, wrong=51363, backtracks=12543, failedAssignments=40398, nogoods=897
54.37/52.49
59.71/57.76 num=63, depth=1..8, filters=2647725, revisions=(3246021,useless=343786), ccks=43398795, wck=55.541, mem=27M726
59.71/57.76 decisions=113357, wrong=56540, backtracks=13843, failedAssignments=44450, nogoods=915
59.71/57.76
64.76/62.75 num=64, depth=1..7, filters=2894734, revisions=(3544719,useless=376096), ccks=47268693, wck=60.53, mem=38M190
64.76/62.75 decisions=124625, wrong=62172, backtracks=15186, failedAssignments=48907, nogoods=941
64.76/62.75
71.11/69.04 num=65, depth=1..7, filters=3190162, revisions=(3907215,useless=412952), ccks=52650366, wck=66.822, mem=51M270
71.11/69.04 decisions=137136, wrong=68426, backtracks=16732, failedAssignments=53810, nogoods=969
71.11/69.04
78.00/75.93 num=66, depth=1..7, filters=3519510, revisions=(4308913,useless=452671), ccks=58311711, wck=73.716, mem=64M350
78.00/75.93 decisions=150992, wrong=75352, backtracks=18484, failedAssignments=59204, nogoods=991
78.00/75.93
85.60/83.55 num=67, depth=1..7, filters=3888138, revisions=(4756838,useless=497541), ccks=64585276, wck=81.329, mem=80M46
85.60/83.55 decisions=166471, wrong=83090, backtracks=20564, failedAssignments=65137, nogoods=1004
85.60/83.55
93.70/91.65 num=68, depth=1..7, filters=4282456, revisions=(5242023,useless=548614), ccks=70921308, wck=89.429, mem=98M358
93.70/91.65 decisions=183280, wrong=91493, backtracks=22754, failedAssignments=71663, nogoods=1025
93.70/91.65
103.03/100.95 num=69, depth=1..7, filters=4725969, revisions=(5783745,useless=602007), ccks=78855653, wck=98.731, mem=116M669
103.03/100.95 decisions=201970, wrong=100836, backtracks=25261, failedAssignments=78842, nogoods=1040
103.03/100.95
112.85/110.77 num=70, depth=1..7, filters=5199579, revisions=(6367219,useless=661125), ccks=86561523, wck=108.55, mem=137M597
112.85/110.77 decisions=222414, wrong=111056, backtracks=27940, failedAssignments=86739, nogoods=1072
112.85/110.77
124.38/122.21 num=71, depth=1..8, filters=5749782, revisions=(7045727,useless=731741), ccks=95865515, wck=119.99, mem=30M346
124.38/122.21 decisions=245008, wrong=122351, backtracks=30994, failedAssignments=95426, nogoods=1111
124.38/122.21
136.29/134.11 num=72, depth=1..7, filters=6321077, revisions=(7747583,useless=804447), ccks=105715503, wck=131.892, mem=53M973
136.29/134.11 decisions=269510, wrong=134600, backtracks=34109, failedAssignments=104981, nogoods=1126
136.29/134.11
150.29/148.15 num=73, depth=1..7, filters=6983270, revisions=(8559055,useless=883548), ccks=117632452, wck=145.936, mem=82M851
150.29/148.15 decisions=296505, wrong=148096, backtracks=37613, failedAssignments=115492, nogoods=1159
150.29/148.15
166.48/164.30 num=74, depth=0..7, filters=7739026, revisions=(9496600,useless=977520), ccks=131892366, wck=162.086, mem=116M979
166.48/164.30 decisions=326663, wrong=163174, backtracks=41733, failedAssignments=127054, nogoods=1173
166.48/164.30
182.78/180.63 num=75, depth=1..7, filters=8525069, revisions=(10469505,useless=1078129), ccks=144858425, wck=178.409, mem=151M107
182.78/180.63 decisions=359471, wrong=179576, backtracks=46010, failedAssignments=139772, nogoods=1220
182.78/180.63
200.81/198.62 num=76, depth=1..8, filters=9384570, revisions=(11534393,useless=1187109), ccks=159586979, wck=196.406, mem=56M683
200.81/198.62 decisions=395518, wrong=197598, backtracks=50770, failedAssignments=153762, nogoods=1245
200.81/198.62
218.83/216.68 num=77, depth=1..7, filters=10268115, revisions=(12628086,useless=1308742), ccks=173251378, wck=214.468, mem=96M151
218.83/216.68 decisions=434344, wrong=217009, backtracks=55416, failedAssignments=169151, nogoods=1287
218.83/216.68
240.93/238.70 num=78, depth=0..7, filters=11309960, revisions=(13917548,useless=1441833), ccks=191750185, wck=236.482, mem=143M514
240.93/238.70 decisions=477566, wrong=238618, backtracks=60820, failedAssignments=186079, nogoods=1317
240.93/238.70
266.66/264.42 num=79, depth=0..8, filters=12498057, revisions=(15379021,useless=1582790), ccks=214609762, wck=262.203, mem=66M558
266.66/264.42 decisions=525065, wrong=262366, backtracks=66846, failedAssignments=204700, nogoods=1371
266.66/264.42
294.67/292.47 num=80, depth=0..7, filters=13797094, revisions=(16974284,useless=1730920), ccks=240610597, wck=290.248, mem=123M611
294.67/292.47 decisions=577894, wrong=288779, backtracks=73791, failedAssignments=225184, nogoods=1403
294.67/292.47
322.91/320.62 num=81, depth=1..8, filters=15149962, revisions=(18640442,useless=1903341), ccks=263512551, wck=318.405, mem=53M63
322.91/320.62 decisions=635802, wrong=317731, backtracks=81176, failedAssignments=247716, nogoods=1435
322.91/320.62
356.12/353.84 num=82, depth=0..7, filters=16705840, revisions=(20547296,useless=2090102), ccks=292952979, wck=351.627, mem=124M574
356.12/353.84 decisions=699182, wrong=349419, backtracks=89222, failedAssignments=272501, nogoods=1464
356.12/353.84
391.35/389.07 num=83, depth=0..7, filters=18374862, revisions=(22610508,useless=2296231), ccks=323795095, wck=386.852, mem=72M665
391.35/389.07 decisions=769374, wrong=384514, backtracks=98429, failedAssignments=299765, nogoods=1511
391.35/389.07
430.48/428.11 num=84, depth=0..7, filters=20230265, revisions=(24900608,useless=2528277), ccks=357285070, wck=425.896, mem=27M345
430.48/428.11 decisions=846975, wrong=423313, backtracks=108640, failedAssignments=329755, nogoods=1532
430.48/428.11
473.40/471.07 num=85, depth=0..7, filters=22263319, revisions=(27404218,useless=2776480), ccks=395705115, wck=468.853, mem=116M365
473.40/471.07 decisions=932836, wrong=466242, backtracks=120232, failedAssignments=362744, nogoods=1584
473.40/471.07
523.24/520.88 num=86, depth=0..7, filters=24581041, revisions=(30273013,useless=3055997), ccks=440757923, wck=518.662, mem=97M768
523.24/520.88 decisions=1026362, wrong=513003, backtracks=132622, failedAssignments=399032, nogoods=1627
523.24/520.88
579.38/576.99 num=87, depth=0..8, filters=27198363, revisions=(33492049,useless=3363734), ccks=491164843, wck=574.774, mem=94M0
579.38/576.99 decisions=1129778, wrong=564709, backtracks=146484, failedAssignments=438949, nogoods=1643
579.38/576.99
642.30/639.84 num=88, depth=0..7, filters=30122937, revisions=(37106538,useless=3703638), ccks=548470254, wck=637.625, mem=107M219
642.30/639.84 decisions=1244308, wrong=621972, backtracks=162342, failedAssignments=482858, nogoods=1665
642.30/639.84
681.71/679.25 num=89, depth=0..7, filters=31852520, revisions=(39256749,useless=3887638), ccks=591642046, wck=677.03, mem=73M477
681.71/679.25 decisions=1308844, wrong=654241, backtracks=171487, failedAssignments=507476, nogoods=1665
681.71/679.25
681.71/679.25 Global
681.71/679.25 filters=31852520, revisions=(39256749,useless=3887638), ccks=591642046, nogoods=1665
681.71/679.25 Stop=FULL_EXPLORATION, wrong=654241, wck=677.348, cpu=679.08, mem=73M477
681.71/679.25
681.71/679.25 s UNSATISFIABLE
681.71/679.25
681.71/679.25 d WRONG_DECISIONS 654241
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 (14964 MiB free)
memory of node 1: 16384 MiB (15747 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390561-1568380754/watcher-4390561-1568380754 -o /tmp/evaluation-result-4390561-1568380754/solver-4390561-1568380754 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568380458-20197 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390561-1568380754.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20414, runsolver pid=20411
Current StackSize limit: 8192 KiB
[startup+0.100177 s]*
/proc/loadavg: 1.93 1.09 0.48 4/229 20429
/proc/meminfo: memFree=31433092/32770624 swapFree=66996900/67108860
[pid=20414] ppid=20411 vsize=10659884 memory=27324 CPUtime=0.11 cores=1,3,5,7
/proc/20414/stat : 20414 (java) S 20411 20414 20165 0 -1 1077944320 5361 0 0 0 10 1 0 0 20 0 15 0 414328515 10915721216 6831 33554432000 4194304 4196468 140733640640192 140733640622736 140693872844535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
/proc/20414/statm: 2664971 6831 2843 1 0 2627468 0
[pid=20414/tid=20416] ppid=20411 vsize=10659884 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/20414/task/20416/stat : 20416 (java) R 20411 20414 20165 0 -1 4202560 3250 0 0 0 7 1 0 0 20 0 15 0 414328515 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693877067600 140693856888165 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20417] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20417/stat : 20417 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693809535376 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20418] ppid=20411 vsize=10659884 memory=140432541842346 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20418/stat : 20418 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693808482576 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20419] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20419/stat : 20419 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693807430288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20420] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20420/stat : 20420 (java) S 20411 20414 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414328516 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693806377488 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20421] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20421/stat : 20421 (java) S 20411 20414 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414328518 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693364038256 140693872855682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20422] ppid=20411 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20422/stat : 20422 (java) S 20411 20414 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414328518 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693362984224 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20423] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20423/stat : 20423 (java) S 20411 20414 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414328518 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693361931888 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20424] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20424/stat : 20424 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414328521 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693360880208 140693872863131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20425] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20425/stat : 20425 (java) S 20411 20414 20165 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 414328522 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693359827056 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20426] ppid=20411 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20426/stat : 20426 (java) S 20411 20414 20165 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 414328522 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693358774256 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20427] ppid=20411 vsize=10659884 memory=140432538584704 CPUtime=0.01 cores=1,3,5,7
/proc/20414/task/20427/stat : 20427 (java) R 20411 20414 20165 0 -1 4202560 325 0 0 0 1 0 0 0 20 0 15 0 414328522 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693357721968 140693872865882 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20428] ppid=20411 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20428/stat : 20428 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414328522 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693356669408 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20429] ppid=20411 vsize=10659884 memory=140432538584704 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20429/stat : 20429 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328522 10915721216 6831 33554432000 4194304 4196468 140733640640192 140693355617200 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27324 KiB
[startup+0.217585 s]*
/proc/loadavg: 1.93 1.09 0.48 5/229 20429
/proc/meminfo: memFree=31421892/32770624 swapFree=66996900/67108860
[pid=20414] ppid=20411 vsize=10659884 memory=37548 CPUtime=0.33 cores=1,3,5,7
/proc/20414/stat : 20414 (java) S 20411 20414 20165 0 -1 1077944320 9157 0 0 0 30 3 0 0 20 0 15 0 414328515 10915721216 9387 33554432000 4194304 4196468 140733640640192 140733640622736 140693872844535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
/proc/20414/statm: 2664971 9387 2987 1 0 2627468 0
[pid=20414/tid=20416] ppid=20411 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/20414/task/20416/stat : 20416 (java) R 20411 20414 20165 0 -1 4202560 6105 0 0 0 18 2 0 0 20 0 15 0 414328515 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693877070896 140693872866461 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20417] ppid=20411 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20417/stat : 20417 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693809535376 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20418] ppid=20411 vsize=10659884 memory=3834732555724637856 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20418/stat : 20418 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693808482576 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20419] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20419/stat : 20419 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693807430288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20420] ppid=20411 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20420/stat : 20420 (java) S 20411 20414 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414328516 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693806377488 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20421] ppid=20411 vsize=10659884 memory=140432538584704 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20421/stat : 20421 (java) S 20411 20414 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414328518 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693364038256 140693872855682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20422] ppid=20411 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20422/stat : 20422 (java) S 20411 20414 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414328518 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693362984224 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20423] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20423/stat : 20423 (java) S 20411 20414 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414328518 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693361931888 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20424] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20424/stat : 20424 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414328521 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693360880208 140693872863131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20425] ppid=20411 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20414/task/20425/stat : 20425 (java) S 20411 20414 20165 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 414328522 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693359827056 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20426] ppid=20411 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/20414/task/20426/stat : 20426 (java) S 20411 20414 20165 0 -1 1077944384 630 0 0 0 3 0 0 0 20 0 15 0 414328522 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693358774256 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20427] ppid=20411 vsize=10659884 memory=140432538584704 CPUtime=0.05 cores=1,3,5,7
/proc/20414/task/20427/stat : 20427 (java) S 20411 20414 20165 0 -1 1077944384 696 0 0 0 5 0 0 0 20 0 15 0 414328522 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693357721968 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20428] ppid=20411 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20428/stat : 20428 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414328522 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693356669408 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20429] ppid=20411 vsize=10659884 memory=140432538584704 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20429/stat : 20429 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328522 10915721216 9387 33554432000 4194304 4196468 140733640640192 140693355617200 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37548 KiB
[startup+0.310593 s]*
/proc/loadavg: 1.93 1.09 0.48 5/229 20429
/proc/meminfo: memFree=31419720/32770624 swapFree=66996900/67108860
[pid=20414] ppid=20411 vsize=10659884 memory=40104 CPUtime=0.46 cores=1,3,5,7
/proc/20414/stat : 20414 (java) S 20411 20414 20165 0 -1 1077944320 9327 0 0 0 43 3 0 0 20 0 15 0 414328515 10915721216 10026 33554432000 4194304 4196468 140733640640192 140733640622736 140693872844535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
/proc/20414/statm: 2664971 10026 3022 1 0 2627468 0
[pid=20414/tid=20416] ppid=20411 vsize=10659884 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/20414/task/20416/stat : 20416 (java) R 20411 20414 20165 0 -1 4202560 6205 0 0 0 27 2 0 0 20 0 15 0 414328515 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693877076592 140693872866461 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20417] ppid=20411 vsize=10659884 memory=4294976387 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20417/stat : 20417 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693809535376 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20418] ppid=20411 vsize=10659884 memory=3905662050832467616 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20418/stat : 20418 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693808482576 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20419] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20419/stat : 20419 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693807430288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20420] ppid=20411 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20420/stat : 20420 (java) S 20411 20414 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414328516 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693806377488 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20421] ppid=20411 vsize=10659884 memory=140432538584704 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20421/stat : 20421 (java) S 20411 20414 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414328518 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693364038256 140693872855682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20422] ppid=20411 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20422/stat : 20422 (java) S 20411 20414 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414328518 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693362984224 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20423] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20423/stat : 20423 (java) S 20411 20414 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414328518 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693361931888 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20424] ppid=20411 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20424/stat : 20424 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414328521 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693360880208 140693872863131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20425] ppid=20411 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20414/task/20425/stat : 20425 (java) R 20411 20414 20165 0 -1 1077944384 408 0 0 0 3 0 0 0 20 0 15 0 414328522 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693359827056 140693872855682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20426] ppid=20411 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/20414/task/20426/stat : 20426 (java) S 20411 20414 20165 0 -1 1077944384 638 0 0 0 4 0 0 0 20 0 15 0 414328522 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693358774256 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20427] ppid=20411 vsize=10659884 memory=140432538584704 CPUtime=0.07 cores=1,3,5,7
/proc/20414/task/20427/stat : 20427 (java) S 20411 20414 20165 0 -1 1077944384 717 0 0 0 7 0 0 0 20 0 15 0 414328522 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693357721968 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20428] ppid=20411 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20428/stat : 20428 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414328522 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693356669408 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20429] ppid=20411 vsize=10659884 memory=140432538584704 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20429/stat : 20429 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328522 10915721216 10026 33554432000 4194304 4196468 140733640640192 140693355617200 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40104 KiB
[startup+0.70076 s]
/proc/loadavg: 1.93 1.09 0.48 3/229 20429
/proc/meminfo: memFree=31408832/32770624 swapFree=66996900/67108860
[pid=20414] ppid=20411 vsize=10661932 memory=61516 CPUtime=1.1 cores=1,3,5,7
/proc/20414/stat : 20414 (java) S 20411 20414 20165 0 -1 1077944320 12970 0 0 0 105 5 0 0 20 0 15 0 414328515 10917818368 15379 33554432000 4194304 4196468 140733640640192 140733640622736 140693872844535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
/proc/20414/statm: 2665483 15379 3060 1 0 2627980 0
[pid=20414/tid=20416] ppid=20411 vsize=10661932 memory=39284 CPUtime=0.67 cores=1,3,5,7
/proc/20414/task/20416/stat : 20416 (java) R 20411 20414 20165 0 -1 4202560 8756 0 0 0 63 4 0 0 20 0 15 0 414328515 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693877067472 140693859060835 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20417] ppid=20411 vsize=10661932 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20417/stat : 20417 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693809535376 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20418] ppid=20411 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20418/stat : 20418 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693808482576 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20419] ppid=20411 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20419/stat : 20419 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693807430288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20420] ppid=20411 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20420/stat : 20420 (java) S 20411 20414 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414328516 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693806377488 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20421] ppid=20411 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20421/stat : 20421 (java) S 20411 20414 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414328518 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693364038256 140693872855682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20422] ppid=20411 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20422/stat : 20422 (java) S 20411 20414 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414328518 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693362984224 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20423] ppid=20411 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20423/stat : 20423 (java) S 20411 20414 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414328518 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693361931888 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20424] ppid=20411 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20424/stat : 20424 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414328521 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693360880208 140693872863131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20425] ppid=20411 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/20414/task/20425/stat : 20425 (java) S 20411 20414 20165 0 -1 1077944384 719 0 0 0 11 0 0 0 20 0 15 0 414328522 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693359827056 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20426] ppid=20411 vsize=10661932 memory=278 CPUtime=0.1 cores=1,3,5,7
/proc/20414/task/20426/stat : 20426 (java) S 20411 20414 20165 0 -1 1077944384 950 0 0 0 10 0 0 0 20 0 15 0 414328522 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693358774256 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20427] ppid=20411 vsize=10661932 memory=19681 CPUtime=0.19 cores=1,3,5,7
/proc/20414/task/20427/stat : 20427 (java) S 20411 20414 20165 0 -1 1077944384 1186 0 0 0 19 0 0 0 20 0 15 0 414328522 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693357721968 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20428] ppid=20411 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20428/stat : 20428 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414328522 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693356669408 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20429] ppid=20411 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20429/stat : 20429 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328522 10917818368 15379 33554432000 4194304 4196468 140733640640192 140693355617200 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61516 KiB
[startup+1.50077 s]
/proc/loadavg: 1.93 1.09 0.48 3/229 20429
/proc/meminfo: memFree=31392916/32770624 swapFree=66996900/67108860
[pid=20414] ppid=20411 vsize=10663980 memory=75476 CPUtime=2 cores=1,3,5,7
/proc/20414/stat : 20414 (java) S 20411 20414 20165 0 -1 1077944320 18462 0 0 0 195 5 0 0 20 0 15 0 414328515 10919915520 18869 33554432000 4194304 4196468 140733640640192 140733640622736 140693872844535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
/proc/20414/statm: 2665995 18869 3094 1 0 2628492 0
[pid=20414/tid=20416] ppid=20411 vsize=10663980 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/20414/task/20416/stat : 20416 (java) R 20411 20414 20165 0 -1 4202560 12831 0 0 0 142 4 0 0 20 0 15 0 414328515 10919915520 18869 33554432000 4194304 4196468 140733640640192 140693877076560 140693858010088 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20417] ppid=20411 vsize=10663980 memory=39284 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20417/stat : 20417 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10919915520 18869 33554432000 4194304 4196468 140733640640192 140693809535376 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20418] ppid=20411 vsize=10663980 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20418/stat : 20418 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10919915520 18869 33554432000 4194304 4196468 140733640640192 140693808482576 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20419] ppid=20411 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20419/stat : 20419 (java) S 20411 20414 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414328516 10919915520 18869 33554432000 4194304 4196468 140733640640192 140693807430288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20420] ppid=20411 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20420/stat : 20420 (java) S 20411 20414 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414328516 10919915520 18869 33554432000 4194304 4196468 140733640640192 140693806377488 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20421] ppid=20411 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20421/stat : 20421 (java) S 20411 20414 20165 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 414328518 10919915520 18869 33554432000 4194304 4196468 140733640640192 140693364038256 140693872855682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
################
# More data... #
################
[startup+676.801 s]
/proc/loadavg: 1.97 1.88 1.25 3/230 20492
/proc/meminfo: memFree=31271020/32770624 swapFree=66996900/67108860
[pid=20414] ppid=20411 vsize=10746276 memory=235784 CPUtime=679.31 cores=1,3,5,7
/proc/20414/stat : 20414 (java) S 20411 20414 20165 0 -1 1077944320 58310 0 0 0 67910 21 0 0 20 0 16 0 414328515 11004186624 58946 33554432000 4194304 4196468 140733640640192 140733640622736 140693872844535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
/proc/20414/statm: 2686569 58946 3371 1 0 2646705 0
[pid=20414/tid=20416] ppid=20411 vsize=10746276 memory=3504 CPUtime=1.9 cores=1,3,5,7
/proc/20414/task/20416/stat : 20416 (java) S 20411 20414 20165 0 -1 1077944384 15204 0 0 0 184 6 0 0 20 0 16 0 414328515 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693877087408 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20417] ppid=20411 vsize=10746276 memory=39292 CPUtime=0.1 cores=1,3,5,7
/proc/20414/task/20417/stat : 20417 (java) S 20411 20414 20165 0 -1 1077944384 2063 0 0 0 9 1 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693809535376 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20418] ppid=20411 vsize=10746276 memory=288230574492221466 CPUtime=0.09 cores=1,3,5,7
/proc/20414/task/20418/stat : 20418 (java) S 20411 20414 20165 0 -1 1077944384 3180 0 0 0 9 0 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693808482576 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20419] ppid=20411 vsize=10746276 memory=288230583166042426 CPUtime=0.09 cores=1,3,5,7
/proc/20414/task/20419/stat : 20419 (java) S 20411 20414 20165 0 -1 1077944384 1602 0 0 0 9 0 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693807430288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20420] ppid=20411 vsize=10746276 memory=14689699524512400 CPUtime=0.1 cores=1,3,5,7
/proc/20414/task/20420/stat : 20420 (java) S 20411 20414 20165 0 -1 1077944384 588 0 0 0 9 1 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693806377488 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20421] ppid=20411 vsize=10746276 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/20414/task/20421/stat : 20421 (java) S 20411 20414 20165 0 -1 1077944384 3018 0 0 0 2 0 0 0 20 0 16 0 414328518 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693364038256 140693872855682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20422] ppid=20411 vsize=10746276 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20422/stat : 20422 (java) S 20411 20414 20165 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414328518 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693362984288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20423] ppid=20411 vsize=10746276 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20423/stat : 20423 (java) S 20411 20414 20165 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414328518 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693361931904 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20424] ppid=20411 vsize=10746276 memory=280864823279744 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20424/stat : 20424 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414328521 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693360880208 140693872863131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20425] ppid=20411 vsize=10746276 memory=302585845599437101 CPUtime=0.78 cores=1,3,5,7
/proc/20414/task/20425/stat : 20425 (java) S 20411 20414 20165 0 -1 1077944384 4608 0 0 0 78 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693359827056 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20426] ppid=20411 vsize=10746276 memory=235784 CPUtime=0.79 cores=1,3,5,7
/proc/20414/task/20426/stat : 20426 (java) S 20411 20414 20165 0 -1 1077944384 7757 0 0 0 79 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693358774256 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20427] ppid=20411 vsize=10746276 memory=8292088564187963537 CPUtime=0.5 cores=1,3,5,7
/proc/20414/task/20427/stat : 20427 (java) S 20411 20414 20165 0 -1 1077944384 5505 0 0 0 50 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693357721968 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20428] ppid=20411 vsize=10746276 memory=7682475212697334586 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20428/stat : 20428 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693356669408 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20429] ppid=20411 vsize=10746276 memory=6791534058613427641 CPUtime=0.13 cores=1,3,5,7
/proc/20414/task/20429/stat : 20429 (java) S 20411 20414 20165 0 -1 1077944384 551 0 0 0 6 7 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693355617200 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20430] ppid=20411 vsize=10746276 memory=7011348500760777048 CPUtime=674.7 cores=1,3,5,7
/proc/20414/task/20430/stat : 20430 (java) R 20411 20414 20165 0 -1 4202560 12799 0 0 0 67467 3 0 0 20 0 16 0 414328708 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693338955216 140693486692459 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
Current children cumulated CPU time: 679.31 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 235784 KiB
[startup+678.401 s]
/proc/loadavg: 1.97 1.88 1.25 3/230 20492
/proc/meminfo: memFree=31271204/32770624 swapFree=66996900/67108860
[pid=20414] ppid=20411 vsize=10746276 memory=235784 CPUtime=680.91 cores=1,3,5,7
/proc/20414/stat : 20414 (java) S 20411 20414 20165 0 -1 1077944320 58310 0 0 0 68070 21 0 0 20 0 16 0 414328515 11004186624 58946 33554432000 4194304 4196468 140733640640192 140733640622736 140693872844535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
/proc/20414/statm: 2686569 58946 3371 1 0 2646705 0
[pid=20414/tid=20416] ppid=20411 vsize=10746276 memory=-7595754389018307680 CPUtime=1.9 cores=1,3,5,7
/proc/20414/task/20416/stat : 20416 (java) S 20411 20414 20165 0 -1 1077944384 15204 0 0 0 184 6 0 0 20 0 16 0 414328515 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693877087408 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20417] ppid=20411 vsize=10746276 memory=39292 CPUtime=0.1 cores=1,3,5,7
/proc/20414/task/20417/stat : 20417 (java) S 20411 20414 20165 0 -1 1077944384 2063 0 0 0 9 1 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693809535376 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20418] ppid=20411 vsize=10746276 memory=3028 CPUtime=0.09 cores=1,3,5,7
/proc/20414/task/20418/stat : 20418 (java) S 20411 20414 20165 0 -1 1077944384 3180 0 0 0 9 0 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693808482576 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20419] ppid=20411 vsize=10746276 memory=233956 CPUtime=0.09 cores=1,3,5,7
/proc/20414/task/20419/stat : 20419 (java) S 20411 20414 20165 0 -1 1077944384 1602 0 0 0 9 0 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693807430288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20420] ppid=20411 vsize=10746276 memory=233956 CPUtime=0.1 cores=1,3,5,7
/proc/20414/task/20420/stat : 20420 (java) S 20411 20414 20165 0 -1 1077944384 588 0 0 0 9 1 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693806377488 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20421] ppid=20411 vsize=10746276 memory=235772 CPUtime=0.02 cores=1,3,5,7
/proc/20414/task/20421/stat : 20421 (java) S 20411 20414 20165 0 -1 1077944384 3018 0 0 0 2 0 0 0 20 0 16 0 414328518 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693364038256 140693872855682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20422] ppid=20411 vsize=10746276 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20422/stat : 20422 (java) S 20411 20414 20165 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414328518 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693362984288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20423] ppid=20411 vsize=10746276 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20423/stat : 20423 (java) S 20411 20414 20165 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414328518 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693361931904 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20424] ppid=20411 vsize=10746276 memory=14689699524512400 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20424/stat : 20424 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414328521 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693360880208 140693872863131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20425] ppid=20411 vsize=10746276 memory=235784 CPUtime=0.78 cores=1,3,5,7
/proc/20414/task/20425/stat : 20425 (java) S 20411 20414 20165 0 -1 1077944384 4608 0 0 0 78 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693359827056 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20426] ppid=20411 vsize=10746276 memory=1388 CPUtime=0.79 cores=1,3,5,7
/proc/20414/task/20426/stat : 20426 (java) S 20411 20414 20165 0 -1 1077944384 7757 0 0 0 79 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693358774256 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20427] ppid=20411 vsize=10746276 memory=776 CPUtime=0.5 cores=1,3,5,7
/proc/20414/task/20427/stat : 20427 (java) S 20411 20414 20165 0 -1 1077944384 5505 0 0 0 50 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693357721968 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20428] ppid=20411 vsize=10746276 memory=235784 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20428/stat : 20428 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693356669408 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20429] ppid=20411 vsize=10746276 memory=235784 CPUtime=0.13 cores=1,3,5,7
/proc/20414/task/20429/stat : 20429 (java) S 20411 20414 20165 0 -1 1077944384 551 0 0 0 6 7 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693355617200 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20430] ppid=20411 vsize=10746276 memory=676 CPUtime=676.29 cores=1,3,5,7
/proc/20414/task/20430/stat : 20430 (java) R 20411 20414 20165 0 -1 4202560 12799 0 0 0 67626 3 0 0 20 0 16 0 414328708 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693338955216 140693485747136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
Current children cumulated CPU time: 680.91 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 235784 KiB
[startup+678.801 s]
/proc/loadavg: 1.97 1.88 1.25 3/230 20492
/proc/meminfo: memFree=31271204/32770624 swapFree=66996900/67108860
[pid=20414] ppid=20411 vsize=10746276 memory=235784 CPUtime=681.31 cores=1,3,5,7
/proc/20414/stat : 20414 (java) S 20411 20414 20165 0 -1 1077944320 58310 0 0 0 68110 21 0 0 20 0 16 0 414328515 11004186624 58946 33554432000 4194304 4196468 140733640640192 140733640622736 140693872844535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
/proc/20414/statm: 2686569 58946 3371 1 0 2646705 0
[pid=20414/tid=20416] ppid=20411 vsize=10746276 memory=8560 CPUtime=1.9 cores=1,3,5,7
/proc/20414/task/20416/stat : 20416 (java) S 20411 20414 20165 0 -1 1077944384 15204 0 0 0 184 6 0 0 20 0 16 0 414328515 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693877087408 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20417] ppid=20411 vsize=10746276 memory=1668 CPUtime=0.1 cores=1,3,5,7
/proc/20414/task/20417/stat : 20417 (java) S 20411 20414 20165 0 -1 1077944384 2063 0 0 0 9 1 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693809535376 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20418] ppid=20411 vsize=10746276 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/20414/task/20418/stat : 20418 (java) S 20411 20414 20165 0 -1 1077944384 3180 0 0 0 9 0 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693808482576 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20419] ppid=20411 vsize=10746276 memory=2828 CPUtime=0.09 cores=1,3,5,7
/proc/20414/task/20419/stat : 20419 (java) S 20411 20414 20165 0 -1 1077944384 1602 0 0 0 9 0 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693807430288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20420] ppid=20411 vsize=10746276 memory=676 CPUtime=0.1 cores=1,3,5,7
/proc/20414/task/20420/stat : 20420 (java) S 20411 20414 20165 0 -1 1077944384 588 0 0 0 9 1 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693806377488 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20421] ppid=20411 vsize=10746276 memory=1060 CPUtime=0.02 cores=1,3,5,7
/proc/20414/task/20421/stat : 20421 (java) S 20411 20414 20165 0 -1 1077944384 3018 0 0 0 2 0 0 0 20 0 16 0 414328518 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693364038256 140693872855682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20422] ppid=20411 vsize=10746276 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20422/stat : 20422 (java) S 20411 20414 20165 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414328518 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693362984288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20423] ppid=20411 vsize=10746276 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20423/stat : 20423 (java) S 20411 20414 20165 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414328518 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693361931904 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20424] ppid=20411 vsize=10746276 memory=1668 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20424/stat : 20424 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414328521 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693360880208 140693872863131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20425] ppid=20411 vsize=10746276 memory=2012 CPUtime=0.78 cores=1,3,5,7
/proc/20414/task/20425/stat : 20425 (java) S 20411 20414 20165 0 -1 1077944384 4608 0 0 0 78 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693359827056 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20426] ppid=20411 vsize=10746276 memory=1388 CPUtime=0.79 cores=1,3,5,7
/proc/20414/task/20426/stat : 20426 (java) S 20411 20414 20165 0 -1 1077944384 7757 0 0 0 79 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693358774256 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20427] ppid=20411 vsize=10746276 memory=776 CPUtime=0.5 cores=1,3,5,7
/proc/20414/task/20427/stat : 20427 (java) S 20411 20414 20165 0 -1 1077944384 5505 0 0 0 50 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693357721968 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20428] ppid=20411 vsize=10746276 memory=33 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20428/stat : 20428 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693356669408 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20429] ppid=20411 vsize=10746276 memory=16106961406002733 CPUtime=0.13 cores=1,3,5,7
/proc/20414/task/20429/stat : 20429 (java) S 20411 20414 20165 0 -1 1077944384 551 0 0 0 6 7 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693355617200 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20430] ppid=20411 vsize=10746276 memory=303430249054732587 CPUtime=676.69 cores=1,3,5,7
/proc/20414/task/20430/stat : 20430 (java) R 20411 20414 20165 0 -1 4202560 12799 0 0 0 67666 3 0 0 20 0 16 0 414328708 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693338955216 140693486600235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
Current children cumulated CPU time: 681.31 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 235784 KiB
[startup+679.201 s]
/proc/loadavg: 1.98 1.88 1.26 3/230 20492
/proc/meminfo: memFree=31271204/32770624 swapFree=66996900/67108860
[pid=20414] ppid=20411 vsize=10746276 memory=235784 CPUtime=681.71 cores=1,3,5,7
/proc/20414/stat : 20414 (java) S 20411 20414 20165 0 -1 1077944320 58310 0 0 0 68150 21 0 0 20 0 16 0 414328515 11004186624 58946 33554432000 4194304 4196468 140733640640192 140733640622736 140693872844535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
/proc/20414/statm: 2686569 58946 3371 1 0 2646705 0
[pid=20414/tid=20416] ppid=20411 vsize=10746276 memory=6791534058613427641 CPUtime=1.9 cores=1,3,5,7
/proc/20414/task/20416/stat : 20416 (java) S 20411 20414 20165 0 -1 1077944384 15204 0 0 0 184 6 0 0 20 0 16 0 414328515 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693877087408 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20417] ppid=20411 vsize=10746276 memory=1112 CPUtime=0.1 cores=1,3,5,7
/proc/20414/task/20417/stat : 20417 (java) S 20411 20414 20165 0 -1 1077944384 2063 0 0 0 9 1 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693809535376 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20418] ppid=20411 vsize=10746276 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/20414/task/20418/stat : 20418 (java) S 20411 20414 20165 0 -1 1077944384 3180 0 0 0 9 0 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693808482576 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20419] ppid=20411 vsize=10746276 memory=1804 CPUtime=0.09 cores=1,3,5,7
/proc/20414/task/20419/stat : 20419 (java) S 20411 20414 20165 0 -1 1077944384 1602 0 0 0 9 0 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693807430288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20420] ppid=20411 vsize=10746276 memory=916 CPUtime=0.1 cores=1,3,5,7
/proc/20414/task/20420/stat : 20420 (java) S 20411 20414 20165 0 -1 1077944384 588 0 0 0 9 1 0 0 20 0 16 0 414328516 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693806377488 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20421] ppid=20411 vsize=10746276 memory=3848 CPUtime=0.02 cores=1,3,5,7
/proc/20414/task/20421/stat : 20421 (java) S 20411 20414 20165 0 -1 1077944384 3018 0 0 0 2 0 0 0 20 0 16 0 414328518 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693364038256 140693872855682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20422] ppid=20411 vsize=10746276 memory=235784 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20422/stat : 20422 (java) S 20411 20414 20165 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414328518 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693362984288 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20423] ppid=20411 vsize=10746276 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20423/stat : 20423 (java) S 20411 20414 20165 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414328518 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693361931904 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20424] ppid=20411 vsize=10746276 memory=235784 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20424/stat : 20424 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414328521 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693360880208 140693872863131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20425] ppid=20411 vsize=10746276 memory=6791534058613427641 CPUtime=0.78 cores=1,3,5,7
/proc/20414/task/20425/stat : 20425 (java) S 20411 20414 20165 0 -1 1077944384 4608 0 0 0 78 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693359827056 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20426] ppid=20411 vsize=10746276 memory=1980 CPUtime=0.79 cores=1,3,5,7
/proc/20414/task/20426/stat : 20426 (java) S 20411 20414 20165 0 -1 1077944384 7757 0 0 0 79 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693358774256 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20427] ppid=20411 vsize=10746276 memory=3028 CPUtime=0.5 cores=1,3,5,7
/proc/20414/task/20427/stat : 20427 (java) S 20411 20414 20165 0 -1 1077944384 5505 0 0 0 50 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693357721968 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20428] ppid=20411 vsize=10746276 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/20414/task/20428/stat : 20428 (java) S 20411 20414 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693356669408 140693872854741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20429] ppid=20411 vsize=10746276 memory=1388 CPUtime=0.13 cores=1,3,5,7
/proc/20414/task/20429/stat : 20429 (java) S 20411 20414 20165 0 -1 1077944384 551 0 0 0 6 7 0 0 20 0 16 0 414328522 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693355617200 140693872855682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
[pid=20414/tid=20430] ppid=20411 vsize=10746276 memory=776 CPUtime=677.09 cores=1,3,5,7
/proc/20414/task/20430/stat : 20430 (java) R 20411 20414 20165 0 -1 4202560 12799 0 0 0 67706 3 0 0 20 0 16 0 414328708 11004186624 58946 33554432000 4194304 4196468 140733640640192 140693338955216 140693486601504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140733640643595 140733640643698 140733640643698 140733640646607 0
Current children cumulated CPU time: 681.71 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 235784 KiB
Child status: 0
Real time (s): 679.259
CPU time (s): 681.784
CPU user time (s): 681.565
CPU system time (s): 0.219039
CPU usage (%): 100.372
Max. virtual memory (cumulated for all children) (KiB): 10746452
Max. memory (cumulated for all children) (KiB): 239024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 681.564
system time used= 0.219039
maximum resident set size= 239024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59429
page faults= 0
swaps= 0
block input operations= 8
block output operations= 776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17660
involuntary context switches= 275
# summary of solver processes directly reported to runsolver:
# pid: 20414
# total CPU time (s): 681.784
# total CPU user time (s): 681.565
# total CPU system time (s): 0.219039
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64585 second user time and 4.76168 second system time
The end