Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Cutting Planes 2024 2024-07-12 | SAT (TO) | -25 | 3600.22 | 3550.97 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-graphpart_3pm-0333-0333.opb |
| MD5SUM | aa5497ffb5bc298db5a61a0615c33892 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -26 |
| Best CPU time to get the best result obtained on this benchmark | 1.11316 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 81 |
| Total number of constraints | 27 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 27 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 243 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 243 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 243 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 243 |
| Sum of products size (including duplicates) | 486 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2106806208 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.08 c Number of processors 2 0.14/0.14 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.14/0.14 - never skip resolution steps 0.14/0.14 - Auto-division on coefficients is disabled 0.14/0.14 - No postprocessing 0.14/0.14 - Conflict is considered as is when resolving 0.14/0.14 - Use constraints as they come during conflict analysis 0.14/0.14 - Weaken first using unassigned literals 0.14/0.14 - Bump strategy: ALWAYS_ONE 0.14/0.14 - Bumper: EFFECTIVE 0.14/0.14 --- Begin Solver configuration --- 0.14/0.14 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.14/0.14 Learn all clauses as in MiniSAT 0.14/0.14 LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.14 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.14/0.14 No reason simplification 0.14/0.14 Dynamic restart strategy considering the size of the coefficients 0.14/0.14 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.14/0.14 timeout=2147483s 0.14/0.14 DB Simplification allowed=false 0.14/0.14 Listener: none 0.14/0.14 --- End Solver configuration --- 0.14/0.15 c Pseudo Boolean Optimization by upper bound 0.14/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.14/0.15 c - never skip resolution steps 0.14/0.15 c - Auto-division on coefficients is disabled 0.14/0.15 c - No postprocessing 0.14/0.15 c - Conflict is considered as is when resolving 0.14/0.15 c - Use constraints as they come during conflict analysis 0.14/0.15 c - Weaken first using unassigned literals 0.14/0.15 c - Bump strategy: ALWAYS_ONE 0.14/0.15 c - Bumper: EFFECTIVE 0.14/0.15 c --- Begin Solver configuration --- 0.14/0.15 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.14/0.15 c Learn all clauses as in MiniSAT 0.14/0.15 c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.14/0.15 c No reason simplification 0.14/0.15 c Dynamic restart strategy considering the size of the coefficients 0.14/0.15 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.14/0.15 c timeout=2147483s 0.14/0.15 c DB Simplification allowed=false 0.14/0.15 c Listener: none 0.14/0.15 c --- End Solver configuration --- 0.14/0.15 c solving HOME/instance-4460030-1721943043.opb 0.14/0.15 c reading problem ... 0.14/0.15 c objective function found 0.14/0.18 c ... done. Wall clock time 0.033s. 0.14/0.18 c declared #vars 81 0.14/0.18 c internal #vars 324 0.14/0.18 c #constraints 540 0.14/0.18 c constraints type 0.14/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 27 0.14/0.18 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 243 0.14/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 270 0.14/0.18 c 540 constraints processed. 0.14/0.19 c objective function length is 243 literals 0.14/0.20 c SATISFIABLE 0.14/0.20 c OPTIMIZING... 0.14/0.20 c Got one! Elapsed wall clock time (in seconds):0.049 0.14/0.20 o -13 0.35/0.22 c Got one! Elapsed wall clock time (in seconds):0.057 0.35/0.22 o -14 0.35/0.23 c Got one! Elapsed wall clock time (in seconds):0.079 0.35/0.23 o -15 0.35/0.23 c Got one! Elapsed wall clock time (in seconds):0.081 0.35/0.23 o -16 0.35/0.28 c Got one! Elapsed wall clock time (in seconds):0.133 0.35/0.28 o -17 0.55/0.34 c Got one! Elapsed wall clock time (in seconds):0.198 0.55/0.34 o -18 0.72/0.44 c Got one! Elapsed wall clock time (in seconds):0.296 0.72/0.44 o -19 2.48/1.31 c Got one! Elapsed wall clock time (in seconds):1.165 2.48/1.31 o -20 2.67/1.40 c Got one! Elapsed wall clock time (in seconds):1.247 2.67/1.40 o -21 15.54/11.80 c Got one! Elapsed wall clock time (in seconds):11.656 15.54/11.80 o -22 27.05/23.02 c Got one! Elapsed wall clock time (in seconds):22.872 27.05/23.02 o -23 37.25/32.93 c cleaning 3227 clauses out of 6457 with flag 0/6457 85.74/79.84 c cleaning 4616 clauses out of 9232 with flag 0/12459 96.06/90.05 c Got one! Elapsed wall clock time (in seconds):89.9 96.06/90.05 o -24 139.84/133.19 c cleaning 5124 clauses out of 10248 with flag 0/18091 210.61/203.21 c cleaning 5558 clauses out of 11124 with flag 0/24091 270.44/262.42 c Got one! Elapsed wall clock time (in seconds):262.278 270.44/262.42 o -25 356.86/347.64 c cleaning 8140 clauses out of 16285 with flag 0/34810 457.17/447.26 c cleaning 7066 clauses out of 14144 with flag 0/40809 631.04/619.66 c cleaning 7038 clauses out of 14078 with flag 0/47809 838.67/826.52 c cleaning 7519 clauses out of 15041 with flag 0/55810 1049.23/1035.67 c cleaning 8261 clauses out of 16521 with flag 0/64809 1290.33/1275.09 c cleaning 9124 clauses out of 18262 with flag 0/74811 1505.67/1488.99 c cleaning 10065 clauses out of 20137 with flag 0/85810 1756.30/1738.16 c cleaning 11037 clauses out of 22073 with flag 0/97811 2088.92/2069.08 c cleaning 12013 clauses out of 24034 with flag 0/110809 2483.19/2461.49 c cleaning 13005 clauses out of 26021 with flag 0/124809 2954.45/2930.19 c cleaning 14007 clauses out of 28017 with flag 0/139810 3600.08/3550.92 c starts : 53 3600.08/3550.92 c conflicts : 151630 3600.08/3550.92 c decisions : 158601 3600.08/3550.92 c propagations : 4631383 3600.08/3550.92 c inspects : 1708631469 3600.08/3550.92 c shortcuts : 0 3600.08/3550.92 c learnt literals : 0 3600.08/3550.92 c learnt binary clauses : 0 3600.08/3550.92 c learnt ternary clauses : 0 3600.08/3550.92 c learnt constraints : 151630 3600.08/3550.92 c ignored constraints : 0 3600.08/3550.92 c root simplifications : 0 3600.08/3550.92 c removed literals (reason simplification) : 0 3600.08/3550.92 c reason swapping (by a shorter reason) : 0 3600.08/3550.92 c Calls to reduceDB : 15 3600.08/3550.92 c Number of update (reduction) of LBD : 144397 3600.08/3550.92 c Imported unit clauses : 0 3600.08/3550.92 c No decision after first conflict : false 3600.08/3550.92 c number of reductions to clauses (during analyze) : 0 3600.08/3550.92 c number of learned constraints concerned by reduction : 0 3600.08/3550.92 c number of learning phase by resolution : 0 3600.08/3550.92 c number of learning phase by cutting planes : 0 3600.08/3550.92 c number of rounding to 1 operations : 0 3600.08/3550.92 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.08/3550.92 c number of reductions of the coefficients by power 2 : 0 3600.08/3550.92 c number of right shift for reduction by power 2 : 0 3600.08/3550.92 c number of reductions of the coefficients by GCD over coefficients : 0 3600.08/3550.92 c number of ending skipping : 0 3600.08/3550.92 c number of internal skipping : 0 3600.08/3550.92 c number of derivation steps : 1741115 3600.08/3550.92 c number of skipped derivation steps : 0 3600.08/3550.92 c number of remaining unassigned : 4561201 3600.08/3550.92 c number of remaining assigned : 66386204 3600.08/3550.92 c number of falsified literals weakened from reason : 0 3600.08/3550.92 c number of falsified literals weakened from conflict : 0 3600.08/3550.92 c time for arithmetic operations : 431305545278 3600.08/3550.92 c minimum degree of deleted constraints : 1 3600.08/3550.93 c maximum degree of deleted constraints : 1509794124235391251537272845775355761650243459466263385876442129862628159769383754518387314008800806992375158916573947188108850095171583379137645398841716035021283737468540773895009511911570576946111435192782984832913445264786684519816678244621001481464509714507656991609094919005763286957116162835636873982221639671484173097348130728438157769286637532041888591013931695274149648946682215744514128089972386539542324687442808115459675862697765901334228132035498890162481515983903151315571234200551954576273141026936281359555930458978792680040150874762440198027114126315956467951587269390514428588477953441006568584107213471273401277120037642747313230753297565880493159569337002256494978354011923288494314782053323580189322317513229827924725363675294681870922768729607265295738559069579452475349298771945325964193706266376972614308186973288266375885665967409700274029781948514018451661083186165726381781915386367398411473909637768136150745269048428707951188708031896814511288005962028907527404880107299297711821587941530691023868664887574006107191054348398541180104726806614399689660955843212911705205696559030376865156774527910940943895989279510544023693598610223966178964505375298038600763984980151208112219828298623631316847227450582512716047835045088352993373209669566513828096915501909858717647859370822309896475442958295789225994363665991050325371551648454365815567313090996145713259462927990441091548703519538614257244627204363595533046558379937959512465057757779561531181506642005509758169798330247218268633230135388415525767101150899899230148363691762636363867162976032232961145065149690871753685128168147886848376815125719919927740275057888526197657737642547681614321785135569593479467703868974404862972429422774138223739953675617797107558340725503674913391078476217941628148662609705930142855087043654878074688425645638154157699879800451812207403248932874094899240861581139219544533100888325555401845541132886690312384651958913153410119305217257973666823920759280450828939952140305315676588984522492378476882067674144772126720059510704806376957927647014661882058889692728900464428052715388002052650307909039242529546183838768350372832453493672624742558857865945170657054121599526622358520672150012703370170871288011832188721644302293003236280137240507011033079038145310294143075917322605573344637632580849113167182766753001421304618945893327327534350958892392694977183564615100575309968507049594078202900174807481843819714140266478312834261089287678287171088723595434305826314847972217274151378041750412713874402141099590641521694424454245152221686571884452113101886885000567168825598392334695948793534742787730231206236976079883174556923342801931288261554286568652886055048049471904568061799324089376311107479637666964213882133588477493150343624515710248360294796573369032560185596268488049074634223903859419127871799587396798737610539706786937234646007157154700831206940698480466696016316979909933092142891528244147658780357758555462357265863198367577487415625556230367632273937184705623774540007377645307248443412350546909941388261422965044591326353990620498322813585865198381528632065512824296789331771456128952301894067463429185805140824040080313580742012912644993073157845415345864730773558879814939829863701004600156681063778599581440292812864856646957047695703373828518840773919039180085125527764791544574524550014178489406821695575029243926453742889307655968124669284758418367183866493040414098466706340766590727575231449275072349650552875043182694040576998798829717053666364449776709560546063945423024819056383962449020903355726366321666134859185107269323370130547313091806386830292909584111809714028675088890834585723327009695838166598216317912672746629763577186222315274461205887521487835500947905091895194252977615044404671073724517423031888073950851600286494357533236431484606608444488365202876497231675811802984399255464225837062838077688475881585448118529602515825864830769174637128897875676328154642044895794268425388221048412211698700069368689900163819896328483380884765767226826480098163786018068810946661581134957577804282417590033603564252795106007712536239655029442611334654315998198209832580016850684760717261969619367304488129817741095247630866305586395749430488552298581361768377058702363972468465679752122324268495168865082331083624292358432083871464846978561578072223831525558976357500462356940845480045187650196529400320530603120723329870556113627598159291511612096794203494767118092417081702837349644235148651700450002575515145415138038210078157164599429384886086158875361573885711852392129989043702729975593889568936086764788086131165999577882978816078577873062696799185205808194886251753550237486363651915834072580550580824531367131739614158708396881479174826251188166229496782424157657600149920896187439795154383800421613312044554465423990402876986593090501297438923861690853526105526074077196490875691897838887552352899584140085469577024957398119131280607566005696899872301421042639494942286724836509598726788553485238103234659464880019134541816556763953642674397016772458056763409596554941270905081992704779303631869630966900943287868875119449061307373859239772646817270441436579872984822147998789171726611757762255863367318046653648750425221616015999715129303803077107692419953881605560238288570189972794213924814186601133956872843922335020120524715332726814154054278441422053607121288391383192334399811723610159121539362005170765733217120337554906862218824849511931900031677193436053687308913887833612063769402453307836036744732377822554614761810717858991486377268282978937182970697696855794341391553842686227836787096784132334219553653021079664665557647567099696861645469810091578684428025202873205736715941177420277763568689779822491217084876200466663446302741703331799778112940284094331705104563167315554669397236263840228895546937800525632995371575938924568739149913825145085100845915142553505643029927648798216413943544967177644396672604785483100534446449140930728081810670049477401129564526049215540079300128923593802211620411200146300713136107477622997311919562186830635480734235967383933554153384790385469264861099307582768834627346502247074368321105730694928754918119297246601373827258271088075647603951031810955248975523846818581270908350472789780963954720091012137397478195570333432226106154971408555733832226375783547997182132005892057783724043606532884509084267327031141702949973825251317349536013284367032629437965444165603589679769335130839530004194865798617944338650124580125292671340358101206642835328581560706730658258094701476000954796456643884842510378611388853395486773310163888977471199772095695411927454038494716396325748351529494569979794654472428394273961661186866196015042014402369668801835389425507258021662043460781282103637905354662194154892711061687739696473548438065818458946611877361237717937742920586995106848501313193999014781640189470783993368593382763328913519627999445829807575073390541163864338715811762574242736985309141929362564484517788706734088344552801842840556765050373305187568152217393777994131321642612665158121843215742930896830682840606775962763550707845221383838187102955043271380865689810727987523425950465810420890484529749714672154321836204739164845560949041781256779091795392187905361892633888656113435785099123128233893180355044198487469294886113017883973293649605646615729192927767417683483540958301115830070056770364480824733774011705486324660969667327696887324926640348067923240135733545534560614577939511961762630301079579948736321450990259841358129369233143580116616410522411375615014666901935213409764101926469775302117987755994497485146263149524536024520868093778394892560771535532324254422327359255507214706200191374841034466406271730423185852139891140513016914442817352649480052429107693376085596509504461735554211367268433734403161858854823327296375437487672689484040706629612842802316792776339184662179357741901535906551851555429398119283709443331935093549319496596126269761373542043523005851619546404565449982755413481917315834851113723495351201302378721082142051623255163927527170653835058051131051850865357240102159032768208539117732270760939389413503331846355494523272314923745396488643245916643508909405639348193568701675003535404508147826753408852093858192127479067853538303848712112497040623321325055569139000039633418442353659653878955555071498226452308316122158569153845635346794775443735675651939415861717329897229176225043377157712593085095790716617733860122761132076552945935703005581983766042640254322229852884102600139165936091833591354627153373284085084151736571485192520300583347759347486032437934314442137461766676948937629421634661300194936539822862667588087130018294878023501554317787483115459347011524154505799912637457389293288562636322937304719069154850380596923773023720423124798426248826998441386315658778408814170273804104822571074180514008587459977587542135110188373529921172483460289227052225976715459238141914334904281887820911125526205214761918850563707851274045783736295910138833038656609344853970202370718711340287105067685182766522608226375672607610197803032542594240878131968987968065660275118683317585346731659274999812795621548575912660868180923812760184114348989272157428349406039646105704936785681400131202970809202067013994803338505162770422717309751918979741181434589509270133570827478994541929304198865878977093722280101746562229510177893811603120642074744258720041260000653449104381531086274795706875788186208297030131522038822827813503378678920314844689932327113213664818191520918243149714268013192906087530635339721432133712794612116782155192151402626056230666699144891238317590824456023146706891091274333331070790490933277859727965802830598773562126086886122753345561808799565773744914129313533574112215958496849966335785189308902817147641150005726144733830358242753458077694954037425883769383328225061481396183437415296369787376909058903667294363967137224108000812756337626363476333907192083967445567123428085679936825456323968420640968150798121610451631333089362306424295451702004019455675609663445221306579961565716972321843602956229921112969065635835455510357245277832818864076088530479450522003338435134916220313137242195843100778747573130296961128934462621978466269097776711645998324829644097449761380725699269426903114132603942376051801725958785381127002031857213714978143014884757785729127767966052167143843394236901898955645650733813870479771591287227909391918332537181071000798247013889827580555252358707524802234212480430789619833629667984240222489132453057638279606272000 3600.08/3550.93 c number of deleted constraints : 125800 3600.08/3550.93 c speed (assignments/second) : 1304.349332207555 3600.08/3550.93 c non guided choices : 0 3600.08/3550.95 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 20 3600.08/3550.95 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 2 3600.08/3550.95 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 25808 3600.08/3550.95 s SATISFIABLE 3600.08/3550.95 c Found 13 solution(s) 3600.08/3550.95 v -x1 -x2 x3 x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 -x16 x17 -x18 x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 x30 x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 x39 x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 x48 -x49 x50 -x51 x52 -x53 -x54 -x55 -x56 x57 x58 -x59 -x60 x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 x69 x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 x78 x79 -x80 -x81 3600.08/3550.95 c objective function=-25 3600.08/3550.95 c Total wall clock time (in seconds): 3550.807
OK -25
runsolver version 3.4.2 (svn: 4680) 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: 63968 MiB (50155 MiB free)
memory of node 1: 64473 MiB (54269 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460030-1721943043/watcher-4460030-1721943043 -o /tmp/evaluation-result-4460030-1721943043/solver-4460030-1721943043 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721939462-306192 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4460030-1721943043.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=308409, runsolver pid=308406
Current StackSize limit: 8192 KiB
[startup+0.102972 s]*
/proc/loadavg: 4.17 4.18 4.10 6/332 308427
/proc/meminfo: memFree=106888768/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=18975048 memory=63208 CPUtime=0.14 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 7255 0 0 0 12 2 0 0 20 0 18 0 30826812 19430449152 15802 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4743762 15802 5654 1 0 549374 0
[pid=308409/tid=308411] ppid=308406 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) S 308406 308409 306179 0 -1 1077936192 5773 0 0 0 7 1 0 0 20 0 18 0 30826812 19430449152 15802 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30826815 19430449152 15802 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=18975048 memory=15542920531624460 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30826815 19430449152 15802 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63208 KiB
[startup+0.215981 s]*
/proc/loadavg: 4.17 4.18 4.10 7/333 308428
/proc/meminfo: memFree=106882004/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19041612 memory=70280 CPUtime=0.35 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 7950 0 0 0 33 2 0 0 20 0 19 0 30826812 19498610688 17570 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4760403 17570 5790 1 0 550068 0
[pid=308409/tid=308411] ppid=308406 vsize=19041612 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 6158 0 0 0 18 2 0 0 20 0 19 0 30826812 19498610688 17570 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19041612 memory=738093 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30826815 19498610688 17570 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19041612 memory=15261445554177769 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30826815 19498610688 17570 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30826831 19498610688 17570 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70280 KiB
[startup+0.314589 s]*
/proc/loadavg: 4.17 4.18 4.10 7/333 308428
/proc/meminfo: memFree=106872808/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19041612 memory=81688 CPUtime=0.55 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 9960 0 0 0 52 3 0 0 20 0 19 0 30826812 19498610688 20422 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4760403 20422 5907 1 0 551206 0
[pid=308409/tid=308411] ppid=308406 vsize=19041612 memory=-8745258632957567676 CPUtime=0.28 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 6174 0 0 0 26 2 0 0 20 0 19 0 30826812 19498610688 20422 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30826815 19498610688 20422 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30826815 19498610688 20422 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30826831 19498610688 20422 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 81688 KiB
[startup+0.700589 s]
/proc/loadavg: 4.17 4.18 4.10 6/333 308428
/proc/meminfo: memFree=106848232/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19041612 memory=122116 CPUtime=1.29 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 14818 0 0 0 125 4 0 0 20 0 19 0 30826812 19498610688 30529 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4760403 30529 5907 1 0 554009 0
[pid=308409/tid=308411] ppid=308406 vsize=19041612 memory=76892 CPUtime=0.64 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 6192 0 0 0 62 2 0 0 20 0 19 0 30826812 19498610688 30529 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19041612 memory=13048 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30826815 19498610688 30529 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19041612 memory=2268 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30826815 19498610688 30529 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19041612 memory=39748 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30826831 19498610688 30529 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 122116 KiB
[startup+1.50859 s]
/proc/loadavg: 4.17 4.18 4.10 6/333 308428
/proc/meminfo: memFree=106808832/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=191128 CPUtime=2.89 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 25138 0 0 0 283 6 0 0 20 0 20 0 30826812 19566772224 47782 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 47782 5939 1 0 556914 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=13048 CPUtime=1.42 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 6778 0 0 0 139 3 0 0 20 0 20 0 30826812 19566772224 47782 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 47782 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 47782 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=39748 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 47782 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191128 KiB
[startup+3.1066 s]
/proc/loadavg: 4.17 4.18 4.10 8/333 308496
/proc/meminfo: memFree=110013056/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=294652 CPUtime=6.04 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 27630 0 0 0 595 9 0 0 20 0 20 0 30826812 19566772224 73663 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 73663 5939 1 0 556927 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=0 CPUtime=2.91 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 7248 0 0 0 286 5 0 0 20 0 20 0 30826812 19566772224 73663 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=-8745258632957567676 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 73663 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 73663 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 73663 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 294652 KiB
[startup+6.30028 s]
/proc/loadavg: 4.47 4.24 4.12 5/334 308565
/proc/meminfo: memFree=111437116/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=809092 CPUtime=9.98 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 28741 0 0 0 978 20 0 0 20 0 20 0 30826812 19566772224 202273 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 202273 5939 1 0 671805 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=2268 CPUtime=6.03 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 7934 0 0 0 588 15 0 0 20 0 20 0 30826812 19566772224 202273 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 202273 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 202273 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=-6568618161550825430 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 202273 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 9.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 809092 KiB
[startup+12.7003 s]
/proc/loadavg: 4.60 4.27 4.13 7/334 308566
/proc/meminfo: memFree=110921236/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=917880 CPUtime=16.51 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 31846 0 0 0 1628 23 0 0 20 0 20 0 30826812 19566772224 229470 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 229470 5939 1 0 671806 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=13048 CPUtime=12.25 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 9217 0 0 0 1210 15 0 0 20 0 20 0 30826812 19566772224 229470 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=846004 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 229470 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=917684 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 229470 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 229470 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 16.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 917880 KiB
[startup+25.5003 s]
/proc/loadavg: 4.53 4.28 4.14 5/334 308568
/proc/meminfo: memFree=109795504/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=1690244 CPUtime=29.58 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 36930 0 0 0 2919 39 0 0 20 0 20 0 30826812 19566772224 422561 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 422561 5939 1 0 671810 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=1677928 CPUtime=24.82 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 10997 0 0 0 2454 28 0 0 20 0 20 0 30826812 19566772224 422561 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=1677924 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 422561 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 422561 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 422561 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 29.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1690244 KiB
[startup+51.1058 s]
/proc/loadavg: 4.08 4.19 4.11 4/308 308606
/proc/meminfo: memFree=111342896/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=1738012 CPUtime=55.86 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 48131 0 0 0 5544 42 0 0 20 0 20 0 30826812 19566772224 434503 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 434503 5955 1 0 671842 0
################
# More data... #
################
/proc/meminfo: memFree=108976404/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=2654032 CPUtime=3250.1 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 301472 0 0 0 324804 206 0 0 20 0 20 0 30826812 19566772224 663508 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 663508 5967 1 0 676809 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=2654032 CPUtime=3175.29 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 105641 0 0 0 317488 41 0 0 20 0 20 0 30826812 19566772224 663508 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=2654032 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663508 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 2521 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663508 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 663508 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 3250.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2654032 KiB
[startup+3282.3 s]
/proc/loadavg: 3.15 3.15 3.17 4/309 310670
/proc/meminfo: memFree=108969284/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=2654040 CPUtime=3313.71 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 302063 0 0 0 331160 211 0 0 20 0 20 0 30826812 19566772224 663510 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 663510 5967 1 0 676821 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=2654040 CPUtime=3234.31 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 106108 0 0 0 323390 41 0 0 20 0 20 0 30826812 19566772224 663510 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=2654040 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663510 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=-8745258632957567676 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 2521 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663510 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=2654040 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 663510 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 3313.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2654040 KiB
[startup+3342.3 s]
/proc/loadavg: 3.15 3.15 3.17 4/306 310680
/proc/meminfo: memFree=108957128/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=2654056 CPUtime=3378.3 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 307708 0 0 0 337612 218 0 0 20 0 20 0 30826812 19566772224 663514 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 663514 5967 1 0 676821 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=2654056 CPUtime=3293.12 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 107768 0 0 0 329271 41 0 0 20 0 20 0 30826812 19566772224 663514 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 27 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=2654056 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663514 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=2654056 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 2574 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663514 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 663514 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 3378.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2654056 KiB
[startup+3402.3 s]
/proc/loadavg: 3.18 3.15 3.17 4/306 310691
/proc/meminfo: memFree=108946452/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=2654060 CPUtime=3441.03 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 308238 0 0 0 343882 221 0 0 20 0 20 0 30826812 19566772224 663515 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 663515 5967 1 0 676821 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=2654056 CPUtime=3352.13 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 108220 0 0 0 335172 41 0 0 20 0 20 0 30826812 19566772224 663515 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663515 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 2574 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663515 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=-8745258632957567676 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 663515 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 3441.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2654060 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.15 3.17 4/306 310869
/proc/meminfo: memFree=108937764/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=2654088 CPUtime=3504.46 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 312561 0 0 0 350220 226 0 0 20 0 20 0 30826812 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 663522 5967 1 0 676821 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=2654056 CPUtime=3410.95 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 109957 0 0 0 341054 41 0 0 20 0 20 0 30826812 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=2654088 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 2599 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=2654088 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 3504.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2654088 KiB
[startup+3522.3 s]
/proc/loadavg: 3.14 3.15 3.17 4/306 310879
/proc/meminfo: memFree=108923560/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=2654088 CPUtime=3568.82 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 314242 0 0 0 356651 231 0 0 20 0 20 0 30826812 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 663522 5967 1 0 676821 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=2654088 CPUtime=3469.8 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 110435 0 0 0 346939 41 0 0 20 0 20 0 30826812 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=16140 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=2654088 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 2618 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=-8745258632957567676 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 3568.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2654088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3550.9 s]
/proc/loadavg: 3.16 3.15 3.17 4/306 310884
/proc/meminfo: memFree=108921308/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=2654088 CPUtime=3600.08 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 314488 0 0 0 359774 234 0 0 20 0 20 0 30826812 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 663522 5967 1 0 676821 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=2654088 CPUtime=3497.83 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 110644 0 0 0 349742 41 0 0 20 0 20 0 30826812 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=2654088 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=2654088 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 2618 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2654088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3550.97 s]
# the end of solver process 308409 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.86 s, system=2.3604 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3550.9 s]
/proc/loadavg: 3.16 3.15 3.17 4/306 310884
/proc/meminfo: memFree=108921308/131524600 swapFree=131071216/131071996
[pid=308409] ppid=308406 vsize=19108176 memory=2654088 CPUtime=3600.08 cores=5,7
/proc/308409/stat : 308409 (java) S 308406 308409 306179 0 -1 1077936128 314488 0 0 0 359774 234 0 0 20 0 20 0 30826812 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
/proc/308409/statm: 4777044 663522 5967 1 0 676821 0
[pid=308409/tid=308411] ppid=308406 vsize=19108176 memory=2654088 CPUtime=3497.83 cores=5,7
/proc/308409/task/308411/stat : 308411 (java) R 308406 308409 306179 0 -1 4194368 110644 0 0 0 349742 41 0 0 20 0 20 0 30826812 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308420] ppid=308406 vsize=19108176 memory=2654088 CPUtime=0 cores=5,7
/proc/308409/task/308420/stat : 308420 (Finalizer) S 308406 308409 306179 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308427] ppid=308406 vsize=19108176 memory=2654088 CPUtime=0 cores=5,7
/proc/308409/task/308427/stat : 308427 (Common-Cleaner) S 308406 308409 306179 0 -1 1077936192 2618 0 0 0 0 0 0 0 20 0 20 0 30826815 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
[pid=308409/tid=308428] ppid=308406 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/308409/task/308428/stat : 308428 (Timer-0) S 308406 308409 306179 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30826831 19566772224 663522 134679101440 94375893299200 94375893302896 140727418951712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94375893310712 94375893311504 94375908974592 140727418958836 140727418958944 140727418958944 140727418965960 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2654088 KiB
Child status: 143
Real time (s): 3550.97
CPU time (s): 3600.22
CPU user time (s): 3597.86
CPU system time (s): 2.3604
CPU usage (%): 101.387
Max. virtual memory (cumulated for all children) (KiB): 19110984
Max. memory (cumulated for all children) (KiB): 2654088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.86
system time used= 2.3604
maximum resident set size= 2654772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316094
page faults= 0
swaps= 0
block input operations= 32
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148811
involuntary context switches= 10634
# summary of solver processes directly reported to runsolver:
# pid: 308409
# total CPU time (s): 3600.22
# total CPU user time (s): 3597.86
# total CPU system time (s): 2.3604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28091 second user time and 19.173 second system time
The end
Begin job on nodeC017 at 2024-07-25 23:30:43 IDJOB=4460030 IDBENCH=160591 IDSOLVER=3052 FILE ID=nodeC017/4460030-1721943043 RUNJOBID= nodeC017-1721939462-306192 SLURM_JOB_ID= 8247239 Free space on /tmp= 890076 MiB SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0333-0333.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460030-1721943043/watcher-4460030-1721943043 -o /tmp/evaluation-result-4460030-1721943043/solver-4460030-1721943043 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721939462-306192 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4460030-1721943043.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= aa5497ffb5bc298db5a61a0615c33892 RANDOM SEED=1956819754 nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.757 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3616.192 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.669 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.437 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.746 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3654.444 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.336 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3631.377 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 106931416 kB MemAvailable: 121430976 kB Buffers: 358456 kB Cached: 14881036 kB SwapCached: 88 kB Active: 2746560 kB Inactive: 21030936 kB Active(anon): 1564 kB Inactive(anon): 8590304 kB Active(file): 2744996 kB Inactive(file): 12440632 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 856 kB Writeback: 0 kB AnonPages: 8536108 kB Mapped: 140504 kB Shmem: 53820 kB KReclaimable: 307508 kB Slab: 437092 kB SReclaimable: 307508 kB SUnreclaim: 129584 kB KernelStack: 5104 kB PageTables: 26716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 9059332 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21280 kB HardwareCorrupted: 0 kB AnonHugePages: 8167424 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 422612 kB DirectMap2M: 40245248 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890080 MiB End job on nodeC017 at 2024-07-26 00:29:54