Trace number 3497048

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)193633113446450 1800.05 1802.01

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell3a.opb
MD5SUMefa7fb1a840e9d48ac9b28aadc8f53ba
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark116073746745975
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 257546671029920
Optimality of the best value was proved NO
Number of variables2219
Total number of constraints151
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints129
Minimum length of a constraint2
Maximum length of a constraint191
Number of terms in the objective function 1716
Biggest coefficient in the objective function 5134096531456000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 216401520151185266
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 5134096531456000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 216401520151185266
Number of bits of the biggest sum of numbers58
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.
29.89/29.95	o 4470283897476560
29.89/29.95	o 4456175585843560
29.89/29.95	o 4456175432835560
29.89/29.95	o 4456174820803560
29.89/29.95	o 4456174801677560
29.89/29.95	o 4456174792114560
29.89/29.95	o 4456174715610560
29.89/29.95	o 4456174677358560
29.89/29.95	o 4456174656918560
29.89/29.95	o 4456174646698560
29.89/29.95	o 4456174605818560
29.89/29.95	o 4456174600708560
29.89/29.95	o 4456174530628560
29.89/29.95	o 4194030530628560
29.89/29.95	o 4193047186705980
29.89/29.95	o 4193047185749680
29.89/29.95	o 4192987384149680
29.89/29.95	o 4192982151509680
29.89/29.95	o 4192982128149680
29.89/29.95	o 4192982116469680
29.89/29.95	o 4192982069749680
29.89/29.95	o 4192982068289680
29.89/29.95	o 4192981881409680
29.89/29.95	o 4192981878489680
29.89/29.95	o 4192981785049680
29.89/29.95	o 4192981779209680
29.89/29.95	o 4192981312009680
29.89/29.95	o 4192981195209680
29.89/29.95	o 4192977457609680
29.89/29.95	o 4192917656009680
29.89/29.95	o 4192902705609680
29.89/29.95	o 4192872804809680
29.89/29.95	o 4192813003209680
29.89/29.95	o 4192693400009680
29.89/29.95	o 4192692745929680
29.89/29.95	o 4192691437769680
29.89/29.95	o 4192686205129680
29.89/29.95	o 4192686041609680
29.89/29.95	o 4192685714569680
29.89/29.95	o 4188589714569680
29.89/29.95	o 4176751000969680
29.89/29.95	o 4175740164329680
29.89/29.95	o 4175737548009680
29.89/29.95	o 4175727082729680
29.89/29.95	o 4175727000969680
29.89/29.95	o 4175607397769680
29.89/29.95	o 4097430598876450
29.89/29.95	o 4097430517116450
29.89/29.95	o 4097423894089250
29.89/29.95	o 4097423893359250
29.89/29.95	o 4097423890439250
29.89/29.95	o 4097423888979250
29.89/29.95	o 4097423515219250
29.89/29.95	o 4097423468499250
29.89/29.95	o 4097422534099250
29.89/29.95	o 4097420665299250
29.89/29.95	o 4097420198099250
29.89/29.95	o 4097420168899250
29.89/29.95	o 4097420110499250
29.89/29.95	o 4097420103199250
29.89/29.95	o 4097419986399250
29.89/29.95	o 4096395986399250
29.89/29.95	o 4088203986399250
29.89/29.95	o 4088203612639250
29.89/29.95	o 4088203612383750
29.89/29.95	o 4088203610339750
29.89/29.95	o 4080011610339750
29.89/29.95	o 4063627610339750
29.89/29.95	o 4061579610339750
29.89/29.95	o 4059531610339750
29.89/29.95	o 4059531446819750
29.89/29.95	o 4059520981539750
29.89/29.95	o 4059518365219750
29.89/29.95	o 4059518038179750
29.89/29.95	o 4059512805539750
29.89/29.95	o 4059512151459750
29.89/29.95	o 4059510843299750
29.89/29.95	o 4059510562979750
29.89/29.95	o 4059510492899750
29.89/29.95	o 4059506007779750
29.89/29.95	o 4059504886499750
29.89/29.95	o 4059502643939750
29.89/29.95	o 4059502083299750
29.89/29.95	o 4059501943139750
29.89/29.95	o 4057453943139750
29.89/29.95	o 4053357943139750
29.89/29.95	o 3922285943139750
29.89/29.95	o 3889517943139750
29.89/29.95	o 3823981943139750
29.89/29.95	o 3299693943139750
29.89/29.95	o 3070317943139750
29.89/29.95	o 3070316896611750
29.89/29.95	o 3070316634979750
29.89/29.95	o 3070312448867750
29.89/29.95	o 3022798848867750
29.89/29.95	o 3016859648867750
29.89/29.95	o 3016859645363750
29.89/29.95	o 3016834528691750
29.89/29.95	o 3016827352499750
29.89/29.95	o 2975252952499750
29.89/29.95	o 2975224247731750
29.89/29.95	o 2837989712334475
29.89/29.95	o 2837963220225675
29.89/29.95	o 2826084820225675
29.89/29.95	o 2821681620225675
29.89/29.95	o 2297393620225675
29.89/29.95	o 2297393616721675
29.89/29.95	o 2297393504593675
29.89/29.95	o 2297381544273675
29.89/29.95	o 2291442344273675
29.89/29.95	o 2291442330257675
29.89/29.95	o 2275058330257675
29.89/29.95	o 2275058328505675
29.89/29.95	o 2275058293465675
29.89/29.95	o 2275052313305675
29.89/29.95	o 2275052306297675
29.89/29.95	o 2275052288777675
29.89/29.95	o 2275052242057675
29.89/29.95	o 2275052236217675
29.89/29.95	o 2143980236217675
29.89/29.95	o 2143980212857675
29.89/29.95	o 2143980201177675
29.89/29.95	o 2078444201177675
29.89/29.95	o 2074348201177675
29.89/29.95	o 2072300201177675
29.89/29.95	o 2072300014297675
29.89/29.95	o 2072299266777675
29.89/29.95	o 2072297397977675
29.89/29.95	o 2072237596377675
29.89/29.95	o 2072182715561675
29.89/29.95	o 2072182657161675
29.89/29.95	o 2072182470281675
29.89/29.95	o 2072180975241675
29.89/29.95	o 2072174995081675
29.89/29.95	o 2072174247561675
29.89/29.95	o 2063982247561675
29.89/29.95	o 2063981780361675
29.89/29.95	o 2063966829961675
29.89/29.95	o 2063959354761675
29.89/29.95	o 2063929453961675
29.89/29.95	o 2063899553161675
29.89/29.95	o 2063895815561675
29.89/29.95	o 1965591815561675
29.89/29.95	o 1965591811736475
29.89/29.95	o 1965472208536475
29.89/29.95	o 1965472170284475
29.89/29.95	o 1965472093780475
29.89/29.95	o 1965472032577275
29.89/29.95	o 1965472001975675
29.89/29.95	o 1965469553847675
29.89/29.95	o 1965430383799675
29.89/29.95	o 1965429159735675
29.89/29.95	o 1965424263479675
29.89/29.95	o 1965414470967675
29.89/29.95	o 1965414317959675
29.89/29.95	o 1965411327879675
29.89/29.95	o 1965411281159675
29.89/29.95	o 1965411280794675
29.89/29.95	o 1965411274954675
29.89/29.95	o 1965411273494675
29.89/29.95	o 1965411250134675
29.89/29.95	o 1965411247214675
29.89/29.95	o 1965410499694675
29.89/29.95	o 1965409004654675
29.89/29.95	o 1965409003924675
29.89/29.95	o 1965409003742175
29.89/29.95	o 1965408910302175
29.89/29.95	o 1965408536542175
29.89/29.95	o 1965408524862175
29.89/29.95	o 1963360524862175
29.89/29.95	o 1959264524862175
29.89/29.95	o 1959144921662175
29.89/29.95	o 1893608921662175
29.89/29.95	o 1885416921662175
29.89/29.95	o 1869032921662175
29.89/29.95	o 1622698826302175
29.89/29.95	o 1557162826302175
29.89/29.95	o 1427405645967785
29.89/29.95	o 1427405421711785
29.89/29.95	o 1427405393679785
29.89/29.95	o 1427405337615785
29.89/29.95	o 1427405319913285
29.89/29.95	o 1427405249103285
29.89/29.95	o 1427405213698285
29.89/29.95	o 1427405211928035
29.89/29.95	o 1427405208387535
29.89/29.95	o 1427405095091535
29.89/29.95	o 1427404868499535
29.89/29.95	o 1427404854483535
29.89/29.95	o 1427404847475535
29.89/29.95	o 1427404843971535
29.89/29.95	o 1427404731843535
29.89/29.95	o 1427404724543535
29.89/29.95	o 1427404490943535
29.89/29.95	o 1427404374143535
29.89/29.95	o 1427404093823535
29.89/29.95	o 1427403906943535
29.89/29.95	o 1427403889423535
29.89/29.95	o 1427403854383535
29.89/29.95	o 1427403852193535
29.89/29.95	o 1427403843433535
29.89/29.95	o 1427403773353535
29.89/29.95	o 1427403633193535
29.89/29.95	o 1427401390633535
29.89/29.95	o 1427401390505785
29.89/29.95	o 1427383450025785
29.89/29.95	o 1425335450025785
29.89/29.95	o 1425029265833785
29.89/29.95	o 1326725265833785
29.89/29.95	o 1310341265833785
29.89/29.95	o 1310321680809785
29.89/29.95	o 938536791063285
29.89/29.95	o 937512791063285
29.89/29.95	o 931573591063285
29.89/29.95	o 929525591063285
29.89/29.95	o 925429591063285
405.30/405.30	o 925384739863285
405.30/405.30	o 923853818903285
405.30/405.30	o 922829818903285
405.30/405.30	o 918767307799285
405.30/405.30	o 918767307543785
405.30/405.30	o 918767305499785
405.30/405.30	o 918767297323785
405.30/405.30	o 918767280971785
405.30/405.30	o 918767280460785
405.30/405.30	o 918767276372785
405.30/405.30	o 918766786747185
405.30/405.30	o 918762869742385
405.30/405.30	o 918760477678385
405.30/405.30	o 885992477678385
405.30/405.30	o 885987693550385
405.30/405.30	o 885986497518385
405.30/405.30	o 885986198510385
405.30/405.30	o 885985600494385
405.30/405.30	o 885985525742385
405.30/405.30	o 885985507054385
405.30/405.30	o 885985469678385
405.30/405.30	o 885985320174385
405.30/405.30	o 885985310830385
405.30/405.30	o 885985308494385
405.30/405.30	o 885985303822385
405.30/405.30	o 885985303238385
405.30/405.30	o 885985302070385
405.30/405.30	o 885879333635185
405.30/405.30	o 885879332018235
405.30/405.30	o 885826347800635
405.30/405.30	o 885819724773435
405.30/405.30	o 885819621288635
405.30/405.30	o 885819595417435
405.30/405.30	o 885819388447835
405.30/405.30	o 885819387639360
405.30/405.30	o 885818559760960
405.30/405.30	o 885606622890560
405.30/405.30	o 885604967133760
405.30/405.30	o 885604915391360
405.30/405.30	o 885604912157460
405.30/405.30	o 885604905689660
405.30/405.30	o 885601594176060
405.30/405.30	o 885601180236860
405.30/405.30	o 885587934182460
405.30/405.30	o 885587921246860
405.30/405.30	o 820051921246860
405.30/405.30	o 803667921246860
405.30/405.30	o 803667919786860
405.30/405.30	o 803667919056860
405.30/405.30	o 803667465872860
405.30/405.30	o 803663840400860
405.30/405.30	o 803663834560860
405.30/405.30	o 803657854400860
405.30/405.30	o 797616254400860
405.30/405.30	o 795977854400860
405.30/405.30	o 670401048000860
405.30/405.30	o 666245246400860
405.30/405.30	o 665571732556860
405.30/405.30	o 664607534156860
405.30/405.30	o 642660629580860
405.30/405.30	o 621771029580860
405.30/405.30	o 609892629580860
405.30/405.30	o 609892582860860
405.30/405.30	o 609883014604860
405.30/405.30	o 609863878092860
405.30/405.30	o 609863803340860
405.30/405.30	o 609863793996860
405.30/405.30	o 609863789324860
405.30/405.30	o 609861397260860
405.30/405.30	o 609861378572860
405.30/405.30	o 609856594444860
405.30/405.30	o 609856557068860
405.30/405.30	o 609855959052860
405.30/405.30	o 609855660044860
405.30/405.30	o 609855657708860
405.30/405.30	o 609817384684860
405.30/405.30	o 609817373004860
405.30/405.30	o 468781393869125
405.30/405.30	o 468781393686625
405.30/405.30	o 468781392226625
405.30/405.30	o 468781390182625
405.30/405.30	o 468781389817625
405.30/405.30	o 468781387992625
405.30/405.30	o 468781385802625
405.30/405.30	o 468781383977625
405.30/405.30	o 468781382517625
405.30/405.30	o 468781376677625
405.30/405.30	o 468781373757625
405.30/405.30	o 468781373027625
405.30/405.30	o 468781372845125
405.30/405.30	o 468781372480125
405.30/405.30	o 468781366640125
405.30/405.30	o 468781366056125
405.30/405.30	o 468781363720125
405.30/405.30	o 468781362552125
405.30/405.30	o 468781353208125
405.30/405.30	o 468781334520125
405.30/405.30	o 468780400120125
405.30/405.30	o 468780392820125
405.30/405.30	o 468780389170125
405.30/405.30	o 468780384498125
405.30/405.30	o 468780375154125
405.30/405.30	o 468780356466125
405.30/405.30	o 468780319090125
405.30/405.30	o 468779123058125
405.30/405.30	o 468779085682125
405.30/405.30	o 468778487666125
405.30/405.30	o 468778412914125
405.30/405.30	o 468778338162125
405.30/405.30	o 468778188658125
405.30/405.30	o 468778165298125
405.30/405.30	o 468778118578125
405.30/405.30	o 468778025138125
405.30/405.30	o 468778019298125
405.30/405.30	o 468778007618125
405.30/405.30	o 468774270018125
405.30/405.30	o 468772401218125
405.30/405.30	o 468764926018125
405.30/405.30	o 468749975618125
405.30/405.30	o 464653975618125
405.30/405.30	o 459672241858125
405.30/405.30	o 457624241858125
405.30/405.30	o 453528241858125
405.30/405.30	o 437144241858125
405.30/405.30	o 420760241858125
405.30/405.30	o 419803416258125
405.30/405.30	o 419683813058125
405.30/405.30	o 417770161858125
405.30/405.30	o 417530955458125
405.30/405.30	o 417052542658125
405.30/405.30	o 416028542658125
405.30/405.30	o 415004542658125
405.30/405.30	o 414996708648525
405.30/405.30	o 414981040629325
405.30/405.30	o 413957040629325
405.30/405.30	o 413956853749325
405.30/405.30	o 413956807029325
405.30/405.30	o 413956713589325
405.30/405.30	o 413956526709325
405.30/405.30	o 413956503349325
405.30/405.30	o 413956497509325
405.30/405.30	o 413956485829325
405.30/405.30	o 413956482909325
405.30/405.30	o 413956459549325
405.30/405.30	o 412420459549325
405.30/405.30	o 412357667869325
405.30/405.30	o 412357660569325
405.30/405.30	o 409097102125650
405.30/405.30	o 409097101870150
405.30/405.30	o 409097101359150
405.30/405.30	o 409097101231400
405.30/405.30	o 409097099614450
405.30/405.30	o 409097097424450
405.30/405.30	o 409097088573200
405.30/405.30	o 409097081492200
405.30/405.30	o 409097068556600
405.30/405.30	o 409097066731600
405.30/405.30	o 409097062906400
405.30/405.30	o 409097061950100
405.30/405.30	o 409097052387100
405.30/405.30	o 409097050474500
405.30/405.30	o 409097035173700
405.30/405.30	o 409097004572100
405.30/405.30	o 409096943368900
405.30/405.30	o 409096935718500
405.30/405.30	o 409096813312100
405.30/405.30	o 409096803968100
405.30/405.30	o 409096799296100
405.30/405.30	o 409096780608100
405.30/405.30	o 409096743232100
405.30/405.30	o 409096668480100
405.30/405.30	o 409096518976100
405.30/405.30	o 409096490652100
405.30/405.30	o 409096438909700
405.30/405.30	o 409096413038500
405.30/405.30	o 409096356390500
405.30/405.30	o 409096243094500
405.30/405.30	o 409096016502500
405.30/405.30	o 409095563318500
405.30/405.30	o 409091227702500
405.30/405.30	o 409091096886500
405.30/405.30	o 409091088710500
405.30/405.30	o 409091072358500
405.30/405.30	o 409091071336500
405.30/405.30	o 409091069292500
405.30/405.30	o 409091036588500
405.30/405.30	o 409086850476500
405.30/405.30	o 409086327212500
405.30/405.30	o 409085280684500
405.30/405.30	o 409085276596500
405.30/405.30	o 409085211188500
405.30/405.30	o 409083118132500
405.30/405.30	o 409082856500500
405.30/405.30	o 409082795764500
405.30/405.30	o 408939271924500
405.30/405.30	o 408903390964500
405.30/405.30	o 408885450484500
405.30/405.30	o 408883207924500
405.30/405.30	o 408882104200260
405.30/405.30	o 408882101280260
405.30/405.30	o 408882100915260
405.30/405.30	o 408882100331260
405.30/405.30	o 408882098287260
405.30/405.30	o 408882097265260
405.30/405.30	o 408882096389260
405.30/405.30	o 408882094637260
405.30/405.30	o 408882094454760
405.30/405.30	o 408882094199260
405.30/405.30	o 408882093031260
405.30/405.30	o 408882092812260
405.30/405.30	o 408882090476260
405.30/405.30	o 408882089746260
405.30/405.30	o 408882089235260
405.30/405.30	o 408882065875260
405.30/405.30	o 408882064415260
405.30/405.30	o 408882017695260
405.30/405.30	o 408882015359260
405.30/405.30	o 408882007183260
405.30/405.30	o 408881990831260
405.30/405.30	o 408881684815260
405.30/405.30	o 408881665689260
405.30/405.30	o 408881627437260
405.30/405.30	o 408881550933260
405.30/405.30	o 408881541370260
405.30/405.30	o 408881388362260
405.30/405.30	o 408881355658260
405.30/405.30	o 408881290250260
405.30/405.30	o 408881028618260
716.01/716.05	o 408880897802260
716.01/716.05	o 408880430602260
716.01/716.05	o 408880103562260
716.01/716.05	o 408879940042260
716.01/716.05	o 408879934932260
716.01/716.05	o 408879853172260
716.01/716.05	o 408879850617260
716.01/716.05	o 408879809737260
716.01/716.05	o 408879799517260
716.01/716.05	o 408879779077260
716.01/716.05	o 408879777799760
716.01/716.05	o 408879775974760
716.01/716.05	o 408879772324760
716.01/716.05	o 408879765024760
716.01/716.05	o 408879750424760
716.01/716.05	o 408879721224760
716.01/716.05	o 408879662824760
716.01/716.05	o 408879429224760
716.01/716.05	o 408879421924760
716.01/716.05	o 408879407324760
716.01/716.05	o 408879378124760
716.01/716.05	o 408878910924760
716.01/716.05	o 408877976524760
716.01/716.05	o 408877742924760
716.01/716.05	o 408877684524760
716.01/716.05	o 408877567724760
716.01/716.05	o 408873830124760
716.01/716.05	o 408871961324760
716.01/716.05	o 408871958404760
716.01/716.05	o 408871956944760
716.01/716.05	o 408871956214760
716.01/716.05	o 408871769334760
716.01/716.05	o 408871675894760
716.01/716.05	o 408871664214760
716.01/716.05	o 408871617494760
716.01/716.05	o 408871611654760
716.01/716.05	o 408871588294760
716.01/716.05	o 408871214534760
716.01/716.05	o 408870467014760
716.01/716.05	o 408868971974760
716.01/716.05	o 408868224454760
716.01/716.05	o 408859160774760
716.01/716.05	o 408854628934760
716.01/716.05	o 408842668614760
716.01/716.05	o 408839678534760
716.01/716.05	o 408838931014760
716.01/716.05	o 408838183494760
716.01/716.05	o 408836875334760
716.01/716.05	o 408836221254760
716.01/716.05	o 408835174726760
716.01/716.05	o 408832558406760
716.01/716.05	o 408830465350760
716.01/716.05	o 408829418822760
716.01/716.05	o 408821046598760
716.01/716.05	o 408804302150760
716.01/716.05	o 408708619590760
716.01/716.05	o 406660619590760
716.01/716.05	o 383778108579510
716.01/716.05	o 383767643299510
716.01/716.05	o 383764055203510
716.01/716.05	o 383762261155510
716.01/716.05	o 383756879011510
716.01/716.05	o 383730386902710
716.01/716.05	o 383730377558710
716.01/716.05	o 383730340182710
716.01/716.05	o 383730339014710
716.01/716.05	o 383730329670710
716.01/716.05	o 383730324998710
716.01/716.05	o 383730323830710
716.01/716.05	o 383717077776310
716.01/716.05	o 382693077776310
716.01/716.05	o 380645077776310
716.01/716.05	o 371058107041950
716.01/716.05	o 371058106822950
716.01/716.05	o 371058090470950
716.01/716.05	o 371058086382950
716.01/716.05	o 371058085360950
716.01/716.05	o 371058077184950
716.01/716.05	o 371058075140950
716.01/716.05	o 371058074629950
716.01/716.05	o 371058065066950
716.01/716.05	o 371058041706950
716.01/716.05	o 371058018346950
716.01/716.05	o 371058006666950
716.01/716.05	o 371057994986950
716.01/716.05	o 371057992066950
716.01/716.05	o 371057989146950
716.01/716.05	o 371057983306950
716.01/716.05	o 371057977466950
716.01/716.05	o 371057954106950
716.01/716.05	o 371057942426950
716.01/716.05	o 371057936586950
716.01/716.05	o 371057889866950
716.01/716.05	o 371057796426950
716.01/716.05	o 371057422666950
716.01/716.05	o 370033422666950
716.01/716.05	o 354889707850950
716.01/716.05	o 354889704930950
716.01/716.05	o 354889699090950
716.01/716.05	o 354820329234950
716.01/716.05	o 354820305874950
716.01/716.05	o 354820259154950
716.01/716.05	o 354819511634950
716.01/716.05	o 354818016594950
716.01/716.05	o 354817923154950
716.01/716.05	o 354783238226950
716.01/716.05	o 354781762896950
716.01/716.05	o 354781761436950
716.01/716.05	o 354781760706950
716.01/716.05	o 354781754866950
716.01/716.05	o 354781749756950
716.01/716.05	o 354781735156950
716.01/716.05	o 354766784756950
716.01/716.05	o 354736883956950
716.01/716.05	o 354736866254450
716.01/716.05	o 354736857403200
716.01/716.05	o 353766015085375
716.01/716.05	o 353766007785375
716.01/716.05	o 353766005960375
716.01/716.05	o 353766001580375
716.01/716.05	o 353765997755175
716.01/716.05	o 353765990104775
716.01/716.05	o 353765984264775
716.01/716.05	o 353765972584775
716.01/716.05	o 353765925864775
716.01/716.05	o 353765832424775
716.01/716.05	o 353765645544775
716.01/716.05	o 353765598824775
716.01/716.05	o 353765575464775
716.01/716.05	o 353765482024775
716.01/716.05	o 353765183016775
716.01/716.05	o 353765168854775
716.01/716.05	o 353765165204775
716.01/716.05	o 353765157904775
716.01/716.05	o 353765128704775
716.01/716.05	o 353765114104775
716.01/716.05	o 353765055704775
716.01/716.05	o 353765053879775
716.01/716.05	o 353764937079775
716.01/716.05	o 353764703479775
716.01/716.05	o 353764696179775
716.01/716.05	o 353764693989775
716.01/716.05	o 353764553829775
716.01/716.05	o 353764273509775
716.01/716.05	o 353763974501775
716.01/716.05	o 353763824997775
716.01/716.05	o 353763750245775
716.01/716.05	o 353763715205775
716.01/716.05	o 353763697685775
716.01/716.05	o 353763627605775
716.01/716.05	o 353763618845775
716.01/716.05	o 353763614465775
716.01/716.05	o 353763604902775
716.01/716.05	o 353763451894775
716.01/716.05	o 353753883638775
716.01/716.05	o 353747903478775
716.01/716.05	o 353671357430775
716.01/716.05	o 353671355970775
716.01/716.05	o 353671281218775
716.01/716.05	o 353670720578775
716.01/716.05	o 353670673858775
716.01/716.05	o 353670650498775
716.01/716.05	o 353651513986775
716.01/716.05	o 353648523906775
716.01/716.05	o 353644038786775
716.01/716.05	o 353641646722775
716.01/716.05	o 353641553282775
716.01/716.05	o 353640432002775
716.01/716.05	o 353638189442775
716.01/716.05	o 353629219202775
716.01/716.05	o 353627724162775
716.01/716.05	o 353622940034775
716.01/716.05	o 353622937698775
716.01/716.05	o 353621741666775
716.01/716.05	o 353621741301775
716.01/716.05	o 353612173045775
716.01/716.05	o 353612172315775
716.01/716.05	o 353607388187775
716.01/716.05	o 353607387603775
716.01/716.05	o 353569114579775
716.01/716.05	o 353549978067775
716.01/716.05	o 353549380051775
716.01/716.05	o 353549361363775
716.01/716.05	o 353546969299775
716.01/716.05	o 353545474259775
716.01/716.05	o 353542484179775
716.01/716.05	o 353536504019775
716.01/716.05	o 353524543699775
716.01/716.05	o 353500623059775
716.01/716.05	o 353470722259775
716.01/716.05	o 353470686854775
716.01/716.05	o 353470616044775
716.01/716.05	o 353470598342275
716.01/716.05	o 353470589491025
716.01/716.05	o 353463338547025
716.01/716.05	o 353448836659025
716.01/716.05	o 353412581939025
716.01/716.05	o 353400621619025
716.01/716.05	o 353376700979025
716.01/716.05	o 353376698059025
716.01/716.05	o 353376692219025
716.01/716.05	o 349518697609930
716.01/716.05	o 349518691769930
716.01/716.05	o 349518680089930
716.01/716.05	o 349518679651930
716.01/716.05	o 349518678921930
716.01/716.05	o 349518676001930
716.01/716.05	o 349518674906930
716.01/716.05	o 349518666146930
716.01/716.05	o 349518664686930
716.01/716.05	o 349518659576930
716.01/716.05	o 349518556092130
716.01/716.05	o 349518554048130
716.01/716.05	o 349518545872130
716.01/716.05	o 349518545762630
716.01/716.05	o 349518487362630
716.01/716.05	o 349518486851630
716.01/716.05	o 349518485975630
716.01/716.05	o 349518478675630
716.01/716.05	o 349518471025230
716.01/716.05	o 349518468835230
716.01/716.05	o 349518422115230
716.01/716.05	o 349518421859730
716.01/716.05	o 349518416019730
716.01/716.05	o 349518399667730
716.01/716.05	o 349518398207730
716.01/716.05	o 349518395287730
846.31/846.32	o 349518395159980
846.31/846.32	o 349518394137980
846.31/846.32	o 349518388297980
846.31/846.32	o 349518388078980
846.31/846.32	o 349518271278980
846.31/846.32	o 349518255978180
846.31/846.32	o 349518248897180
846.31/846.32	o 349518241597180
846.31/846.32	o 349518240867180
846.31/846.32	o 349518240648180
846.31/846.32	o 349518239626180
846.31/846.32	o 349518236706180
846.31/846.32	o 349518213346180
846.31/846.32	o 349518211302180
846.31/846.32	o 349518197140180
846.31/846.32	o 349518196629180
846.31/846.32	o 349518194877180
846.31/846.32	o 349518162173180
846.31/846.32	o 349518159253180
846.31/846.32	o 349518006245180
846.31/846.32	o 349518000405180
846.31/846.32	o 349517971205180
846.31/846.32	o 349517969745180
846.31/846.32	o 349517967555180
846.31/846.32	o 349517874115180
846.31/846.32	o 349517870027180
846.31/846.32	o 349517865647180
846.31/846.32	o 349499738287180
846.31/846.32	o 349496748207180
846.31/846.32	o 341304748207180
846.31/846.32	o 341303193365580
846.31/846.32	o 341303146645580
846.31/846.32	o 341303123285580
846.31/846.32	o 341303029845580
846.31/846.32	o 340279029845580
846.31/846.32	o 340277534805580
846.31/846.32	o 340271554645580
846.31/846.32	o 340259594325580
846.31/846.32	o 340235673685580
846.31/846.32	o 340187832405580
846.31/846.32	o 340175872085580
846.31/846.32	o 340175871705980
846.31/846.32	o 340175865632380
846.31/846.32	o 340175817043580
846.31/846.32	o 340175770323580
846.31/846.32	o 340175676883580
846.31/846.32	o 340175673963580
846.31/846.32	o 340160125547580
846.31/846.32	o 307392125547580
846.31/846.32	o 307345480299580
846.31/846.32	o 307306310251580
846.31/846.32	o 307306065438780
846.31/846.32	o 302304967454780
846.31/846.32	o 302293777080380
846.31/846.32	o 302293663784380
846.31/846.32	o 300893796993060
846.31/846.32	o 300875669633060
846.31/846.32	o 300875667808060
846.31/846.32	o 300870883680060
846.31/846.32	o 300861315424060
846.31/846.32	o 300860268896060
846.31/846.32	o 300858175840060
846.31/846.32	o 300857652576060
846.31/846.32	o 300853466464060
846.31/846.32	o 300853401056060
846.31/846.32	o 300853139424060
846.31/846.32	o 300853008608060
846.31/846.32	o 300836264160060
846.31/846.32	o 300827891936060
846.31/846.32	o 297838204620150
846.31/846.32	o 297838203160150
846.31/846.32	o 297838202795150
846.31/846.32	o 297838202612650
846.31/846.32	o 297838201882650
846.31/846.32	o 297838200130650
846.31/846.32	o 297838199035650
846.31/846.32	o 297838194947650
846.31/846.32	o 297838186096400
846.31/846.32	o 297838115286400
846.31/846.32	o 297838079881400
846.31/846.32	o 297838062178900
846.31/846.32	o 297838024802900
846.31/846.32	o 297837950050900
846.31/846.32	o 297837875298900
846.31/846.32	o 297837865954900
846.31/846.32	o 297837847266900
846.31/846.32	o 297837809890900
846.31/846.32	o 297837795728900
846.31/846.32	o 297837792188400
846.31/846.32	o 297837785107400
846.31/846.32	o 297837783337150
846.31/846.32	o 297837755013150
846.31/846.32	o 297837724411550
846.31/846.32	o 297837663208350
846.31/846.32	o 297837647907550
846.31/846.32	o 297837180707550
846.31/846.32	o 297836947107550
846.31/846.32	o 297836888707550
846.31/846.32	o 297836874107550
846.31/846.32	o 297836757307550
846.31/846.32	o 297836640507550
846.31/846.32	o 297836611307550
846.31/846.32	o 297836552907550
846.31/846.32	o 297836523707550
846.31/846.32	o 297836519882350
846.31/846.32	o 297836517838350
846.31/846.32	o 297836501486350
846.31/846.32	o 297836493310350
846.31/846.32	o 297836460606350
846.31/846.32	o 297836395198350
846.31/846.32	o 297836264382350
846.31/846.32	o 297835741118350
846.31/846.32	o 297835479486350
846.31/846.32	o 297834731966350
846.31/846.32	o 297834545086350
846.31/846.32	o 297833236926350
846.31/846.32	o 297832582846350
846.31/846.32	o 297832489406350
846.31/846.32	o 297832115646350
846.31/846.32	o 297829499326350
846.31/846.32	o 297822772741350
846.31/846.32	o 297801094661350
846.31/846.32	o 297798852101350
846.31/846.32	o 297786891781350
846.31/846.32	o 297774183941350
846.31/846.32	o 297771941381350
846.31/846.32	o 297751010821350
846.31/846.32	o 297750683781350
846.31/846.32	o 297750520261350
846.31/846.32	o 297750438501350
846.31/846.32	o 297750397621350
846.31/846.32	o 297750377181350
846.31/846.32	o 297750372071350
846.31/846.32	o 297750361851350
846.31/846.32	o 297740644091350
846.31/846.32	o 297738401531350
846.31/846.32	o 297732421371350
846.31/846.32	o 297731673851350
846.31/846.32	o 297729431291350
846.31/846.32	o 297727936251350
846.31/846.32	o 297727562491350
846.31/846.32	o 297727381451350
846.31/846.32	o 297727375611350
846.31/846.32	o 297727282171350
846.31/846.32	o 297631599611350
846.31/846.32	o 297631576251350
846.31/846.32	o 297630828731350
846.31/846.32	o 297630817051350
846.31/846.32	o 297630815591350
846.31/846.32	o 297630812671350
846.31/846.32	o 297630765951350
846.31/846.32	o 297630760111350
846.31/846.32	o 297629265071350
846.31/846.32	o 297628891311350
846.31/846.32	o 297628704431350
846.31/846.32	o 297622724271350
846.31/846.32	o 297619734191350
846.31/846.32	o 297595813551350
846.31/846.32	o 297404448431350
846.31/846.32	o 297404447153850
846.31/846.32	o 297403699633850
846.31/846.32	o 297403698173850
846.31/846.32	o 297403651453850
846.31/846.32	o 297403645613850
846.31/846.32	o 297403622253850
846.31/846.32	o 297403610573850
846.31/846.32	o 297403093149850
846.31/846.32	o 297403028471850
846.31/846.32	o 297300845959250
846.31/846.32	o 297299171514450
846.31/846.32	o 297298865498450
846.31/846.33	o 297298253466450
846.31/846.33	o 297297029402450
846.31/846.33	o 297296876394450
846.31/846.33	o 297296857268450
846.31/846.33	o 297289382068450
846.31/846.33	o 297289352868450
846.31/846.33	o 297289330968450
846.31/846.33	o 297287088408450
846.31/846.33	o 294215088408450
846.31/846.33	o 294215086583450
846.31/846.33	o 293191086583450
846.31/846.33	o 293191085123450
846.31/846.33	o 293116333123450
846.31/846.33	o 293116331298450
846.31/846.33	o 293116329473450
846.31/846.33	o 293108854273450
846.31/846.33	o 293108850623450
846.31/846.33	o 293105113023450
846.31/846.33	o 293105054623450
846.31/846.33	o 293103185823450
846.31/846.33	o 293103071943450
846.31/846.33	o 293103069023450
846.31/846.33	o 293102134623450
846.31/846.33	o 293101670343450
846.31/846.33	o 293101667423450
846.31/846.33	o 293101638223450
846.31/846.33	o 291565641143450
846.31/846.33	o 291565638223450
846.31/846.33	o 291508228687450
846.31/846.33	o 291508226497450
846.31/846.33	o 291485514372450
846.31/846.33	o 285348242052450
846.31/846.33	o 284324242052450
846.31/846.33	o 283419845252450
846.31/846.33	o 282271654532450
846.31/846.33	o 282253714052450
846.31/846.33	o 282225009284450
846.31/846.33	o 282221578080050
846.31/846.33	o 282221576985050
846.31/846.33	o 281934529305050
846.31/846.33	o 238667244191350
846.31/846.33	o 238667233971350
846.31/846.33	o 238667228861350
846.31/846.33	o 238667208421350
846.31/846.33	o 238667199661350
846.31/846.33	o 238667197471350
846.31/846.33	o 238667179951350
846.31/846.33	o 238667179695850
846.31/846.33	o 238667178673850
846.31/846.33	o 238667178162850
846.31/846.33	o 238667178035100
846.31/846.33	o 238667175991100
846.31/846.33	o 238667173947100
846.31/846.33	o 238667171027100
846.31/846.33	o 238667156427100
846.31/846.33	o 238667142878300
846.31/846.33	o 238667142666600
1413.63/1413.63	o 238667141819800
1413.63/1413.63	o 238667125467800
1413.63/1413.63	o 238667121963800
1413.63/1413.63	o 238667114955800
1413.63/1413.63	o 238667108181400
1413.63/1413.63	o 238667104794200
1413.63/1413.63	o 238667103100600
1413.63/1413.63	o 238667102677200
1413.63/1413.63	o 238667100779200
1413.63/1413.63	o 238667073681600
1413.63/1413.63	o 238667050321600
1413.63/1413.63	o 238667022289600
1413.63/1413.63	o 238666910161600
1413.63/1413.63	o 238666629841600
1413.63/1413.63	o 238666181329600
1413.63/1413.63	o 238664387281600
1413.63/1413.63	o 238657659601600
1413.63/1413.63	o 238657285841600
1413.63/1413.63	o 238651305681600
1413.63/1413.63	o 238613032657600
1413.63/1413.63	o 238612955325120
1413.63/1413.63	o 238611460285120
1413.63/1413.63	o 238611366845120
1413.63/1413.63	o 238611179965120
1413.63/1413.63	o 238610432445120
1413.63/1413.63	o 238610058685120
1413.63/1413.63	o 238610011965120
1413.63/1413.63	o 238586091325120
1413.63/1413.63	o 238574131005120
1413.63/1413.63	o 238568150845120
1413.63/1413.63	o 238565160765120
1413.63/1413.63	o 237541160765120
1413.63/1413.63	o 237397636925120
1413.63/1413.63	o 236373636925120
1413.63/1413.63	o 236125562685120
1413.63/1413.63	o 235694991165120
1413.63/1413.63	o 235694923499200
1413.63/1413.63	o 235676983019200
1413.63/1413.63	o 234652983019200
1413.63/1413.63	o 233628983019200
1413.63/1413.63	o 233628928824000
1413.63/1413.63	o 233467464504000
1413.63/1413.63	o 233440553784000
1413.63/1413.63	o 231609314253500
1413.63/1413.63	o 231609307683500
1413.63/1413.63	o 231609306041000
1413.63/1413.63	o 231609302756000
1413.63/1413.63	o 231609250196000
1413.63/1413.63	o 231609223916000
1413.63/1413.63	o 231609210776000
1413.63/1413.63	o 231608369816000
1413.63/1413.63	o 231607949336000
1413.63/1413.63	o 231606267416000
1413.63/1413.63	o 231606057176000
1413.63/1413.63	o 231605952056000
1413.63/1413.63	o 231604217809600
1413.63/1413.63	o 231604109419200
1413.63/1413.63	o 231576361476800
1413.63/1413.63	o 231564401156800
1413.63/1413.63	o 231552440836800
1413.63/1413.63	o 231551573713600
1413.63/1413.63	o 231551356932800
1413.63/1413.63	o 231550923371200
1413.63/1413.63	o 231537049400000
1413.63/1413.63	o 231527481144000
1413.63/1413.63	o 231527294264000
1413.63/1413.63	o 231527200824000
1413.63/1413.63	o 231526827064000
1413.63/1413.63	o 231526079544000
1413.63/1413.63	o 231524584504000
1413.63/1413.63	o 231518604344000
1413.63/1413.63	o 231518603614000
1413.63/1413.63	o 231494682974000
1413.63/1413.63	o 231493187934000
1413.63/1413.63	o 231491991902000
1413.63/1413.63	o 227395991902000
1413.63/1413.63	o 227366091102000
1413.63/1413.63	o 225318091102000
1413.63/1413.63	o 223299991902000
1413.63/1413.63	o 223108626782000
1413.63/1413.63	o 223108580062000
1413.63/1413.63	o 223107085022000
1413.63/1413.63	o 223106991582000
1413.63/1413.63	o 223106244062000
1413.63/1413.63	o 223106057182000
1413.63/1413.63	o 223103067102000
1413.63/1413.63	o 223082136542000
1413.63/1413.63	o 223024727006000
1413.63/1413.63	o 223024670942000
1413.63/1413.63	o 223023773918000
1413.63/1413.63	o 222995069150000
1413.63/1413.63	o 222994844894000
1413.63/1413.63	o 222952983774000
1413.63/1413.63	o 222869261534000
1413.63/1413.63	o 222576233694000
1413.63/1413.63	o 222576223182000
1413.63/1413.63	o 222576221868000
1413.63/1413.63	o 222576221539500
1413.63/1413.63	o 222576200515500
1413.63/1413.63	o 222576199858500
1413.63/1413.63	o 222573508786500
1413.63/1413.63	o 222572163250500
1413.63/1413.63	o 222550634674500
1413.63/1413.63	o 222100730034500
1413.63/1413.63	o 218810478866980
1413.63/1413.63	o 218810461164480
1413.63/1413.63	o 218810452988480
1413.63/1413.63	o 218810441308480
1413.63/1413.63	o 218810439264480
1413.63/1413.63	o 218810408896480
1413.63/1413.63	o 218810392544480
1413.63/1413.63	o 218810386704480
1413.63/1413.63	o 218810354000480
1413.63/1413.63	o 218810338816480
1413.63/1413.63	o 218810331516480
1413.63/1413.63	o 218810327428480
1413.63/1413.63	o 218810324508480
1413.63/1413.63	o 218810312828480
1413.63/1413.63	o 218810289468480
1413.63/1413.63	o 218810282168480
1413.63/1413.63	o 218810281321680
1413.63/1413.63	o 218810254224080
1413.63/1413.63	o 218810252530480
1413.63/1413.63	o 218810245756080
1413.63/1413.63	o 218810244296080
1413.63/1413.63	o 218810243872680
1413.63/1413.63	o 218810243507680
1413.63/1413.63	o 218810229958880
1413.63/1413.63	o 218810226571680
1413.63/1413.63	o 218810220731680
1413.63/1413.63	o 218810162331680
1413.63/1413.63	o 218810045531680
1413.63/1413.63	o 218809811931680
1413.63/1413.63	o 218809344731680
1413.63/1413.63	o 218809273921680
1413.63/1413.63	o 218808990681680
1413.63/1413.63	o 218808849061680
1413.63/1413.63	o 218808282581680
1413.63/1413.63	o 218807348181680
1413.63/1413.63	o 218805479381680
1413.63/1413.63	o 218770794453680
1413.63/1413.63	o 218770607573680
1413.63/1413.63	o 218769860053680
1413.63/1413.63	o 218769486293680
1413.63/1413.63	o 218766496213680
1413.63/1413.63	o 218766449493680
1413.63/1413.63	o 218766356053680
1413.63/1413.63	o 218764861013680
1413.63/1413.63	o 218758880853680
1413.63/1413.63	o 218746920533680
1413.63/1413.63	o 218722999893680
1413.63/1413.63	o 218718664277680
1413.63/1413.63	o 218709993045680
1413.63/1413.63	o 218692052565680
1413.63/1413.63	o 218656171605680
1413.63/1413.63	o 218648337596080
1413.63/1413.63	o 218632669576880
1413.63/1413.63	o 216584669576880
1413.63/1413.63	o 216575605896880
1413.63/1413.63	o 216571074056880
1413.63/1413.63	o 215547074056880
1413.63/1413.63	o 213499074056880
1413.63/1413.63	o 212475074056880
1413.63/1413.63	o 211451074056880
1413.63/1413.63	o 211449339810480
1413.63/1413.63	o 211338348040880
1413.63/1413.63	o 211334879548080
1413.63/1413.63	o 211334012424880
1413.63/1413.63	o 211322052104880
1413.63/1413.63	o 211320557064880
1413.63/1413.63	o 211319809544880
1413.63/1413.63	o 211316819464880
1413.63/1413.63	o 211316632584880
1413.63/1413.63	o 211268791304880
1413.63/1413.63	o 211268788384880
1413.63/1413.63	o 211262808224880
1413.63/1413.63	o 211262434464880
1413.63/1413.63	o 211238513824880
1413.63/1413.63	o 211238467104880
1413.63/1413.63	o 211118863904880
1413.63/1413.63	o 211118817184880
1413.63/1413.63	o 211115505671280
1413.63/1413.63	o 211062521453680
1413.63/1413.63	o 211049275399280
1413.63/1413.63	o 210943306964080
1413.63/1413.63	o 210943281092880
1413.63/1413.63	o 208895281092880
1413.63/1413.63	o 208895279574480
1413.63/1413.63	o 208845524643280
1413.63/1413.63	o 208833085910480
1413.63/1413.63	o 208808208444880
1413.63/1413.63	o 208609188720080
1413.63/1413.63	o 208609164425680
1413.63/1413.63	o 208609161388880
1413.63/1413.63	o 208609112800080
1413.63/1413.63	o 208609100652880
1413.63/1413.63	o 208602881286480
1413.63/1413.63	o 208602492576080
1413.63/1413.63	o 207578492576080
1413.63/1413.63	o 207578491846080
1413.63/1413.63	o 207578431110080
1413.63/1413.63	o 207578407750080
1413.63/1413.63	o 207578286278080
1413.63/1413.63	o 207578274598080
1413.63/1413.63	o 207578031654080
1413.63/1413.63	o 207577545766080
1413.63/1413.63	o 207576573990080
1413.63/1413.63	o 207117297702080
1413.63/1413.63	o 207115055142080
1413.63/1413.63	o 207111429670080
1413.63/1413.63	o 207110523302080
1413.63/1413.63	o 207108710566080
1413.63/1413.63	o 207101459622080
1413.63/1413.63	o 207072455846080
1413.63/1413.63	o 205024455846080
1413.63/1413.63	o 200928455846080
1413.63/1413.63	o 199904455846080
1413.63/1413.63	o 198880455846080
1413.63/1413.63	o 195808455846080
1413.63/1413.63	o 195772201126080
1413.63/1413.63	o 195627182246080
1413.63/1413.63	o 195609054886080
1413.63/1413.63	o 195554672806080
1413.63/1413.63	o 195553853753380
1413.63/1413.63	o 194610935877450
1413.63/1413.63	o 194610935658450
1413.63/1413.63	o 194610935293450
1413.63/1413.63	o>>> Terminate signal received
1800.04/1800.00	 194610934417450
1800.04/1800.00	o 194610932665450
1800.04/1800.00	o 194610931048500
1800.04/1800.00	o 194610930610500
1800.04/1800.00	o 194610928420500
1800.04/1800.00	o 194610924916500
1800.04/1800.00	o 194610924186500
1800.04/1800.00	o 194610922726500
1800.04/1800.00	o 194610922507500
1800.04/1800.00	o 194610918857500
1800.04/1800.00	o 194610915623600
1800.04/1800.00	o 194610911243600
1800.04/1800.00	o 194610909199600
1800.04/1800.00	o 194610907374600
1800.04/1800.00	o 194610906936600
1800.04/1800.00	o 194610906206600
1800.04/1800.00	o 194610905841600
1800.04/1800.00	o 194610905033125
1800.04/1800.00	o 194610900945125
1800.04/1800.00	o 194610900060000
1800.04/1800.00	o 194610887124400
1800.04/1800.00	o 194610883620400
1800.04/1800.00	o 194610880700400
1800.04/1800.00	o 194610873400400
1800.04/1800.00	o 194610871940400
1800.04/1800.00	o 194610871757900
1800.04/1800.00	o 194610871648400
1800.04/1800.00	o 194610865180600
1800.04/1800.00	o 194610864304600
1800.04/1800.00	o 194610863209600
1800.04/1800.00	o 194610861019600
1800.04/1800.00	o 194610856639600
1800.04/1800.00	o 194610847879600
1800.04/1800.00	o 194610834739600
1800.04/1800.00	o 194610834009600
1800.04/1800.00	o 194610833279600
1800.04/1800.00	o 194610833097100
1800.04/1800.00	o 194610830177100
1800.04/1800.00	o 194610824337100
1800.04/1800.00	o 194610823972100
1800.04/1800.00	o 194610812292100
1800.04/1800.00	o 194610810832100
1800.04/1800.00	o 194610810248100
1800.04/1800.00	o 194610751848100
1800.04/1800.00	o 194610635048100
1800.04/1800.00	o 194610401448100
1800.04/1800.00	o 194610400601300
1800.04/1800.00	o 194610398907700
1800.04/1800.00	o 194610395520500
1800.04/1800.00	o 194610388220500
1800.04/1800.00	o 194610373620500
1800.04/1800.00	o 194610346522900
1800.04/1800.00	o 194610238132500
1800.04/1800.00	o 194610216962500
1800.04/1800.00	o 194610187762500
1800.04/1800.00	o 194610129362500
1800.04/1800.00	o 194609895762500
1800.04/1800.00	o 194609778962500
1800.04/1800.00	o 194609767282500
1800.04/1800.00	o 194609761442500
1800.04/1800.00	o 194609758522500
1800.04/1800.00	o 194609757792500
1800.04/1800.00	o 194609756332500
1800.04/1800.00	o 194609709612500
1800.04/1800.00	o 194609686252500
1800.04/1800.00	o 194609592812500
1800.04/1800.00	o 194609405932500
1800.04/1800.00	o 194609219052500
1800.04/1800.00	o 194608845292500
1800.04/1800.00	o 194608097772500
1800.04/1800.00	o 194607649260500
1800.04/1800.00	o 194606752236500
1800.04/1800.00	o 194604958188500
1800.04/1800.00	o 194584027628500
1800.04/1800.00	o 194583803372500
1800.04/1800.00	o 194581355244500
1800.04/1800.00	o 194576458988500
1800.04/1800.00	o 194569282796500
1800.04/1800.00	o 194568348396500
1800.04/1800.00	o 194567881196500
1800.04/1800.00	o 194558910956500
1800.04/1800.00	o 194557042156500
1800.04/1800.00	o 194547249644500
1800.04/1800.00	o 194543512044500
1800.04/1800.00	o 194543509124500
1800.04/1800.00	o 194543497444500
1800.04/1800.00	o 194542749924500
1800.04/1800.00	o 194542748464500
1800.04/1800.00	o 194542374704500
1800.04/1800.00	o 194534899504500
1800.04/1800.00	o 194527424304500
1800.04/1800.00	o 194527419048500
1800.04/1800.00	o 194509479462750
1800.04/1800.00	o 194507610662750
1800.04/1800.00	o 194507581462750
1800.04/1800.00	o 194507579637750
1800.04/1800.00	o 194472593175950
1800.04/1800.00	o 194472578575950
1800.04/1800.00	o 194472571275950
1800.04/1800.00	o 194472567625950
1800.04/1800.00	o 194185519945950
1800.04/1800.00	o 193994154825950
1800.04/1800.00	o 193672870881650
1800.04/1800.00	o 193672870297650
1800.04/1800.00	o 193672867377650
1800.04/1800.00	o 193672866209650
1800.04/1800.00	o 193672863873650
1800.04/1800.00	o 193672863289650
1800.04/1800.00	o 193672860953650
1800.04/1800.00	o 193672859785650
1800.04/1800.00	o 193672859420650
1800.04/1800.00	o 193672857595650
1800.04/1800.00	o 193672856865650
1800.04/1800.00	o 193672856683150
1800.04/1800.00	o 193672837995150
1800.04/1800.00	o 193672832155150
1800.04/1800.00	o 193672826315150
1800.04/1800.00	o 193672821643150
1800.04/1800.00	o 193672812299150
1800.04/1800.00	o 193672793611150
1800.04/1800.00	o 193672756235150
1800.04/1800.00	o 193672681483150
1800.04/1800.00	o 193672680023150
1800.04/1800.00	o 193672678125150
1800.04/1800.00	o 193672677701750
1800.04/1800.00	o 193672673321750
1800.04/1800.00	o 193672671131750
1800.04/1800.00	o 193672662371750
1800.04/1800.00	o 193672627331750
1800.04/1800.00	o 193672609811750
1800.04/1800.00	o 193672539731750
1800.04/1800.00	o 193672504691750
1800.04/1800.00	o 193672484251750
1800.04/1800.00	o 193672474031750
1800.04/1800.00	o 193672468921750
1800.04/1800.00	o 193672467461750
1800.04/1800.00	o 193672464541750
1800.04/1800.00	o 193672389789750
1800.04/1800.00	o 193672352413750
1800.04/1800.00	o 193667568285750
1800.04/1800.00	o 193665475229750
1800.04/1800.00	o 193665458877750
1800.04/1800.00	o 193665393469750
1800.04/1800.00	o 193665360765750
1800.04/1800.00	o 193665229949750
1800.04/1800.00	o 193664968317750
1800.04/1800.00	o 193664445053750
1800.04/1800.00	o 193663398525750
1800.04/1800.00	o 193659212413750
1800.04/1800.00	o 193659154013750
1800.04/1800.00	o 193659149925750
1800.04/1800.00	o 193659109045750
1800.04/1800.00	o 193659027285750
1800.04/1800.00	o 193657015989750
1800.04/1800.00	o 193656922549750
1800.04/1800.00	o 193648550325750
1800.04/1800.00	o 193644214709750
1800.04/1800.00	o 193644027829750
1800.04/1800.00	o 193644026552250
1800.04/1800.00	o 193642718392250
1800.04/1800.00	o 193642064312250
1800.04/1800.00	o 193641737272250
1800.04/1800.00	o 193641573752250
1800.04/1800.00	o 193638957432250
1800.04/1800.00	o 193638875672250
1800.04/1800.00	o 193638834792250
1800.04/1800.00	o 193638814352250
1800.04/1800.00	o 193638804132250
1800.04/1800.00	o 193638799022250
1800.04/1800.00	o 193638796467250
1800.04/1800.00	o 193636983731250
1800.04/1800.00	o 193633358259250
1800.04/1800.00	o 193633117278950
1800.04/1800.00	o 193633114723950
1800.04/1800.00	o 193633113446450
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 -x1997 -x1998 -x1999 -x2000 x2001 x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x2030 x2031 x2032 x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219

Verifier Data 

OK	193633113446450

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-3497048-1307927434/watcher-3497048-1307927434 -o /var/tmp/evaluation-result-3497048-1307927434/solver-3497048-1307927434 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497048-1307927434.opb --verbosity=0 --format=opb --randomseed=2063831183 

running on 4 cores: 0,2,4,6

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.94 2.00 1.94 2/177 18166
/proc/meminfo: memFree=1272316/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=8404 CPUtime=0 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 556 0 0 0 0 0 0 0 25 0 1 0 904343133 8605696 510 33554432000 4194304 6957856 140736177177760 18446744073709551615 4763728 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/18166/statm: 2101 510 236 675 0 1417 0

[startup+0.039459 s]
/proc/loadavg: 1.94 2.00 1.94 2/177 18166
/proc/meminfo: memFree=1272316/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=10656 CPUtime=0.03 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 1251 0 0 0 3 0 0 0 25 0 1 0 904343133 10911744 1121 33554432000 4194304 6957856 140736177177760 18446744073709551615 5314074 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/18166/statm: 2664 1122 266 675 0 1980 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10656

[startup+0.100413 s]
/proc/loadavg: 1.94 2.00 1.94 2/177 18166
/proc/meminfo: memFree=1272316/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=8148 CPUtime=0.09 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 1696 0 0 0 9 0 0 0 25 0 1 0 904343133 8343552 1565 33554432000 4194304 6957856 140736177177760 18446744073709551615 4866406 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/18166/statm: 2037 1565 274 675 0 1353 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8148

[startup+0.300453 s]
/proc/loadavg: 1.94 2.00 1.94 2/177 18166
/proc/meminfo: memFree=1272316/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=8148 CPUtime=0.29 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 1710 0 0 0 29 0 0 0 25 0 1 0 904343133 8343552 1579 33554432000 4194304 6957856 140736177177760 18446744073709551615 4866304 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/18166/statm: 2037 1579 274 675 0 1353 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8148

[startup+0.700309 s]
/proc/loadavg: 1.94 2.00 1.94 2/177 18166
/proc/meminfo: memFree=1272316/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=8300 CPUtime=0.69 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 1733 0 0 0 69 0 0 0 25 0 1 0 904343133 8499200 1602 33554432000 4194304 6957856 140736177177760 18446744073709551615 5314097 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/18166/statm: 2075 1602 283 675 0 1391 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8300

[startup+1.50023 s]
/proc/loadavg: 1.94 2.00 1.94 3/178 18167
/proc/meminfo: memFree=1265760/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=8632 CPUtime=1.49 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 1827 0 0 0 149 0 0 0 25 0 1 0 904343133 8839168 1695 33554432000 4194304 6957856 140736177177760 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/18166/statm: 2158 1695 286 675 0 1474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8632

[startup+3.10094 s]
/proc/loadavg: 1.94 2.00 1.94 3/178 18167
/proc/meminfo: memFree=1263528/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=9308 CPUtime=3.09 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 1943 0 0 0 309 0 0 0 25 0 1 0 904343133 9531392 1811 33554432000 4194304 6957856 140736177177760 18446744073709551615 5312973 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/18166/statm: 2327 1811 286 675 0 1643 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9308

[startup+6.30026 s]
/proc/loadavg: 1.94 2.00 1.94 3/178 18167
/proc/meminfo: memFree=1381336/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=10320 CPUtime=6.29 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 2010 0 0 0 629 0 0 0 25 0 1 0 904343133 10567680 1875 33554432000 4194304 6957856 140736177177760 18446744073709551615 5319312 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/18166/statm: 2580 1875 286 675 0 1896 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10320

[startup+12.7002 s]
/proc/loadavg: 1.95 2.00 1.94 3/178 18167
/proc/meminfo: memFree=1379688/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=11384 CPUtime=12.69 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 2391 0 0 0 1269 0 0 0 25 0 1 0 904343133 11657216 2253 33554432000 4194304 6957856 140736177177760 18446744073709551615 4869991 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/18166/statm: 2846 2253 286 675 0 2162 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11384

[startup+25.5008 s]
/proc/loadavg: 1.96 2.00 1.94 3/178 18168
/proc/meminfo: memFree=1379192/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=12500 CPUtime=25.49 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 2683 0 0 0 2549 0 0 0 25 0 1 0 904343133 12800000 2544 33554432000 4194304 6957856 140736177177760 18446744073709551615 5315417 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/18166/statm: 3125 2544 286 675 0 2441 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12500

[startup+51.1004 s]
/proc/loadavg: 1.97 2.00 1.94 3/178 18168
/proc/meminfo: memFree=1332844/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=16852 CPUtime=51.09 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 3888 0 0 0 5109 0 0 0 25 0 1 0 904343133 17256448 3740 33554432000 4194304 6957856 140736177177760 18446744073709551615 5312935 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/18166/statm: 4213 3740 287 675 0 3529 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16852

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.94 3/178 18209
/proc/meminfo: memFree=655280/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=26772 CPUtime=102.3 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 11783 0 0 0 10228 2 0 0 25 0 1 0 904343133 27414528 6243 33554432000 4194304 6957856 140736177177760 18446744073709551615 5934678 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/18166/statm: 6693 6243 288 675 0 6009 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26772

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/178 18210
/proc/meminfo: memFree=92128/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=45516 CPUtime=162.29 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 14041 0 0 0 16227 2 0 0 25 0 1 0 904343133 46608384 8490 33554432000 4194304 6957856 140736177177760 18446744073709551615 5918166 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 11379 8490 288 675 0 10695 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 45516

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.94 4/178 18212
/proc/meminfo: memFree=97100/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=45516 CPUtime=222.29 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 15820 0 0 0 22227 2 0 0 25 0 1 0 904343133 46608384 10247 33554432000 4194304 6957856 140736177177760 18446744073709551615 5934578 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 11379 10247 288 675 0 10695 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 45516

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.94 4/178 18213
/proc/meminfo: memFree=149312/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=45516 CPUtime=282.29 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 22683 0 0 0 28226 3 0 0 25 0 1 0 904343133 46608384 10247 33554432000 4194304 6957856 140736177177760 18446744073709551615 4869882 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 11379 10247 288 675 0 10695 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 45516

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/178 18215
/proc/meminfo: memFree=128716/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=64372 CPUtime=342.29 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 28119 0 0 0 34225 4 0 0 25 0 1 0 904343133 65916928 15618 33554432000 4194304 6957856 140736177177760 18446744073709551615 5918152 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 16093 15618 288 675 0 15409 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 64372

[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/178 18217
/proc/meminfo: memFree=98736/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=64372 CPUtime=402.3 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 28119 0 0 0 40226 4 0 0 25 0 1 0 904343133 65916928 15618 33554432000 4194304 6957856 140736177177760 18446744073709551615 5918134 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 16093 15618 288 675 0 15409 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 64372

[startup+462.301 s]
/proc/loadavg: 2.05 2.01 1.95 3/178 18218
/proc/meminfo: memFree=137336/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=64372 CPUtime=462.3 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 28119 0 0 0 46226 4 0 0 25 0 1 0 904343133 65916928 15618 33554432000 4194304 6957856 140736177177760 18446744073709551615 5932588 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 16093 15618 288 675 0 15409 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 64372

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 18220
/proc/meminfo: memFree=137460/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=64372 CPUtime=522.3 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 28119 0 0 0 52226 4 0 0 25 0 1 0 904343133 65916928 15618 33554432000 4194304 6957856 140736177177760 18446744073709551615 5918152 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 16093 15618 288 675 0 15409 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 64372

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18221
/proc/meminfo: memFree=136628/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=64372 CPUtime=582.3 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 28119 0 0 0 58226 4 0 0 25 0 1 0 904343133 65916928 15618 33554432000 4194304 6957856 140736177177760 18446744073709551615 5934678 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 16093 15618 288 675 0 15409 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 64372

[startup+642.301 s]

################
# More data... #
################

/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 37379 0 0 0 100224 7 0 0 25 0 1 0 904343133 77758464 16100 33554432000 4194304 6957856 140736177177760 18446744073709551615 5918158 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 18984 16100 288 675 0 18300 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 75936

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 1.95 4/178 18234
/proc/meminfo: memFree=140776/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=75936 CPUtime=1062.32 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 38047 0 0 0 106225 7 0 0 25 0 1 0 904343133 77758464 16766 33554432000 4194304 6957856 140736177177760 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 18984 16766 288 675 0 18300 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 75936

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.95 4/178 18236
/proc/meminfo: memFree=115956/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=64420 CPUtime=1122.32 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 42765 0 0 0 112224 8 0 0 25 0 1 0 904343133 65966080 12080 33554432000 4194304 6957856 140736177177760 18446744073709551615 5929015 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 16105 12080 288 675 0 15421 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 64420

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18237
/proc/meminfo: memFree=110416/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=64420 CPUtime=1182.32 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 45756 0 0 0 118224 8 0 0 25 0 1 0 904343133 65966080 15050 33554432000 4194304 6957856 140736177177760 18446744073709551615 5319472 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 16105 15050 288 675 0 15421 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 64420

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18239
/proc/meminfo: memFree=113648/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=64420 CPUtime=1242.32 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 45955 0 0 0 124224 8 0 0 25 0 1 0 904343133 65966080 15248 33554432000 4194304 6957856 140736177177760 18446744073709551615 5929213 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 16105 15248 288 675 0 15421 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 64420

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18241
/proc/meminfo: memFree=111592/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1302.33 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 51051 0 0 0 130223 10 0 0 25 0 1 0 904343133 85274624 20308 33554432000 4194304 6957856 140736177177760 18446744073709551615 4838331 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20308 288 675 0 20135 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 83276

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18242
/proc/meminfo: memFree=142572/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1362.33 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 51051 0 0 0 136223 10 0 0 25 0 1 0 904343133 85274624 20308 33554432000 4194304 6957856 140736177177760 18446744073709551615 5934660 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20308 288 675 0 20135 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 83276

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18244
/proc/meminfo: memFree=142480/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1422.33 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 51051 0 0 0 142223 10 0 0 25 0 1 0 904343133 85274624 20308 33554432000 4194304 6957856 140736177177760 18446744073709551615 5918155 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20308 288 675 0 20135 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 83276

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 18245
/proc/meminfo: memFree=146428/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1482.33 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 51095 0 0 0 148223 10 0 0 25 0 1 0 904343133 85274624 20352 33554432000 4194304 6957856 140736177177760 18446744073709551615 5934506 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20352 288 675 0 20135 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 83276

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18247
/proc/meminfo: memFree=146536/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1542.32 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 51095 0 0 0 154222 10 0 0 25 0 1 0 904343133 85274624 20352 33554432000 4194304 6957856 140736177177760 18446744073709551615 5313040 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20352 288 675 0 20135 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 83276

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 18249
/proc/meminfo: memFree=110804/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1602.33 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 51095 0 0 0 160223 10 0 0 25 0 1 0 904343133 85274624 20352 33554432000 4194304 6957856 140736177177760 18446744073709551615 5934948 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20352 288 675 0 20135 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 83276

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 18250
/proc/meminfo: memFree=146368/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1662.33 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 51095 0 0 0 166223 10 0 0 25 0 1 0 904343133 85274624 20352 33554432000 4194304 6957856 140736177177760 18446744073709551615 5314225 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20352 288 675 0 20135 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 83276

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18252
/proc/meminfo: memFree=179524/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1722.34 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 68821 0 0 0 172221 13 0 0 25 0 1 0 904343133 85274624 20352 33554432000 4194304 6957856 140736177177760 18446744073709551615 5312912 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20352 288 675 0 20135 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 83276

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18253
/proc/meminfo: memFree=141756/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1782.34 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 93187 0 0 0 178219 15 0 0 25 0 1 0 904343133 85274624 20352 33554432000 4194304 6957856 140736177177760 18446744073709551615 5312963 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20352 288 675 0 20135 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 83276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18254
/proc/meminfo: memFree=179304/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1800.04 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) R 18164 18166 17198 0 -1 4202496 101904 0 0 0 179988 16 0 0 25 0 1 0 904343133 85274624 20352 33554432000 4194304 6957856 140736177177760 18446744073709551615 5312987 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20352 288 675 0 20135 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 83276

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -18166

Solver just ended. Dumping a history of the last processes samples

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.96 2/179 18255
/proc/meminfo: memFree=179296/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1800.04 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) S 18164 18166 17198 0 -1 4202496 101905 0 0 0 179988 16 0 0 25 0 1 0 904343133 85274624 20353 33554432000 4194304 6957856 140736177177760 18446744073709551615 6100974 0 16384 4096 17571 18446604441746428288 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20353 289 675 0 20135 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 83276

[startup+1801.81 s]
/proc/loadavg: 1.92 1.98 1.95 2/179 18255
/proc/meminfo: memFree=179420/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1800.04 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) S 18164 18166 17198 0 -1 4202496 101905 0 0 0 179988 16 0 0 25 0 1 0 904343133 85274624 20353 33554432000 4194304 6957856 140736177177760 18446744073709551615 6100974 0 16384 4096 17571 18446604441746428288 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20353 289 675 0 20135 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 83276

[startup+1802 s]
/proc/loadavg: 1.92 1.98 1.95 2/179 18255
/proc/meminfo: memFree=179420/32950904 swapFree=67055440/67111528
[pid=18166] ppid=18164 vsize=83276 CPUtime=1800.04 cores=0,2,4,6
/proc/18166/stat : 18166 (minisatid-gmp) S 18164 18166 17198 0 -1 4202496 101905 0 0 0 179988 16 0 0 25 0 1 0 904343133 85274624 20353 33554432000 4194304 6957856 140736177177760 18446744073709551615 6100974 0 16384 4096 17571 18446604441746428288 0 0 17 0 0 0 0
/proc/18166/statm: 20819 20353 289 675 0 20135 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 83276

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.01
CPU time (s): 1800.05
CPU user time (s): 1799.88
CPU system time (s): 0.172973
CPU usage (%): 99.8914
Max. virtual memory (cumulated for all children) (KiB): 132596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101905
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3393

runsolver used 2.70259 second user time and 5.50116 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-13 03:10:34
IDJOB=3497048
IDBENCH=2483
IDSOLVER=1990
FILE ID=node121/3497048-1307927434
RUNJOBID= node121-1307919796-17216
PBS_JOBID= 13559658
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-bell3a.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497048-1307927434/watcher-3497048-1307927434 -o /var/tmp/evaluation-result-3497048-1307927434/solver-3497048-1307927434 -C 1800 -W 1900 -M 15500  HOME/minisatid-gmp HOME/instance-3497048-1307927434.opb --verbosity=0 --format=opb --randomseed=2063831183

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= efa7fb1a840e9d48ac9b28aadc8f53ba
RANDOM SEED=2063831183

node121.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.817
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.63
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.817
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.817
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.84
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.817
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.77
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.817
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.82
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.817
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.74
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.817
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.75
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.817
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:     32950904 kB
MemFree:       1272504 kB
Buffers:         79180 kB
Cached:       30318784 kB
SwapCached:       9696 kB
Active:       15461616 kB
Inactive:     15268768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:       1272504 kB
SwapTotal:    67111528 kB
SwapFree:     67055440 kB
Dirty:            3400 kB
Writeback:          64 kB
AnonPages:      330404 kB
Mapped:          13968 kB
Slab:           883176 kB
PageTables:       5232 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   536668 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= 2632 MiB
End job on node121 at 2011-06-13 03:40:36