2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.89
3.32/2.17 Instance
3.32/2.17 name=instance-4390530-1568385566, framework=CSP
3.32/2.17
3.32/2.17 Loading variables...
3.65/2.29 Loading constraints...
44.96/40.92
44.96/40.92 Domains
44.96/40.92 nTypes=65, nValues=113798, sizes=[520#2,521#4,522#2,523#4...612#4,614#6,615#4,616#4]
44.96/40.92 Variables
44.96/40.92 count=200, degrees=[19#100,37#100]
44.96/40.92 Constraints
44.96/40.92 count=2800, nSpecific=100, arities=[2#2800]
44.96/40.92 distribution=[CtrIntension#2700,NE#100]
44.96/40.92 nIntStructures=(804,shared:1896), nCftStructures=(804,shared:1896,unbuilt:100)
44.96/40.92 wck=39.077, cpu=40.877, mem=135M269
44.96/40.92 Solver SolverBacktrack being built...
44.96/40.92
44.96/40.96
44.96/40.96 Solver
44.96/40.96 guaranteedGAC=true
44.96/40.96 wck=39.117, cpu=40.916, mem=149M769
44.96/40.96
44.96/40.96 Preprocessing
44.96/40.96 filters=0, ccks=260167205, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
44.96/40.96 wck=0.006, cpu=40.923, mem=149M769
44.96/40.96
46.34/41.77 num=0, depth=104..104, filters=2601, revisions=(6031,useless=3488), ccks=264854262, wck=0.815, mem=55M189
46.34/41.77 decisions=124, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
46.34/41.77
47.25/42.50 num=1, depth=102..104, filters=6350, revisions=(18258,useless=11975), ccks=269214174, wck=1.542, mem=65M553
47.25/42.50 decisions=250, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
47.25/42.50
47.68/42.97 num=2, depth=89..89, filters=8817, revisions=(23787,useless=15076), ccks=272100674, wck=2.017, mem=73M326
47.68/42.97 decisions=363, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
47.68/42.97
48.00/43.23 num=3, depth=90..90, filters=10856, revisions=(27898,useless=17205), ccks=273560478, wck=2.272, mem=81M100
48.00/43.23 decisions=479, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
48.00/43.23
48.21/43.46 num=4, depth=93..93, filters=12918, revisions=(32313,useless=19617), ccks=274793761, wck=2.5, mem=84M550
48.21/43.46 decisions=600, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
48.21/43.46
48.61/43.83 num=5, depth=85..85, filters=15201, revisions=(37124,useless=22203), ccks=276982283, wck=2.873, mem=92M323
48.61/43.83 decisions=717, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
48.61/43.83
49.22/44.42 num=6, depth=71..71, filters=17862, revisions=(42868,useless=25319), ccks=280600034, wck=3.461, mem=100M96
49.22/44.42 decisions=822, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
49.22/44.42
49.52/44.73 num=7, depth=73..74, filters=19819, revisions=(47403,useless=27951), ccks=282461072, wck=3.772, mem=107M869
49.52/44.73 decisions=935, wrong=113, backtracks=1, failedAssignments=112, nogoods=101
49.52/44.73
49.94/45.19 num=8, depth=36..57, filters=21744, revisions=(51181,useless=29848), ccks=285370273, wck=4.236, mem=115M643
49.94/45.19 decisions=1034, wrong=134, backtracks=1, failedAssignments=133, nogoods=122
49.94/45.19
50.35/45.55 num=9, depth=57..57, filters=24126, revisions=(54593,useless=30925), ccks=287569559, wck=4.592, mem=126M7
50.35/45.55 decisions=1137, wrong=157, backtracks=1, failedAssignments=156, nogoods=145
50.35/45.55
50.75/45.92 num=10, depth=67..68, filters=26355, revisions=(58996,useless=33158), ccks=289821414, wck=4.96, mem=136M371
50.75/45.92 decisions=1256, wrong=183, backtracks=2, failedAssignments=181, nogoods=157
50.75/45.92
51.45/46.65 num=11, depth=33..33, filters=29550, revisions=(63118,useless=34075), ccks=294469527, wck=5.693, mem=146M736
51.45/46.65 decisions=1345, wrong=211, backtracks=2, failedAssignments=209, nogoods=185
51.45/46.65
51.75/46.91 num=12, depth=54..56, filters=31472, revisions=(66163,useless=35255), ccks=296065347, wck=5.95, mem=154M509
51.75/46.91 decisions=1465, wrong=244, backtracks=4, failedAssignments=240, nogoods=192
51.75/46.91
51.87/47.10 num=13, depth=20..24, filters=33387, revisions=(70432,useless=37656), ccks=297110253, wck=6.139, mem=162M283
51.87/47.10 decisions=1561, wrong=282, backtracks=8, failedAssignments=274, nogoods=195
51.87/47.10
52.16/47.35 num=14, depth=7..9, filters=35521, revisions=(75279,useless=40407), ccks=298495052, wck=6.394, mem=172M647
52.16/47.35 decisions=1646, wrong=321, backtracks=10, failedAssignments=311, nogoods=205
52.16/47.35
52.91/48.01 num=15, depth=12..13, filters=37875, revisions=(80135,useless=42957), ccks=302528605, wck=7.057, mem=50M166
52.91/48.01 decisions=1742, wrong=363, backtracks=11, failedAssignments=352, nogoods=209
52.91/48.01
54.40/49.57 num=16, depth=20..21, filters=41004, revisions=(86375,useless=46078), ccks=312477749, wck=8.609, mem=63M181
54.40/49.57 decisions=1854, wrong=409, backtracks=12, failedAssignments=397, nogoods=214
54.40/49.57
54.61/49.75 num=17, depth=9..9, filters=43037, revisions=(88722,useless=46441), ccks=313760646, wck=8.792, mem=76M196
54.61/49.75 decisions=1963, wrong=459, backtracks=12, failedAssignments=447, nogoods=264
54.61/49.75
55.02/50.17 num=18, depth=14..14, filters=45701, revisions=(93129,useless=48247), ccks=316368938, wck=9.214, mem=86M609
55.02/50.17 decisions=2087, wrong=514, backtracks=12, failedAssignments=502, nogoods=319
55.02/50.17
55.82/51.01 num=19, depth=8..12, filters=48562, revisions=(100615,useless=52882), ccks=321517188, wck=10.048, mem=100M182
55.82/51.01 decisions=2233, wrong=583, backtracks=20, failedAssignments=563, nogoods=359
55.82/51.01
56.42/51.53 num=20, depth=22..24, filters=51695, revisions=(106291,useless=55445), ccks=324694172, wck=10.577, mem=115M800
56.42/51.53 decisions=2394, wrong=652, backtracks=22, failedAssignments=630, nogoods=365
56.42/51.53
57.32/52.42 num=21, depth=14..15, filters=54522, revisions=(112764,useless=59080), ccks=330275783, wck=11.463, mem=126M213
57.32/52.42 decisions=2558, wrong=727, backtracks=23, failedAssignments=704, nogoods=387
57.32/52.42
57.93/53.03 num=22, depth=8..10, filters=58593, revisions=(122084,useless=64417), ccks=333777181, wck=12.077, mem=147M37
57.93/53.03 decisions=2732, wrong=810, backtracks=25, failedAssignments=785, nogoods=401
57.93/53.03
58.42/53.53 num=23, depth=8..9, filters=62547, revisions=(130725,useless=69198), ccks=336806468, wck=12.577, mem=165M258
58.42/53.53 decisions=2923, wrong=901, backtracks=27, failedAssignments=874, nogoods=408
58.42/53.53
59.65/54.70 num=24, depth=6..7, filters=67449, revisions=(141607,useless=75249), ccks=343853352, wck=13.739, mem=57M939
59.65/54.70 decisions=3128, wrong=1000, backtracks=28, failedAssignments=972, nogoods=441
59.65/54.70
59.95/55.07 num=25, depth=7..8, filters=71212, revisions=(148184,useless=78047), ccks=345982283, wck=14.112, mem=70M796
59.95/55.07 decisions=3362, wrong=1113, backtracks=33, failedAssignments=1080, nogoods=453
59.95/55.07
60.75/55.83 num=26, depth=6..7, filters=79020, revisions=(166809,useless=88989), ccks=349723117, wck=14.871, mem=99M82
60.75/55.83 decisions=3621, wrong=1239, backtracks=40, failedAssignments=1199, nogoods=464
60.75/55.83
61.55/56.69 num=27, depth=6..7, filters=87487, revisions=(187341,useless=101192), ccks=354196803, wck=15.729, mem=129M939
61.55/56.69 decisions=3919, wrong=1385, backtracks=55, failedAssignments=1330, nogoods=491
61.55/56.69
62.85/58.00 num=28, depth=7..9, filters=96127, revisions=(206431,useless=111735), ccks=361553057, wck=17.046, mem=163M368
62.85/58.00 decisions=4220, wrong=1532, backtracks=58, failedAssignments=1474, nogoods=535
62.85/58.00
64.78/59.80 num=29, depth=6..12, filters=105708, revisions=(223496,useless=119387), ccks=372514635, wck=18.842, mem=73M61
64.78/59.80 decisions=4564, wrong=1701, backtracks=69, failedAssignments=1632, nogoods=629
64.78/59.80
66.09/61.16 num=30, depth=6..9, filters=113976, revisions=(242442,useless=130243), ccks=380150902, wck=20.202, mem=111M160
66.09/61.16 decisions=4925, wrong=1878, backtracks=72, failedAssignments=1806, nogoods=634
66.09/61.16
67.09/62.17 num=31, depth=6..7, filters=120716, revisions=(254100,useless=135292), ccks=386627469, wck=21.217, mem=144M179
67.09/62.17 decisions=5320, wrong=2072, backtracks=75, failedAssignments=1997, nogoods=643
67.09/62.17
68.71/63.76 num=32, depth=6..7, filters=130388, revisions=(275925,useless=147661), ccks=395822736, wck=22.807, mem=62M739
68.71/63.76 decisions=5755, wrong=2286, backtracks=78, failedAssignments=2208, nogoods=672
68.71/63.76
69.91/64.96 num=33, depth=6..7, filters=140329, revisions=(295134,useless=157047), ccks=402790699, wck=24.002, mem=105M319
69.91/64.96 decisions=6259, wrong=2535, backtracks=95, failedAssignments=2440, nogoods=804
69.91/64.96
71.91/66.96 num=34, depth=6..7, filters=153938, revisions=(321063,useless=169628), ccks=414485854, wck=25.998, mem=157M917
71.91/66.96 decisions=6782, wrong=2793, backtracks=98, failedAssignments=2695, nogoods=861
71.91/66.96
74.15/69.13 num=35, depth=6..7, filters=169747, revisions=(358808,useless=191845), ccks=426448397, wck=28.175, mem=94M617
74.15/69.13 decisions=7363, wrong=3080, backtracks=104, failedAssignments=2976, nogoods=894
74.15/69.13
76.05/71.07 num=36, depth=6..7, filters=185841, revisions=(390661,useless=207863), ccks=437214236, wck=30.113, mem=153M826
76.05/71.07 decisions=8000, wrong=3395, backtracks=110, failedAssignments=3285, nogoods=919
76.05/71.07
78.08/73.07 num=37, depth=5..7, filters=207625, revisions=(450892,useless=246618), ccks=447072524, wck=32.111, mem=110M834
78.08/73.07 decisions=8751, wrong=3767, backtracks=143, failedAssignments=3625, nogoods=931
78.08/73.07
79.72/74.62 num=38, depth=6..7, filters=222747, revisions=(473763,useless=254747), ccks=456978864, wck=33.66, mem=62M69
79.72/74.62 decisions=9515, wrong=4146, backtracks=148, failedAssignments=3999, nogoods=936
79.72/74.62
82.12/76.90 num=39, depth=5..7, filters=245436, revisions=(520103,useless=278812), ccks=469343276, wck=35.944, mem=157M575
82.12/76.90 decisions=10409, wrong=4590, backtracks=184, failedAssignments=4410, nogoods=952
82.12/76.90
83.75/78.59 num=40, depth=6..7, filters=263213, revisions=(545470,useless=286848), ccks=480163734, wck=37.629, mem=127M875
83.75/78.59 decisions=11331, wrong=5048, backtracks=190, failedAssignments=4862, nogoods=1024
83.75/78.59
85.33/80.05 num=41, depth=6..7, filters=281695, revisions=(575375,useless=298737), ccks=489111216, wck=39.088, mem=105M825
85.33/80.05 decisions=12344, wrong=5551, backtracks=196, failedAssignments=5359, nogoods=1201
85.33/80.05
88.47/83.16 num=42, depth=5..6, filters=311564, revisions=(639551,useless=333047), ccks=504835175, wck=42.206, mem=93M712
88.47/83.16 decisions=13466, wrong=6109, backtracks=207, failedAssignments=5906, nogoods=1232
88.47/83.16
91.99/86.64 num=43, depth=5..7, filters=348023, revisions=(734236,useless=391475), ccks=521442088, wck=45.68, mem=104M738
91.99/86.64 decisions=14778, wrong=6762, backtracks=260, failedAssignments=6508, nogoods=1245
91.99/86.64
96.72/91.31 num=44, depth=5..7, filters=390627, revisions=(833502,useless=448366), ccks=546005236, wck=50.352, mem=139M221
96.72/91.31 decisions=16228, wrong=7484, backtracks=321, failedAssignments=7170, nogoods=1357
96.72/91.31
101.78/96.33 num=45, depth=5..7, filters=432800, revisions=(919282,useless=492728), ccks=573114766, wck=55.37, mem=90M312
101.78/96.33 decisions=17828, wrong=8281, backtracks=392, failedAssignments=7898, nogoods=1401
101.78/96.33
105.71/100.24 num=46, depth=6..7, filters=468899, revisions=(1003722,useless=541846), ccks=594225081, wck=59.282, mem=153M888
105.71/100.24 decisions=19497, wrong=9112, backtracks=422, failedAssignments=8699, nogoods=1438
105.71/100.24
109.82/104.30 num=47, depth=6..7, filters=518385, revisions=(1123236,useless=612761), ccks=612956287, wck=63.341, mem=113M859
109.82/104.30 decisions=21322, wrong=10021, backtracks=450, failedAssignments=9580, nogoods=1470
109.82/104.30
114.94/109.43 num=48, depth=6..7, filters=567756, revisions=(1225910,useless=667058), ccks=639010203, wck=68.468, mem=109M987
114.94/109.43 decisions=23371, wrong=11042, backtracks=501, failedAssignments=10550, nogoods=1582
114.94/109.43
120.25/114.79 num=49, depth=6..8, filters=619706, revisions=(1326224,useless=716429), ccks=667366530, wck=73.833, mem=110M722
120.25/114.79 decisions=25547, wrong=12126, backtracks=518, failedAssignments=11617, nogoods=1633
120.25/114.79
125.67/120.14 num=50, depth=6..7, filters=679302, revisions=(1447207,useless=778995), ccks=694252745, wck=79.187, mem=145M764
125.67/120.14 decisions=27942, wrong=13320, backtracks=539, failedAssignments=12790, nogoods=1673
125.67/120.14
129.70/124.17 num=51, depth=6..7, filters=724679, revisions=(1508331,useless=796041), ccks=721018626, wck=83.212, mem=113M107
129.70/124.17 decisions=30565, wrong=14628, backtracks=556, failedAssignments=14081, nogoods=1799
129.70/124.17
137.42/131.86 num=52, depth=5..7, filters=812160, revisions=(1694692,useless=896349), ccks=761243629, wck=90.898, mem=76M818
137.42/131.86 decisions=33664, wrong=16174, backtracks=689, failedAssignments=15501, nogoods=1928
137.42/131.86
144.76/139.14 num=53, depth=6..7, filters=888906, revisions=(1858471,useless=984439), ccks=800177862, wck=98.178, mem=121M845
144.76/139.14 decisions=36843, wrong=17760, backtracks=713, failedAssignments=17063, nogoods=1963
144.76/139.14
152.87/147.29 num=54, depth=6..7, filters=974383, revisions=(2034388,useless=1076231), ccks=843026905, wck=106.334, mem=124M798
152.87/147.29 decisions=40456, wrong=19563, backtracks=798, failedAssignments=18781, nogoods=2143
152.87/147.29
162.11/156.47 num=55, depth=6..7, filters=1068338, revisions=(2265102,useless=1214883), ccks=890819886, wck=115.515, mem=110M689
162.11/156.47 decisions=44317, wrong=21490, backtracks=835, failedAssignments=20671, nogoods=2204
162.11/156.47
170.54/164.83 num=56, depth=6..8, filters=1176770, revisions=(2496257,useless=1339603), ccks=931777205, wck=123.868, mem=110M141
170.54/164.83 decisions=48559, wrong=23607, backtracks=873, failedAssignments=22750, nogoods=2272
170.54/164.83
180.08/174.31 num=57, depth=6..7, filters=1300930, revisions=(2770144,useless=1491588), ccks=978198519, wck=133.354, mem=100M568
180.08/174.31 decisions=53218, wrong=25933, backtracks=912, failedAssignments=25037, nogoods=2337
180.08/174.31
190.62/184.85 num=58, depth=6..7, filters=1411881, revisions=(3011338,useless=1624352), ccks=1036099884, wck=143.889, mem=111M599
190.62/184.85 decisions=58339, wrong=28490, backtracks=953, failedAssignments=27553, nogoods=2394
190.62/184.85
202.39/196.54 num=59, depth=5..8, filters=1543150, revisions=(3288428,useless=1772849), ccks=1099841701, wck=155.587, mem=54M432
202.39/196.54 decisions=64159, wrong=31396, backtracks=1095, failedAssignments=30321, nogoods=2572
202.39/196.54
217.06/211.19 num=60, depth=6..8, filters=1689248, revisions=(3574150,useless=1915521), ccks=1177531790, wck=170.229, mem=78M259
217.06/211.19 decisions=70516, wrong=34571, backtracks=1233, failedAssignments=33365, nogoods=2616
217.06/211.19
234.03/228.07 num=61, depth=5..7, filters=1853288, revisions=(3951106,useless=2131830), ccks=1263492637, wck=187.114, mem=96M802
234.03/228.07 decisions=77508, wrong=38064, backtracks=1378, failedAssignments=36714, nogoods=2660
234.03/228.07
251.22/245.18 num=62, depth=5..10, filters=2062158, revisions=(4403562,useless=2379043), ccks=1346994651, wck=204.225, mem=81M878
251.22/245.18 decisions=85197, wrong=41905, backtracks=1538, failedAssignments=40398, nogoods=2899
251.22/245.18
273.92/267.74 num=63, depth=5..8, filters=2276531, revisions=(4861880,useless=2626911), ccks=1461350187, wck=226.785, mem=58M323
273.92/267.74 decisions=93634, wrong=46120, backtracks=1704, failedAssignments=44450, nogoods=2918
273.92/267.74
298.94/292.61 num=64, depth=5..10, filters=2559598, revisions=(5465354,useless=2950811), ccks=1584451933, wck=251.65, mem=58M348
298.94/292.61 decisions=103155, wrong=50877, backtracks=2010, failedAssignments=48907, nogoods=3022
298.94/292.61
318.20/311.89 num=65, depth=5..7, filters=2692854, revisions=(5844881,useless=3197286), ccks=1683570889, wck=270.934, mem=85M151
318.20/311.89 decisions=113359, wrong=55976, backtracks=2207, failedAssignments=53810, nogoods=3125
318.20/311.89
342.14/335.62 num=66, depth=6..9, filters=2964149, revisions=(6421419,useless=3506315), ccks=1807555022, wck=294.667, mem=101M195
342.14/335.62 decisions=124606, wrong=61596, backtracks=2447, failedAssignments=59204, nogoods=3203
342.14/335.62
374.76/368.12 num=67, depth=5..7, filters=3294112, revisions=(7130699,useless=3891477), ccks=1978625787, wck=327.161, mem=70M203
374.76/368.12 decisions=137372, wrong=67976, backtracks=2914, failedAssignments=65137, nogoods=3478
374.76/368.12
405.98/399.23 num=68, depth=5..7, filters=3619468, revisions=(7865613,useless=4307594), ccks=2137938431, wck=358.274, mem=96M982
405.98/399.23 decisions=150931, wrong=74752, backtracks=3166, failedAssignments=71663, nogoods=3516
405.98/399.23
442.81/435.97 num=69, depth=6..7, filters=3962032, revisions=(8562195,useless=4668499), ccks=2327745675, wck=395.014, mem=86M311
442.81/435.97 decisions=165690, wrong=82128, backtracks=3363, failedAssignments=78842, nogoods=3756
442.81/435.97
480.84/473.82 num=70, depth=5..7, filters=4358320, revisions=(9430919,useless=5148770), ccks=2535288843, wck=432.864, mem=102M395
480.84/473.82 decisions=182276, wrong=90418, backtracks=3779, failedAssignments=86739, nogoods=4009
480.84/473.82
513.59/506.46 num=71, depth=5..7, filters=4707107, revisions=(10123267,useless=5500945), ccks=2721528495, wck=465.497, mem=75M706
513.59/506.46 decisions=199971, wrong=99262, backtracks=3937, failedAssignments=95426, nogoods=4029
513.59/506.46
568.73/561.40 num=72, depth=4..8, filters=5240170, revisions=(11395428,useless=6249647), ccks=3027591541, wck=520.437, mem=103M539
568.73/561.40 decisions=220404, wrong=109475, backtracks=4624, failedAssignments=104981, nogoods=4092
568.73/561.40
642.17/634.68 num=73, depth=5..8, filters=5656505, revisions=(12145932,useless=6590586), ccks=3464491227, wck=593.721, mem=90M712
642.17/634.68 decisions=241849, wrong=120194, backtracks=4833, failedAssignments=115492, nogoods=4172
642.17/634.68
695.53/687.88 num=74, depth=5..8, filters=6194579, revisions=(13311299,useless=7227316), ccks=3748061337, wck=646.921, mem=74M694
695.53/687.88 decisions=265515, wrong=132023, backtracks=5102, failedAssignments=127054, nogoods=4247
695.53/687.88
756.81/748.98 num=75, depth=5..7, filters=6828119, revisions=(14680739,useless=7976010), ccks=4053323888, wck=708.018, mem=58M667
756.81/748.98 decisions=291788, wrong=145156, backtracks=5519, failedAssignments=139772, nogoods=4391
756.81/748.98
817.98/809.94 num=76, depth=6..8, filters=7424481, revisions=(15856163,useless=8568943), ccks=4398960834, wck=768.982, mem=98M273
817.98/809.94 decisions=320321, wrong=159419, backtracks=5794, failedAssignments=153762, nogoods=4458
817.98/809.94
898.20/889.97 num=77, depth=4..7, filters=8234686, revisions=(17579643,useless=9494434), ccks=4824193451, wck=849.015, mem=67M281
898.20/889.97 decisions=352989, wrong=175750, backtracks=6791, failedAssignments=169151, nogoods=4521
898.20/889.97
976.99/968.55 num=78, depth=5..8, filters=8970088, revisions=(19041430,useless=10236849), ccks=5251757942, wck=927.596, mem=83M340
976.99/968.55 decisions=387927, wrong=193216, backtracks=7333, failedAssignments=186079, nogoods=4661
976.99/968.55
1061.41/1052.75 num=79, depth=4..8, filters=9823899, revisions=(20769556,useless=11125605), ccks=5703911693, wck=1011.793, mem=104M764
1061.41/1052.75 decisions=427474, wrong=212986, backtracks=8530, failedAssignments=204700, nogoods=4680
1061.41/1052.75
1157.53/1148.63 num=80, depth=5..7, filters=10894719, revisions=(23086508,useless=12392085), ccks=6188021073, wck=1107.668, mem=76M980
1157.53/1148.63 decisions=469867, wrong=234179, backtracks=9245, failedAssignments=225184, nogoods=4725
1157.53/1148.63
1270.20/1261.06 num=81, depth=5..7, filters=11962420, revisions=(25631580,useless=13891179), ccks=6764205911, wck=1220.102, mem=57M753
1270.20/1261.06 decisions=516406, wrong=257445, backtracks=9985, failedAssignments=247716, nogoods=4794
1270.20/1261.06
1381.47/1372.03 num=82, depth=5..7, filters=13061845, revisions=(28039924,useless=15224605), ccks=7372324097, wck=1331.076, mem=57M770
1381.47/1372.03 decisions=567293, wrong=282885, backtracks=10645, failedAssignments=272501, nogoods=4994
1381.47/1372.03
1503.06/1493.32 num=83, depth=4..7, filters=14399696, revisions=(30740416,useless=16614569), ccks=7992219789, wck=1452.362, mem=69M576
1503.06/1493.32 decisions=623477, wrong=310974, backtracks=11515, failedAssignments=299765, nogoods=5051
1503.06/1493.32
1656.62/1646.53 num=84, depth=4..8, filters=15954614, revisions=(34036636,useless=18383897), ccks=8814038948, wck=1605.574, mem=71M731
1656.62/1646.53 decisions=687371, wrong=342918, backtracks=13560, failedAssignments=329755, nogoods=5111
1656.62/1646.53
1807.18/1796.77 num=85, depth=4..7, filters=17611653, revisions=(37399899,useless=20122128), ccks=9585534714, wck=1755.817, mem=55M712
1807.18/1796.77 decisions=755581, wrong=377020, backtracks=14737, failedAssignments=362744, nogoods=5205
1807.18/1796.77
1965.65/1954.85 num=86, depth=4..7, filters=19301194, revisions=(40800407,useless=21868396), ccks=10458280281, wck=1913.897, mem=84M623
1965.65/1954.85 decisions=831205, wrong=414829, backtracks=16322, failedAssignments=399032, nogoods=5261
1965.65/1954.85
2139.06/2127.80 num=87, depth=4..7, filters=21246299, revisions=(44860526,useless=24023187), ccks=11366676260, wck=2086.843, mem=81M430
2139.06/2127.80 decisions=913723, wrong=456085, backtracks=17722, failedAssignments=438949, nogoods=5304
2139.06/2127.80
2363.91/2352.23 num=88, depth=4..7, filters=23612898, revisions=(49881158,useless=26720235), ccks=12509053982, wck=2311.269, mem=65M412
2363.91/2352.23 decisions=1006130, wrong=502285, backtracks=20121, failedAssignments=482858, nogoods=5476
2363.91/2352.23
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 (12700 MiB free)
memory of node 1: 16384 MiB (12096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390530-1568385566/watcher-4390530-1568385566 -o /tmp/evaluation-result-4390530-1568385566/solver-4390530-1568385566 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568380476-6730 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390530-1568385566.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=7732, runsolver pid=7729
Current StackSize limit: 8192 KiB
[startup+0.100587 s]*
/proc/loadavg: 1.93 1.94 1.95 4/228 7747
/proc/meminfo: memFree=25374188/32770624 swapFree=66959224/67108860
[pid=7732] ppid=7729 vsize=10659884 memory=31388 CPUtime=0.13 cores=1,3,5,7
/proc/7732/stat : 7732 (java) S 7729 7732 6698 0 -1 1077944320 5784 0 0 0 12 1 0 0 20 0 15 0 414496786 10915721216 7847 33554432000 4194304 4196468 140724637004736 140724636987280 140647668989687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
/proc/7732/statm: 2664971 7847 2897 1 0 2627468 0
[pid=7732/tid=7734] ppid=7729 vsize=10659884 memory=-8413716295845056867 CPUtime=0.09 cores=1,3,5,7
/proc/7732/task/7734/stat : 7734 (java) R 7729 7732 6698 0 -1 4202560 3241 0 0 0 9 0 0 0 20 0 15 0 414496786 10915721216 7847 33554432000 4194304 4196468 140724637004736 140647673217864 140647669001622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7735] ppid=7729 vsize=10659884 memory=5793855953372494265 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7735/stat : 7735 (java) S 7729 7732 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414496787 10915721216 7847 33554432000 4194304 4196468 140724637004736 140647275928208 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7736] ppid=7729 vsize=10659884 memory=140702362601088 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7736/stat : 7736 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10915721216 7847 33554432000 4194304 4196468 140724637004736 140647274875408 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7737] ppid=7729 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7737/stat : 7737 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10915721216 7847 33554432000 4194304 4196468 140724637004736 140647273822608 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7738] ppid=7729 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7738/stat : 7738 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10915721216 7847 33554432000 4194304 4196468 140724637004736 140647272769808 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7739] ppid=7729 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7739/stat : 7739 (java) S 7729 7732 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414496788 10915721216 7847 33554432000 4194304 4196468 140724637004736 140647228144496 140647669000834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7740] ppid=7729 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7740/stat : 7740 (java) S 7729 7732 6698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 414496789 10915721216 7847 33554432000 4194304 4196468 140724637004736 140646905013792 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7741] ppid=7729 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7741/stat : 7741 (java) S 7729 7732 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414496789 10915721216 7847 33554432000 4194304 4196468 140724637004736 140646903960944 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7742] ppid=7729 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7742/stat : 7742 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414496791 10915721216 7847 33554432000 4194304 4196468 140724637004736 140646902909264 140647669008283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7743] ppid=7729 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7743/stat : 7743 (java) S 7729 7732 6698 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 414496792 10915721216 7847 33554432000 4194304 4196468 140724637004736 140646901856624 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7744] ppid=7729 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7744/stat : 7744 (java) S 7729 7732 6698 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 15 0 414496792 10915721216 7847 33554432000 4194304 4196468 140724637004736 140646900803824 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7745] ppid=7729 vsize=10659884 memory=140702362601088 CPUtime=0.02 cores=1,3,5,7
/proc/7732/task/7745/stat : 7745 (java) R 7729 7732 6698 0 -1 4202560 565 0 0 0 2 0 0 0 20 0 15 0 414496792 10915721216 7847 33554432000 4194304 4196468 140724637004736 140646899746968 140647648388255 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7746] ppid=7729 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7746/stat : 7746 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414496792 10915721216 7847 33554432000 4194304 4196468 140724637004736 140646898698464 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7747] ppid=7729 vsize=10659884 memory=140702362601088 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7747/stat : 7747 (java) R 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496792 10915721216 7847 33554432000 4194304 4196468 140724637004736 140646897646768 140647669000834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 31388 KiB
[startup+0.210661 s]*
/proc/loadavg: 1.93 1.94 1.95 4/228 7747
/proc/meminfo: memFree=25363616/32770624 swapFree=66959224/67108860
[pid=7732] ppid=7729 vsize=10659884 memory=39096 CPUtime=0.33 cores=1,3,5,7
/proc/7732/stat : 7732 (java) S 7729 7732 6698 0 -1 1077944320 8985 0 0 0 30 3 0 0 20 0 15 0 414496786 10915721216 9774 33554432000 4194304 4196468 140724637004736 140724636987280 140647668989687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
/proc/7732/statm: 2664971 9774 2989 1 0 2627468 0
[pid=7732/tid=7734] ppid=7729 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/7732/task/7734/stat : 7734 (java) R 7729 7732 6698 0 -1 4202560 6114 0 0 0 18 2 0 0 20 0 15 0 414496786 10915721216 9774 33554432000 4194304 4196468 140724637004736 140647673216048 140647669011613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7735] ppid=7729 vsize=10659884 memory=4211974428567391626 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7735/stat : 7735 (java) S 7729 7732 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414496787 10915721216 9774 33554432000 4194304 4196468 140724637004736 140647275928208 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7736] ppid=7729 vsize=10659884 memory=140702362601088 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7736/stat : 7736 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10915721216 9774 33554432000 4194304 4196468 140724637004736 140647274875408 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7737] ppid=7729 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7737/stat : 7737 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10915721216 9774 33554432000 4194304 4196468 140724637004736 140647273822608 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7738] ppid=7729 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7738/stat : 7738 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10915721216 9774 33554432000 4194304 4196468 140724637004736 140647272769808 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7739] ppid=7729 vsize=10659884 memory=140702362601088 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7739/stat : 7739 (java) S 7729 7732 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414496788 10915721216 9774 33554432000 4194304 4196468 140724637004736 140647228144496 140647669000834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7740] ppid=7729 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7740/stat : 7740 (java) S 7729 7732 6698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 414496789 10915721216 9774 33554432000 4194304 4196468 140724637004736 140646905013792 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7741] ppid=7729 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7741/stat : 7741 (java) S 7729 7732 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414496789 10915721216 9774 33554432000 4194304 4196468 140724637004736 140646903960944 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7742] ppid=7729 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7742/stat : 7742 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414496791 10915721216 9774 33554432000 4194304 4196468 140724637004736 140646902909264 140647669008283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7743] ppid=7729 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7732/task/7743/stat : 7743 (java) S 7729 7732 6698 0 -1 1077944384 579 0 0 0 3 0 0 0 20 0 15 0 414496792 10915721216 9774 33554432000 4194304 4196468 140724637004736 140646901856624 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7744] ppid=7729 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7732/task/7744/stat : 7744 (java) S 7729 7732 6698 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 15 0 414496792 10915721216 9774 33554432000 4194304 4196468 140724637004736 140646900803824 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7745] ppid=7729 vsize=10659884 memory=140702362601088 CPUtime=0.05 cores=1,3,5,7
/proc/7732/task/7745/stat : 7745 (java) S 7729 7732 6698 0 -1 1077944384 618 0 0 0 5 0 0 0 20 0 15 0 414496792 10915721216 9774 33554432000 4194304 4196468 140724637004736 140646899751024 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7746] ppid=7729 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7746/stat : 7746 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414496792 10915721216 9774 33554432000 4194304 4196468 140724637004736 140646898698464 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7747] ppid=7729 vsize=10659884 memory=140702362601088 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7747/stat : 7747 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496792 10915721216 9774 33554432000 4194304 4196468 140724637004736 140646897646768 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39096 KiB
[startup+0.310146 s]*
/proc/loadavg: 1.93 1.94 1.95 3/228 7747
/proc/meminfo: memFree=25361692/32770624 swapFree=66959224/67108860
[pid=7732] ppid=7729 vsize=10659884 memory=41900 CPUtime=0.47 cores=1,3,5,7
/proc/7732/stat : 7732 (java) S 7729 7732 6698 0 -1 1077944320 9196 0 0 0 44 3 0 0 20 0 15 0 414496786 10915721216 10475 33554432000 4194304 4196468 140724637004736 140724636987280 140647668989687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
/proc/7732/statm: 2664971 10475 3015 1 0 2627468 0
[pid=7732/tid=7734] ppid=7729 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/7732/task/7734/stat : 7734 (java) R 7729 7732 6698 0 -1 4202560 6261 0 0 0 28 2 0 0 20 0 15 0 414496786 10915721216 10475 33554432000 4194304 4196468 140724637004736 140647673222096 140647653070174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7735] ppid=7729 vsize=10659884 memory=4211974428567391626 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7735/stat : 7735 (java) S 7729 7732 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414496787 10915721216 10475 33554432000 4194304 4196468 140724637004736 140647275928208 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7736] ppid=7729 vsize=10659884 memory=140702362603497 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7736/stat : 7736 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10915721216 10475 33554432000 4194304 4196468 140724637004736 140647274875408 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7737] ppid=7729 vsize=10659884 memory=140702256317498 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7737/stat : 7737 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10915721216 10475 33554432000 4194304 4196468 140724637004736 140647273822608 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7738] ppid=7729 vsize=10659884 memory=140702256319951 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7738/stat : 7738 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10915721216 10475 33554432000 4194304 4196468 140724637004736 140647272769808 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7739] ppid=7729 vsize=10659884 memory=140702362607813 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7739/stat : 7739 (java) S 7729 7732 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414496788 10915721216 10475 33554432000 4194304 4196468 140724637004736 140647228144496 140647669000834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7740] ppid=7729 vsize=10659884 memory=140702256329135 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7740/stat : 7740 (java) S 7729 7732 6698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 414496789 10915721216 10475 33554432000 4194304 4196468 140724637004736 140646905013792 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7741] ppid=7729 vsize=10659884 memory=281404512649104 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7741/stat : 7741 (java) S 7729 7732 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414496789 10915721216 10475 33554432000 4194304 4196468 140724637004736 140646903960944 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7742] ppid=7729 vsize=10659884 memory=281404512646800 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7742/stat : 7742 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414496791 10915721216 10475 33554432000 4194304 4196468 140724637004736 140646902909264 140647669008283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7743] ppid=7729 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7732/task/7743/stat : 7743 (java) S 7729 7732 6698 0 -1 1077944384 618 0 0 0 4 0 0 0 20 0 15 0 414496792 10915721216 10475 33554432000 4194304 4196468 140724637004736 140646901856624 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7744] ppid=7729 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/7732/task/7744/stat : 7744 (java) R 7729 7732 6698 0 -1 4202560 343 0 0 0 3 0 0 0 20 0 15 0 414496792 10915721216 10475 33554432000 4194304 4196468 140724637004736 140646900803824 140647669001622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7745] ppid=7729 vsize=10659884 memory=140702362601088 CPUtime=0.07 cores=1,3,5,7
/proc/7732/task/7745/stat : 7745 (java) R 7729 7732 6698 0 -1 1077944384 648 0 0 0 7 0 0 0 20 0 15 0 414496792 10915721216 10475 33554432000 4194304 4196468 140724637004736 140646899751024 140647669000834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7746] ppid=7729 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7746/stat : 7746 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414496792 10915721216 10475 33554432000 4194304 4196468 140724637004736 140646898698464 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7747] ppid=7729 vsize=10659884 memory=140702362601088 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7747/stat : 7747 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496792 10915721216 10475 33554432000 4194304 4196468 140724637004736 140646897646768 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 41900 KiB
[startup+0.700801 s]
/proc/loadavg: 1.93 1.94 1.95 3/228 7747
/proc/meminfo: memFree=25353036/32770624 swapFree=66959224/67108860
[pid=7732] ppid=7729 vsize=10661932 memory=63452 CPUtime=1.09 cores=1,3,5,7
/proc/7732/stat : 7732 (java) S 7729 7732 6698 0 -1 1077944320 12389 0 0 0 104 5 0 0 20 0 15 0 414496786 10917818368 15863 33554432000 4194304 4196468 140724637004736 140724636987280 140647668989687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
/proc/7732/statm: 2665483 15863 3039 1 0 2627980 0
[pid=7732/tid=7734] ppid=7729 vsize=10661932 memory=10604 CPUtime=0.68 cores=1,3,5,7
/proc/7732/task/7734/stat : 7734 (java) R 7729 7732 6698 0 -1 4202560 8816 0 0 0 65 3 0 0 20 0 15 0 414496786 10917818368 15863 33554432000 4194304 4196468 140724637004736 140647673221712 140647669011613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7735] ppid=7729 vsize=10661932 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7735/stat : 7735 (java) S 7729 7732 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414496787 10917818368 15863 33554432000 4194304 4196468 140724637004736 140647275928208 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7736] ppid=7729 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7736/stat : 7736 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10917818368 15863 33554432000 4194304 4196468 140724637004736 140647274875408 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7737] ppid=7729 vsize=10661932 memory=7524201410499929408 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7737/stat : 7737 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10917818368 15863 33554432000 4194304 4196468 140724637004736 140647273822608 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7738] ppid=7729 vsize=10661932 memory=7738707435814409832 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7738/stat : 7738 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10917818368 15863 33554432000 4194304 4196468 140724637004736 140647272769808 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7739] ppid=7729 vsize=10661932 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7739/stat : 7739 (java) S 7729 7732 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414496788 10917818368 15863 33554432000 4194304 4196468 140724637004736 140647228144496 140647669000834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7740] ppid=7729 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7740/stat : 7740 (java) S 7729 7732 6698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 414496789 10917818368 15863 33554432000 4194304 4196468 140724637004736 140646905013792 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7741] ppid=7729 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7741/stat : 7741 (java) S 7729 7732 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414496789 10917818368 15863 33554432000 4194304 4196468 140724637004736 140646903960944 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7742] ppid=7729 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7742/stat : 7742 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414496791 10917818368 15863 33554432000 4194304 4196468 140724637004736 140646902909264 140647669008283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7743] ppid=7729 vsize=10661932 memory=353 CPUtime=0.09 cores=1,3,5,7
/proc/7732/task/7743/stat : 7743 (java) S 7729 7732 6698 0 -1 1077944384 654 0 0 0 9 0 0 0 20 0 15 0 414496792 10917818368 15863 33554432000 4194304 4196468 140724637004736 140646901856624 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7744] ppid=7729 vsize=10661932 memory=317 CPUtime=0.11 cores=1,3,5,7
/proc/7732/task/7744/stat : 7744 (java) R 7729 7732 6698 0 -1 4202560 620 0 0 0 11 0 0 0 20 0 15 0 414496792 10917818368 15863 33554432000 4194304 4196468 140724637004736 140646900803824 140647648247368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7745] ppid=7729 vsize=10661932 memory=11 CPUtime=0.18 cores=1,3,5,7
/proc/7732/task/7745/stat : 7745 (java) S 7729 7732 6698 0 -1 1077944384 961 0 0 0 18 0 0 0 20 0 15 0 414496792 10917818368 15863 33554432000 4194304 4196468 140724637004736 140646899751024 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7746] ppid=7729 vsize=10661932 memory=281404512833008 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7746/stat : 7746 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414496792 10917818368 15863 33554432000 4194304 4196468 140724637004736 140646898698464 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7747] ppid=7729 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7747/stat : 7747 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496792 10917818368 15863 33554432000 4194304 4196468 140724637004736 140646897646768 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63452 KiB
[startup+1.50078 s]
/proc/loadavg: 1.93 1.95 1.95 3/228 7747
/proc/meminfo: memFree=25336852/32770624 swapFree=66959224/67108860
[pid=7732] ppid=7729 vsize=10663980 memory=76712 CPUtime=1.99 cores=1,3,5,7
/proc/7732/stat : 7732 (java) S 7729 7732 6698 0 -1 1077944320 15985 0 0 0 192 7 0 0 20 0 15 0 414496786 10919915520 19178 33554432000 4194304 4196468 140724637004736 140724636987280 140647668989687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
/proc/7732/statm: 2665995 19178 3091 1 0 2628492 0
[pid=7732/tid=7734] ppid=7729 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/7732/task/7734/stat : 7734 (java) R 7729 7732 6698 0 -1 4202560 11412 0 0 0 143 5 0 0 20 0 15 0 414496786 10919915520 19178 33554432000 4194304 4196468 140724637004736 140647673220992 140647669011613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7735] ppid=7729 vsize=10663980 memory=-6369074288953532201 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7735/stat : 7735 (java) S 7729 7732 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414496787 10919915520 19178 33554432000 4194304 4196468 140724637004736 140647275928208 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7736] ppid=7729 vsize=10663980 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7736/stat : 7736 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10919915520 19178 33554432000 4194304 4196468 140724637004736 140647274875408 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7737] ppid=7729 vsize=10663980 memory=-3472574513799858007 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7737/stat : 7737 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10919915520 19178 33554432000 4194304 4196468 140724637004736 140647273822608 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7738] ppid=7729 vsize=10663980 memory=-3472574513799858008 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7738/stat : 7738 (java) S 7729 7732 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414496787 10919915520 19178 33554432000 4194304 4196468 140724637004736 140647272769808 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7739] ppid=7729 vsize=10663980 memory=4947371971897564544 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7739/stat : 7739 (java) S 7729 7732 6698 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 414496788 10919915520 19178 33554432000 4194304 4196468 140724637004736 140647228144496 140647669000834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
################
# More data... #
################
/proc/7732/task/7738/stat : 7738 (java) S 7729 7732 6698 0 -1 1077944384 1555 0 0 0 210 9 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647272769808 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7739] ppid=7729 vsize=10748324 memory=226524 CPUtime=1.26 cores=1,3,5,7
/proc/7732/task/7739/stat : 7739 (java) S 7729 7732 6698 0 -1 1077944384 4116 0 0 0 116 10 0 0 20 0 16 0 414496788 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647228144496 140647669000834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7740] ppid=7729 vsize=10748324 memory=226524 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7740/stat : 7740 (java) S 7729 7732 6698 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414496789 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646905013856 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7741] ppid=7729 vsize=10748324 memory=226524 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7741/stat : 7741 (java) S 7729 7732 6698 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414496789 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646903960960 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7742] ppid=7729 vsize=10748324 memory=281404513400064 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7742/stat : 7742 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414496791 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646902909264 140647669008283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7743] ppid=7729 vsize=10748324 memory=0 CPUtime=1.8 cores=1,3,5,7
/proc/7732/task/7743/stat : 7743 (java) S 7729 7732 6698 0 -1 1077944384 11830 0 0 0 179 1 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646901856624 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7744] ppid=7729 vsize=10748324 memory=226524 CPUtime=2.47 cores=1,3,5,7
/proc/7732/task/7744/stat : 7744 (java) S 7729 7732 6698 0 -1 1077944384 17695 0 0 0 244 3 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646900803824 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7745] ppid=7729 vsize=10748324 memory=1436 CPUtime=0.85 cores=1,3,5,7
/proc/7732/task/7745/stat : 7745 (java) S 7729 7732 6698 0 -1 1077944384 14903 0 0 0 83 2 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646899751024 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7746] ppid=7729 vsize=10748324 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7746/stat : 7746 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646898698464 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7747] ppid=7729 vsize=10748324 memory=226524 CPUtime=0.5 cores=1,3,5,7
/proc/7732/task/7747/stat : 7747 (java) S 7729 7732 6698 0 -1 1077944384 1339 0 0 0 22 28 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646897646768 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7748] ppid=7729 vsize=10748324 memory=226524 CPUtime=2376.55 cores=1,3,5,7
/proc/7732/task/7748/stat : 7748 (java) R 7729 7732 6698 0 -1 4202560 19618 0 0 0 237648 7 0 0 20 0 16 0 414496973 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646812860240 140647315243588 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
Current children cumulated CPU time: 2394.15 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 226524 KiB
[startup+2442.3 s]
/proc/loadavg: 1.84 1.83 1.78 3/229 7992
/proc/meminfo: memFree=25149608/32770624 swapFree=66959224/67108860
[pid=7732] ppid=7729 vsize=10748324 memory=226524 CPUtime=2454.26 cores=1,3,5,7
/proc/7732/stat : 7732 (java) S 7729 7732 6698 0 -1 1077944320 99089 0 0 0 245344 82 0 0 20 0 16 0 414496786 11006283776 56631 33554432000 4194304 4196468 140724637004736 140724636987280 140647668989687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
/proc/7732/statm: 2687081 56631 3379 1 0 2647217 0
[pid=7732/tid=7734] ppid=7729 vsize=10748324 memory=226524 CPUtime=1.85 cores=1,3,5,7
/proc/7732/task/7734/stat : 7734 (java) S 7729 7732 6698 0 -1 1077944384 13081 0 0 0 179 6 0 0 20 0 16 0 414496786 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647673232560 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7735] ppid=7729 vsize=10748324 memory=226524 CPUtime=2.23 cores=1,3,5,7
/proc/7732/task/7735/stat : 7735 (java) S 7729 7732 6698 0 -1 1077944384 6024 0 0 0 214 9 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647275928208 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7736] ppid=7729 vsize=10748324 memory=226524 CPUtime=2.23 cores=1,3,5,7
/proc/7732/task/7736/stat : 7736 (java) S 7729 7732 6698 0 -1 1077944384 2538 0 0 0 214 9 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647274875408 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7737] ppid=7729 vsize=10748324 memory=226524 CPUtime=2.23 cores=1,3,5,7
/proc/7732/task/7737/stat : 7737 (java) S 7729 7732 6698 0 -1 1077944384 4617 0 0 0 212 11 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647273822608 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7738] ppid=7729 vsize=10748324 memory=226524 CPUtime=2.21 cores=1,3,5,7
/proc/7732/task/7738/stat : 7738 (java) S 7729 7732 6698 0 -1 1077944384 1573 0 0 0 212 9 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647272769808 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7739] ppid=7729 vsize=10748324 memory=226524 CPUtime=1.28 cores=1,3,5,7
/proc/7732/task/7739/stat : 7739 (java) S 7729 7732 6698 0 -1 1077944384 4289 0 0 0 118 10 0 0 20 0 16 0 414496788 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647228144496 140647669000834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7740] ppid=7729 vsize=10748324 memory=226524 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7740/stat : 7740 (java) S 7729 7732 6698 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414496789 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646905013856 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7741] ppid=7729 vsize=10748324 memory=226524 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7741/stat : 7741 (java) S 7729 7732 6698 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414496789 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646903960960 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7742] ppid=7729 vsize=10748324 memory=226524 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7742/stat : 7742 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414496791 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646902909264 140647669008283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7743] ppid=7729 vsize=10748324 memory=226524 CPUtime=1.8 cores=1,3,5,7
/proc/7732/task/7743/stat : 7743 (java) S 7729 7732 6698 0 -1 1077944384 11830 0 0 0 179 1 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646901856624 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7744] ppid=7729 vsize=10748324 memory=226524 CPUtime=2.47 cores=1,3,5,7
/proc/7732/task/7744/stat : 7744 (java) S 7729 7732 6698 0 -1 1077944384 17695 0 0 0 244 3 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646900803824 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7745] ppid=7729 vsize=10748324 memory=226524 CPUtime=0.85 cores=1,3,5,7
/proc/7732/task/7745/stat : 7745 (java) S 7729 7732 6698 0 -1 1077944384 14903 0 0 0 83 2 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646899751024 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7746] ppid=7729 vsize=10748324 memory=7234030490512353113 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7746/stat : 7746 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646898698464 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7747] ppid=7729 vsize=10748324 memory=226524 CPUtime=0.51 cores=1,3,5,7
/proc/7732/task/7747/stat : 7747 (java) S 7729 7732 6698 0 -1 1077944384 1354 0 0 0 23 28 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646897646768 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7748] ppid=7729 vsize=10748324 memory=226524 CPUtime=2436.48 cores=1,3,5,7
/proc/7732/task/7748/stat : 7748 (java) R 7729 7732 6698 0 -1 4202560 19759 0 0 0 243641 7 0 0 20 0 16 0 414496973 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646812860240 140647307791030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
Current children cumulated CPU time: 2454.26 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 226524 KiB
[startup+2502.3 s]
/proc/loadavg: 1.55 1.77 1.76 2/209 8054
/proc/meminfo: memFree=25524888/32770624 swapFree=66959224/67108860
[pid=7732] ppid=7729 vsize=10748324 memory=226524 CPUtime=2514.37 cores=1,3,5,7
/proc/7732/stat : 7732 (java) S 7729 7732 6698 0 -1 1077944320 99181 0 0 0 251353 84 0 0 20 0 16 0 414496786 11006283776 56631 33554432000 4194304 4196468 140724637004736 140724636987280 140647668989687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
/proc/7732/statm: 2687081 56631 3379 1 0 2647217 0
[pid=7732/tid=7734] ppid=7729 vsize=10748324 memory=226524 CPUtime=1.85 cores=1,3,5,7
/proc/7732/task/7734/stat : 7734 (java) S 7729 7732 6698 0 -1 1077944384 13081 0 0 0 179 6 0 0 20 0 16 0 414496786 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647673232560 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7735] ppid=7729 vsize=10748324 memory=226524 CPUtime=2.26 cores=1,3,5,7
/proc/7732/task/7735/stat : 7735 (java) S 7729 7732 6698 0 -1 1077944384 6024 0 0 0 217 9 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647275928208 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7736] ppid=7729 vsize=10748324 memory=226524 CPUtime=2.26 cores=1,3,5,7
/proc/7732/task/7736/stat : 7736 (java) S 7729 7732 6698 0 -1 1077944384 2542 0 0 0 217 9 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647274875408 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7737] ppid=7729 vsize=10748324 memory=226524 CPUtime=2.26 cores=1,3,5,7
/proc/7732/task/7737/stat : 7737 (java) S 7729 7732 6698 0 -1 1077944384 4617 0 0 0 215 11 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647273822608 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7738] ppid=7729 vsize=10748324 memory=226524 CPUtime=2.24 cores=1,3,5,7
/proc/7732/task/7738/stat : 7738 (java) S 7729 7732 6698 0 -1 1077944384 1573 0 0 0 215 9 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647272769808 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7739] ppid=7729 vsize=10748324 memory=226524 CPUtime=1.31 cores=1,3,5,7
/proc/7732/task/7739/stat : 7739 (java) S 7729 7732 6698 0 -1 1077944384 4295 0 0 0 121 10 0 0 20 0 16 0 414496788 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647228144496 140647669000834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7740] ppid=7729 vsize=10748324 memory=14310831032874 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7740/stat : 7740 (java) S 7729 7732 6698 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414496789 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646905013856 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7741] ppid=7729 vsize=10748324 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7741/stat : 7741 (java) S 7729 7732 6698 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414496789 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646903960960 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7742] ppid=7729 vsize=10748324 memory=226524 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7742/stat : 7742 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414496791 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646902909264 140647669008283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7743] ppid=7729 vsize=10748324 memory=3360 CPUtime=1.8 cores=1,3,5,7
/proc/7732/task/7743/stat : 7743 (java) S 7729 7732 6698 0 -1 1077944384 11830 0 0 0 179 1 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646901856624 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7744] ppid=7729 vsize=10748324 memory=776 CPUtime=2.47 cores=1,3,5,7
/proc/7732/task/7744/stat : 7744 (java) S 7729 7732 6698 0 -1 1077944384 17695 0 0 0 244 3 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646900803824 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7745] ppid=7729 vsize=10748324 memory=1564 CPUtime=0.85 cores=1,3,5,7
/proc/7732/task/7745/stat : 7745 (java) S 7729 7732 6698 0 -1 1077944384 14903 0 0 0 83 2 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646899751024 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7746] ppid=7729 vsize=10748324 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7746/stat : 7746 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646898698464 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7747] ppid=7729 vsize=10748324 memory=3620 CPUtime=0.52 cores=1,3,5,7
/proc/7732/task/7747/stat : 7747 (java) S 7729 7732 6698 0 -1 1077944384 1358 0 0 0 23 29 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646897646768 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7748] ppid=7729 vsize=10748324 memory=226524 CPUtime=2496.42 cores=1,3,5,7
/proc/7732/task/7748/stat : 7748 (java) R 7729 7732 6698 0 -1 4202560 19837 0 0 0 249635 7 0 0 20 0 16 0 414496973 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646812860240 140647315242849 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
Current children cumulated CPU time: 2514.37 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 226524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508 s]*
/proc/loadavg: 1.51 1.76 1.76 2/209 8054
/proc/meminfo: memFree=25524888/32770624 swapFree=66959224/67108860
[pid=7732] ppid=7729 vsize=10748324 memory=226524 CPUtime=2520.08 cores=1,3,5,7
/proc/7732/stat : 7732 (java) S 7729 7732 6698 0 -1 1077944320 99185 0 0 0 251924 84 0 0 20 0 16 0 414496786 11006283776 56631 33554432000 4194304 4196468 140724637004736 140724636987280 140647668989687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
/proc/7732/statm: 2687081 56631 3379 1 0 2647217 0
[pid=7732/tid=7734] ppid=7729 vsize=10748324 memory=8112282956445269571 CPUtime=1.85 cores=1,3,5,7
/proc/7732/task/7734/stat : 7734 (java) S 7729 7732 6698 0 -1 1077944384 13081 0 0 0 179 6 0 0 20 0 16 0 414496786 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647673232560 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7735] ppid=7729 vsize=10748324 memory=-7003737579269690708 CPUtime=2.26 cores=1,3,5,7
/proc/7732/task/7735/stat : 7735 (java) S 7729 7732 6698 0 -1 1077944384 6024 0 0 0 217 9 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647275928208 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7736] ppid=7729 vsize=10748324 memory=10604 CPUtime=2.26 cores=1,3,5,7
/proc/7732/task/7736/stat : 7736 (java) S 7729 7732 6698 0 -1 1077944384 2542 0 0 0 217 9 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647274875408 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7737] ppid=7729 vsize=10748324 memory=3360 CPUtime=2.26 cores=1,3,5,7
/proc/7732/task/7737/stat : 7737 (java) S 7729 7732 6698 0 -1 1077944384 4617 0 0 0 215 11 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647273822608 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7738] ppid=7729 vsize=10748324 memory=776 CPUtime=2.25 cores=1,3,5,7
/proc/7732/task/7738/stat : 7738 (java) S 7729 7732 6698 0 -1 1077944384 1573 0 0 0 216 9 0 0 20 0 16 0 414496787 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647272769808 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7739] ppid=7729 vsize=10748324 memory=1564 CPUtime=1.31 cores=1,3,5,7
/proc/7732/task/7739/stat : 7739 (java) S 7729 7732 6698 0 -1 1077944384 4295 0 0 0 121 10 0 0 20 0 16 0 414496788 11006283776 56631 33554432000 4194304 4196468 140724637004736 140647228144496 140647669000834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7740] ppid=7729 vsize=10748324 memory=5968 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7740/stat : 7740 (java) S 7729 7732 6698 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414496789 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646905013856 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7741] ppid=7729 vsize=10748324 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7741/stat : 7741 (java) S 7729 7732 6698 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414496789 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646903960960 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7742] ppid=7729 vsize=10748324 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7742/stat : 7742 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414496791 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646902909264 140647669008283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7743] ppid=7729 vsize=10748324 memory=1216 CPUtime=1.8 cores=1,3,5,7
/proc/7732/task/7743/stat : 7743 (java) S 7729 7732 6698 0 -1 1077944384 11830 0 0 0 179 1 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646901856624 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7744] ppid=7729 vsize=10748324 memory=984 CPUtime=2.47 cores=1,3,5,7
/proc/7732/task/7744/stat : 7744 (java) S 7729 7732 6698 0 -1 1077944384 17695 0 0 0 244 3 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646900803824 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7745] ppid=7729 vsize=10748324 memory=14004 CPUtime=0.85 cores=1,3,5,7
/proc/7732/task/7745/stat : 7745 (java) S 7729 7732 6698 0 -1 1077944384 14903 0 0 0 83 2 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646899751024 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7746] ppid=7729 vsize=10748324 memory=21292 CPUtime=0 cores=1,3,5,7
/proc/7732/task/7746/stat : 7746 (java) S 7729 7732 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646898698464 140647668999893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7747] ppid=7729 vsize=10748324 memory=14048 CPUtime=0.53 cores=1,3,5,7
/proc/7732/task/7747/stat : 7747 (java) S 7729 7732 6698 0 -1 1077944384 1358 0 0 0 23 30 0 0 20 0 16 0 414496792 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646897646768 140647669000834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
[pid=7732/tid=7748] ppid=7729 vsize=10748324 memory=2124 CPUtime=2502.12 cores=1,3,5,7
/proc/7732/task/7748/stat : 7748 (java) R 7729 7732 6698 0 -1 4202560 19841 0 0 0 250205 7 0 0 20 0 16 0 414496973 11006283776 56631 33554432000 4194304 4196468 140724637004736 140646812860240 140647311492168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24846336 140724637013003 140724637013106 140724637013106 140724637016015 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 226524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.02 s]
# the end of solver process 7732 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.26 s, system=0.850576 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2508.02
CPU time (s): 2520.11
CPU user time (s): 2519.26
CPU system time (s): 0.850576
CPU usage (%): 100.482
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 304640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.26
system time used= 0.850576
maximum resident set size= 304644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88585
involuntary context switches= 1801
# summary of solver processes directly reported to runsolver:
# pid: 7732
# total CPU time (s): 2520.11
# total CPU user time (s): 2519.26
# total CPU system time (s): 0.850576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6011 second user time and 21.5807 second system time
The end