Trace number 3497045

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
MinisatID 2.5.2-gmp (fixed)? (TO)222741611310476 1800.05 1800.01

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell4.opb
MD5SUM7a334409ec63774b2ae9bf0271f87fd8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark195364307577754
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 212944791655785
Optimality of the best value was proved NO
Number of variables1996
Total number of constraints134
Number of constraints which are clauses18
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint2
Maximum length of a constraint135
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 numbers57
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	222741611310476

Watcher Data 

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

Launcher Data 

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