Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CP VeriPB 2025-06-06 | SAT (TO) | 24 | 3600.23 | 3493.4 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb |
| MD5SUM | 7051ff5e8584c37bae1654b406532f5e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.085085 |
| 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 | 466 |
| Total number of constraints | 694 |
| Number of constraints which are clauses | 694 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 78 |
| Number of terms in the objective function | 466 |
| 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 | 466 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 466 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 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 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.16 c Pseudo Boolean Optimization by upper bound 0.12/0.16 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.12/0.16 c - never skip resolution steps 0.12/0.16 c - Auto-division on coefficients is disabled 0.12/0.16 c - No postprocessing 0.12/0.16 c - Conflict is considered as is when resolving 0.12/0.16 c - Use constraints as they come during conflict analysis 0.12/0.16 c - Weaken first using unassigned literals 0.12/0.16 c - Bump strategy: ALWAYS_ONE 0.12/0.16 c - Bumper: EFFECTIVE 0.12/0.16 c --- Begin Solver configuration --- 0.12/0.16 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd 0.12/0.16 c Learn all clauses as in MiniSAT 0.12/0.16 c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.16 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.12/0.16 c No reason simplification 0.12/0.16 c Dynamic restart strategy considering the size of the coefficients 0.12/0.16 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96 0.12/0.16 c timeout=2147483s 0.12/0.16 c DB Simplification allowed=false 0.12/0.16 c Listener: none 0.12/0.16 c --- End Solver configuration --- 0.12/0.16 c solving HOME/instance-4487535-1751336945.opb 0.12/0.16 c reading problem ... 0.12/0.16 c using VERIPB proof format 0.12/0.16 c objective function found 0.31/0.25 c ... done. Wall clock time 0.086s. 0.31/0.25 c declared #vars 466 0.31/0.25 c #constraints 694 0.31/0.25 c constraints type 0.31/0.25 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 31 0.31/0.25 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 663 0.31/0.25 c 694 constraints processed. 0.31/0.26 c objective function length is 466 literals 0.31/0.29 c SATISFIABLE 0.31/0.29 c OPTIMIZING... 0.31/0.29 c Got one! Elapsed wall clock time (in seconds):0.133 0.31/0.29 o 30 0.51/0.32 c Got one! Elapsed wall clock time (in seconds):0.159 0.51/0.32 o 29 0.51/0.35 c Got one! Elapsed wall clock time (in seconds):0.197 0.51/0.35 o 28 1.08/0.67 c Got one! Elapsed wall clock time (in seconds):0.515 1.08/0.67 o 27 2.46/1.33 c Got one! Elapsed wall clock time (in seconds):1.172 2.46/1.33 o 26 2.66/1.48 c Got one! Elapsed wall clock time (in seconds):1.329 2.66/1.48 o 25 36.53/30.15 c Got one! Elapsed wall clock time (in seconds):29.992 36.53/30.15 o 24 84.01/76.72 c cleaning 3072 clauses out of 6145 with flag 0/6145 261.78/252.58 c cleaning 4537 clauses out of 9073 with flag 0/12145 640.37/628.00 c cleaning 5750 clauses out of 11536 with flag 0/19145 1208.84/1196.13 c cleaning 6880 clauses out of 13786 with flag 0/27145 2224.31/2161.62 c cleaning 7953 clauses out of 15906 with flag 0/36145 3600.04/3493.31 c starts : 55 3600.04/3493.34 c conflicts : 44198 3600.04/3493.34 c decisions : 153078 3600.04/3493.34 c propagations : 2685507 3600.04/3493.34 c inspects : 298061032 3600.04/3493.34 c shortcuts : 0 3600.04/3493.34 c learnt literals : 0 3600.04/3493.34 c learnt binary clauses : 0 3600.04/3493.34 c learnt ternary clauses : 0 3600.04/3493.34 c learnt constraints : 44197 3600.04/3493.34 c ignored constraints : 0 3600.04/3493.34 c root simplifications : 0 3600.04/3493.34 c removed literals (reason simplification) : 0 3600.04/3493.34 c reason swapping (by a shorter reason) : 0 3600.04/3493.34 c Calls to reduceDB : 5 3600.04/3493.34 c Number of update (reduction) of LBD : 91969 3600.04/3493.34 c Imported unit clauses : 0 3600.04/3493.34 c No decision after first conflict : false 3600.04/3493.34 c number of reductions to clauses (during analyze) : 0 3600.04/3493.34 c number of learned constraints concerned by reduction : 0 3600.04/3493.34 c number of learning phase by resolution : 0 3600.04/3493.34 c number of learning phase by cutting planes : 0 3600.04/3493.34 c number of rounding to 1 operations : 0 3600.04/3493.34 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3493.35 c number of reductions of the coefficients by power 2 : 0 3600.04/3493.35 c number of right shift for reduction by power 2 : 0 3600.04/3493.35 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3493.35 c number of ending skipping : 0 3600.04/3493.35 c number of internal skipping : 0 3600.04/3493.35 c number of derivation steps : 569908 3600.04/3493.35 c number of skipped derivation steps : 0 3600.04/3493.35 c number of remaining unassigned : 2038238 3600.04/3493.35 c number of remaining assigned : 21785478 3600.04/3493.35 c number of falsified literals weakened from reason : 0 3600.04/3493.35 c number of falsified literals weakened from conflict : 0 3600.04/3493.35 c time for arithmetic operations : 503511393578 3600.04/3493.35 c minimum degree of deleted constraints : 1 3600.04/3493.35 c maximum degree of deleted constraints : 4632344614571405865279515257179930922752727691645090047546165393787450908728286614945881690505701665078914467652227150781026117261286360582977351410874696502243961108328107110340786682198653898528587938531179426648491678584006026870659166835239214079022180474255354440806304888876966721492100823400297816774928656437705421661500185212481268452552438371919473105085531480748755680744376083788525536712079128474471867186752778781331963757631591858660937133581550904564776525935783470707208251903920803790033246485522078793540855087760600321315801681986501929065768672937744755882512880328442321730423348777938235669031392915652291293250371376558136256961346518808473907990057899116091929104333968872180359712847717237513502026128882641478828591389509913264144574010825831803351353757200274393794656670275431530456587326217983837903218340077817171318594748296361034429146024148042920388811540073025201876711332857199743336251956888878845151708728935027531226962176887264870361112276680199733886654686704506553662434902286252623443562595554671972587289494201628489723829660056515089139029709088318217707226840871528190971336136857513729496343256564594179958993160985255003006008322917940880690731986584471850666454277224088634968635829897295179722056076756169688522114544404939313482178380671220618802805955906762588692338546864379241401424602108102304584616833346392885212502284960470774793504501266245435436402254516002862759670894868539146032634125964601306757510561589613410609378456164514554531460550154996316457436794509250267897051187169268186217752049730688542944090142916686778306243508037455402456350037599762708445248174873344772661143924000550683129377862794006224305858198875229419320355712496467422205447042153234726684389155724942975996055800344751069247401662929613062842269507813229005804513825198596807370817692969739658796796774366739740075508644018083975593430676650184485900984825425394534686431892643479576304209545931635575876071369085808827164492651639527089774324042030706447247721410134464904887051127732066030788662281181306534521594758955030235749091136016407294003052810178231135850134581484029542089088138393617511874183605315830551858647933542615008804477863191463041227053908489952333962790720445139031064466149804857157148411591381211818592504871124726388527297221194069865657338024746963370061862603606540450311910338857717857219134048502311041397852225341825667667899114873697173418462008904548587703169732640436043792621240100051924607696777726061093003798558613711087381723428297731305055048824183701293481286540472834946301295554823084307459006035731008794659914624498534784669077094000298651538218956460416349617334082910305715330836045285734835867281030823429781423509335004063531646007684360043765367465816291644383019362119563717427251974790614603929730578050287033331135777346765339774648363284569437271556242418665358492690931909736841282409427750754709011910358719190375210308429591744514006997824029625304797534674610901242095717623303754249085939086687622603723577383564931321243349308814815409482206999182765481210528521743880953599968480263784804902887199931066359531551741444520913870209454980761946739303650679478070205917859200243599734440536276696121974913135666392708705521723918479447865911210992701731449532509305725525093752495809313919308739862359469853601238821068217775590186004727408623200280295658485657151796301239364902400983368194735633494394071171810911086049606214909356143038567199893798482305041721753079595488933747907683913051062242818125409181125859375214360097088584619677281666321734074435111777569872005626134643926228801901413833334730533406073597177456499660871180341369805649779824553639898076939311552950141591037771348459641982349437986598969496354924921394851174512154502295220857794455616437575751066038223950095380794294838142131456759256441715313198637793233651666764667729025495164410891974033938442558577748241986532406790526697404227374736813526717835781025466233835216018459513774645853154701865813317870335181534618572938595076582404306238789042454954320360485288968146020391092016381940323814104286611408854993593654762699328453662458983516083062488827080241645140269760235366206791759365301928263481632517606126403092227511943986318795470683901466948405215214641328520050202660826779130110835874571446693592144297344392107852142115484172437171501561398187439114253703415065461887883011533054775142277388804787825350109123980771289484309599958247942031350429148039885888321434143626956979012591769587028651111490899263090565672111579969338472603728849049247157435087375851934754076594541161305019713304190109864639902407406688279961843858120368749042240918219004893446953387890221743346061512989153951387106394691690545734628207535813274466874449411527252122767710978356764527583521750236789164409079988427682942922698169534198658206252942385023348473852397260528663561113690900316372279391288273665718139732385808725059110292899122258175638901523321966223887865043716082426821263934402597851001105684718566290726234327883628525835422610394970201294502972994202135730143332523331695807103128686447090131840246266368597339162525299582945952451847090457282478219529902641314478874453355894246475887871461920013925378770187057558774669447359923268172317672811897147886447305033866376619415581502903871980757345033471099780850230092280216415665858335072903963985309178693302241221013714157556472764791027891181875755596248247727056396352701217140540447444365329161239418811593562510882284858924133034253213688473861250902049786729483728991626609411519525250587656472524853465903525257688659335021423155991922471110238108331423825412416409541292690015794566994043911664302954256303738032413328062281559602201641862176624564765048118329964335981895730811851873983980124544496806131677157655936708393737546766372253214602092186766577518523179220933850864010805270410596127667948906383959814874920633635219301597225443968528770375985680825003902487936114662828692340353601629742208744895545592869535621790790279814633974587453385829065275053384720542389598323896529132344359476441699398395828325394309496081167821082528501099286763587228138919204825403651417617210115982595016470901793947284346365029151070751510640070583547322306642920030151132329663736507440165369221271783937950181237996520463163133457217718725537889461974081813106303808025009392356509595788462562376513248271237120581642517576464558697657602624012922639910419435892466222233810165738944489561774818544405052945878272972789140924925054441775222132672875787113496698014359316859151209257924630895769664851902979132270290105042284948260039591363918883653799042982574434049677253229378279509090054428026885422837964947080271299573623844134671616372393263400395073415626732448709662373875068771342206842171054491372019418096367450616329772327001942996858023290850138795532392586111425597049991200473351718249945453374457360561840030144629620554904923101037279729136770496440436386260411999667692708597812742868830336308006929114935013636141787920664415107624342461558843152316650396821733470560498447752283945962656648572276247297638235544808787010725025554639324051537819363839064467303603993764946830663841085639547357299367361999645074140746592287818843940231695832976374678122026602612414524962186437006080086296946352286363274353198441893414771602347558405678568013133132349707183632969883489131756866976218293266111203042662474058318703567981416498974406688648282037423500877514361144144648016605981606297008710108206072403091571651294894211297229354488216192591630868571230272371945928944900468187038539472739295674713675983657972032895776355552255890716851053969717683525925148711449143565910875407687509130327824455178247589216497539764001276873938340027829234889261378896240726696624099927726702394308402794970063718340459984065508977545249178482813722568348785195772144574045483644871702966349638913351344182956015409624595604891529792375151323569419027978903604587162735741996562349752654708888044554033319085556074572931956269031653214862867283490196994300498461478419472195470810700270305640537687691519464067844072628987552315987819219113912690074189371526951210206329221397018406501917282114129208326000241184784755676513312587534201091500165521085132357468694822222319076962938199462482239723828054392281274800493441897019869740256480971692964633993707147372280749945785811716860097606707647792043578709129936370771319763930135299442857930117880420460740952372613583285509669879618051280847165293312123589903481171779539673619824932520037936620584918627304379531016265117166529873804038155258379058967880035095319448861118379353387661179980299640467076743186136702187324158451781090950297626107900030123318511978368491156308212986345690395853802537140642324980661113920458613753511119922008079135988729102184724781052607899025307134828099053524646258959892124107055760285115385666490567931045666005154781693743093669890404071129067784774218911524247760456307779804856056170977351366117433418579976209351571206103679998835478958676951690515783300055176105014792863524922755568646814314401783564751595814831487216883264826915841957318145952261554232002489412074334112249431938982178604685460259316256331829185958999469449408892679795864974793267585883842275541946699990926236673576401944671331535690112761592491633188062233445339010180067711097868951346911895740973200676975482083063377363359890720855586826755763197529911066031184980166747887288638961821076718169479650606465161649626322606890244244358013543662918561731785994970352383084211492617276750537769929593430757912923887058402228115489518057753617974762527669046189337780435037557403719146490411157814311824389542807509569475902559887193057396056361675626909513678528869103823680735691756718785640351425789028951963767620346675984138600355771484850451641415778372045184576905401663509227557676227487891819844129760816337636267860900270640317095886475519654382606212062345049542062716434787810802255457686672293568969084497398765202283603249481517582221383884156451906465710915855869940760313560244533579976352706175355104527957940941815385912446779081414564006381293695931726447179442199794578497335677531792555532193482062209391712515749880865733207173925433619608590386042668655316112085326023066290252471735520301718073747601763788191692122945995477545136392305525132456091374681771613473085905608503465394324806706651351243099017423117631308638155491109725471910964157426264655679762118669216030629237123232614272690935360955500413557093305137218121845048032329837628811717805096197907091264970784571880242245100318002559375523054371624094314947891877592293108617127398602218162096152925718331796714930816568620644746667757489620948821646536555545918837871465118271873715235189831072537267293147293304594635479735925917669056629996156413147356394104284953964307387017407028213196353663980723262504768051762506256418100714286545597964816785900015081544459873320370288348626520114445797564976231203870692623404784986969379944667211073267533514044212364356123695841712653941774823365237035674784696388917667142518784668244878848000 3600.04/3493.35 c number of deleted constraints : 28192 3600.04/3493.35 c speed (assignments/second) : 768.8099580025594 3600.04/3493.35 c non guided choices : 0 3600.04/3493.37 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 84 3600.04/3493.37 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 4 3600.04/3493.37 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 15917 3600.04/3493.37 s SATISFIABLE 3600.04/3493.37 c Found 7 solution(s) 3600.04/3493.38 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 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 3600.04/3493.38 c objective function=24 3600.04/3493.38 c Total wall clock time (in seconds): 3493.222
OK 24
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: 63708 MiB (63049 MiB free)
memory of node 1: 64465 MiB (60247 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487535-1751336945/watcher-4487535-1751336945 -o /tmp/evaluation-result-4487535-1751336945/solver-4487535-1751336945 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751336754-45965 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4487535-1751336945 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4487535-1751336945.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=46764, runsolver pid=46761
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.28 4.06 4.07 4/321 46782
/proc/meminfo: memFree=126216800/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=18930384 memory=55560 CPUtime=0.12 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 6556 0 0 0 10 2 0 0 20 0 18 0 49373164 19384713216 13890 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4732596 13890 5344 1 0 547602 0
[pid=46764/tid=46766] ppid=46761 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 5052 0 0 0 6 1 0 0 20 0 18 0 49373165 19384713216 13890 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=18930384 memory=13937 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49373167 19384713216 13890 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49373167 19384713216 13890 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55560 KiB
[startup+0.205711 s]*
/proc/loadavg: 4.28 4.06 4.07 6/321 46782
/proc/meminfo: memFree=126211696/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=18930384 memory=64876 CPUtime=0.31 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 7241 0 0 0 29 2 0 0 20 0 18 0 49373164 19384713216 16219 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4732596 16219 5440 1 0 548093 0
[pid=46764/tid=46766] ppid=46761 vsize=18930384 memory=4026663031 CPUtime=0.16 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 5389 0 0 0 15 1 0 0 20 0 18 0 49373165 19384713216 16219 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=18930384 memory=224227767625 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49373167 19384713216 16219 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=18930384 memory=33073 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49373167 19384713216 16219 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64876 KiB
[startup+0.305632 s]*
/proc/loadavg: 4.28 4.06 4.07 7/322 46783
/proc/meminfo: memFree=126193360/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=18996948 memory=83588 CPUtime=0.51 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 9486 0 0 0 48 3 0 0 20 0 19 0 49373164 19452874752 20897 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4749237 20897 5472 1 0 549871 0
[pid=46764/tid=46766] ppid=46761 vsize=18996948 memory=-6000919502754375275 CPUtime=0.24 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 5541 0 0 0 23 1 0 0 20 0 19 0 49373165 19452874752 20897 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49373167 19452874752 20897 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49373167 19452874752 20897 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49373192 19452874752 20897 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83588 KiB
[startup+0.700224 s]
/proc/loadavg: 4.28 4.06 4.07 6/323 46792
/proc/meminfo: memFree=126167084/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=18996948 memory=148580 CPUtime=1.26 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 15938 0 0 0 122 4 0 0 20 0 19 0 49373164 19452874752 37145 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4749237 37145 5472 1 0 553758 0
[pid=46764/tid=46766] ppid=46761 vsize=18996948 memory=17664 CPUtime=0.63 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 5593 0 0 0 61 2 0 0 20 0 19 0 49373165 19452874752 37145 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49373167 19452874752 37145 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49373167 19452874752 37145 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=18996948 memory=4496 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49373192 19452874752 37145 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148580 KiB
[startup+1.50022 s]
/proc/loadavg: 4.28 4.06 4.07 6/323 46803
/proc/meminfo: memFree=126161652/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=182840 CPUtime=2.85 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 23872 0 0 0 279 6 0 0 20 0 20 0 49373164 19521036288 45710 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 45710 5536 1 0 554427 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=11136 CPUtime=1.37 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 6310 0 0 0 134 3 0 0 20 0 20 0 49373165 19521036288 45710 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 45710 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 45710 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=4496 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 45710 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182840 KiB
[startup+3.10559 s]
/proc/loadavg: 4.34 4.08 4.08 6/323 46803
/proc/meminfo: memFree=126044276/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=245260 CPUtime=6.03 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 28137 0 0 0 595 8 0 0 20 0 20 0 49373164 19521036288 61315 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 61315 5536 1 0 555464 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=11136 CPUtime=2.88 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 6911 0 0 0 284 4 0 0 20 0 20 0 49373165 19521036288 61315 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=-6000919502754375275 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 61315 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 61315 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 61315 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 245260 KiB
[startup+6.30023 s]
/proc/loadavg: 4.34 4.08 4.08 7/346 46841
/proc/meminfo: memFree=125401224/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=782128 CPUtime=11.62 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 32413 0 0 0 1141 21 0 0 20 0 20 0 49373164 19521036288 195532 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 195532 5536 1 0 662427 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=0 CPUtime=5.98 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 7287 0 0 0 584 14 0 0 20 0 20 0 49373165 19521036288 195532 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 195532 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 195532 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 195532 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 11.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 782128 KiB
[startup+12.7002 s]
/proc/loadavg: 4.39 4.09 4.08 6/346 46841
/proc/meminfo: memFree=125154312/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=846772 CPUtime=18.68 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 35434 0 0 0 1844 24 0 0 20 0 20 0 49373164 19521036288 211693 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 211693 5536 1 0 662494 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=822108 CPUtime=12.26 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 8333 0 0 0 1210 16 0 0 20 0 20 0 49373165 19521036288 211693 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=822108 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 211693 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 211693 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 211693 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 18.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 846772 KiB
[startup+25.5002 s]
/proc/loadavg: 4.37 4.10 4.09 5/346 46841
/proc/meminfo: memFree=123383768/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=1500408 CPUtime=31.83 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 42060 0 0 0 3143 40 0 0 20 0 20 0 49373164 19521036288 375102 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 375102 5536 1 0 662579 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=822108 CPUtime=24.89 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 10573 0 0 0 2462 27 0 0 20 0 20 0 49373165 19521036288 375102 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=1119460 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 375102 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=846772 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 375102 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=1119460 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 375102 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 31.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1500408 KiB
[startup+51.1058 s]
/proc/loadavg: 4.25 4.10 4.09 5/346 46842
/proc/meminfo: memFree=122904636/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=1696900 CPUtime=58.09 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 46945 0 0 0 5762 47 0 0 20 0 20 0 49373164 19521036288 424225 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 424225 5536 1 0 662628 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=846772 CPUtime=50.14 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 11150 0 0 0 4983 31 0 0 20 0 20 0 49373165 19521036288 424225 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
################
# More data... #
################
/proc/meminfo: memFree=108326008/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3247.41 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 192076 0 0 0 324340 401 0 0 20 0 20 0 49373164 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 912941 5536 1 0 932459 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3127.13 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 71765 0 0 0 312503 210 0 0 20 0 20 0 49373165 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 1463 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 3247.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3651764 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.26 4.30 6/344 47232
/proc/meminfo: memFree=108271424/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3309.97 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 192770 0 0 0 330589 408 0 0 20 0 20 0 49373164 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 912941 5536 1 0 932459 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3186.55 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 72330 0 0 0 318443 212 0 0 20 0 20 0 49373165 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 1464 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 3309.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3651764 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.27 4.30 5/344 47233
/proc/meminfo: memFree=108214876/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3374.28 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 197039 0 0 0 337013 415 0 0 20 0 20 0 49373164 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 912941 5536 1 0 932459 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3245.88 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 74400 0 0 0 324375 213 0 0 20 0 20 0 49373165 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 1506 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 3374.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3651764 KiB
[startup+3342.3 s]
/proc/loadavg: 4.67 4.38 4.33 5/345 47303
/proc/meminfo: memFree=113950424/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3438.76 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 200348 0 0 0 343453 423 0 0 20 0 20 0 49373164 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 912941 5536 1 0 932459 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=17664 CPUtime=3305.23 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 76459 0 0 0 330306 217 0 0 20 0 20 0 49373165 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 1507 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=-6000919502754375275 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 3438.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3651764 KiB
[startup+3402.3 s]
/proc/loadavg: 4.54 4.40 4.35 6/344 47306
/proc/meminfo: memFree=113357908/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3502.38 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 200617 0 0 0 349808 430 0 0 20 0 20 0 49373164 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 912941 5536 1 0 932459 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3364.69 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 76528 0 0 0 336250 219 0 0 20 0 20 0 49373165 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 3502.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3651764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.63 4.45 4.37 6/344 47309
/proc/meminfo: memFree=113140448/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3566.51 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 200840 0 0 0 356214 437 0 0 20 0 20 0 49373164 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 912941 5536 1 0 932459 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3424.12 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 76668 0 0 0 342191 221 0 0 20 0 20 0 49373165 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 3566.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3651764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3493.3 s]
/proc/loadavg: 4.55 4.44 4.37 6/344 47310
/proc/meminfo: memFree=112834228/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3600.04 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 201705 0 0 0 359563 441 0 0 20 0 20 0 49373164 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 912941 5536 1 0 932459 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=2208 CPUtime=3454.8 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 77404 0 0 0 345258 222 0 0 20 0 20 0 49373165 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=2180848 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3651764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3493.4 s]
# the end of solver process 46764 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.8 s, system=4.43017 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3493.3 s]
/proc/loadavg: 4.55 4.44 4.37 6/344 47310
/proc/meminfo: memFree=112834228/131249996 swapFree=33010684/33010684
[pid=46764] ppid=46761 vsize=19063512 memory=3651764 CPUtime=3600.04 cores=0,2
/proc/46764/stat : 46764 (java) S 46761 46764 45955 0 -1 4194304 201705 0 0 0 359563 441 0 0 20 0 20 0 49373164 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
/proc/46764/statm: 4765878 912941 5536 1 0 932459 0
[pid=46764/tid=46766] ppid=46761 vsize=19063512 memory=2208 CPUtime=3454.8 cores=0,2
/proc/46764/task/46766/stat : 46766 (java) R 46761 46764 45955 0 -1 4194368 77404 0 0 0 345258 222 0 0 20 0 20 0 49373165 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46775] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46775/stat : 46775 (Finalizer) S 46761 46764 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46782] ppid=46761 vsize=19063512 memory=2180848 CPUtime=0 cores=0,2
/proc/46764/task/46782/stat : 46782 (Common-Cleaner) S 46761 46764 45955 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 20 0 49373167 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
[pid=46764/tid=46783] ppid=46761 vsize=19063512 memory=3651764 CPUtime=0 cores=0,2
/proc/46764/task/46783/stat : 46783 (Timer-0) S 46761 46764 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49373192 19521036288 912941 18446744073709551615 94791445553152 94791445556848 140733784980880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94791445564664 94791445565456 94791469748224 140733784983853 140733784984038 140733784984038 140733784989640 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3651764 KiB
Child status: 143
Real time (s): 3493.4
CPU time (s): 3600.23
CPU user time (s): 3595.8
CPU system time (s): 4.43017
CPU usage (%): 103.058
Max. virtual memory (cumulated for all children) (KiB): 19069264
Max. memory (cumulated for all children) (KiB): 3651764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.8
system time used= 4.43017
maximum resident set size= 3652660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203324
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3113472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147824
involuntary context switches= 19691
# summary of solver processes directly reported to runsolver:
# pid: 46764
# total CPU time (s): 3600.23
# total CPU user time (s): 3595.8
# total CPU system time (s): 4.43017
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35831 second user time and 18.3518 second system time
The end
Begin job on nodeC032 at 2025-07-01 04:29:05 IDJOB=4487535 IDBENCH=147195 IDSOLVER=3362 FILE ID=nodeC032/4487535-1751336945 RUNJOBID= nodeC032-1751336754-45965 SLURM_JOB_ID= 9594385 Free space on /tmp= 432068 MiB SOLVER NAME= Sat4j CP VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487535-1751336945/watcher-4487535-1751336945 -o /tmp/evaluation-result-4487535-1751336945/solver-4487535-1751336945 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751336754-45965 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4487535-1751336945 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4487535-1751336945.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7051ff5e8584c37bae1654b406532f5e RANDOM SEED=1951753483 nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3599.826 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 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 : 3600.038 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 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 : 3598.403 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 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 : 3600.280 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 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 : 3600.093 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 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 : 3599.693 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 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 : 3599.967 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 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 : 3700.000 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 126255800 kB MemAvailable: 126267192 kB Buffers: 3280 kB Cached: 818984 kB SwapCached: 0 kB Active: 3850468 kB Inactive: 564976 kB Active(anon): 3611336 kB Inactive(anon): 0 kB Active(file): 239132 kB Inactive(file): 564976 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18236 kB Writeback: 0 kB AnonPages: 3596028 kB Mapped: 123032 kB Shmem: 18068 kB KReclaimable: 93048 kB Slab: 181820 kB SReclaimable: 93048 kB SUnreclaim: 88772 kB KernelStack: 4948 kB PageTables: 10640 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 5267944 kB VmallocTotal: 34359738367 kB VmallocUsed: 151224 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3424256 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432064 MiB End job on nodeC032 at 2025-07-01 05:27:19