Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | ? (TO) | 222741611310476 | 1800.05 | 1800.01 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell4.opb |
MD5SUM | 7a334409ec63774b2ae9bf0271f87fd8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 195364307577754 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 212944791655785 |
Optimality of the best value was proved | NO |
Number of variables | 1996 |
Total number of constraints | 134 |
Number of constraints which are clauses | 18 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 116 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 135 |
Number of terms in the objective function | 1527 |
Biggest coefficient in the objective function | 4949278720000000 |
Number of bits for the biggest coefficient in the objective function | 53 |
Sum of the numbers in the objective function | 114314457147588882 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 4949278720000000 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 114314457147588882 |
Number of bits of the biggest sum of numbers | 57 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 23.59/23.69 o 2726919791067136 23.59/23.69 o 2726918595035136 23.59/23.69 o 2726913810907136 23.59/23.69 o 2726913511899136 23.59/23.69 o 2726903943643136 23.59/23.69 o 2726884807131136 23.59/23.69 o 2726884209115136 23.59/23.69 o 2726881817051136 23.59/23.69 o 2726881662386176 23.59/23.69 o 2726881652719616 23.59/23.69 o 2726881650302976 23.59/23.69 o 2726881649094656 23.59/23.69 o 2726880154054656 23.59/23.69 o 2726868193734656 23.59/23.69 o 2700653794026656 23.59/23.69 o 2687546594026656 23.59/23.69 o 2684269794026656 23.59/23.69 o 2658055394026656 23.59/23.69 o 2657952994026656 23.59/23.69 o 2605524194026656 23.59/23.69 o 2605319394026656 23.59/23.69 o 2602042594026656 23.59/23.69 o 2588935394026656 23.59/23.69 o 2582381794026656 23.59/23.69 o 2581562594026656 23.59/23.69 o 2568455394026656 23.59/23.69 o 2568450609898656 23.59/23.69 o 2568450011882656 23.59/23.69 o 2568447619818656 23.59/23.69 o 2568438051562656 23.59/23.69 o 2568436855530656 23.59/23.69 o 2568334455530656 23.59/23.69 o 2568129655530656 23.59/23.69 o 2567720055530656 23.59/23.69 o 2567681782506656 23.59/23.69 o 2566862582506656 23.59/23.69 o 2565224182506656 23.59/23.69 o 2561947382506656 23.59/23.69 o 2560308982506656 23.59/23.69 o 2560306590442656 23.59/23.69 o 2560287453930656 23.59/23.69 o 2560277885674656 23.59/23.69 o 2560271905514656 23.59/23.69 o 2560233632490656 23.59/23.69 o 2560227891537056 23.59/23.69 o 2560225977885856 23.59/23.69 o 2560225678877856 23.59/23.69 o 2559996040733856 23.59/23.69 o 2140565640733856 23.59/23.69 o 2035708040733856 23.59/23.69 o 2035503240733856 23.59/23.69 o 2009288840733856 23.59/23.69 o 2008879240733856 23.59/23.69 o 2007240840733856 23.59/23.69 o 1994133640733856 23.59/23.69 o 1990856840733856 23.59/23.69 o 1990844880413856 23.59/23.69 o 1990797039133856 23.59/23.69 o 1990773118493856 23.59/23.69 o 1990767138333856 23.59/23.69 o 1923820081840412 23.59/23.69 o 1923812905648412 23.59/23.69 o 1922174505648412 23.59/23.69 o 1921868321456412 23.59/23.69 o 1921868171952412 23.59/23.69 o 1918591371952412 23.59/23.69 o 1918589636304412 23.59/23.69 o 1917770436304412 23.59/23.69 o 1917765652176412 23.59/23.69 o 1916577812176412 23.59/23.69 o 1916554848362012 23.59/23.69 o 1916543366454812 23.59/23.69 o 1916133766454812 23.59/23.69 o 1914495366454812 23.59/23.69 o 1914392966454812 23.59/23.69 o 1914389139152412 23.59/23.69 o 1914379570896412 23.59/23.69 o 1911102770896412 23.59/23.69 o 1911102733520412 23.59/23.69 o 1910897933520412 23.59/23.69 o 1910890278915612 23.59/23.69 o 1906138918915612 23.59/23.69 o 1905934118915612 23.59/23.69 o 1905729318915612 23.59/23.69 o 1905726926851612 23.59/23.69 o 1904907726851612 23.59/23.69 o 1904498126851612 23.59/23.69 o 1903678926851612 23.59/23.69 o 1903576526851612 23.59/23.69 o 1903576525643292 23.59/23.69 o 1903576523226652 23.59/23.69 o 1903576518393372 23.59/23.69 o 1903576441060892 23.59/23.69 o 1903576402394652 23.59/23.69 o 1903576383061532 23.59/23.69 o 1890469183061532 23.59/23.69 o 1864254783061532 23.59/23.69 o 1824933183061532 23.59/23.69 o 1824927202901532 23.59/23.69 o 1824926903893532 23.59/23.69 o 1824923317330532 23.59/23.69 o 1818369717330532 23.59/23.69 o 1817433541825036 23.59/23.69 o 1817433535985036 23.59/23.69 o 1817433489265036 23.59/23.69 o 1817433465905036 23.59/23.69 o 1817433092145036 23.59/23.69 o 1817432344625036 23.59/23.69 o 1817424737861516 23.59/23.69 o 1817409524334476 23.59/23.69 o 1817405720952716 23.59/23.69 o 1817405126674316 23.59/23.69 o 1817402749560716 23.59/23.69 o 1817393241106316 23.59/23.69 o 1816983641106316 23.59/23.69 o 1816881241106316 23.59/23.69 o 1815481574312916 23.59/23.69 o 1815481514511316 23.59/23.69 o 1815481394908116 23.59/23.69 o 1815481387432916 23.59/23.69 o 1815481383695316 23.59/23.69 o 1815481353794516 23.59/23.69 o 1815481351925716 23.59/23.69 o 1815481336975316 23.59/23.69 o 1815481336391316 23.59/23.69 o 1815480588506316 23.59/23.69 o 1815480513754316 23.59/23.69 o 1815480140359316 23.59/23.69 o 1815480139994316 23.59/23.69 o 1815477747930316 23.59/23.69 o 1815476551898316 23.59/23.69 o 1815476551314316 23.59/23.69 o 1815438278290316 23.59/23.69 o 1812161478290316 23.59/23.69 o 1811751878290316 23.59/23.69 o 1811704037010316 23.59/23.69 o 1811680116370316 23.59/23.69 o 1811679966866316 23.59/23.69 o 1811679948616316 23.59/23.69 o 1811679939272316 23.59/23.69 o 1811670371016316 23.59/23.69 o 1808393571016316 23.59/23.69 o 1795286371016316 23.59/23.69 o 1788732771016316 23.59/23.69 o 1651638093157396 23.59/23.69 o 1651197773157396 23.59/23.69 o 1651192989029396 23.59/23.69 o 1651190596965396 23.59/23.69 o 1651189400933396 23.59/23.69 o 1646983844402196 23.59/23.69 o 1646574244402196 23.59/23.69 o 1644935844402196 23.59/23.69 o 1644833444402196 23.59/23.69 o 1644731044402196 23.59/23.69 o 1644321444402196 23.59/23.69 o 1644321443672196 23.59/23.69 o 1644320845656196 23.59/23.69 o 1644317496766596 23.59/23.69 o 1644316300734596 23.59/23.69 o 1644299556943596 23.59/23.69 o 1644299407439596 23.59/23.69 o 1644299108431596 23.59/23.69 o 1644196708431596 23.59/23.69 o 1640919908431596 23.59/23.69 o 1640715108431596 23.59/23.69 o 1614603108796596 23.59/23.69 o 1594942308796596 23.59/23.69 o 1168286769940548 23.59/23.69 o 1168286769721548 23.59/23.69 o 1168286762713548 23.59/23.69 o 1168286748697548 23.59/23.69 o 1168286746945548 23.59/23.69 o 1168286743441548 23.59/23.69 o 1168286743003548 23.59/23.69 o 1168286742539268 23.59/23.69 o 1168286742393268 23.59/23.69 o 1168286741663268 23.59/23.69 o 1168286722975268 23.59/23.69 o 1168286721807268 23.59/23.69 o 1168286721223268 23.59/23.69 o 1168286720931268 23.59/23.69 o 1168286720785268 23.59/23.69 o 1168286720712268 23.59/23.69 o 1168286711368268 23.59/23.69 o 1168286292757068 23.59/23.69 o 1168286289837068 23.59/23.69 o 1168286288377068 23.59/23.69 o 1168286276697068 23.59/23.69 o 1168286239321068 23.59/23.69 o 1168286236985068 23.59/23.69 o 1168286232313068 23.59/23.69 o 1168286157561068 23.59/23.69 o 1168081357561068 23.59/23.69 o 1167876557561068 23.59/23.69 o 1167845939141868 23.59/23.69 o 1167836370885868 23.59/23.69 o 1167835174853868 23.59/23.69 o 1167834576837868 23.59/23.69 o 1167834575903468 23.59/23.69 o 1167834516101868 23.59/23.69 o 1167834486201068 23.59/23.69 o 1167834484332268 23.59/23.69 o 1167834480594668 23.59/23.69 o 1167629680594668 23.59/23.69 o 1167629680477868 23.59/23.69 o 1167527280477868 23.59/23.69 o 1167527280010668 23.59/23.69 o 1167527272535468 23.59/23.69 o 1167527272301868 23.59/23.69 o 1167527257351468 23.59/23.69 o 1167527257293068 23.59/23.69 o 1167508120781068 23.59/23.69 o 1167498552525068 23.59/23.69 o 1167467934105868 23.59/23.69 o 1167163365491468 23.59/23.69 o 1154056165491468 52.80/52.84 o 1154054670451468 52.80/52.84 o 1154042710131468 52.80/52.84 o 1154041962611468 52.80/52.84 o 1153222762611468 52.80/52.84 o 1152034922611468 52.80/52.84 o 1151441002611468 52.80/52.84 o 1151439806579468 52.80/52.84 o 1151430238323468 52.80/52.84 o 1151429042291468 52.80/52.84 o 1151314223219468 52.80/52.84 o 1151109423219468 52.80/52.84 o 1150699823219468 52.80/52.84 o 1150597423219468 52.80/52.84 o 1150589050995468 52.80/52.84 o 1149769850995468 52.80/52.84 o 1146493050995468 52.80/52.84 o 1146083450995468 52.80/52.84 o 1144445050995468 52.80/52.84 o 1138198650995468 52.80/52.84 o 1136560250995468 52.80/52.84 o 1136119930995468 52.80/52.84 o 854021380492668 52.80/52.84 o 853998416678268 52.80/52.84 o 853974496038268 52.80/52.84 o 853974256831868 52.80/52.84 o 853974254963068 52.80/52.84 o 853974251225468 52.80/52.84 o 853974131622268 52.80/52.84 o 853974124147068 52.80/52.84 o 853974123212668 52.80/52.84 o 853973166387068 52.80/52.84 o 853973106585468 52.80/52.84 o 853972628172668 52.80/52.84 o 853972598271868 52.80/52.84 o 853767798271868 52.80/52.84 o 853767793599868 52.80/52.84 o 853763009471868 52.80/52.84 o 853760617407868 52.80/52.84 o 853759421375868 52.80/52.84 o 853758823359868 52.80/52.84 o 853739686847868 52.80/52.84 o 853720550335868 52.80/52.84 o 853720547999868 52.80/52.84 o 853720510623868 52.80/52.84 o 853720211615868 52.80/52.84 o 853720136863868 52.80/52.84 o 853115976863868 52.80/52.84 o 853115827359868 52.80/52.84 o 853114631327868 52.80/52.84 o 853114033311868 52.80/52.84 o 853111641247868 52.80/52.84 o 853106857119868 52.80/52.84 o 853106856937368 52.80/52.84 o 853106833577368 52.80/52.84 o 853106833212368 52.80/52.84 o 852287633212368 52.80/52.84 o 852287446332368 52.80/52.84 o 852286257775568 52.80/52.84 o 852210190140368 52.80/52.84 o 852209816380368 52.80/52.84 o 852179389326288 52.80/52.84 o 852178913903568 52.80/52.84 o 852163700376528 52.80/52.84 o 852118059795408 52.80/52.84 o 852118022419408 52.80/52.84 o 852094101779408 52.80/52.84 o 852082141459408 52.80/52.84 o 852081393939408 52.80/52.84 o 852081319187408 52.80/52.84 o 852080123155408 52.80/52.84 o 848803323155408 52.80/52.84 o 848802426131408 52.80/52.84 o 606707559029812 52.80/52.84 o 606693207156812 52.80/52.84 o 606693206645812 52.80/52.84 o 599443286645812 52.80/52.84 o 597804886645812 52.80/52.84 o 597429664018448 52.80/52.84 o 597327264018448 52.80/52.84 o 596917664018448 52.80/52.84 o 596815264018448 52.80/52.84 o 594439584018448 52.80/52.84 o 593845664018448 52.80/52.84 o 591469984018448 52.80/52.84 o 591265184018448 52.80/52.84 o 591263270367248 52.80/52.84 o 591259443064848 52.80/52.84 o 591258486239248 52.80/52.84 o 590664566239248 52.80/52.84 o 590658586079248 52.80/52.84 o 590655595999248 52.80/52.84 o 590654100959248 52.80/52.84 o 590642140639248 52.80/52.84 o 590639748575248 52.80/52.84 o 590448383455248 52.80/52.84 o 590440011231248 52.80/52.84 o 590435825119248 52.80/52.84 o 590351296424748 52.80/52.84 o 590248896424748 52.80/52.84 o 590146496424748 52.80/52.84 o 590146436623148 52.80/52.84 o 590146317019948 52.80/52.84 o 590146316903148 52.80/52.84 o 590145838490348 52.80/52.84 o 590145838256748 52.80/52.84 o 590145838198348 52.80/52.84 o 590145240182348 52.80/52.84 o 590143326531148 52.80/52.84 o 589703006531148 52.80/52.84 o 563488606531148 52.80/52.84 o 537274206531148 52.80/52.84 o 537274169155148 52.80/52.84 o 536833849155148 52.80/52.84 o 536832653123148 52.80/52.84 o 536827868995148 52.80/52.84 o 536827850307148 52.80/52.84 o 536770440771148 52.80/52.84 o 536770366019148 52.80/52.84 o 536674683459148 52.80/52.84 o 536674682291148 52.80/52.84 o 536674672947148 52.80/52.84 o 536674635571148 52.80/52.84 o 536674560819148 52.80/52.84 o 536674556147148 52.80/52.84 o 536674553811148 52.80/52.84 o 536674553738148 52.80/52.84 o 536672161674148 52.80/52.84 o 536670965642148 52.80/52.84 o 536670367626148 52.80/52.84 o 536665583498148 52.80/52.84 o 536661397386148 52.80/52.84 o 535842197386148 52.80/52.84 o 535836217226148 52.80/52.84 o 535834722186148 52.80/52.84 o 535831732106148 52.80/52.84 o 535819771859148 52.80/52.84 o 535410171859148 52.80/52.84 o 535410171676648 52.80/52.84 o 535398211356648 52.80/52.84 o 535396716316648 52.80/52.84 o 535395968796648 52.80/52.84 o 535348127516648 52.80/52.84 o 535143327516648 52.80/52.84 o 535143267715048 52.80/52.84 o 534702947715048 52.80/52.84 o 534702917814248 52.80/52.84 o 534700525750248 52.80/52.84 o 534699927734248 52.80/52.84 o 534698731702248 52.80/52.84 o 534693947574248 52.80/52.84 o 534579128502248 52.80/52.84 o 534574344374248 52.80/52.84 o 534574342505448 52.80/52.84 o 534564774249448 52.80/52.84 o 534564773315048 52.80/52.84 o 534564769577448 52.80/52.84 o 534564754627048 52.80/52.84 o 534564747151848 52.80/52.84 o 534564627548648 52.80/52.84 o 534564149135848 52.80/52.84 o 534563909929448 52.80/52.84 o 534154309929448 52.80/52.84 o 534154309407133 52.80/52.84 o 533975730360733 52.80/52.84 o 533974534328733 52.80/52.84 o 533971544248733 52.80/52.84 o 533971543956733 52.80/52.84 o 533969151892733 52.80/52.84 o 533967955860733 52.80/52.84 o 533937337441533 52.80/52.84 o 533936739425533 52.80/52.84 o 533935543393533 52.80/52.84 o 533833143393533 52.80/52.84 o 530556343393533 52.80/52.84 o 528917943393533 52.80/52.84 o 528884454497533 52.80/52.84 o 528876082273533 52.80/52.84 o 528859337825533 52.80/52.84 o 528430679956733 52.80/52.84 o 526014039956733 52.80/52.84 o 521180759956733 52.80/52.84 o 521180759825333 52.80/52.84 o 518855975082933 52.80/52.84 o 517647655082933 52.80/52.84 o 440540455272733 52.80/52.84 o 440540455155933 52.80/52.84 o 440539259123933 52.80/52.84 o 420878459123933 52.80/52.84 o 420876964083933 52.80/52.84 o 420876366067933 52.80/52.84 o 420864405747933 52.80/52.84 o 420861415667933 52.80/52.84 o 420855435507933 52.80/52.84 o 420753035507933 52.80/52.84 o 420548235507933 52.80/52.84 o 420486998669533 52.80/52.84 o 420456380250333 52.80/52.84 o 420403395039933 52.80/52.84 o 416504825721533 52.80/52.84 o 416167740135933 52.80/52.84 o 375792131245133 52.80/52.84 o 375689731245133 52.80/52.84 o 375280131245133 52.80/52.84 o 375075331245133 52.80/52.84 o 374460931245133 52.80/52.84 o 374358531245133 52.80/52.84 o 374355541165133 52.80/52.84 o 374344700738133 52.80/52.84 o 374344700621333 52.80/52.84 o 374344700387733 52.80/52.84 o 374344699920533 52.80/52.84 o 374344699862133 52.80/52.84 o 371067899862133 52.80/52.84 o 371067840060533 52.80/52.84 o 371067765308533 52.80/52.84 o 371067762972533 52.80/52.84 o 371067761804533 52.80/52.84 o 371067612300533 52.80/52.84 o 371067593612533 52.80/52.84 o 371067584268533 52.80/52.84 o 371067546892533 52.80/52.84 o 371067542220533 52.80/52.84 o 371067541636533 52.80/52.84 o 371067541490533 52.80/52.84 o 371059886885733 52.80/52.84 o 371056059583333 1324.43/1324.42 o 371054145932133 1324.43/1324.42 o 368678465932133 1324.43/1324.42 o 368678436031333 1324.43/1324.42 o 368678434162533 1324.43/1324.42 o 368678419212133 1324.43/1324.42 o 368677940799333 1324.43/1324.42 o 368673156671333 1324.43/1324.42 o 368654020159333 1324.43/1324.42 o 368654016421733 1324.43/1324.42 o 368654008946533 1324.43/1324.42 o 368653052120933 1324.43/1324.42 o 368652992319333 1324.43/1324.42 o 368652988581733 1324.43/1324.42 o 368652749375333 1324.43/1324.42 o 368550349375333 1324.43/1324.42 o 357081549375333 1324.43/1324.42 o 356671949375333 1324.43/1324.42 o 265874256387493 1324.43/1324.42 o 265874251715493 1324.43/1324.42 o 265874249782181 1324.43/1324.42 o 265874249752981 1324.43/1324.42 o 265874247416981 1324.43/1324.42 o 265874247358946 1324.43/1324.42 o 265874247344346 1324.43/1324.42 o 265874209968346 1324.43/1324.42 o 265874209001690 1324.43/1324.42 o 265874206665690 1324.43/1324.42 o 265874206636490 1324.43/1324.42 o 265874187948490 1324.43/1324.42 o 265874184081866 1324.43/1324.42 o 265874183598538 1324.43/1324.42 o 265874182430538 1324.43/1324.42 o 265874179510538 1324.43/1324.42 o 265874179218538 1324.43/1324.42 o 265874177758538 1324.43/1324.42 o 265874176590538 1324.43/1324.42 o 265874174733418 1324.43/1324.42 o 265874174368418 1324.43/1324.42 o 265874165024418 1324.43/1324.42 o 265874157291170 1324.43/1324.42 o 265874157108670 1324.43/1324.42 o 265874157035670 1324.43/1324.42 o 265874156889670 1324.43/1324.42 o 265874156159670 1324.43/1324.42 o 265874156042870 1324.43/1324.42 o 265874153122870 1324.43/1324.42 o 265874150786870 1324.43/1324.42 o 265874149618870 1324.43/1324.42 o 265874149560470 1324.43/1324.42 o 265874148742870 1324.43/1324.42 o 265874147814310 1324.43/1324.42 o 265874145945510 1324.43/1324.42 o 265874145365160 1324.43/1324.42 o 265874145219160 1324.43/1324.42 o 265874140547160 1324.43/1324.42 o 265874080745560 1324.43/1324.42 o 265874080511960 1324.43/1324.42 o 265874061823960 1324.43/1324.42 o 265874061093960 1324.43/1324.42 o 265874057379720 1324.43/1324.42 o 265874057087720 1324.43/1324.42 o 265874056620520 1324.43/1324.42 o 265874055890520 1324.43/1324.42 o 265874055306520 1324.43/1324.42 o 265874054722520 1324.43/1324.42 o 265874039256024 1324.43/1324.42 o 265874038672024 1324.43/1324.42 o 265874038526024 1324.43/1324.42 o 265874037317704 1324.43/1324.42 o 265874036733704 1324.43/1324.42 o 265874032061704 1324.43/1324.42 o 265874031594504 1324.43/1324.42 o 265872835562504 1324.43/1324.42 o 265872760810504 1324.43/1324.42 o 265872742122504 1324.43/1324.42 o 265872732778504 1324.43/1324.42 o 265872695402504 1324.43/1324.42 o 265872545898504 1324.43/1324.42 o 265872545533504 1324.43/1324.42 o 265489815293504 1324.43/1324.42 o 265429554941504 1324.43/1324.42 o 265381713661504 1324.43/1324.42 o 265279313661504 1324.43/1324.42 o 265176913661504 1324.43/1324.42 o 261900113661504 1324.43/1324.42 o 261797713661504 1324.43/1324.42 o 261797653859904 1324.43/1324.42 o 261797579107904 1324.43/1324.42 o 261795665456704 1324.43/1324.42 o 261794708631104 1324.43/1324.42 o 261794589027904 1324.43/1324.42 o 261775452515904 1324.43/1324.42 o 261770668387904 1324.43/1324.42 o 261770649699904 1324.43/1324.42 o 261770640355904 1324.43/1324.42 o 261770635683904 1324.43/1324.42 o 261770598307904 1324.43/1324.42 o 261770448803904 1324.43/1324.42 o 261770374051904 1324.43/1324.42 o 261770075043904 1324.43/1324.42 o 261769835837504 1324.43/1324.42 o 261768879011904 1324.43/1324.42 o 261768849111104 1324.43/1324.42 o 261768841635904 1324.43/1324.42 o 261766927984704 1324.43/1324.42 o 261766926115904 1324.43/1324.42 o 261766447703104 1324.43/1324.42 o 261766443965504 1324.43/1324.42 o 261766443498304 1324.43/1324.42 o 261766383696704 1324.43/1324.42 o 261766382762304 1324.43/1324.42 o 261762555459904 1324.43/1324.42 o 261762540509504 1324.43/1324.42 o 261762420906304 1324.43/1324.43 o 261756440746304 1324.43/1324.43 o 255202840746304 1324.43/1324.43 o 251926040746304 1324.43/1324.43 o 250287640746304 1324.43/1324.43 o 249468440746304 1324.43/1324.43 o 249466048682304 1324.43/1324.43 o 249465986816320 1324.43/1324.43 o 249464790784320 1324.43/1324.43 o 249460006656320 1324.43/1324.43 o 249440870144320 1324.43/1324.43 o 249020882688320 1324.43/1324.43 o 249019686656320 1324.43/1324.43 o 249019088640320 1324.43/1324.43 o 249016696576320 1324.43/1324.43 o 248992775936320 1324.43/1324.43 o 248986795776320 1324.43/1324.43 o 248974835456320 1324.43/1324.43 o 248971008153920 1324.43/1324.43 o 248932735129920 1324.43/1324.43 o 248917425920320 1324.43/1324.43 o 248103241779520 1324.43/1324.43 o 247693641779520 1324.43/1324.43 o 247690651699520 1324.43/1324.43 o 247689904179520 1324.43/1324.43 o 247689530419520 1324.43/1324.43 o 247689436979520 1324.43/1324.43 o 247689250099520 1324.43/1324.43 o 247689226739520 1324.43/1324.43 o 247689215059520 1324.43/1324.43 o 247689209219520 1324.43/1324.43 o 247689206299520 1324.43/1324.43 o 247689159579520 1324.43/1324.43 o 247689158849520 1324.43/1324.43 o 247689157754520 1324.43/1324.43 o 247484357754520 1324.43/1324.43 o 240930757754520 1324.43/1324.43 o 240930757024520 1324.43/1324.43 o 240930755564520 1324.43/1324.43 o 240902050796520 1324.43/1324.43 o 240887698412520 1324.43/1324.43 o 240881957458920 1324.43/1324.43 o 240870475551720 1324.43/1324.43 o 240870472748520 1324.43/1324.43 o 240870383046120 1324.43/1324.43 o 240870024236520 1324.43/1324.43 o 240865838124520 1324.43/1324.43 o 240857465900520 1324.43/1324.43 o 240840721452520 1324.43/1324.43 o 240840003833320 1324.43/1324.43 o 240839824428520 1324.43/1324.43 o 240836953951720 1324.43/1324.43 o 240835518713320 1324.43/1324.43 o 240835518695070 1324.43/1324.43 o 240835517527070 1324.43/1324.43 o 240835517162070 1324.43/1324.43 o 240835516432070 1324.43/1324.43 o 240835514972070 1324.43/1324.43 o 240835514935570 1324.43/1324.43 o 240835509095570 1324.43/1324.43 o 240835508913070 1324.43/1324.43 o 240834013873070 1324.43/1324.43 o 240833415857070 1324.43/1324.43 o 240832668337070 1324.43/1324.43 o 240832294577070 1324.43/1324.43 o 240832107697070 1324.43/1324.43 o 240832014257070 1324.43/1324.43 o 240831967537070 1324.43/1324.43 o 240831668529070 1324.43/1324.43 o 240831665609070 1324.43/1324.43 o 240831653929070 1324.43/1324.43 o 240831630569070 1324.43/1324.43 o 240831481065070 1324.43/1324.43 o 240831480992070 1324.43/1324.43 o 240819520672070 1324.43/1324.43 o 239191884960070 1324.43/1324.43 o 238135576121012 1324.43/1324.43 o 238135576113712 1324.43/1324.43 o 238135576084512 1324.43/1324.43 o 238135576069912 1324.43/1324.43 o 238135576033412 1324.43/1324.43 o 238135576018812 1324.43/1324.43 o 238135572281212 1324.43/1324.43 o 238135571916212 1324.43/1324.43 o 238135571332212 1324.43/1324.43 o 238135571259212 1324.43/1324.43 o 238135570967212 1324.43/1324.43 o 238135570821212 1324.43/1324.43 o 238135566149212 1324.43/1324.43 o 238135563813212 1324.43/1324.43 o 238135562645212 1324.43/1324.43 o 238135562499212 1324.43/1324.43 o 238135562207212 1324.43/1324.43 o 238135558492972 1324.43/1324.43 o 238135557908972 1324.43/1324.43 o 238135556740972 1324.43/1324.43 o 238135554404972 1324.43/1324.43 o 238135554331972 1324.43/1324.43 o 238135552474852 1324.43/1324.43 o 238135551546292 1324.43/1324.43 o 238135546874292 1324.43/1324.43 o 238135545713592 1324.43/1324.43 o 238135541070792 1324.43/1324.43 o 238135540340792 1324.43/1324.43 o 238135539172792 1324.43/1324.43 o 238135536836792 1324.43/1324.43 o 238135536252792 1324.43/1324.43 o 238135536179792 1324.43/1324.43 o 238135536033792 1324.43/1324.43 o 238135535741792 1324.43/1324.43 o 238135535011792 1324.43/1324.43 o 238135532091792 1324.43/1324.43 o 238135529770392 1324.43/1324.43 o 238135529190042 1324.43/1324.43 o 2381355>>> Terminate signal received 1800.04/1800.00 26854042 1800.04/1800.00 o 238135522182042 1800.04/1800.00 o 238135522036042 1800.04/1800.00 o 238135521744042 1800.04/1800.00 o 238135517072042 1800.04/1800.00 o 238135507728042 1800.04/1800.00 o 238134760208042 1800.04/1800.00 o 238130005980842 1800.04/1800.00 o 238125221852842 1800.04/1800.00 o 238124848092842 1800.04/1800.00 o 238124824732842 1800.04/1800.00 o 238124813052842 1800.04/1800.00 o 238123617020842 1800.04/1800.00 o 238123019004842 1800.04/1800.00 o 238120626940842 1800.04/1800.00 o 238120621100842 1800.04/1800.00 o 238120619640842 1800.04/1800.00 o 238111051384842 1800.04/1800.00 o 238108659320842 1800.04/1800.00 o 238103875192842 1800.04/1800.00 o 237899075192842 1800.04/1800.00 o 237891420588042 1800.04/1800.00 o 237886636460042 1800.04/1800.00 o 237871327250442 1800.04/1800.00 o 237863672645642 1800.04/1800.00 o 237658872645642 1800.04/1800.00 o 236450552645642 1800.04/1800.00 o 236449595820042 1800.04/1800.00 o 235591136675092 1800.04/1800.00 o 235590674373392 1800.04/1800.00 o 235590547294992 1800.04/1800.00 o 235590472542992 1800.04/1800.00 o 235180947148992 1800.04/1800.00 o 234977193676992 1800.04/1800.00 o 231861821691872 1800.04/1800.00 o 231855841531872 1800.04/1800.00 o 231855840801872 1800.04/1800.00 o 231855242785872 1800.04/1800.00 o 231855093281872 1800.04/1800.00 o 231855055905872 1800.04/1800.00 o 231854308385872 1800.04/1800.00 o 231851916321872 1800.04/1800.00 o 231851617313872 1800.04/1800.00 o 231850421281872 1800.04/1800.00 o 231850271777872 1800.04/1800.00 o 231844291617872 1800.04/1800.00 o 231832331297872 1800.04/1800.00 o 231729931297872 1800.04/1800.00 o 231727539233872 1800.04/1800.00 o 231287219233872 1800.04/1800.00 o 231286268388432 1800.04/1800.00 o 230467068388432 1800.04/1800.00 o 230262268388432 1800.04/1800.00 o 230193356408432 1800.04/1800.00 o 230189768312432 1800.04/1800.00 o 230189712248432 1800.04/1800.00 o 230189684216432 1800.04/1800.00 o 230189670200432 1800.04/1800.00 o 230187876152432 1800.04/1800.00 o 230186979128432 1800.04/1800.00 o 230186530616432 1800.04/1800.00 o 230186306360432 1800.04/1800.00 o 230186194232432 1800.04/1800.00 o 230186193356432 1800.04/1800.00 o 230186186348432 1800.04/1800.00 o 229586058779439 1800.04/1800.00 o 229586056922319 1800.04/1800.00 o 229586056893119 1800.04/1800.00 o 229586056878519 1800.04/1800.00 o 229586056294519 1800.04/1800.00 o 229586056062379 1800.04/1800.00 o 229586055828779 1800.04/1800.00 o 229586055712709 1800.04/1800.00 o 229586055128709 1800.04/1800.00 o 229586054548359 1800.04/1800.00 o 229586054256359 1800.04/1800.00 o 229586054022759 1800.04/1800.00 o 229586053730759 1800.04/1800.00 o 229586053672724 1800.04/1800.00 o 229586053670836 1800.04/1800.00 o 229586053206556 1800.04/1800.00 o 229586050870556 1800.04/1800.00 o 229586050724556 1800.04/1800.00 o 229586050578556 1800.04/1800.00 o 229586049649996 1800.04/1800.00 o 229586049241196 1800.04/1800.00 o 229586049240960 1800.04/1800.00 o 229586048656960 1800.04/1800.00 o 229586048583960 1800.04/1800.00 o 229586048525560 1800.04/1800.00 o 229586048467160 1800.04/1800.00 o 229586048437960 1800.04/1800.00 o 229586048218960 1800.04/1800.00 o 229586048218016 1800.04/1800.00 o 229586047853016 1800.04/1800.00 o 229586047385816 1800.04/1800.00 o 229586047371216 1800.04/1800.00 o 229586047079216 1800.04/1800.00 o 229586045911216 1800.04/1800.00 o 229586045838216 1800.04/1800.00 o 229586045801716 1800.04/1800.00 o 229586045783466 1800.04/1800.00 o 229586043447466 1800.04/1800.00 o 229586043301466 1800.04/1800.00 o 229586042717466 1800.04/1800.00 o 229586042659066 1800.04/1800.00 o 229586042075066 1800.04/1800.00 o 229586040907066 1800.04/1800.00 o 229586040615066 1800.04/1800.00 o 229586038279066 1800.04/1800.00 o 229586037344666 1800.04/1800.00 o 229586035008666 1800.04/1800.00 o 229586032672666 1800.04/1800.00 o 229586031504666 1800.04/1800.00 o 229586030920666 1800.04/1800.00 o 229586029051866 1800.04/1800.00 o 229586028117466 1800.04/1800.00 o 229586028000666 1800.04/1800.00 o 229586027533466 1800.04/1800.00 o 229586027299866 1800.04/1800.00 o 229586023562266 1800.04/1800.00 o 229586008611866 1800.04/1800.00 o 229586001136666 1800.04/1800.00 o 229585997399066 1800.04/1800.00 o 229585982448666 1800.04/1800.00 o 229585954416666 1800.04/1800.00 o 229585898352666 1800.04/1800.00 o 229585886672666 1800.04/1800.00 o 229585880832666 1800.04/1800.00 o 229585877912666 1800.04/1800.00 o 229585831192666 1800.04/1800.00 o 229585807832666 1800.04/1800.00 o 229585806664666 1800.04/1800.00 o 229585806628166 1800.04/1800.00 o 229585806336166 1800.04/1800.00 o 229585806219366 1800.04/1800.00 o 229585805752166 1800.04/1800.00 o 229585803883366 1800.04/1800.00 o 229585802948966 1800.04/1800.00 o 229585802715366 1800.04/1800.00 o 229585563508966 1800.04/1800.00 o 229585443905766 1800.04/1800.00 o 229584965492966 1800.04/1800.00 o 229584008667366 1800.04/1800.00 o 229582095016166 1800.04/1800.00 o 229173930254566 1800.04/1800.00 o 228354730254566 1800.04/1800.00 o 227945130254566 1800.04/1800.00 o 227125930254566 1800.04/1800.00 o 227023530254566 1800.04/1800.00 o 227018746126566 1800.04/1800.00 o 226813946126566 1800.04/1800.00 o 226711546126566 1800.04/1800.00 o 225523706126566 1800.04/1800.00 o 225523287515366 1800.04/1800.00 o 225521613070566 1800.04/1800.00 o 225520775848166 1800.04/1800.00 o 225512403624166 1800.04/1800.00 o 225072083624166 1800.04/1800.00 o 225068734734566 1800.04/1800.00 o 225062036955366 1800.04/1800.00 o 225058448859366 1800.04/1800.00 o 225045531713766 1800.04/1800.00 o 225016826945766 1800.04/1800.00 o 225012999643366 1800.04/1800.00 o 225005113041126 1800.04/1800.00 o 225002720977126 1800.04/1800.00 o 224997936849126 1800.04/1800.00 o 224997847146726 1800.04/1800.00 o 224997787345126 1800.04/1800.00 o 224997667741926 1800.04/1800.00 o 224997308932326 1800.04/1800.00 o 224997069725926 1800.04/1800.00 o 224997024874726 1800.04/1800.00 o 224997013661926 1800.04/1800.00 o 224996991236326 1800.04/1800.00 o 224996984228326 1800.04/1800.00 o 224996970212326 1800.04/1800.00 o 224996932836326 1800.04/1800.00 o 224996931084326 1800.04/1800.00 o 224996930354326 1800.04/1800.00 o 224996883634326 1800.04/1800.00 o 224996877794326 1800.04/1800.00 o 224996854434326 1800.04/1800.00 o 224996842754326 1800.04/1800.00 o 224996839834326 1800.04/1800.00 o 224996746394326 1800.04/1800.00 o 224989570202326 1800.04/1800.00 o 224989570184076 1800.04/1800.00 o 224989532808076 1800.04/1800.00 o 224987140744076 1800.04/1800.00 o 224987122056076 1800.04/1800.00 o 224167922056076 1800.04/1800.00 o 224167912712076 1800.04/1800.00 o 224167908040076 1800.04/1800.00 o 224166712008076 1800.04/1800.00 o 224165964488076 1800.04/1800.00 o 224165777608076 1800.04/1800.00 o 224164282568076 1800.04/1800.00 o 224164207816076 1800.04/1800.00 o 224145071304076 1800.04/1800.00 o 222741611310476 1800.04/1800.00 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
OK 222741611310476
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497045-1307927380/watcher-3497045-1307927380 -o /var/tmp/evaluation-result-3497045-1307927380/solver-3497045-1307927380 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497045-1307927380.opb --verbosity=0 --format=opb --randomseed=2063831183 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.92 2/177 21117 /proc/meminfo: memFree=4694176/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=8256 CPUtime=0 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 534 0 0 0 0 0 0 0 25 0 1 0 904336808 8454144 488 33554432000 4194304 6957856 140736566320960 18446744073709551615 6268218 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/21117/statm: 2064 489 239 675 0 1380 0 [startup+0.098734 s] /proc/loadavg: 1.92 1.98 1.92 2/177 21117 /proc/meminfo: memFree=4694176/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=7552 CPUtime=0.09 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 1543 0 0 0 9 0 0 0 25 0 1 0 904336808 7733248 1425 33554432000 4194304 6957856 140736566320960 18446744073709551615 5932833 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/21117/statm: 1888 1425 274 675 0 1204 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7552 [startup+0.100734 s] /proc/loadavg: 1.92 1.98 1.92 2/177 21117 /proc/meminfo: memFree=4694176/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=7552 CPUtime=0.09 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 1543 0 0 0 9 0 0 0 25 0 1 0 904336808 7733248 1425 33554432000 4194304 6957856 140736566320960 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/21117/statm: 1888 1425 274 675 0 1204 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7552 [startup+0.300699 s] /proc/loadavg: 1.92 1.98 1.92 2/177 21117 /proc/meminfo: memFree=4694176/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=7552 CPUtime=0.29 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 1569 0 0 0 29 0 0 0 25 0 1 0 904336808 7733248 1449 33554432000 4194304 6957856 140736566320960 18446744073709551615 5932649 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/21117/statm: 1888 1449 283 675 0 1204 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7552 [startup+0.700627 s] /proc/loadavg: 1.92 1.98 1.92 2/177 21117 /proc/meminfo: memFree=4694176/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=7692 CPUtime=0.69 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 1586 0 0 0 69 0 0 0 25 0 1 0 904336808 7876608 1466 33554432000 4194304 6957856 140736566320960 18446744073709551615 4869882 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/21117/statm: 1923 1466 286 675 0 1239 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7692 [startup+1.50052 s] /proc/loadavg: 1.92 1.98 1.92 3/178 21118 /proc/meminfo: memFree=4688992/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=7692 CPUtime=1.49 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 1606 0 0 0 149 0 0 0 25 0 1 0 904336808 7876608 1486 33554432000 4194304 6957856 140736566320960 18446744073709551615 5932688 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/21117/statm: 1923 1486 286 675 0 1239 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7692 [startup+3.1002 s] /proc/loadavg: 1.92 1.98 1.92 3/178 21118 /proc/meminfo: memFree=4688500/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=8008 CPUtime=3.09 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 1660 0 0 0 309 0 0 0 25 0 1 0 904336808 8200192 1540 33554432000 4194304 6957856 140736566320960 18446744073709551615 5932670 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/21117/statm: 2002 1540 286 675 0 1318 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8008 [startup+6.3007 s] /proc/loadavg: 1.93 1.98 1.92 3/178 21118 /proc/meminfo: memFree=4687724/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=8792 CPUtime=6.3 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 1835 0 0 0 630 0 0 0 25 0 1 0 904336808 9003008 1712 33554432000 4194304 6957856 140736566320960 18446744073709551615 5922137 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/21117/statm: 2198 1712 286 675 0 1514 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 8792 [startup+12.7005 s] /proc/loadavg: 1.93 1.98 1.92 3/178 21118 /proc/meminfo: memFree=4685992/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=10116 CPUtime=12.69 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 2144 0 0 0 1269 0 0 0 25 0 1 0 904336808 10358784 2019 33554432000 4194304 6957856 140736566320960 18446744073709551615 5316159 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/21117/statm: 2529 2019 286 675 0 1845 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10116 [startup+25.5003 s] /proc/loadavg: 1.95 1.98 1.92 3/178 21118 /proc/meminfo: memFree=4684388/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=12396 CPUtime=25.49 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 2603 0 0 0 2549 0 0 0 25 0 1 0 904336808 12693504 2474 33554432000 4194304 6957856 140736566320960 18446744073709551615 5932670 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/21117/statm: 3099 2474 286 675 0 2415 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12396 [startup+51.1007 s] /proc/loadavg: 1.96 1.98 1.92 3/178 21119 /proc/meminfo: memFree=4683492/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=12720 CPUtime=51.09 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 2812 0 0 0 5109 0 0 0 25 0 1 0 904336808 13025280 2682 33554432000 4194304 6957856 140736566320960 18446744073709551615 5922089 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/21117/statm: 3180 2682 286 675 0 2496 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 12720 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.92 3/178 21120 /proc/meminfo: memFree=4664860/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=30904 CPUtime=102.29 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 9784 0 0 0 10228 1 0 0 25 0 1 0 904336808 31645696 7267 33554432000 4194304 6957856 140736566320960 18446744073709551615 5934612 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/21117/statm: 7726 7267 286 675 0 7042 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 30904 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.92 3/178 21122 /proc/meminfo: memFree=4618944/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=42508 CPUtime=162.29 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 26372 0 0 0 16225 4 0 0 25 0 1 0 904336808 43528192 10167 33554432000 4194304 6957856 140736566320960 18446744073709551615 5314078 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 10627 10167 286 675 0 9943 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 42508 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.92 3/178 21124 /proc/meminfo: memFree=4614568/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=42508 CPUtime=222.29 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 26373 0 0 0 22225 4 0 0 25 0 1 0 904336808 43528192 10168 33554432000 4194304 6957856 140736566320960 18446744073709551615 5933952 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 10627 10168 286 675 0 9943 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 42508 [startup+282.301 s] /proc/loadavg: 2.06 2.00 1.93 3/178 21125 /proc/meminfo: memFree=4652348/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=282.3 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 26667 0 0 0 28226 4 0 0 25 0 1 0 904336808 74706944 10458 33554432000 4194304 6957856 140736566320960 18446744073709551615 5316146 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 10458 286 675 0 17555 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 72956 [startup+342.3 s] /proc/loadavg: 2.02 2.00 1.93 3/178 21127 /proc/meminfo: memFree=4652064/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=342.3 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 26667 0 0 0 34226 4 0 0 25 0 1 0 904336808 74706944 10458 33554432000 4194304 6957856 140736566320960 18446744073709551615 4745109 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 10458 286 675 0 17555 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 72956 [startup+402.301 s] /proc/loadavg: 2.01 2.00 1.93 3/178 21128 /proc/meminfo: memFree=4613200/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=402.3 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 26667 0 0 0 40226 4 0 0 25 0 1 0 904336808 74706944 10458 33554432000 4194304 6957856 140736566320960 18446744073709551615 5929043 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 10458 286 675 0 17555 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 72956 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 21130 /proc/meminfo: memFree=4628164/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=462.3 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 32532 0 0 0 46226 4 0 0 25 0 1 0 904336808 74706944 16293 33554432000 4194304 6957856 140736566320960 18446744073709551615 4851111 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 16293 286 675 0 17555 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 72956 [startup+522.301 s] /proc/loadavg: 2.04 2.01 1.93 3/178 21132 /proc/meminfo: memFree=4585472/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=522.3 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 32532 0 0 0 52226 4 0 0 25 0 1 0 904336808 74706944 16293 33554432000 4194304 6957856 140736566320960 18446744073709551615 4869649 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 16293 286 675 0 17555 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 72956 [startup+582.3 s] /proc/loadavg: 2.01 2.01 1.93 3/178 21133 /proc/meminfo: memFree=4623248/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=582.31 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 33329 0 0 0 58226 5 0 0 25 0 1 0 904336808 74706944 17081 33554432000 4194304 6957856 140736566320960 18446744073709551615 5922016 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17081 286 675 0 17555 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 72956 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 21140 /proc/meminfo: memFree=4570756/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=822.31 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 74785 0 0 0 82221 10 0 0 25 0 1 0 904336808 74706944 17779 33554432000 4194304 6957856 140736566320960 18446744073709551615 4851128 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17779 286 675 0 17555 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 72956 [startup+882.3 s] /proc/loadavg: 2.03 2.01 1.94 3/178 21141 /proc/meminfo: memFree=4589192/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=882.31 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 82907 0 0 0 88220 11 0 0 25 0 1 0 904336808 74706944 17779 33554432000 4194304 6957856 140736566320960 18446744073709551615 5387648 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17779 286 675 0 17555 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 72956 [startup+942.301 s] /proc/loadavg: 2.01 2.01 1.94 3/178 21143 /proc/meminfo: memFree=4577988/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=942.31 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 82907 0 0 0 94220 11 0 0 25 0 1 0 904336808 74706944 17779 33554432000 4194304 6957856 140736566320960 18446744073709551615 4846810 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17779 286 675 0 17555 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 72956 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 21144 /proc/meminfo: memFree=4619108/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=1002.31 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 91091 0 0 0 100219 12 0 0 25 0 1 0 904336808 74706944 17779 33554432000 4194304 6957856 140736566320960 18446744073709551615 5924337 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17779 286 675 0 17555 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 72956 [startup+1062.3 s] /proc/loadavg: 2.05 2.01 1.94 3/178 21146 /proc/meminfo: memFree=4580376/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=1062.32 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 99382 0 0 0 106219 13 0 0 25 0 1 0 904336808 74706944 17779 33554432000 4194304 6957856 140736566320960 18446744073709551615 5917981 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17779 286 675 0 17555 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 72956 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 1.94 3/178 21148 /proc/meminfo: memFree=4586784/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=1122.31 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 123778 0 0 0 112216 15 0 0 25 0 1 0 904336808 74706944 17779 33554432000 4194304 6957856 140736566320960 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17779 286 675 0 17555 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 72956 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 21149 /proc/meminfo: memFree=4619472/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=1182.32 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 141322 0 0 0 118214 18 0 0 25 0 1 0 904336808 74706944 17779 33554432000 4194304 6957856 140736566320960 18446744073709551615 5922184 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17779 286 675 0 17555 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 72956 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 21151 /proc/meminfo: memFree=4587932/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=1242.32 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 149251 0 0 0 124213 19 0 0 25 0 1 0 904336808 74706944 17779 33554432000 4194304 6957856 140736566320960 18446744073709551615 4639008 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17779 286 675 0 17555 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 72956 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 21152 /proc/meminfo: memFree=4587272/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=1302.33 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 165188 0 0 0 130212 21 0 0 25 0 1 0 904336808 74706944 17779 33554432000 4194304 6957856 140736566320960 18446744073709551615 5385212 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17779 286 675 0 17555 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 72956 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 21154 /proc/meminfo: memFree=4619100/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=1362.32 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 165188 0 0 0 136211 21 0 0 25 0 1 0 904336808 74706944 17779 33554432000 4194304 6957856 140736566320960 18446744073709551615 5922026 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17779 286 675 0 17555 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 72956 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.94 3/178 21156 /proc/meminfo: memFree=4571948/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=1422.33 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 165188 0 0 0 142212 21 0 0 25 0 1 0 904336808 74706944 17779 33554432000 4194304 6957856 140736566320960 18446744073709551615 5929265 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17779 286 675 0 17555 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 72956 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 21157 /proc/meminfo: memFree=4584548/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=72956 CPUtime=1482.33 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 165188 0 0 0 148212 21 0 0 25 0 1 0 904336808 74706944 17779 33554432000 4194304 6957856 140736566320960 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18239 17779 286 675 0 17555 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 72956 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 21159 /proc/meminfo: memFree=4586616/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=75716 CPUtime=1542.33 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 186863 0 0 0 154209 24 0 0 25 0 1 0 904336808 77533184 13801 33554432000 4194304 6957856 140736566320960 18446744073709551615 5312950 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18929 13801 286 675 0 18245 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 75716 [startup+1602.3 s] /proc/loadavg: 1.97 1.98 1.94 3/178 21199 /proc/meminfo: memFree=4808344/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=75716 CPUtime=1602.33 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 186863 0 0 0 160209 24 0 0 25 0 1 0 904336808 77533184 13801 33554432000 4194304 6957856 140736566320960 18446744073709551615 5934612 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 18929 13801 286 675 0 18245 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 75716 [startup+1662.3 s] /proc/loadavg: 1.99 1.98 1.94 3/178 21201 /proc/meminfo: memFree=4830128/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=45976 CPUtime=1662.33 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 189750 0 0 0 166208 25 0 0 25 0 1 0 904336808 47079424 8697 33554432000 4194304 6957856 140736566320960 18446744073709551615 5922126 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 11494 8697 286 675 0 10810 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 45976 [startup+1722.3 s] /proc/loadavg: 1.99 1.98 1.94 3/178 21203 /proc/meminfo: memFree=4800196/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=76432 CPUtime=1722.33 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 197189 0 0 0 172207 26 0 0 25 0 1 0 904336808 78266368 16062 33554432000 4194304 6957856 140736566320960 18446744073709551615 5917978 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 19108 16062 286 675 0 18424 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 76432 [startup+1782.3 s] /proc/loadavg: 1.99 1.98 1.94 3/178 21204 /proc/meminfo: memFree=4789728/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=76432 CPUtime=1782.34 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 199804 0 0 0 178207 27 0 0 25 0 1 0 904336808 78266368 18648 33554432000 4194304 6957856 140736566320960 18446744073709551615 5922216 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 19108 18648 286 675 0 18424 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 76432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.99 1.98 1.94 3/178 21205 /proc/meminfo: memFree=4789720/32950928 swapFree=67052124/67111528 [pid=21117] ppid=21115 vsize=76432 CPUtime=1800.04 cores=1,3,5,7 /proc/21117/stat : 21117 (minisatid-gmp) R 21115 21117 20187 0 -1 4202496 199804 0 0 0 179977 27 0 0 25 0 1 0 904336808 78266368 18648 33554432000 4194304 6957856 140736566320960 18446744073709551615 4869807 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/21117/statm: 19108 18648 286 675 0 18424 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 76432 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.01 CPU time (s): 1800.05 CPU user time (s): 1799.78 CPU system time (s): 0.273958 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 125036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.273958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 199807 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= 4 involuntary context switches= 19938 runsolver used 2.36564 second user time and 5.82811 second system time The end
Begin job on node120 at 2011-06-13 03:09:40 IDJOB=3497045 IDBENCH=2465 IDSOLVER=1990 FILE ID=node120/3497045-1307927380 RUNJOBID= node120-1307919796-20207 PBS_JOBID= 13559659 Free space on /var/tmp= 2888 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497045-1307927380/watcher-3497045-1307927380 -o /var/tmp/evaluation-result-3497045-1307927380/solver-3497045-1307927380 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497045-1307927380.opb --verbosity=0 --format=opb --randomseed=2063831183 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7a334409ec63774b2ae9bf0271f87fd8 RANDOM SEED=2063831183 node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 4694744 kB Buffers: 78076 kB Cached: 27122528 kB SwapCached: 11684 kB Active: 12365020 kB Inactive: 15026436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 4694744 kB SwapTotal: 67111528 kB SwapFree: 67052124 kB Dirty: 3132 kB Writeback: 0 kB AnonPages: 188424 kB Mapped: 10396 kB Slab: 800688 kB PageTables: 4700 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 385528 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2888 MiB End job on node120 at 2011-06-13 03:39:42