Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NuPBO-DeepOptS+ 2025-06-02 | SAT (TO) | 104604771118000 | 3600.06 | 3607.9 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3a.opb |
| MD5SUM | 66c9959016382e41dad7850ad64939ee |
| 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 | 89951132262400 |
| Best CPU time to get the best result obtained on this benchmark | 7467.88 |
| 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 | 2219 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 22 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 129 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 191 |
| Number of terms in the objective function | 1716 |
| Biggest coefficient in the objective function | 5134096531456000 |
| Number of bits for the biggest coefficient in the objective function | 53 |
| Sum of the numbers in the objective function | 216401520151185266 |
| Number of bits of the sum of numbers in the objective function | 58 |
| Biggest number in a constraint | 5134096531456000 |
| Number of bits of the biggest number in a constraint | 53 |
| Biggest sum of numbers in a constraint | 216401520151185266 |
| Number of bits of the biggest sum of numbers | 58 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
38.60/38.79 c Filename:instance-4486050-1751325954.opb, Cutoff_time:3600, memory_limit_gb:500000 38.60/38.79 c Scip time: 1800 38.60/38.79 c Not use presolve 38.60/38.79 c Use LS-small 38.60/38.79 o 3713865416512613 38.60/38.79 o 3707926216512613 38.60/38.79 o 888021065322080 38.60/38.79 o 780984333242050 38.60/38.79 o 776581133242050 38.60/38.79 o 776369196371650 38.60/38.79 o 776316212154050 38.60/38.79 o 776289720045250 38.60/38.79 o 776276473990850 38.60/38.79 o 776269850963650 38.60/38.79 o 776266539450050 38.60/38.79 o 776264883693250 38.60/38.79 o 776264055814850 38.60/38.79 o 776263641875650 38.60/38.79 o 776263434906050 38.60/38.79 o 776263331421250 38.60/38.79 o 776263279678850 38.60/38.79 o 776263253807650 38.60/38.79 o 776263240872050 38.60/38.79 o 776263234404250 38.60/38.79 o 776263231170350 38.60/38.79 o 776263229553400 38.60/38.79 o 745391992088400 38.60/38.79 o 528303992088400 38.60/38.79 o 525585517848400 38.60/38.79 o 521489517848400 38.60/38.79 o 324887845155360 38.60/38.79 o 324762501001760 38.60/38.79 o 303192323097320 38.60/38.79 o 303192321637320 38.60/38.79 o 290904321637320 38.60/38.79 o 288176573339320 38.60/38.79 o 287985208219320 38.60/38.79 o 281674209196920 38.60/38.79 o 278560357639920 38.60/38.79 o 183217970343120 38.60/38.79 o 160087045767620 38.60/38.79 o 160083681927620 38.60/38.79 o 160066490245120 38.60/38.79 o 159976798795120 38.60/38.79 o 159129054760520 38.60/38.79 o 158987699020520 38.60/38.79 o 158986577740520 38.60/38.79 o 158986017100520 38.60/38.79 o 158985736780520 38.60/38.79 o 158985596620520 38.60/38.79 o 158985561580520 38.60/38.79 o 158985544060520 38.60/38.79 o 158985535300520 38.60/38.79 o 158985533110520 38.60/38.79 o 158985532015520 38.60/38.79 o 148137440680160 38.60/38.79 o 148107539880160 38.60/38.79 o 148092589480160 38.60/38.79 o 148085114280160 38.60/38.79 o 148081376680160 38.60/38.79 o 148079507880160 38.60/38.79 o 148078573480160 38.60/38.79 o 148078106280160 38.60/38.79 o 148077872680160 38.60/38.79 o 148077755880160 38.60/38.79 o 148077697480160 38.60/38.79 o 148077668280160 38.60/38.79 o 148077653680160 38.60/38.79 o 148077646380160 38.60/38.79 o 147204897324160 38.60/38.79 o 146864120937600 38.60/38.79 o 144828245712000 38.60/38.79 o 141714380942000 38.60/38.79 o 141690460302000 38.60/38.79 o 141493115752000 38.60/38.79 o 141487135592000 38.60/38.79 o 141463214952000 38.60/38.79 o 141415373672000 38.60/38.79 o 141403413352000 38.60/38.79 o 141397433192000 38.60/38.79 o 141395938152000 38.60/38.79 o 141392948072000 38.60/38.79 o 141392200552000 38.60/38.79 o 141389210472000 38.60/38.79 o 141387715432000 38.60/38.79 o 141386967912000 38.60/38.79 o 141386594152000 38.60/38.79 o 141386220392000 38.60/38.79 o 141386033512000 38.60/38.79 o 141385846632000 38.60/38.79 o 141385753192000 38.60/38.79 o 141385659752000 38.60/38.79 o 141385613032000 38.60/38.79 o 141385566312000 38.60/38.79 o 141385542952000 38.60/38.79 o 141385519592000 38.60/38.79 o 141385507912000 38.60/38.79 o 141385496232000 38.60/38.79 o 141385490392000 38.60/38.79 o 141385484552000 38.60/38.79 o 141385481632000 38.60/38.79 o 141385478712000 38.60/38.79 o 141385477252000 38.60/38.79 o 141385475792000 38.60/38.79 o 141367348432000 38.60/38.79 o 141360236196760 38.60/38.79 o 141358068388760 38.60/38.79 o 141334147748760 38.60/38.79 o 141332204196760 38.60/38.79 o 141327868580760 38.60/38.79 o 141327800836760 38.60/38.79 o 141327740100760 38.60/38.79 o 141327706228760 38.60/38.79 o 141327675860760 38.60/38.79 o 141327658924760 38.60/38.79 o 141327643740760 38.60/38.79 o 141327635272760 38.60/38.79 o 141327627680760 38.60/38.79 o 141327623446760 38.60/38.79 o 141327619650760 38.60/38.79 o 141327617533760 38.60/38.79 o 141327616073760 38.60/38.79 o 140941159232285 38.60/38.79 o 140941082728285 38.60/38.79 o 140941011918285 38.60/38.79 o 140940973666285 38.60/38.79 o 140940938261285 38.60/38.79 o 140940919135285 38.60/38.79 o 140940901432785 38.60/38.79 o 140940900476485 38.60/38.79 o 140940899591360 38.60/38.79 o 140861423264960 38.60/38.79 o 140847967904960 38.60/38.79 o 138560170270560 38.60/38.79 o 133824737017000 38.60/38.79 o 133793640185000 38.60/38.79 o 133790650105000 38.60/38.79 o 133790276345000 38.60/38.79 o 133790264665000 38.60/38.79 o 133790077785000 38.60/38.79 o 133788582745000 38.60/38.79 o 133788489305000 38.60/38.79 o 133787741785000 38.60/38.79 o 133787695065000 38.60/38.79 o 133787687473000 38.60/38.79 o 133787664113000 38.60/38.79 o 133787660317000 38.60/38.79 o 133787654477000 38.60/38.79 o 133787651557000 38.60/38.79 o 131854769637000 38.60/38.79 o 130805835333600 38.60/38.79 o 130805797081600 38.60/38.79 o 130805777955600 38.60/38.79 o 130805768392600 38.60/38.79 o 130795303112600 38.60/38.79 o 130775718088600 38.60/38.79 o 130058105356400 38.60/38.79 o 130022224396400 38.60/38.79 o 129962422796400 38.60/38.79 o 129944482316400 38.60/38.79 o 129914581516400 38.60/38.79 o 129899033100400 38.60/38.79 o 129896790540400 38.60/38.79 o 129893052940400 38.60/38.79 o 129830859276400 38.60/38.79 o 128890581516400 38.60/38.79 o 128882209292400 38.60/38.79 o 127196008972400 38.60/38.79 o 125056685020360 38.60/38.79 o 125048312796360 38.60/38.79 o 125031568348360 38.60/38.79 o 125027382236360 38.60/38.79 o 125025289180360 38.60/38.79 o 125024242652360 38.60/38.79 o 124999125980360 38.60/38.79 o 124998602716360 38.60/38.79 o 124998341084360 38.60/38.79 o 124998210268360 38.60/38.79 o 124995070684360 38.60/38.79 o 124995005276360 38.60/38.79 o 124994972572360 38.60/38.79 o 124994956220360 38.60/38.79 o 124994514716360 38.60/38.79 o 124932298203360 38.60/38.79 o 124932288536800 38.60/38.79 o 121454851666550 38.60/38.79 o 121292192774550 38.60/38.79 o 120268192774550 38.60/38.79 o 118628944594550 38.60/38.79 o 118628197074550 38.60/38.79 o 118627823314550 38.60/38.79 o 118627636434550 38.60/38.79 o 118627542994550 38.60/38.79 o 118627496274550 38.60/38.79 o 118627472914550 38.60/38.79 o 118627461234550 38.60/38.79 o 118627455394550 38.60/38.79 o 118627452474550 38.60/38.79 o 118627451014550 38.60/38.79 o 118436085894550 38.60/38.79 o 118244720774550 38.60/38.79 o 118244719132050 38.60/38.79 o 118243224092050 38.60/38.79 o 118242990492050 38.60/38.79 o 118087001585860 38.60/38.79 o 118086936907860 38.60/38.79 o 118086904568860 38.60/38.79 o 118086888399360 38.60/38.79 o 118086827663360 38.60/38.79 o 118086080143360 38.60/38.79 o 118072026767360 38.60/38.79 o 118070531727360 38.60/38.79 o 118064551567360 38.60/38.79 o 118061561487360 38.60/38.79 o 118045003919360 38.60/38.79 o 118028446351360 38.60/38.79 o 118012897935360 38.60/38.79 o 118011402895360 38.60/38.79 o 117997947535360 38.60/38.79 o 117991219855360 38.60/38.79 o 117610358415360 38.60/38.79 o 117562517135360 38.60/38.79 o 117561022095360 38.60/38.79 o 117549061775360 747.36/749.07 o 117543081615360 747.36/749.07 o 117540091535360 747.36/749.07 o 117538596495360 747.36/749.07 o 116801548637360 747.36/749.07 o 116798558557360 747.36/749.07 o 116797063517360 747.36/749.07 o 116796315997360 747.36/749.07 o 116795942237360 747.36/749.07 o 116795755357360 747.36/749.07 o 116795661917360 747.36/749.07 o 116795615197360 747.36/749.07 o 116795591837360 747.36/749.07 o 116795580157360 747.36/749.07 o 116795574317360 747.36/749.07 o 116795571397360 747.36/749.07 o 116795569937360 747.36/749.07 o 116795569207360 747.36/749.07 o 116795563513360 747.36/749.07 o 116723801593360 747.36/749.07 o 116604198393360 747.36/749.07 o 116479811065360 747.36/749.07 o 116408049145360 747.36/749.07 o 116282704991760 747.36/749.07 o 116249931816960 747.36/749.07 o 116196947599360 747.36/749.07 o 116184508866560 747.36/749.07 o 116084377657360 747.36/749.07 o 116017400595360 747.36/749.07 o 116014036755360 747.36/749.07 o 115925531847360 747.36/749.07 o 115863338183360 747.36/749.07 o 115832241351360 747.36/749.07 o 115816692935360 747.36/749.07 o 109898144967360 747.36/749.07 o 109898143507360 747.36/749.07 o 109868293406720 747.36/749.07 o 109864555806720 747.36/749.07 o 109862687006720 747.36/749.07 o 109861752606720 747.36/749.07 o 109861285406720 747.36/749.07 o 109861051806720 747.36/749.07 o 109860935006720 747.36/749.07 o 109860876606720 747.36/749.07 o 109860847406720 747.36/749.07 o 109860832806720 747.36/749.07 o 109860825506720 747.36/749.07 o 109844082518720 747.36/749.07 o 109832122198720 747.36/749.07 o 109820161878720 747.36/749.07 o 109288567512920 747.36/749.07 o 109287520984920 747.36/749.07 o 109287390168920 747.36/749.07 o 109286866904920 747.36/749.07 o 109286605272920 747.36/749.07 o 109286539864920 747.36/749.07 o 109285642840920 747.36/749.07 o 109285194328920 747.36/749.07 o 109285147608920 747.36/749.07 o 109285035480920 747.36/749.07 o 109285007448920 747.36/749.07 o 109284951384920 747.36/749.07 o 109284862616920 747.36/749.07 o 109284115096920 747.36/749.07 o 109284098744920 747.36/749.07 o 109284084728920 747.36/749.07 o 109284070712920 747.36/749.07 o 109284042680920 747.36/749.07 o 109284031000920 747.36/749.07 o 109284022824920 747.36/749.07 o 109283929384920 747.36/749.07 o 109283922376920 747.36/749.07 o 109283918288920 747.36/749.07 o 109283911280920 747.36/749.07 o 109283887920920 747.36/749.07 o 109283884416920 747.36/749.07 o 109283880912920 747.36/749.07 o 109283875072920 747.36/749.07 o 109283873028920 747.36/749.07 o 109283871276920 747.36/749.07 o 109283869524920 747.36/749.07 o 109283866604920 747.36/749.07 o 109283865582920 747.36/749.07 o 109283864706920 747.36/749.07 o 109283863830920 747.36/749.07 o 109283862370920 747.36/749.07 o 109283861859920 747.36/749.07 o 109283861421920 747.36/749.07 o 109283860983920 747.36/749.07 o 109283860253920 747.36/749.07 o 109283860034920 747.36/749.07 o 109283859669920 747.36/749.07 o 109205997636320 747.36/749.07 o 109201213508320 747.36/749.07 o 109183273028320 747.36/749.07 o 109174811101920 747.36/749.07 o 109161565047520 747.36/749.07 o 109156661316320 747.36/749.07 o 109151122368320 747.36/749.07 o 108625764034820 747.36/749.07 o 108625761479820 747.36/749.07 o 107325729882320 747.36/749.07 o 107255612250820 747.36/749.07 o 107225263395070 747.36/749.07 o 107091307811070 747.36/749.07 o 107024330019070 747.36/749.07 o 106990841123070 747.36/749.07 o 106986655011070 747.36/749.07 o 106969910563070 747.36/749.07 o 106967817507070 747.36/749.07 o 106959445283070 747.36/749.07 o 106958398755070 747.36/749.07 o 106957875491070 747.36/749.07 o 106957613859070 747.36/749.07 o 106957483043070 747.36/749.07 o 106957417635070 747.36/749.07 o 106957384931070 747.36/749.07 o 106957368579070 747.36/749.07 o 106957360403070 747.36/749.07 o 106957356315070 747.36/749.07 o 106957354271070 747.36/749.07 o 106957353249070 747.36/749.07 o 106957352738070 747.36/749.07 o 106957352409570 747.36/749.07 o 106957352154070 747.36/749.07 o 106957352026320 747.36/749.07 o 106948381786320 747.36/749.07 o 106940906586320 747.36/749.07 o 106940905126320 747.36/749.07 o 106940903228320 747.36/749.07 o 106937914608320 747.36/749.07 o 106928944368320 747.36/749.07 o 106926064883320 747.36/749.07 o 106926006483320 747.36/749.07 o 106925977283320 747.36/749.07 o 106925962683320 747.36/749.07 o 106925959033320 747.36/749.07 o 106925957208320 747.36/749.07 o 106925583448320 747.36/749.07 o 106904054872320 747.36/749.07 o 106901662808320 747.36/749.07 o 106896878680320 747.36/749.07 o 106892094552320 747.36/749.07 o 106892093092320 747.36/749.07 o 106880880292320 747.36/749.07 o 106870459863520 747.36/749.07 o 106870458403520 747.36/749.07 o 106870083913520 747.36/749.07 o 106869710883520 747.36/749.07 o 106866722263520 747.36/749.07 o 106828002187520 747.36/749.07 o 106775017969920 747.36/749.07 o 106753053291920 747.36/749.07 o 106749166187920 747.36/749.07 o 106748194411920 747.36/749.07 o 106747708523920 747.36/749.07 o 106747465579920 747.36/749.07 o 106747372139920 747.36/749.07 o 106747250667920 747.36/749.07 o 106747189931920 747.36/749.07 o 106747159563920 747.36/749.07 o 106747144379920 747.36/749.07 o 106747136787920 747.36/749.07 o 106747132991920 747.36/749.07 o 106747131093920 747.36/749.07 o 106719107269920 747.36/749.07 o 106695186629920 747.36/749.07 o 106676050117920 747.36/749.07 o 106664089797920 747.36/749.07 o 106661847237920 747.36/749.07 o 106587214841120 747.36/749.07 o 106584691961120 747.36/749.07 o 106574218505120 747.36/749.07 o 106541640435200 747.36/749.07 o 106541227255200 747.36/749.07 o 106540760055200 747.36/749.07 o 106540748375200 747.36/749.07 o 106540741075200 747.36/749.07 o 106540739615200 747.36/749.07 o 106540726475200 747.36/749.07 o 106540711875200 747.36/749.07 o 106540635955200 747.36/749.07 o 106540519155200 747.36/749.07 o 106530053875200 747.36/749.07 o 106510468851200 747.36/749.07 o 106509627891200 747.36/749.07 o 106508693491200 747.36/749.07 o 106507385331200 747.36/749.07 o 106504993267200 747.36/749.07 o 106502601203200 747.36/749.07 o 106502578573200 747.36/749.07 o 106487357635200 747.36/749.07 o 106481377475200 747.36/749.07 o 106481348275200 747.36/749.07 o 106481319075200 747.36/749.07 o 106065126219200 747.36/749.07 o 106065102859200 747.36/749.07 o 106065097019200 747.36/749.07 o 106065091179200 747.36/749.07 o 105706281579200 747.36/749.07 o 105628832594200 747.36/749.07 o 105628832229200 747.36/749.07 o 105623360747800 747.36/749.07 o 105621865707800 747.36/749.07 o 105618875627800 747.36/749.07 o 105618128107800 747.36/749.07 o 105617380587800 747.36/749.07 o 105617006827800 747.36/749.07 o 105616819947800 747.36/749.07 o 105616726507800 747.36/749.07 o 105616679787800 747.36/749.07 o 105616656427800 747.36/749.07 o 105616644747800 747.36/749.07 o 105616638907800 747.36/749.07 o 105616635987800 747.36/749.07 o 105616634527800 747.36/749.07 o 105616633797800 747.36/749.07 o 105616633432800 747.36/749.07 o 105605420632800 747.36/749.07 o 105601683032800 747.36/749.07 o 105598319192800 747.36/749.07 o 105409944152800 747.36/749.07 o 105394246232800 747.36/749.07 o 105293779544800 747.36/749.07 o 105208696088400 747.36/749.07 o 105141718296400 747.36/749.07 o 105141717566400 747.36/749.07 o 105139325502400 747.36/749.07 o 105139325137400 3600.05/3607.90 o 105137082577400 3600.05/3607.90 o 105136662097400 3600.05/3607.90 o 105129934417400 3600.05/3607.90 o 105124701777400 3600.05/3607.90 o 105124281297400 3600.05/3607.90 o 105122599377400 3600.05/3607.90 o 105121758417400 3600.05/3607.90 o 105107884446200 3600.05/3607.90 o 105091065246200 3600.05/3607.90 o 105089196446200 3600.05/3607.90 o 105003082178700 3600.05/3607.90 o 104969593282700 3600.05/3607.90 o 104952848834700 3600.05/3607.90 o 104944476610700 3600.05/3607.90 o 104942383554700 3600.05/3607.90 o 104938197442700 3600.05/3607.90 o 104937150914700 3600.05/3607.90 o 104936627650700 3600.05/3607.90 o 104936366018700 3600.05/3607.90 o 104936235202700 3600.05/3607.90 o 104936169794700 3600.05/3607.90 o 104936137090700 3600.05/3607.90 o 104936120738700 3600.05/3607.90 o 104936112562700 3600.05/3607.90 o 104936108474700 3600.05/3607.90 o 104936106430700 3600.05/3607.90 o 104936106302950 3600.05/3607.90 o 104936105280950 3600.05/3607.90 o 104936104769950 3600.05/3607.90 o 104936104605700 3600.05/3607.90 o 104936104350200 3600.05/3607.90 o 104908901922200 3600.05/3607.90 o 104804847138200 3600.05/3607.90 o 104789896738200 3600.05/3607.90 o 104776441378200 3600.05/3607.90 o 104720009093200 3600.05/3607.90 o 104666187653200 3600.05/3607.90 o 104624326533200 3600.05/3607.90 o 104622771691600 3600.05/3607.90 o 104621216850000 3600.05/3607.90 o 104621216558000 3600.05/3607.90 o 104617852718000 3600.05/3607.90 o 104604771118000 3600.05/3607.90 s SATISFIABLE 3600.05/3607.90 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 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 x557 x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 x616 x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 x643 x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 x1065 -x1066 x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 -x1275 -x1276 x1277 x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 -x1305 x1306 x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 x1333 x1334 x1335 -x1336 x1337 x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 -x1366 x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 x1661 x1662 x1663 x1664 x1665 x1666 x1667 x1668 x1669 x1670 x1671 x1672 -x1673 x1674 -x1675 x1676 -x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 x1872 x1873 x1874 x1875 x1876 x1877 x1878 x1879 x1880 x1881 x1882 x1883 x1884 -x1885 x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 3600.05/3607.90 c Done 3270.91s
OK 104604771118000
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 (63122 MiB free)
memory of node 1: 64465 MiB (63901 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486050-1751325954/watcher-4486050-1751325954 -o /tmp/evaluation-result-4486050-1751325954/solver-4486050-1751325954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751325954-42542 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4486050-1751325954.opb -t 3600 -s 479461025
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=42584, runsolver pid=42576
[startup+0.10006 s]*
/proc/loadavg: 1.11 2.77 3.52 5/261 42590
/proc/meminfo: memFree=130072396/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=0.09 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 893 0 0 0 9 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+0.205533 s]*
/proc/loadavg: 1.11 2.77 3.52 4/263 42594
/proc/meminfo: memFree=130056320/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=0.2 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 894 0 0 0 20 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+0.305473 s]*
/proc/loadavg: 1.11 2.77 3.52 5/265 42599
/proc/meminfo: memFree=130024864/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=0.3 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 894 0 0 0 30 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+0.700105 s]
/proc/loadavg: 1.11 2.77 3.52 5/265 42599
/proc/meminfo: memFree=130019336/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=0.69 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 895 0 0 0 69 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+1.5001 s]
/proc/loadavg: 1.11 2.77 3.52 5/265 42599
/proc/meminfo: memFree=129995396/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=1.49 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 149 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+3.10533 s]
/proc/loadavg: 1.34 2.79 3.53 5/265 42599
/proc/meminfo: memFree=129947196/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3.09 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 309 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+6.3001 s]
/proc/loadavg: 1.34 2.79 3.53 5/267 42601
/proc/meminfo: memFree=129882460/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=6.28 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 628 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+12.7002 s]
/proc/loadavg: 1.56 2.81 3.53 5/267 42601
/proc/meminfo: memFree=129520164/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=12.66 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 1266 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+25.5001 s]
/proc/loadavg: 2.10 2.87 3.54 5/267 42601
/proc/meminfo: memFree=129318752/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=25.43 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 2543 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+51.1054 s]
/proc/loadavg: 2.80 2.97 3.56 5/266 42602
/proc/meminfo: memFree=129318812/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=50.98 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 5098 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 3.15 3.59 5/266 42604
/proc/meminfo: memFree=129325532/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=102.07 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 10207 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 3.32 3.62 5/266 42607
/proc/meminfo: memFree=129317284/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=161.94 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 16194 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.48 3.66 5/266 42609
/proc/meminfo: memFree=129340756/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=221.81 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 22181 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.59 3.69 5/266 42611
/proc/meminfo: memFree=129341872/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=281.68 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 28168 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.70 3.72 5/264 42613
/proc/meminfo: memFree=129341488/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=341.54 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 34154 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.79 3.75 5/264 42618
/proc/meminfo: memFree=129340728/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=401.41 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 40141 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.86 3.78 6/264 42624
/proc/meminfo: memFree=129324992/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=461.28 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 899 0 0 0 46128 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 461.28 s
################
# More data... #
################
Current children cumulated memory: 7296 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.11 4.05 5/263 42754
/proc/meminfo: memFree=129343412/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=2915.92 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 291592 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 2915.92 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.05 6/263 42756
/proc/meminfo: memFree=129343112/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=2975.8 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 297580 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 2975.8 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/263 42758
/proc/meminfo: memFree=129342924/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3035.67 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 303567 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3035.67 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.05 5/263 42760
/proc/meminfo: memFree=129341908/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3095.54 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 309554 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3095.54 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/262 42762
/proc/meminfo: memFree=129342680/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3155.41 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 315541 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3155.41 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.06 5/262 42764
/proc/meminfo: memFree=129342440/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3215.28 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 321528 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3215.28 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/262 42765
/proc/meminfo: memFree=129342072/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3275.15 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 327515 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3275.15 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/262 42767
/proc/meminfo: memFree=129341956/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3335.02 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 333502 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3335.02 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.12 4.07 5/263 42772
/proc/meminfo: memFree=129341788/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3394.9 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 339490 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3394.9 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/264 42779
/proc/meminfo: memFree=129341416/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3454.77 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 345477 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3454.77 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/264 42781
/proc/meminfo: memFree=129341688/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3514.64 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 351464 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3514.64 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/264 42783
/proc/meminfo: memFree=129341304/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3574.51 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 357451 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3574.51 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.9 s]
/proc/loadavg: 4.15 4.12 4.08 4/262 42785
/proc/meminfo: memFree=129340988/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3600.05 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 360005 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.9 s]
# the end of solver process 42584 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3600.06 s, system=0.001985 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.9 s]
/proc/loadavg: 4.15 4.12 4.08 4/262 42785
/proc/meminfo: memFree=129340988/131250000 swapFree=33007332/33010684
[pid=42584] ppid=42576 vsize=21912 memory=7296 CPUtime=3600.05 cores=5,7
/proc/42584/stat : 42584 (NuPBO-DeepOptS+) R 42576 42584 42529 0 -1 4194304 901 0 0 0 360005 0 0 0 20 0 1 0 48272947 22437888 1824 18446744073709551615 4198400 15468185 140729927299232 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 50950144 140729927301527 140729927301636 140729927301636 140729927307238 0
/proc/42584/statm: 5478 1824 1088 2752 0 2131 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7296 KiB
Child status: 10
Real time (s): 3607.9
CPU time (s): 3600.06
CPU user time (s): 3600.06
CPU system time (s): 0.001985
CPU usage (%): 99.7827
Max. virtual memory (cumulated for all children) (KiB): 21912
Max. memory (cumulated for all children) (KiB): 7296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.06
system time used= 0.001985
maximum resident set size= 7424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 908
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3300
# summary of solver processes directly reported to runsolver:
# pid: 42584
# total CPU time (s): 3600.06
# total CPU user time (s): 3600.06
# total CPU system time (s): 0.001985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58815 second user time and 12.786 second system time
The end
Begin job on nodeC019 at 2025-07-01 01:25:54 IDJOB=4486050 IDBENCH=146930 IDSOLVER=3343 FILE ID=nodeC019/4486050-1751325954 RUNJOBID= nodeC019-1751325954-42542 SLURM_JOB_ID= 9594356 Free space on /tmp= 433044 MiB SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486050-1751325954/watcher-4486050-1751325954 -o /tmp/evaluation-result-4486050-1751325954/solver-4486050-1751325954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751325954-42542 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4486050-1751325954.opb -t 3600 -s 479461025 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 66c9959016382e41dad7850ad64939ee RANDOM SEED=479461025 nodeC019 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 : 3601.156 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.37 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 : 3623.264 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.37 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 : 3599.672 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.37 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 : 3599.642 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.37 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 : 3599.677 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.37 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 : 3791.040 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.37 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 : 3730.549 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.37 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 : 3599.686 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 130093256 kB MemAvailable: 129737468 kB Buffers: 904 kB Cached: 445968 kB SwapCached: 420 kB Active: 208572 kB Inactive: 312516 kB Active(anon): 61500 kB Inactive(anon): 27860 kB Active(file): 147072 kB Inactive(file): 284656 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 97424 kB Writeback: 0 kB AnonPages: 76948 kB Mapped: 103000 kB Shmem: 15068 kB KReclaimable: 92052 kB Slab: 179480 kB SReclaimable: 92052 kB SUnreclaim: 87428 kB KernelStack: 4048 kB PageTables: 2852 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 338116 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 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: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432916 MiB End job on nodeC019 at 2025-07-01 02:26:02