Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NuPBO-DeepOpt+ 2025-06-02 | SAT (TO) | 104604771118000 | 3600.05 | 3608.5 |
| 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.69/38.89 c Filename:instance-4486049-1751325895.opb, Cutoff_time:3600, memory_limit_gb:500000 38.69/38.89 c Not use presolve 38.69/38.89 c Use LS-small 38.69/38.89 o 3713865416512613 38.69/38.89 o 3707926216512613 38.69/38.89 o 888021065322080 38.69/38.89 o 780984333242050 38.69/38.89 o 776581133242050 38.69/38.89 o 776369196371650 38.69/38.89 o 776316212154050 38.69/38.89 o 776289720045250 38.69/38.89 o 776276473990850 38.69/38.89 o 776269850963650 38.69/38.89 o 776266539450050 38.69/38.89 o 776264883693250 38.69/38.89 o 776264055814850 38.69/38.89 o 776263641875650 38.69/38.89 o 776263434906050 38.69/38.89 o 776263331421250 38.69/38.89 o 776263279678850 38.69/38.89 o 776263253807650 38.69/38.89 o 776263240872050 38.69/38.89 o 776263234404250 38.69/38.89 o 776263231170350 38.69/38.89 o 776263229553400 38.69/38.89 o 745391992088400 38.69/38.89 o 528303992088400 38.69/38.89 o 525585517848400 38.69/38.89 o 521489517848400 38.69/38.89 o 324887845155360 38.69/38.89 o 324762501001760 38.69/38.89 o 303192323097320 38.69/38.89 o 303192321637320 38.69/38.89 o 290904321637320 38.69/38.89 o 288176573339320 38.69/38.89 o 287985208219320 38.69/38.89 o 281674209196920 38.69/38.89 o 278560357639920 38.69/38.89 o 183217970343120 38.69/38.89 o 160087045767620 38.69/38.89 o 160083681927620 38.69/38.89 o 160066490245120 38.69/38.89 o 159976798795120 38.69/38.89 o 159129054760520 38.69/38.89 o 158987699020520 38.69/38.89 o 158986577740520 38.69/38.89 o 158986017100520 38.69/38.89 o 158985736780520 38.69/38.89 o 158985596620520 38.69/38.89 o 158985561580520 38.69/38.89 o 158985544060520 38.69/38.89 o 158985535300520 38.69/38.89 o 158985533110520 38.69/38.89 o 158985532015520 38.69/38.89 o 148137440680160 38.69/38.89 o 148107539880160 38.69/38.89 o 148092589480160 38.69/38.89 o 148085114280160 38.69/38.89 o 148081376680160 38.69/38.89 o 148079507880160 38.69/38.89 o 148078573480160 38.69/38.89 o 148078106280160 38.69/38.89 o 148077872680160 38.69/38.89 o 148077755880160 38.69/38.89 o 148077697480160 38.69/38.89 o 148077668280160 38.69/38.89 o 148077653680160 38.69/38.89 o 148077646380160 38.69/38.89 o 147204897324160 38.69/38.89 o 146864120937600 38.69/38.89 o 144828245712000 38.69/38.89 o 141714380942000 38.69/38.89 o 141690460302000 38.69/38.89 o 141493115752000 38.69/38.89 o 141487135592000 38.69/38.89 o 141463214952000 38.69/38.89 o 141415373672000 38.69/38.89 o 141403413352000 38.69/38.89 o 141397433192000 38.69/38.89 o 141395938152000 38.69/38.89 o 141392948072000 38.69/38.89 o 141392200552000 38.69/38.89 o 141389210472000 38.69/38.89 o 141387715432000 38.69/38.89 o 141386967912000 38.69/38.89 o 141386594152000 38.69/38.89 o 141386220392000 38.69/38.89 o 141386033512000 38.69/38.89 o 141385846632000 38.69/38.89 o 141385753192000 38.69/38.89 o 141385659752000 38.69/38.89 o 141385613032000 38.69/38.89 o 141385566312000 38.69/38.89 o 141385542952000 38.69/38.89 o 141385519592000 38.69/38.89 o 141385507912000 38.69/38.89 o 141385496232000 38.69/38.89 o 141385490392000 38.69/38.89 o 141385484552000 38.69/38.89 o 141385481632000 38.69/38.89 o 141385478712000 38.69/38.89 o 141385477252000 38.69/38.89 o 141385475792000 38.69/38.89 o 141367348432000 38.69/38.89 o 141360236196760 38.69/38.89 o 141358068388760 38.69/38.89 o 141334147748760 38.69/38.89 o 141332204196760 38.69/38.89 o 141327868580760 38.69/38.89 o 141327800836760 38.69/38.89 o 141327740100760 38.69/38.89 o 141327706228760 38.69/38.89 o 141327675860760 38.69/38.89 o 141327658924760 38.69/38.89 o 141327643740760 38.69/38.89 o 141327635272760 38.69/38.89 o 141327627680760 38.69/38.89 o 141327623446760 38.69/38.89 o 141327619650760 38.69/38.89 o 141327617533760 38.69/38.89 o 141327616073760 38.69/38.89 o 140941159232285 38.69/38.89 o 140941082728285 38.69/38.89 o 140941011918285 38.69/38.89 o 140940973666285 38.69/38.89 o 140940938261285 38.69/38.89 o 140940919135285 38.69/38.89 o 140940901432785 38.69/38.89 o 140940900476485 38.69/38.89 o 140940899591360 38.69/38.89 o 140861423264960 38.69/38.89 o 140847967904960 38.69/38.89 o 138560170270560 38.69/38.89 o 133824737017000 38.69/38.89 o 133793640185000 38.69/38.89 o 133790650105000 38.69/38.89 o 133790276345000 38.69/38.89 o 133790264665000 38.69/38.89 o 133790077785000 38.69/38.89 o 133788582745000 38.69/38.89 o 133788489305000 38.69/38.89 o 133787741785000 38.69/38.89 o 133787695065000 38.69/38.89 o 133787687473000 38.69/38.89 o 133787664113000 38.69/38.89 o 133787660317000 38.69/38.89 o 133787654477000 38.69/38.89 o 133787651557000 38.69/38.89 o 131854769637000 38.69/38.89 o 130805835333600 38.69/38.89 o 130805797081600 38.69/38.89 o 130805777955600 38.69/38.89 o 130805768392600 38.69/38.89 o 130795303112600 38.69/38.89 o 130775718088600 38.69/38.89 o 130058105356400 38.69/38.89 o 130022224396400 38.69/38.89 o 129962422796400 38.69/38.89 o 129944482316400 38.69/38.89 o 129914581516400 38.69/38.89 o 129899033100400 38.69/38.89 o 129896790540400 38.69/38.89 o 129893052940400 38.69/38.89 o 129830859276400 38.69/38.89 o 128890581516400 38.69/38.89 o 128882209292400 38.69/38.89 o 127196008972400 38.69/38.89 o 125056685020360 38.69/38.89 o 125048312796360 38.69/38.89 o 125031568348360 38.69/38.89 o 125027382236360 38.69/38.89 o 125025289180360 38.69/38.89 o 125024242652360 38.69/38.89 o 124999125980360 38.69/38.89 o 124998602716360 38.69/38.89 o 124998341084360 38.69/38.89 o 124998210268360 38.69/38.89 o 124995070684360 38.69/38.89 o 124995005276360 38.69/38.89 o 124994972572360 38.69/38.89 o 124994956220360 38.69/38.89 o 124994514716360 38.69/38.89 o 124932298203360 38.69/38.89 o 124932288536800 38.69/38.89 o 121454851666550 38.69/38.89 o 121292192774550 38.69/38.89 o 120268192774550 38.69/38.89 o 118628944594550 38.69/38.89 o 118628197074550 38.69/38.89 o 118627823314550 38.69/38.89 o 118627636434550 38.69/38.89 o 118627542994550 38.69/38.89 o 118627496274550 38.69/38.89 o 118627472914550 38.69/38.89 o 118627461234550 38.69/38.89 o 118627455394550 38.69/38.89 o 118627452474550 38.69/38.89 o 118627451014550 38.69/38.89 o 118436085894550 38.69/38.89 o 118244720774550 38.69/38.89 o 118244719132050 38.69/38.89 o 118243224092050 38.69/38.89 o 118242990492050 38.69/38.89 o 118087001585860 38.69/38.89 o 118086936907860 38.69/38.89 o 118086904568860 38.69/38.89 o 118086888399360 38.69/38.89 o 118086827663360 38.69/38.89 o 118086080143360 38.69/38.89 o 118072026767360 38.69/38.89 o 118070531727360 38.69/38.89 o 118064551567360 38.69/38.89 o 118061561487360 38.69/38.89 o 118045003919360 38.69/38.89 o 118028446351360 38.69/38.89 o 118012897935360 38.69/38.89 o 118011402895360 38.69/38.89 o 117997947535360 38.69/38.89 o 117991219855360 38.69/38.89 o 117610358415360 38.69/38.89 o 117562517135360 38.69/38.89 o 117561022095360 38.69/38.89 o 117549061775360 38.69/38.89 o 117543081615360 781.84/783.73 o 117540091535360 781.84/783.73 o 117538596495360 781.84/783.73 o 116801548637360 781.84/783.73 o 116798558557360 781.84/783.73 o 116797063517360 781.84/783.73 o 116796315997360 781.84/783.73 o 116795942237360 781.84/783.73 o 116795755357360 781.84/783.73 o 116795661917360 781.84/783.73 o 116795615197360 781.84/783.73 o 116795591837360 781.84/783.73 o 116795580157360 781.84/783.73 o 116795574317360 781.84/783.73 o 116795571397360 781.84/783.73 o 116795569937360 781.84/783.73 o 116795569207360 781.84/783.73 o 116795563513360 781.84/783.73 o 116723801593360 781.84/783.73 o 116604198393360 781.84/783.73 o 116479811065360 781.84/783.73 o 116408049145360 781.84/783.73 o 116282704991760 781.84/783.73 o 116249931816960 781.84/783.73 o 116196947599360 781.84/783.73 o 116184508866560 781.84/783.73 o 116084377657360 781.84/783.73 o 116017400595360 781.84/783.73 o 116014036755360 781.84/783.73 o 115925531847360 781.84/783.73 o 115863338183360 781.84/783.73 o 115832241351360 781.84/783.73 o 115816692935360 781.84/783.73 o 109898144967360 781.84/783.73 o 109898143507360 781.84/783.73 o 109868293406720 781.84/783.73 o 109864555806720 781.84/783.73 o 109862687006720 781.84/783.73 o 109861752606720 781.84/783.73 o 109861285406720 781.84/783.73 o 109861051806720 781.84/783.73 o 109860935006720 781.84/783.73 o 109860876606720 781.84/783.73 o 109860847406720 781.84/783.73 o 109860832806720 781.84/783.73 o 109860825506720 781.84/783.73 o 109844082518720 781.84/783.73 o 109832122198720 781.84/783.73 o 109820161878720 781.84/783.73 o 109288567512920 781.84/783.73 o 109287520984920 781.84/783.73 o 109287390168920 781.84/783.73 o 109286866904920 781.84/783.73 o 109286605272920 781.84/783.73 o 109286539864920 781.84/783.73 o 109285642840920 781.84/783.73 o 109285194328920 781.84/783.73 o 109285147608920 781.84/783.73 o 109285035480920 781.84/783.73 o 109285007448920 781.84/783.73 o 109284951384920 781.84/783.73 o 109284862616920 781.84/783.73 o 109284115096920 781.84/783.73 o 109284098744920 781.84/783.73 o 109284084728920 781.84/783.73 o 109284070712920 781.84/783.73 o 109284042680920 781.84/783.73 o 109284031000920 781.84/783.73 o 109284022824920 781.84/783.73 o 109283929384920 781.84/783.73 o 109283922376920 781.84/783.73 o 109283918288920 781.84/783.73 o 109283911280920 781.84/783.73 o 109283887920920 781.84/783.73 o 109283884416920 781.84/783.73 o 109283880912920 781.84/783.73 o 109283875072920 781.84/783.73 o 109283873028920 781.84/783.73 o 109283871276920 781.84/783.73 o 109283869524920 781.84/783.73 o 109283866604920 781.84/783.73 o 109283865582920 781.84/783.73 o 109283864706920 781.84/783.73 o 109283863830920 781.84/783.73 o 109283862370920 781.84/783.73 o 109283861859920 781.84/783.73 o 109283861421920 781.84/783.73 o 109283860983920 781.84/783.73 o 109283860253920 781.84/783.73 o 109283860034920 781.84/783.73 o 109283859669920 781.84/783.73 o 109205997636320 781.84/783.73 o 109201213508320 781.84/783.73 o 109183273028320 781.84/783.73 o 109174811101920 781.84/783.73 o 109161565047520 781.84/783.73 o 109156661316320 781.84/783.73 o 109151122368320 781.84/783.73 o 108625764034820 781.84/783.73 o 108625761479820 781.84/783.73 o 107325729882320 781.84/783.73 o 107255612250820 781.84/783.73 o 107225263395070 781.84/783.73 o 107091307811070 781.84/783.73 o 107024330019070 781.84/783.73 o 106990841123070 781.84/783.73 o 106986655011070 781.84/783.73 o 106969910563070 781.84/783.73 o 106967817507070 781.84/783.73 o 106959445283070 781.84/783.73 o 106958398755070 781.84/783.73 o 106957875491070 781.84/783.73 o 106957613859070 781.84/783.73 o 106957483043070 781.84/783.73 o 106957417635070 781.84/783.73 o 106957384931070 781.84/783.73 o 106957368579070 781.84/783.73 o 106957360403070 781.84/783.73 o 106957356315070 781.84/783.73 o 106957354271070 781.84/783.73 o 106957353249070 781.84/783.73 o 106957352738070 781.84/783.73 o 106957352409570 781.84/783.73 o 106957352154070 781.84/783.73 o 106957352026320 781.84/783.73 o 106948381786320 781.84/783.73 o 106940906586320 781.84/783.73 o 106940905126320 781.84/783.73 o 106940903228320 781.84/783.73 o 106937914608320 781.84/783.73 o 106928944368320 781.84/783.73 o 106926064883320 781.84/783.73 o 106926006483320 781.84/783.73 o 106925977283320 781.84/783.73 o 106925962683320 781.84/783.73 o 106925959033320 781.84/783.73 o 106925957208320 781.84/783.73 o 106925583448320 781.84/783.73 o 106904054872320 781.84/783.73 o 106901662808320 781.84/783.73 o 106896878680320 781.84/783.73 o 106892094552320 781.84/783.73 o 106892093092320 781.84/783.73 o 106880880292320 781.84/783.73 o 106870459863520 781.84/783.73 o 106870458403520 781.84/783.73 o 106870083913520 781.84/783.73 o 106869710883520 781.84/783.73 o 106866722263520 781.84/783.73 o 106828002187520 781.84/783.73 o 106775017969920 781.84/783.73 o 106753053291920 781.84/783.73 o 106749166187920 781.84/783.73 o 106748194411920 781.84/783.73 o 106747708523920 781.84/783.73 o 106747465579920 781.84/783.73 o 106747372139920 781.84/783.73 o 106747250667920 781.84/783.73 o 106747189931920 781.84/783.73 o 106747159563920 781.84/783.73 o 106747144379920 781.84/783.73 o 106747136787920 781.84/783.73 o 106747132991920 781.84/783.73 o 106747131093920 781.84/783.73 o 106719107269920 781.84/783.73 o 106695186629920 781.84/783.73 o 106676050117920 781.84/783.73 o 106664089797920 781.84/783.73 o 106661847237920 781.84/783.73 o 106587214841120 781.84/783.73 o 106584691961120 781.84/783.73 o 106574218505120 781.84/783.73 o 106541640435200 781.84/783.73 o 106541227255200 781.84/783.73 o 106540760055200 781.84/783.73 o 106540748375200 781.84/783.73 o 106540741075200 781.84/783.73 o 106540739615200 781.84/783.73 o 106540726475200 781.84/783.73 o 106540711875200 781.84/783.73 o 106540635955200 781.84/783.73 o 106540519155200 781.84/783.73 o 106530053875200 781.84/783.73 o 106510468851200 781.84/783.73 o 106509627891200 781.84/783.73 o 106508693491200 781.84/783.73 o 106507385331200 781.84/783.73 o 106504993267200 781.84/783.73 o 106502601203200 781.84/783.73 o 106502578573200 781.84/783.73 o 106487357635200 781.84/783.73 o 106481377475200 781.84/783.73 o 106481348275200 781.84/783.73 o 106481319075200 781.84/783.73 o 106065126219200 781.84/783.73 o 106065102859200 781.84/783.73 o 106065097019200 781.84/783.73 o 106065091179200 781.84/783.73 o 105706281579200 781.84/783.73 o 105628832594200 781.84/783.73 o 105628832229200 781.84/783.73 o 105623360747800 781.84/783.73 o 105621865707800 781.84/783.73 o 105618875627800 781.84/783.73 o 105618128107800 781.84/783.73 o 105617380587800 781.84/783.73 o 105617006827800 781.84/783.73 o 105616819947800 781.84/783.73 o 105616726507800 781.84/783.73 o 105616679787800 781.84/783.73 o 105616656427800 781.84/783.73 o 105616644747800 781.84/783.73 o 105616638907800 781.84/783.73 o 105616635987800 781.84/783.73 o 105616634527800 781.84/783.73 o 105616633797800 781.84/783.73 o 105616633432800 781.84/783.73 o 105605420632800 781.84/783.73 o 105601683032800 781.84/783.73 o 105598319192800 781.84/783.73 o 105409944152800 781.84/783.73 o 105394246232800 781.84/783.73 o 105293779544800 781.84/783.73 o 105208696088400 781.84/783.73 o 105141718296400 781.84/783.73 o 105141717566400 781.84/783.73 o 105139325502400 781.84/783.73 o 105139325137400 781.84/783.73 o 105137082577400 3600.04/3608.50 o 105136662097400 3600.04/3608.50 o 105129934417400 3600.04/3608.50 o 105124701777400 3600.04/3608.50 o 105124281297400 3600.04/3608.50 o 105122599377400 3600.04/3608.50 o 105121758417400 3600.04/3608.50 o 105107884446200 3600.04/3608.50 o 105091065246200 3600.04/3608.50 o 105089196446200 3600.04/3608.50 o 105003082178700 3600.04/3608.50 o 104969593282700 3600.04/3608.50 o 104952848834700 3600.04/3608.50 o 104944476610700 3600.04/3608.50 o 104942383554700 3600.04/3608.50 o 104938197442700 3600.04/3608.50 o 104937150914700 3600.04/3608.50 o 104936627650700 3600.04/3608.50 o 104936366018700 3600.04/3608.50 o 104936235202700 3600.04/3608.50 o 104936169794700 3600.04/3608.50 o 104936137090700 3600.04/3608.50 o 104936120738700 3600.04/3608.50 o 104936112562700 3600.04/3608.50 o 104936108474700 3600.04/3608.50 o 104936106430700 3600.04/3608.50 o 104936106302950 3600.04/3608.50 o 104936105280950 3600.04/3608.50 o 104936104769950 3600.04/3608.50 o 104936104605700 3600.04/3608.50 o 104936104350200 3600.04/3608.50 o 104908901922200 3600.04/3608.50 o 104804847138200 3600.04/3608.50 o 104789896738200 3600.04/3608.50 o 104776441378200 3600.04/3608.50 o 104720009093200 3600.04/3608.50 o 104666187653200 3600.04/3608.50 o 104624326533200 3600.04/3608.50 o 104622771691600 3600.04/3608.50 o 104621216850000 3600.04/3608.50 o 104621216558000 3600.04/3608.50 o 104617852718000 3600.04/3608.50 o 104604771118000 3600.04/3608.50 s SATISFIABLE 3600.04/3608.50 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.04/3608.50 c Done 3281.75s
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 (63046 MiB free)
memory of node 1: 64465 MiB (63797 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486049-1751325895/watcher-4486049-1751325895 -o /tmp/evaluation-result-4486049-1751325895/solver-4486049-1751325895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751325895-44782 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4486049-1751325895.opb -t 3600 -s 163936872 --no-s
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=44828, runsolver pid=44817
[startup+0.100058 s]*
/proc/loadavg: 1.18 3.02 3.74 6/266 44830
/proc/meminfo: memFree=129886076/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=0.09 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 892 0 0 0 9 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+0.205458 s]*
/proc/loadavg: 1.41 3.04 3.75 6/270 44839
/proc/meminfo: memFree=129869952/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=0.2 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 893 0 0 0 20 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+0.305079 s]*
/proc/loadavg: 1.41 3.04 3.75 7/270 44839
/proc/meminfo: memFree=129837948/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=0.3 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 893 0 0 0 30 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+0.700094 s]
/proc/loadavg: 1.41 3.04 3.75 6/270 44839
/proc/meminfo: memFree=129837964/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=0.69 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 895 0 0 0 69 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+1.50009 s]
/proc/loadavg: 1.41 3.04 3.75 6/270 44839
/proc/meminfo: memFree=129814024/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=1.48 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 148 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+3.10461 s]
/proc/loadavg: 1.41 3.04 3.75 6/270 44839
/proc/meminfo: memFree=129766392/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3.08 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 308 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+6.30009 s]
/proc/loadavg: 1.70 3.07 3.75 6/270 44839
/proc/meminfo: memFree=129702452/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=6.27 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 627 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+12.7001 s]
/proc/loadavg: 1.88 3.08 3.75 6/270 44839
/proc/meminfo: memFree=129332408/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=12.66 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 1266 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+25.5001 s]
/proc/loadavg: 2.21 3.12 3.76 6/270 44840
/proc/meminfo: memFree=129139316/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=25.43 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 2543 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+51.1046 s]
/proc/loadavg: 3.06 3.23 3.78 6/269 44840
/proc/meminfo: memFree=129138760/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=50.97 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 5097 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 3.35 3.79 6/269 44842
/proc/meminfo: memFree=129136936/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=102.05 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 10205 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 3.55 3.83 6/265 44844
/proc/meminfo: memFree=129120668/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=161.91 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 16191 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 3.70 3.87 6/265 44846
/proc/meminfo: memFree=129120980/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=221.76 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 22176 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 3.79 3.89 6/264 44851
/proc/meminfo: memFree=129120844/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=281.62 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 28162 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.83 3.90 6/265 44859
/proc/meminfo: memFree=129094428/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=341.48 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 34148 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.89 3.92 6/265 44861
/proc/meminfo: memFree=129072484/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=401.33 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 40133 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.93 3.93 6/265 44863
/proc/meminfo: memFree=129078536/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=461.19 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 46119 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 461.19 s
################
# More data... #
################
Current children cumulated memory: 7168 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.08 6/264 44998
/proc/meminfo: memFree=129138440/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=2915.44 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 291544 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 2915.44 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.08 6/264 45001
/proc/meminfo: memFree=129138348/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=2975.3 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 297530 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 2975.3 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.08 6/264 45003
/proc/meminfo: memFree=129138488/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3035.16 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 303516 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3035.16 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.08 6/264 45005
/proc/meminfo: memFree=129137392/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3095.02 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 309502 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3095.02 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/264 45007
/proc/meminfo: memFree=129138612/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3154.88 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 315488 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3154.88 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 45009
/proc/meminfo: memFree=129138712/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3214.74 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 321474 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3214.74 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/263 45014
/proc/meminfo: memFree=129138452/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3274.6 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 327460 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3274.6 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/264 45021
/proc/meminfo: memFree=129147664/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3334.46 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 333446 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3334.46 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/264 45023
/proc/meminfo: memFree=129147312/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3394.32 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 899 0 0 0 339432 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3394.32 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/264 45025
/proc/meminfo: memFree=129147392/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3454.18 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 901 0 0 0 345418 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3454.18 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/264 45027
/proc/meminfo: memFree=129147320/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3514.04 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 901 0 0 0 351404 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3514.04 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/264 45029
/proc/meminfo: memFree=129146628/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3573.9 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 901 0 0 0 357390 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3573.9 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 4.04 4.07 4.08 3/256 45047
/proc/meminfo: memFree=129159040/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3600.04 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 901 0 0 0 360004 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.5 s]
# the end of solver process 44828 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3600.04 s, system=0.004023 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.5 s]
/proc/loadavg: 4.04 4.07 4.08 3/256 45047
/proc/meminfo: memFree=129159040/131249996 swapFree=33010684/33010684
[pid=44828] ppid=44817 vsize=21912 memory=7168 CPUtime=3600.04 cores=1,3
/proc/44828/stat : 44828 (NuPBO-DeepOpt+) R 44817 44828 44770 0 -1 4194304 901 0 0 0 360004 0 0 0 20 0 1 0 48268141 22437888 1792 18446744073709551615 4198400 15468185 140732355523280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28065792 140732355525010 140732355525125 140732355525125 140732355530727 0
/proc/44828/statm: 5478 1792 1056 2752 0 2131 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 21912 KiB
Current children cumulated memory: 7168 KiB
Child status: 10
Real time (s): 3608.5
CPU time (s): 3600.05
CPU user time (s): 3600.04
CPU system time (s): 0.004023
CPU usage (%): 99.7658
Max. virtual memory (cumulated for all children) (KiB): 21912
Max. memory (cumulated for all children) (KiB): 7168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.04
system time used= 0.004023
maximum resident set size= 7296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 910
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= 3
involuntary context switches= 911
# summary of solver processes directly reported to runsolver:
# pid: 44828
# total CPU time (s): 3600.05
# total CPU user time (s): 3600.04
# total CPU system time (s): 0.004023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01851 second user time and 10.8288 second system time
The end
Begin job on nodeC032 at 2025-07-01 01:24:55 IDJOB=4486049 IDBENCH=146930 IDSOLVER=3342 FILE ID=nodeC032/4486049-1751325895 RUNJOBID= nodeC032-1751325895-44782 SLURM_JOB_ID= 9594355 Free space on /tmp= 432068 MiB SOLVER NAME= NuPBO-DeepOpt+ 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-DeepOpt+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486049-1751325895/watcher-4486049-1751325895 -o /tmp/evaluation-result-4486049-1751325895/solver-4486049-1751325895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751325895-44782 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4486049-1751325895.opb -t 3600 -s 163936872 --no-s TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 66c9959016382e41dad7850ad64939ee RANDOM SEED=163936872 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.663 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 : 3599.283 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 : 3599.828 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 : 3599.806 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 : 3599.880 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.850 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.756 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 : 3564.812 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: 129908472 kB MemAvailable: 129780228 kB Buffers: 3280 kB Cached: 679704 kB SwapCached: 0 kB Active: 327760 kB Inactive: 425440 kB Active(anon): 88644 kB Inactive(anon): 0 kB Active(file): 239116 kB Inactive(file): 425440 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 103536 kB Writeback: 0 kB AnonPages: 73756 kB Mapped: 102768 kB Shmem: 18068 kB KReclaimable: 92880 kB Slab: 181060 kB SReclaimable: 92880 kB SUnreclaim: 88180 kB KernelStack: 4176 kB PageTables: 2852 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 338508 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 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= 432024 MiB End job on nodeC032 at 2025-07-01 02:25:04