Trace number 3497047

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)1011153858800445 1800.07 1800.01

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell5.opb
MD5SUMda0fa1480f123e186307c547a0028656
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark938830260671609
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 1037979231691996
Optimality of the best value was proved NO
Number of variables1704
Total number of constraints118
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints103
Minimum length of a constraint2
Maximum length of a constraint135
Number of terms in the objective function 1268
Biggest coefficient in the objective function 50331648000000000
Number of bits for the biggest coefficient in the objective function 56
Sum of the numbers in the objective function 888722133694353611
Number of bits of the sum of numbers in the objective function 60
Biggest number in a constraint 50331648000000000
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 888722133694353611
Number of bits of the biggest sum of numbers60
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.
34.89/34.99	o 3373049031401472
34.89/34.99	o 3169563531108212
34.89/34.99	o 3169532852887412
34.89/34.99	o 3169471496445812
34.89/34.99	o 3168447496445812
34.89/34.99	o 3166399496445812
34.89/34.99	o 3162303496445812
34.89/34.99	o 3161279496445812
34.89/34.99	o 3153087496445812
34.89/34.99	o 3136703496445812
34.89/34.99	o 3134655496445812
34.89/34.99	o 3101887496445812
34.89/34.99	o 3036351496445812
34.89/34.99	o 3032255496445812
34.89/34.99	o 2901183496445812
34.89/34.99	o 2900159496445812
34.89/34.99	o 2898111496445812
34.89/34.99	o 2894015496445812
34.89/34.99	o 2885823496445812
34.89/34.99	o 2872511496445812
34.89/34.99	o 2872404561616756
34.89/34.99	o 2871376930922356
34.89/34.99	o 2870863115575156
34.89/34.99	o 2870606207901556
34.89/34.99	o 2870477754064756
34.89/34.99	o 2608333754064756
34.89/34.99	o 2606278492675956
34.89/34.99	o 2605254492675956
34.89/34.99	o 2603206492675956
34.89/34.99	o 2603070192869236
34.89/34.99	o 2601979794415476
34.89/34.99	o 2601979791383786
34.89/34.99	o 2601979779257026
34.89/34.99	o 2601979773193646
34.89/34.99	o 2601979724686606
34.89/34.99	o 2601976620236046
34.89/34.99	o 2601975068010766
34.89/34.99	o 2601974291898126
34.89/34.99	o 2601973903841806
34.89/34.99	o 2601973709813646
34.89/34.99	o 2601973612799566
34.89/34.99	o 2601973588546046
34.89/34.99	o 2601973588358801
34.89/34.99	o 2601973587984311
34.89/34.99	o 2601973585429311
34.89/34.99	o 2601973575209311
34.89/34.99	o 2601889852969311
34.89/34.99	o 2601722408489311
34.89/34.99	o 2601722388049311
34.89/34.99	o 2601722347169311
34.89/34.99	o 2601722346913811
34.89/34.99	o 2601722346402811
34.89/34.99	o 2601722345672811
34.89/34.99	o 2601722339832811
34.89/34.99	o 2601722338372811
34.89/34.99	o 2601722338190311
34.89/34.99	o 2601078394561511
34.89/34.99	o 2600054394561511
34.89/34.99	o 2599893408654311
34.89/34.99	o 2599732422747111
34.89/34.99	o 2597671803134951
34.89/34.99	o 2591489944298471
34.89/34.99	o 2591474605188071
34.89/34.99	o 2331124789724798
34.89/34.99	o 2331124779672698
34.89/34.99	o 2331124771496698
34.89/34.99	o 2331124751392498
34.89/34.99	o 2331122178054898
34.89/34.99	o 2200050178054898
34.89/34.99	o 2195646978054898
34.89/34.99	o 2193071203539698
34.89/34.99	o 2187919654509298
34.89/34.99	o 2187839161555698
34.89/34.99	o 2092774391706998
34.89/34.99	o 2092774386680948
34.89/34.99	o 2092774382760848
34.89/34.99	o 2092766354396048
34.89/34.99	o 2092750297666448
34.89/34.99	o 2092750281986048
34.89/34.99	o 2092750274145848
34.89/34.99	o 2092453122387512
34.89/34.99	o 2091470110432519
34.89/34.99	o 2091470106140119
34.89/34.99	o 2091470088970519
34.89/34.99	o 2091469814256919
34.89/34.99	o 2091469802921479
34.89/34.99	o 2091469757579719
34.89/34.99	o 2091469751911999
34.89/34.99	o 2091469661228479
34.89/34.99	o 2091464514553279
34.89/34.99	o 2090440514553279
34.89/34.99	o 2089416514553279
34.89/34.99	o 2073032514553279
34.89/34.99	o 2071978475472319
34.89/34.99	o 2067882475472319
34.89/34.99	o 2067355455931839
34.89/34.99	o 2061313855931839
34.89/34.99	o 2028934350210672
34.89/34.99	o 2028934315871472
34.89/34.99	o 2028934308031272
34.89/34.99	o 2028934304111172
34.89/34.99	o 2028934303923927
34.89/34.99	o 2028934122556887
34.89/34.99	o 2028934031873367
34.89/34.99	o 2028934031727367
34.89/34.99	o 2028934031435367
34.89/34.99	o 2028934031362367
34.89/34.99	o 2028934030778367
34.89/34.99	o 2028934028442367
34.89/34.99	o 2028934019098367
34.89/34.99	o 2028934000410367
34.89/34.99	o 2028933995738367
34.89/34.99	o 2028933994570367
34.89/34.99	o 2028933840861567
34.89/34.99	o 2028933837598175
34.89/34.99	o 2028933821876895
34.89/34.99	o 2028933802663295
34.89/34.99	o 2028933790118975
34.89/34.99	o 2028933559602495
34.89/34.99	o 2028933559548840
34.89/34.99	o 2028933252131240
34.89/34.99	o 2028933220688680
34.89/34.99	o 2028933216758360
34.89/34.99	o 2028933216651050
34.89/34.99	o 2028933161708330
34.89/34.99	o 2028933111531050
34.89/34.99	o 2028933034676650
34.89/34.99	o 2028933034284640
34.89/34.99	o 2028933032567680
34.89/34.99	o 2028933030557260
34.89/34.99	o 2028932967672140
34.89/34.99	o 2028932965117140
34.89/34.99	o 2028932937645780
34.89/34.99	o 2028932937216540
34.89/34.99	o 2028932935648500
34.89/34.99	o 2028932809878260
34.89/34.99	o 2028932806742180
34.89/34.99	o 2028932805883700
34.89/34.99	o 2028932780795060
34.89/34.99	o 2028932773927220
34.89/34.99	o 2028932673572660
34.89/34.99	o 2028932669551820
34.89/34.99	o 2028932661691180
34.89/34.99	o 2028932659234730
34.89/34.99	o 2028932649627930
34.89/34.99	o 2028932644824530
34.89/34.99	o 2028932643690986
34.89/34.99	o 2028932629955306
34.89/34.99	o 2028932591528106
34.89/34.99	o 2028932371757226
34.89/34.99	o 2028932370973206
34.89/34.99	o 2028932364701046
34.89/34.99	o 2028932163991926
34.89/34.99	o 2028932160558006
34.89/34.99	o 2028932160343386
34.89/34.99	o 2028932159776614
34.89/34.99	o 2028931950919526
34.89/34.99	o 2028931944392742
34.89/34.99	o 2028931931339174
34.89/34.99	o 2028931826910630
34.89/34.99	o 2028931774696358
34.89/34.99	o 2028931748589222
34.89/34.99	o 2028931497048742
34.89/34.99	o 2028930993967782
34.89/34.99	o 2028929736265382
34.89/34.99	o 2028927220860582
34.89/34.99	o 2028922190050982
34.89/34.99	o 2028918165403302
34.89/34.99	o 2028917159241382
34.89/34.99	o 2028915146917542
34.89/34.99	o 2028657569466022
34.89/34.99	o 2028657054798502
34.89/34.99	o 2028657022631782
34.89/34.99	o 2022513022631782
34.89/34.99	o 2022508905291622
34.89/34.99	o 2021484905291622
34.89/34.99	o 2021466333306726
34.89/34.99	o 2021353810616166
34.89/34.99	o 2020917142219346
34.89/34.99	o 2019893142219346
34.89/34.99	o 2019892852032082
34.89/34.99	o 2019892787698642
34.89/34.99	o 2019884553018322
34.89/34.99	o 2011692553018322
34.89/34.99	o 2003500553018322
34.89/34.99	o 2003467614297042
34.89/34.99	o 2002413575216082
34.89/34.99	o 1986029575216082
34.89/34.99	o 1985005575216082
34.89/34.99	o 1985004994841554
34.89/34.99	o 1982956994841554
34.89/34.99	o 1980908994841554
34.89/34.99	o 1980908737507794
34.89/34.99	o 1976812737507794
34.89/34.99	o 1976812721424434
34.89/34.99	o 1976549211654194
34.89/34.99	o 1976549203612514
34.89/34.99	o 1972453203612514
34.89/34.99	o 1972453058518882
34.89/34.99	o 1972321303633762
34.89/34.99	o 1970273303633762
34.89/34.99	o 1958394903633762
34.89/34.99	o 1958384842014562
34.89/34.99	o 1892971554897762
34.89/34.99	o 1860203554897762
34.89/34.99	o 1843819554897762
34.89/34.99	o 1835627554897762
34.89/34.99	o 1831531554897762
34.89/34.99	o 1829483554897762
34.89/34.99	o 1829434469744482
34.89/34.99	o 1829167132671842
34.89/34.99	o 1829158778388322
34.89/34.99	o 1828624104243042
34.89/34.99	o 1828607395676002
34.89/34.99	o 1826563581788002
34.89/34.99	o 1826563507036002
107.59/107.64	o 1826563469660002
107.59/107.64	o 1826563466740002
107.59/107.64	o 1826563460900002
107.59/107.64	o 1826563460170002
107.59/107.64	o 1826563273290002
107.59/107.64	o 1826563249930002
107.59/107.64	o 1826562928262802
107.59/107.64	o 1826562927897802
107.59/107.64	o 1826562881177802
107.59/107.64	o 1826562869497802
107.59/107.64	o 1826562776057802
107.59/107.64	o 1826562774597802
107.59/107.64	o 1826562754493602
107.59/107.64	o 1824514754493602
107.59/107.64	o 1824514754457102
107.59/107.64	o 1824514730489742
107.59/107.64	o 1824514682555022
107.59/107.64	o 1824514490816142
107.59/107.64	o 1824514478832462
107.59/107.64	o 1824514475836542
107.59/107.64	o 1824514469844702
107.59/107.64	o 1824514373975262
107.59/107.64	o 1824513990497502
107.59/107.64	o 1824513989748522
107.59/107.64	o 1824513989374032
107.59/107.64	o 1824513987876072
107.59/107.64	o 1824501716587752
107.59/107.64	o 1820405716587752
107.59/107.64	o 1820382501606632
107.59/107.64	o 1820275566777576
107.59/107.64	o 1820061697119464
107.59/107.64	o 1820008229704936
107.59/107.64	o 1819580490388712
107.59/107.64	o 1818556490388712
107.59/107.64	o 1818556359572712
107.59/107.64	o 1818556355484712
107.59/107.64	o 1818556339132712
107.59/107.64	o 1818555292604712
107.59/107.64	o 1818555259900712
107.59/107.64	o 1818552643580712
107.59/107.64	o 1818550027260712
107.59/107.64	o 1818549765628712
107.59/107.64	o 1818549757452712
107.59/107.64	o 1818549692044712
107.59/107.64	o 1810357692044712
107.59/107.64	o 1806261692044712
107.59/107.64	o 1805237692044712
107.59/107.64	o 1478792623619562
107.59/107.64	o 1478792592877802
107.59/107.64	o 1478792590956442
107.59/107.64	o 1478792583271002
107.59/107.64	o 1478792521787482
107.59/107.64	o 1478792506416602
107.59/107.64	o 1478792505936262
107.59/107.64	o 1478792504975582
107.59/107.64	o 1478792503762906
107.59/107.64	o 1478792501337554
107.59/107.64	o 1478792481934738
107.59/107.64	o 1478792477084034
107.59/107.64	o 1478792438278402
107.59/107.64	o 1478792428576994
107.59/107.64	o 1478792427970656
107.59/107.64	o 1478791913303136
107.59/107.64	o 1478791831543136
107.59/107.64	o 1478791829188448
107.59/107.64	o 1478791733506253
107.59/107.64	o 1477532551016653
107.59/107.64	o 1477217755394253
107.59/107.64	o 1476193755394253
107.59/107.64	o 1474145755394253
107.59/107.64	o 1470049755394253
107.59/107.64	o 1468278514708685
107.59/107.64	o 1467661247377613
107.59/107.64	o 1465646555394253
107.59/107.64	o 1465249185722573
107.59/107.64	o 1464686572269773
107.59/107.64	o 1464563500576973
107.59/107.64	o 1464559105159373
107.59/107.64	o 1431808686293223
107.59/107.64	o 1431806488584423
107.59/107.64	o 1431805939157223
107.59/107.64	o 1431804840302823
107.59/107.64	o 1431804565589223
107.59/107.64	o 1431804531250023
107.59/107.64	o 1431804393893223
107.59/107.64	o 1431804325214823
107.59/107.64	o 1431804323068623
107.59/107.64	o 1431804318776223
107.59/107.64	o 1431804310191423
107.59/107.64	o 1431804293021823
107.59/107.64	o 1431804291948723
107.59/107.64	o 1431804291412173
107.59/107.64	o 1430780291412173
107.59/107.64	o 1426684291412173
107.59/107.64	o 1426684171575373
107.59/107.64	o 1426684111656973
107.59/107.64	o 1426684107912073
107.59/107.64	o 1426684077952873
107.59/107.64	o 1426684070463073
107.59/107.64	o 1426684068590623
107.59/107.64	o 1426682151201823
107.59/107.64	o 1426674481646623
107.59/107.64	o 1426670646869023
107.59/107.64	o 1426655307758623
107.59/107.64	o 1426654828411423
107.59/107.64	o 1426654588737823
107.59/107.64	o 1426604917528863
107.59/107.64	o 1426580081924383
107.59/107.64	o 1424581750101653
107.59/107.64	o 1424581362045333
107.59/107.64	o 1424580585932693
107.59/107.64	o 1424580391904533
107.59/107.64	o 1424580294890453
107.59/107.64	o 1424580246383413
107.59/107.64	o 1424580222129893
107.59/107.64	o 1424580210003133
107.59/107.64	o 1424580203939753
107.59/107.64	o 1424580200908063
107.59/107.64	o 1424577096457503
107.59/107.64	o 1424564678655263
107.59/107.64	o 1424558469754143
107.59/107.64	o 1424556917528863
107.59/107.64	o 1420460917528863
107.59/107.64	o 1419437949879533
107.59/107.64	o 1417389949879533
107.59/107.64	o 1417253580621545
107.59/107.64	o 1417253528407273
107.59/107.64	o 1417251044846825
107.59/107.64	o 1417250835989737
107.59/107.64	o 1417249606319337
107.59/107.64	o 1417242108693737
107.59/107.64	o 1417218893712617
107.59/107.64	o 1417218891702197
107.59/107.64	o 1417200319717301
107.59/107.64	o 1417200306663733
107.59/107.64	o 1417197985165621
107.59/107.64	o 1417192181420341
107.59/107.64	o 1417187538424117
107.59/107.64	o 1417185986198837
107.59/107.64	o 1417183084326197
107.59/107.64	o 1417182892587317
107.59/107.64	o 1417182866480181
107.59/107.64	o 1417182483002421
107.59/107.64	o 1417178734189621
107.59/107.64	o 1417178730528671
107.59/107.64	o 1417177963573151
107.59/107.64	o 1417177545858975
107.59/107.64	o 1417177545671730
107.59/107.64	o 1417177441243186
107.59/107.64	o 1417176665130546
107.59/107.64	o 1417176664948046
107.59/107.64	o 1417176659108046
107.59/107.64	o 1417176472228046
107.59/107.64	o 1417176425508046
107.59/107.64	o 1417176332068046
107.59/107.64	o 1417176331703046
107.59/107.64	o 1417176330243046
107.59/107.64	o 1417175582723046
107.59/107.64	o 1417175571043046
107.59/107.64	o 1417175568123046
107.59/107.64	o 1417175194363046
107.59/107.64	o 1417169961723046
107.59/107.64	o 1417159496443046
107.59/107.64	o 1417145449047206
107.59/107.64	o 1417142458967206
107.59/107.64	o 1417142378550406
107.59/107.64	o 1417140221955206
107.59/107.64	o 1417137231875206
107.59/107.64	o 1417135697964166
107.59/107.64	o 1417135296545926
107.59/107.64	o 1417135286493826
107.59/107.64	o 1417115122702101
107.59/107.64	o 1417073261582101
107.59/107.64	o 1417048719005461
107.59/107.64	o 1417040200267541
107.59/107.64	o 1417037626929941
107.59/107.64	o 1417036340261141
107.59/107.64	o 1417035696926741
107.59/107.64	o 1417035375259541
107.59/107.64	o 1417035335051141
107.59/107.64	o 1417035174217541
107.59/107.64	o 1417035154113341
107.59/107.64	o 1416011154113341
107.59/107.64	o 1414987154113341
107.59/107.64	o 1412939154113341
107.59/107.64	o 1405145018603339
107.59/107.64	o 1405145018243157
107.59/107.64	o 1405145012480245
107.59/107.64	o 1405144997500645
107.59/107.64	o 1405144981417285
107.59/107.64	o 1405144969891461
107.59/107.64	o 1405144968174501
107.59/107.64	o 1405144967671896
107.59/107.64	o 1405144966666686
107.59/107.64	o 1405144963785230
107.59/107.64	o 1405144959764390
107.59/107.64	o 1405144957753970
107.59/107.64	o 1405144949577970
107.59/107.64	o 1405144948857606
107.59/107.64	o 1405144940815926
107.59/107.64	o 1405144939375198
107.59/107.64	o 1405144916704318
107.59/107.64	o 1405144905368878
107.59/107.64	o 1405144899377038
107.59/107.64	o 1405144896381118
107.59/107.64	o 1405144884397438
107.59/107.64	o 1405144844189038
107.59/107.64	o 1405144650160878
107.59/107.64	o 1405144262104558
107.59/107.64	o 1405143987390958
107.59/107.64	o 1405143890376878
107.59/107.64	o 1405143841869838
107.59/107.64	o 1405143094349838
107.59/107.64	o 1405137193127950
107.59/107.64	o 1405134242517006
107.59/107.64	o 1405133000736782
196.70/196.77	o 1405124481998862
196.70/196.77	o 1405107444523022
196.70/196.77	o 1405102477402126
196.70/196.77	o 1405101235621902
196.70/196.77	o 1405076693045262
196.70/196.77	o 1405064890601486
196.70/196.77	o 1405041285713934
196.70/196.77	o 1402993285713934
196.70/196.77	o 1401969285713934
196.70/196.77	o 1397873285713934
196.70/196.77	o 1393777285713934
196.70/196.77	o 1393706959032334
196.70/196.77	o 1385514959032334
196.70/196.77	o 1383466959032334
196.70/196.77	o 1381418959032334
196.70/196.77	o 1379370959032334
196.70/196.77	o 1375274959032334
196.70/196.77	o 1374015776542734
196.70/196.77	o 1373917606236174
196.70/196.77	o 1372114236940302
196.70/196.77	o 1370069227020302
196.70/196.77	o 1370066236940302
196.70/196.77	o 1369042236940302
196.70/196.77	o 1366997227020302
196.70/196.77	o 1366994236940302
196.70/196.77	o 1358802236940302
196.70/196.77	o 1347450233561102
196.70/196.77	o 1347447243481102
196.70/196.77	o 1343351243481102
196.70/196.77	o 1335159243481102
196.70/196.77	o 1334970404380686
196.70/196.77	o 1334045746798606
196.70/196.77	o 1334042642348046
196.70/196.77	o 1334030224545806
196.70/196.77	o 1333996735649806
196.70/196.77	o 1333979991201806
196.70/196.77	o 1333645102241806
196.70/196.77	o 1333561380001806
196.70/196.77	o 1333477657761806
196.70/196.77	o 1327436057761806
196.70/196.77	o 1261900057761806
196.70/196.77	o 1253708057761806
196.70/196.77	o 1253567404398606
196.70/196.77	o 1253565206689806
196.70/196.77	o 1253564657262606
196.70/196.77	o 1253563558408206
196.70/196.77	o 1253559162990606
196.70/196.77	o 1253541581320206
196.70/196.77	o 1253532790485006
196.70/196.77	o 1253497627144206
196.70/196.77	o 1204307833135530
196.70/196.77	o 1204302029390250
196.70/196.77	o 1204290421899690
196.70/196.77	o 1204251615922500
196.70/196.77	o 1204251615138480
196.70/196.77	o 1204251605086380
196.70/196.77	o 1204251600060330
196.70/196.77	o 1204251592374890
196.70/196.77	o 1204251591197546
196.70/196.77	o 1204251589137194
196.70/196.77	o 1204251587215834
196.70/196.77	o 1204251583853454
196.70/196.77	o 1204251576013254
196.70/196.77	o 1204251575521964
196.70/196.77	o 1204251572490274
196.70/196.77	o 1204251566426894
196.70/196.77	o 1204251563871894
196.70/196.77	o 1204251551745134
196.70/196.77	o 1204251551562634
196.70/196.77	o 1204251549106184
196.70/196.77	o 1204251544193284
196.70/196.77	o 1204251540532334
196.70/196.77	o 1204251533210434
196.70/196.77	o 1204251503922834
196.70/196.77	o 1204251489279034
196.70/196.77	o 1204251372128634
196.70/196.77	o 1204251313553434
196.70/196.77	o 1204243815927834
196.70/196.77	o 1204241941521434
196.70/196.77	o 1204241472919834
196.70/196.77	o 1204241238619034
196.70/196.77	o 1204240301415834
196.70/196.77	o 1204236552603034
196.70/196.77	o 1204221557351834
196.70/196.77	o 1203965758345114
196.70/196.77	o 1203964955508634
196.70/196.77	o 1203964120080282
196.70/196.77	o 1203964113553498
196.70/196.77	o 1203963867619418
196.70/196.77	o 1203963852248538
196.70/196.77	o 1203963821506778
196.70/196.77	o 1203963760023258
196.70/196.77	o 1203963637056218
196.70/196.77	o 1203963582113498
196.70/196.77	o 1203963581633158
196.70/196.77	o 1203962597896838
196.70/196.77	o 1203962106028678
196.70/196.77	o 1203961666486918
196.70/196.77	o 1203961665504338
196.70/196.77	o 1203961634061778
196.70/196.77	o 1203961624643026
196.70/196.77	o 1203961607473426
196.70/196.77	o 1203961510459346
196.70/196.77	o 1203961486205826
196.70/196.77	o 1203961098149506
196.70/196.77	o 1203961049642466
196.70/196.77	o 1203961037515706
196.70/196.77	o 1203960843487546
196.70/196.77	o 1203960067374906
196.70/196.77	o 1203954039373626
196.70/196.77	o 1203715522058586
196.70/196.77	o 1203625550551386
196.70/196.77	o 1203625526297866
196.70/196.77	o 1203618149770506
196.70/196.77	o 1203618143077866
196.70/196.77	o 1203618128098266
196.70/196.77	o 1203617625017306
196.70/196.77	o 1203617617527506
196.70/196.77	o 1203617615655056
196.70/196.77	o 1203612793254032
196.70/196.77	o 1203604923363472
196.70/196.77	o 1203595086000272
196.70/196.77	o 1203469167751312
196.70/196.77	o 1202965494755472
196.70/196.77	o 1202451679408272
196.70/196.77	o 1202442034606224
196.70/196.77	o 1202190198108304
196.70/196.77	o 1200142198108304
196.70/196.77	o 1196046198108304
196.70/196.77	o 1195635145830544
196.70/196.77	o 1189695945830544
196.70/196.77	o 1189632986706064
196.70/196.77	o 1188810882150544
196.70/196.77	o 1182769282150544
196.70/196.77	o 1182737802588304
196.70/196.77	o 1182722062807184
196.70/196.77	o 1181698062807184
196.70/196.77	o 1181549486928016
196.70/196.77	o 1168558690694053
196.70/196.77	o 1168558663222693
196.70/196.77	o 1168558649487013
196.70/196.77	o 1168558647770053
196.70/196.77	o 1168558644336133
196.70/196.77	o 1168558637468293
196.70/196.77	o 1168557142428293
196.70/196.77	o 1168555647388293
196.70/196.77	o 1168541928901253
196.70/196.77	o 1168538938821253
196.70/196.77	o 1168533574617733
196.70/196.77	o 1168530584537733
196.70/196.77	o 1168484061621381
196.70/196.77	o 1168483055459461
196.70/196.77	o 1168479030811781
196.70/196.77	o 1168446833630341
196.70/196.77	o 1167422833630341
196.70/196.77	o 1166398833630341
196.70/196.77	o 1165374833630341
196.70/196.77	o 1165370716290181
196.70/196.77	o 1165362481609861
196.70/196.77	o 1165346012249221
196.70/196.77	o 1165188614438021
196.70/196.77	o 1165149264985221
196.70/196.77	o 1165070566079621
196.70/196.77	o 1165054467488901
196.70/196.77	o 1165052455165061
196.70/196.77	o 1165044405869701
196.70/196.77	o 1162996405869701
196.70/196.77	o 1162930528427141
196.70/196.77	o 1162798773542021
196.70/196.77	o 1162765834820741
196.70/196.77	o 1162637046094981
196.70/196.77	o 1161613046094981
196.70/196.77	o 1161548651732101
196.70/196.77	o 1159501453889681
196.70/196.77	o 1143117453889681
196.70/196.77	o 1137075853889681
196.70/196.77	o 1132672653889681
196.70/196.77	o 1132672459861521
196.70/196.77	o 1132622788652561
196.70/196.77	o 1132622400596241
196.70/196.77	o 1132621624483601
196.70/196.77	o 1132621600230081
196.70/196.77	o 1132620048004801
196.70/196.77	o 1124428048004801
196.70/196.77	o 1122380048004801
196.70/196.77	o 1117749454301842
196.70/196.77	o 1117748851501714
196.70/196.77	o 1117748550101650
196.70/196.77	o 1117747344501394
196.70/196.77	o 1117747135644306
196.70/196.77	o 1117744145564306
196.70/196.77	o 1117744129480946
196.70/196.77	o 1117744125460106
196.70/196.77	o 1117744123449686
196.70/196.77	o 1117744115408006
196.70/196.77	o 1117743858074246
196.70/196.77	o 1117743829259686
196.70/196.77	o 1117743368226726
196.70/196.77	o 1117743310597606
196.70/196.77	o 1117743296190326
196.70/196.77	o 1117743288986686
196.70/196.77	o 1117742453558334
196.70/196.77	o 1117742450614974
196.70/196.77	o 1117741712962238
196.70/196.77	o 1117738441835304
196.70/196.77	o 1117738426154904
196.70/196.77	o 1117736419063704
196.70/196.77	o 1117736168177304
196.70/196.77	o 1117735666404504
196.70/196.77	o 1117734662858904
196.70/196.77	o 1117734631498104
196.70/196.77	o 1117734568776504
196.70/196.77	o 1117734443333304
196.70/196.77	o 1117733413998264
196.70/196.77	o 1117731355328184
511.41/511.42	o 1117727237988024
511.41/511.42	o 1117727233184624
511.41/511.42	o 1117727223577824
511.41/511.42	o 1117725993907424
511.41/511.42	o 1117725686489824
511.41/511.42	o 1117725071654624
511.41/511.42	o 1117724994800224
511.41/511.42	o 1117724841091424
511.41/511.42	o 1117724802664224
511.41/511.42	o 1117722343323424
511.41/511.42	o 1117717424641824
511.41/511.42	o 1117717049760544
511.41/511.42	o 1117716299997984
511.41/511.42	o 1117713088652064
511.41/511.42	o 1117712901211424
511.41/511.42	o 1117706903110944
511.41/511.42	o 1117706809390624
511.41/511.42	o 1117705309865504
511.41/511.42	o 1117704265580064
511.41/511.42	o 1117703221294624
511.41/511.42	o 1117694986614304
511.41/511.42	o 1117694406239776
511.41/511.42	o 1117694116052512
511.41/511.42	o 1117691794554400
511.41/511.42	o 1117687151558176
511.41/511.42	o 1117677865565728
511.41/511.42	o 1117657742327328
511.41/511.42	o 1117617495850528
511.41/511.42	o 1117614391399968
511.41/511.42	o 1117608182498848
511.41/511.42	o 1117595764696608
511.41/511.42	o 1117571652691488
511.41/511.42	o 1117570927223328
511.41/511.42	o 1116546927223328
511.41/511.42	o 1116540899222048
511.41/511.42	o 1116528843219488
511.41/511.42	o 1111948273674784
511.41/511.42	o 1111947644823584
511.41/511.42	o 1111947330397984
511.41/511.42	o 1111947173185184
511.41/511.42	o 1111947094578784
511.41/511.42	o 1111947055275584
511.41/511.42	o 1111947040536884
511.41/511.42	o 1111947038080434
511.41/511.42	o 1111154811685424
511.41/511.42	o 1111153553983024
511.41/511.42	o 1109137663522124
511.41/511.42	o 1109136659976524
511.41/511.42	o 1109131755451084
511.41/511.42	o 1108521386877832
511.41/511.42	o 1108521386517650
511.41/511.42	o 1108521385797286
511.41/511.42	o 1108521385651286
511.41/511.42	o 1108521384517742
511.41/511.42	o 1108521381962742
511.41/511.42	o 1108521378301792
511.41/511.42	o 1108521373191792
511.41/511.42	o 1108521372897456
511.41/511.42	o 1108521372165266
511.41/511.42	o 1108521371799171
511.41/511.42	o 1108521371210499
511.41/511.42	o 1108521368267139
511.41/511.42	o 1108521366802759
511.41/511.42	o 1108521365625415
511.41/511.42	o 1108521363270727
511.41/511.42	o 1108521353851975
511.41/511.42	o 1108521349142599
511.41/511.42	o 1108521330305095
511.41/511.42	o 1108521325770919
511.41/511.42	o 1108521323503831
511.41/511.42	o 1108521286127831
511.41/511.42	o 1108521267439831
511.41/511.42	o 1108521258371479
511.41/511.42	o 1108521240234775
511.41/511.42	o 1108521203961367
511.41/511.42	o 1108521202501367
511.41/511.42	o 1108521200580007
511.41/511.42	o 1108521199850007
511.41/511.42	o 1108521194010007
511.41/511.42	o 1108521186324567
511.41/511.42	o 1108521185363887
511.41/511.42	o 1108521182443887
511.41/511.42	o 1108521178601167
511.41/511.42	o 1108521163230287
511.41/511.42	o 1108521132488527
511.41/511.42	o 1108521132306027
511.41/511.42	o 1108521131825687
511.41/511.42	o 1108521131643187
511.41/511.42	o 1108521014492787
511.41/511.42	o 1108509075640627
511.41/511.42	o 1108508981453107
511.41/511.42	o 1108508957906227
511.41/511.42	o 1108508910812467
511.41/511.42	o 1108508722437427
511.41/511.42	o 1108508345687347
511.41/511.42	o 1108507592187187
511.41/511.42	o 1108506085186867
511.41/511.42	o 1108503071186227
511.41/511.42	o 1108497043184947
511.41/511.42	o 1108497031411507
511.41/511.42	o 1108497025524787
511.41/511.42	o 1108479443854387
511.41/511.42	o 1108479443489460
511.41/511.42	o 1108479442528780
511.41/511.42	o 1108479442048440
511.41/511.42	o 1108479441754104
511.41/511.42	o 1108479438810744
511.41/511.42	o 1108479434968024
511.41/511.42	o 1108479427282584
511.41/511.42	o 1108479411911704
511.41/511.42	o 1108479400138264
511.41/511.42	o 1108475494974064
511.41/511.42	o 1108475494199388
511.41/511.42	o 1108475493424712
511.41/511.42	o 1108475489148664
511.41/511.42	o 1108475485856218
511.41/511.42	o 1108475485714525
511.41/511.42	o 1108475484439288
511.41/511.42	o 1108472746739560
511.41/511.42	o 1108472746456174
511.41/511.42	o 1108472746314481
511.41/511.42	o 1108472744897551
511.41/511.42	o 1108472743764007
511.41/511.42	o 1108472739229831
511.41/511.42	o 1108472401987862
511.41/511.42	o 1108472399437388
511.41/511.42	o 1108472284179148
511.41/511.42	o 1108472053662668
511.41/511.42	o 1108472046459028
511.41/511.42	o 1108472042857208
511.41/511.42	o 1108468113437955
511.41/511.42	o 1108468112021025
511.41/511.42	o 1108468111737639
511.41/511.42	o 1108468109411056
511.41/511.42	o 1108468108560898
511.41/511.42	o 1108468108419205
511.41/511.42	o 1108468108277512
511.41/511.42	o 1108468108135819
511.41/511.42	o 1107342881230219
511.41/511.42	o 1097469105704331
511.41/511.42	o 1097463873064331
511.41/511.42	o 1097453407784331
511.41/511.42	o 1097430932848011
511.41/511.42	o 1097427244584331
511.41/511.42	o 1095352777864971
511.41/511.42	o 1095352777276299
511.41/511.42	o 1095352774921611
511.41/511.42	o 1095288548003211
511.41/511.42	o 1095272492690541
511.41/511.42	o 1095272491698690
511.41/511.42	o 1095272491556997
511.41/511.42	o 1095272491415304
511.41/511.42	o 1095272491273611
511.41/511.42	o 1094248491273611
511.41/511.42	o 1094248486601611
511.41/511.42	o 1092200486601611
511.41/511.42	o 1091176486601611
511.41/511.42	o 1086773286601611
511.41/511.42	o 1086238612456331
511.41/511.42	o 1086230258172811
511.41/511.42	o 1085618055354543
511.41/511.42	o 1085615056304303
511.41/511.42	o 1085609823664303
511.41/511.42	o 1085603046647983
511.41/511.42	o 1085599358384303
511.41/511.42	o 1085599355735279
511.41/511.42	o 1085599350437231
511.41/511.42	o 1085599332607419
511.41/511.42	o 1085598463462557
511.41/511.42	o 1085505938236653
511.41/511.42	o 1085456853083373
511.41/511.42	o 1085456384481773
511.41/511.42	o 1085455447278573
511.41/511.42	o 1085453572872173
511.41/511.42	o 1085449824059373
511.41/511.42	o 1085442326433773
511.41/511.42	o 1085442297146173
511.41/511.42	o 1085442238570973
511.41/511.42	o 1085427243319773
511.41/511.42	o 1085426932874717
511.41/511.42	o 1085419897131421
511.41/511.42	o 1085419897113171
511.41/511.42	o 1085419893092331
511.41/511.42	o 1085419889249611
511.41/511.42	o 1085419889213111
511.41/511.42	o 1085419888852929
511.41/511.42	o 1085419882861089
511.41/511.42	o 1085419879865169
511.41/511.42	o 1085419876983713
511.41/511.42	o 1085419874428713
511.41/511.42	o 1085419864208713
511.41/511.42	o 1085419859098713
511.41/511.42	o 1085419838658713
511.41/511.42	o 1085419815607065
511.41/511.42	o 1085419814394389
511.41/511.42	o 1085419813217045
511.41/511.42	o 1085419808507669
511.41/511.42	o 1085419807901331
511.41/511.42	o 1085419788498515
511.41/511.42	o 1085419778797107
511.41/511.42	o 1085419773946403
511.41/511.42	o 1085419696335139
511.41/511.42	o 1085419657529507
511.41/511.42	o 1085419619854499
511.41/511.42	o 1085419558370979
511.41/511.42	o 1085419526204259
511.41/511.42	o 1085419332176099
511.41/511.42	o 1085418944119779
511.41/511.42	o 1085418847105699
511.41/511.42	o 1085418070993059
511.41/511.42	o 1085418046739539
511.41/511.42	o 1085418034612779
511.41/511.42	o 1085418028549399
511.41/511.42	o 1085418025517709
511.41/511.42	o 1085418023645259
511.41/511.42	o 1085418022228329
1517.24/1517.25	o 1085418006857449
1517.24/1517.25	o 1085417998815769
1517.24/1517.25	o 1083369998815769
1517.24/1517.25	o 1083357153432089
1517.24/1517.25	o 1083305771897369
1517.24/1517.25	o 1074478439751061
1517.24/1517.25	o 1074478439343137
1517.24/1517.25	o 1074478379424737
1517.24/1517.25	o 1074478377459577
1517.24/1517.25	o 1074478375827881
1517.24/1517.25	o 1074478345086121
1517.24/1517.25	o 1074478337764221
1517.24/1517.25	o 1074478336781641
1517.24/1517.25	o 1074478259170377
1517.24/1517.25	o 1074478251680577
1517.24/1517.25	o 1074478241979169
1517.24/1517.25	o 1074478232560417
1517.24/1517.25	o 1074478213157601
1517.24/1517.25	o 1074478198750321
1517.24/1517.25	o 1074478184106521
1517.24/1517.25	o 1074478180361621
1517.24/1517.25	o 1074478176759801
1517.24/1517.25	o 1074478176268511
1517.24/1517.25	o 1074478173005119
1517.24/1517.25	o 1074478157634239
1517.24/1517.25	o 1074478153703919
1517.24/1517.25	o 1074478138724319
1517.24/1517.25	o 1074478099918687
1517.24/1517.25	o 1074478099673042
1517.24/1517.25	o 1074478054331282
1517.24/1517.25	o 1074478042995842
1517.24/1517.25	o 1074478039334892
1517.24/1517.25	o 1074477977851372
1517.24/1517.25	o 1074477977647410
1517.24/1517.25	o 1074477948359810
1517.24/1517.25	o 1074477941156170
1517.24/1517.25	o 1074477882580970
1517.24/1517.25	o 1074477852621770
1517.24/1517.25	o 1074477851805922
1517.24/1517.25	o 1074477829135042
1517.24/1517.25	o 1074477813413762
1517.24/1517.25	o 1074477750528642
1517.24/1517.25	o 1074477719086082
1517.24/1517.25	o 1074477711225442
1517.24/1517.25	o 1074477619018850
1517.24/1517.25	o 1074477607493026
1517.24/1517.25	o 1074477584441378
1517.24/1517.25	o 1074477538338082
1517.24/1517.25	o 1074477353924898
1517.24/1517.25	o 1074476874577698
1517.24/1517.25	o 1074476754740898
1517.24/1517.25	o 1074476515067298
1517.24/1517.25	o 1074476510154398
1517.24/1517.25	o 1074476490502798
1517.24/1517.25	o 1074476451199598
1517.24/1517.25	o 1074476441373798
1517.24/1517.25	o 1074476072547430
1517.24/1517.25	o 1074475993941030
1517.24/1517.25	o 1074455407240230
1517.24/1517.25	o 1074455033480230
1517.24/1517.25	o 1074454285960230
1517.24/1517.25	o 1074453771292710
1517.24/1517.25	o 1074453755209350
1517.24/1517.25	o 1074453497875590
1517.24/1517.25	o 1074453433542150
1517.24/1517.25	o 1074453304875270
1517.24/1517.25	o 1074453272708550
1517.24/1517.25	o 1074453085828550
1517.24/1517.25	o 1074452992388550
1517.24/1517.25	o 1074394007827910
1517.24/1517.25	o 1074390903377350
1517.24/1517.25	o 1074378485575110
1517.24/1517.25	o 1072338510019810
1517.24/1517.25	o 1070290510019810
1517.24/1517.25	o 1066194510019810
1517.24/1517.25	o 1065972173651170
1517.24/1517.25	o 1065970116991510
1517.24/1517.25	o 1065970115483695
1517.24/1517.25	o 1064966701681890
1517.24/1517.25	o 1064958831791330
1517.24/1517.25	o 1064954896846050
1517.24/1517.25	o 1064924218625250
1517.24/1517.25	o 1064924213599200
1517.24/1517.25	o 1064924166879200
1517.24/1517.25	o 1064924143519200
1517.24/1517.25	o 1064924131839200
1517.24/1517.25	o 1064924128919200
1517.24/1517.25	o 1064924123079200
1517.24/1517.25	o 1064924121619200
1517.24/1517.25	o 1064924121436700
1517.24/1517.25	o 1064924111384600
1517.24/1517.25	o 1064922824715800
1517.24/1517.25	o 1064922503048600
1517.24/1517.25	o 1064921859714200
1517.24/1517.25	o 1064921819505800
1517.24/1517.25	o 1064921739089000
1517.24/1517.25	o 1064921578255400
1517.24/1517.25	o 1064919004917800
1517.24/1517.25	o 1064913858242600
1517.24/1517.25	o 1064903564892200
1517.24/1517.25	o 1064903544788000
1517.24/1517.25	o 1064903520820640
1517.24/1517.25	o 1064903472885920
1517.24/1517.25	o 1064903466894080
1517.24/1517.25	o 1064903454910400
1517.24/1517.25	o 1064898834238154
1517.24/1517.25	o 1064898833454134
1517.24/1517.25	o 1064898832847796
1517.24/1517.25	o 1064898829919036
1517.24/1517.25	o 1064898829186846
1517.24/1517.25	o 1064898827722466
1517.24/1517.25	o 1064898827539966
1517.24/1517.25	o 1064898818121214
1517.24/1517.25	o 1064898817691974
1517.24/1517.25	o 1064898790220614
1517.24/1517.25	o 1064898783352774
1517.24/1517.25	o 1064898783245464
1517.24/1517.25	o 1064898779811544
1517.24/1517.25	o 1064898766075864
1517.24/1517.25	o 1064898656190424
1517.24/1517.25	o 1064898655975804
1517.24/1517.25	o 1064898654258844
1517.24/1517.25	o 1064898653400364
1517.24/1517.25	o 1064898649480264
1517.24/1517.25	o 1064898647607814
1517.24/1517.25	o 1064898632236934
1517.24/1517.25	o 1064898624396734
1517.24/1517.25	o 1064898608716334
1517.24/1517.25	o 1064898577355534
1517.24/1517.25	o 1064898575857574
1517.24/1517.25	o 1064898450414374
1517.24/1517.25	o 1064898199527974
1517.24/1517.25	o 1064898194615074
1517.24/1517.25	o 1064898192158624
1517.24/1517.25	o 1064898182332824
1517.24/1517.25	o 1064898162681224
1517.24/1517.25	o 1064898123378024
1517.24/1517.25	o 1064898044771624
1517.24/1517.25	o 1064897441971496
1517.24/1517.25	o 1064896458235176
1517.24/1517.25	o 1064894047034664
1517.24/1517.25	o 1064878307253544
1517.24/1517.25	o 1064874618989864
1517.24/1517.25	o 1064870684044584
1517.24/1517.25	o 1064866669862184
1517.24/1517.25	o 1064866208829224
1517.24/1517.25	o 1064865286763304
1517.24/1517.25	o 1064863442631464
1517.24/1517.25	o 1064863427071368
1517.24/1517.25	o 1064863311813128
1517.24/1517.25	o 1064863308211308
1517.24/1517.25	o 1064863301007668
1517.24/1517.25	o 1064863286600388
1517.24/1517.25	o 1064857258599108
1517.24/1517.25	o 1064845202596548
1517.24/1517.25	o 1064835140977348
1517.24/1517.25	o 1064832126976708
1517.24/1517.25	o 1064830619976388
1517.24/1517.25	o 1064829866476228
1517.24/1517.25	o 1064829865939678
1517.24/1517.25	o 1064829489189598
1517.24/1517.25	o 1064829300814558
1517.24/1517.25	o 1064829206627038
1517.24/1517.25	o 1064829183080158
1517.24/1517.25	o 1064829171306718
1517.24/1517.25	o 1064829165419998
1517.24/1517.25	o 1064829162476638
1517.24/1517.25	o 1064817360032862
1517.24/1517.25	o 1064158585607262
1517.24/1517.25	o 1064117412205662
1517.24/1517.25	o 1064098840220766
1517.24/1517.25	o 1064098102568030
1517.24/1517.25	o 1064096627262558
1517.24/1517.25	o 1062048627262558
1517.24/1517.25	o 1062045676651614
1517.24/1517.25	o 1049962476651614
1517.24/1517.25	o 1049956575429726
1517.24/1517.25	o 1049919431459934
1517.24/1517.25	o 1049868049925214
1517.24/1517.25	o 1049862903250014
1517.24/1517.25	o 1033478903250014
1517.24/1517.25	o 1033396556446814
1517.24/1517.25	o 1033396512296414
1517.24/1517.25	o 1033396511128414
1517.24/1517.25	o 1033289513414238
1517.24/1517.25	o 1031078395627636
1517.24/1517.25	o 1031078395198396
1517.24/1517.25	o 1031078394942896
1517.24/1517.25	o 1031078394728276
1517.24/1517.25	o 1031078394620966
1517.24/1517.25	o 1031078394109966
1517.24/1517.25	o 1031078393607361
1517.24/1517.25	o 1031078393553706
1517.24/1517.25	o 1031078389951886
1517.24/1517.25	o 1031078379899786
1517.24/1517.25	o 1031078378826686
1517.24/1517.25	o 1031078315941566
1517.24/1517.25	o 1031078292394686
1517.24/1517.25	o 1031078280621246
1517.24/1517.25	o 1031078215353406
1517.24/1517.25	o 1031078209466686
1517.24/1517.25	o 1031078206523326
1517.24/1517.25	o 1031078159429566
1517.24/1517.25	o 1031077782679486
1517.24/1517.25	o 1031077688491966
1517.24/1517.25	o 1031077500116926
1517.24/1517.25	o 1031077449939646
1517.24/1517.25	o 1031077437395326
1517.24/1517.25	o 1031077412306686
1517.24/1517.25	o 1031075905306366
1517.24/1517.25	o 1031075151806206
1517.24/1517.25	o 1031072137805566
1517.24/1517.25	o 1031071937096446
1517.24/1517.25	o 1031071535678206
1517.24/1517.25	o 1031071531598966
1749.25/1749.24	o 1031070728762486
1749.25/1749.24	o 1031069123089526
1749.25/1749.24	o 1031069121672596
1749.25/1749.24	o 1031069118838736
1749.25/1749.24	o 1031069113171016
1749.25/1749.24	o 1031069067829256
1749.25/1749.24	o 1031069045158376
1749.25/1749.24	o 1031069033822936
1749.25/1749.24	o 1031068671088856
1749.25/1749.24	o 1031067945620696
1749.25/1749.24	o 1031067854937176
1749.25/1749.24	o 1031067673570136
1749.25/1749.24	o 1031066926050136
1749.25/1749.24	o 1031066552290136
1749.25/1749.24	o 1031066458850136
1749.25/1749.24	o 1031066271970136
1749.25/1749.24	o 1030460940042986
1749.25/1749.24	o 1030440444838634
1749.25/1749.24	o 1030416332833514
1749.25/1749.24	o 1030416332296964
1749.25/1749.24	o 1030416329741964
1749.25/1749.24	o 1030416312572364
1749.25/1749.24	o 1030416308279964
1749.25/1749.24	o 1030416299695164
1749.25/1749.24	o 1030416298622064
1749.25/1749.24	o 1030416296475864
1749.25/1749.24	o 1030415747048664
1749.25/1749.24	o 1030415472335064
1749.25/1749.24	o 1030415334978264
1749.25/1749.24	o 1030415266299864
1749.25/1749.24	o 1030415231960664
1749.25/1749.24	o 1028879231960664
1749.25/1749.24	o 1020711343965784
1749.25/1749.24	o 1020687231960664
1749.25/1749.24	o 1020336779451608
1749.25/1749.24	o 1020336776508248
1749.25/1749.24	o 1020331954107224
1749.25/1749.24	o 1020331948220504
1749.25/1749.24	o 1020331571470424
1749.25/1749.24	o 1020331383095384
1749.25/1749.24	o 1020331288907864
1749.25/1749.24	o 1020331277134424
1749.25/1749.24	o 1020328263133784
1749.25/1749.24	o 1020328239586904
1749.25/1749.24	o 1020322211585624
1749.25/1749.24	o 1020322164491864
1749.25/1749.24	o 1020320657491544
1749.25/1749.24	o 1020319903991384
1749.25/1749.24	o 1015916703991384
1749.25/1749.24	o 1015876457514584
1749.25/1749.24	o 1015876205728459
1749.25/1749.24	o 1015876201798139
1749.25/1749.24	o 1015875950257659
1749.25/1749.24	o 1015875887372539
1749.25/1749.24	o 1015875761602299
1749.25/1749.24	o 1015875761111009
1749.25/1749.24	o 1015875258030049
1749.25/1749.24	o 1015874889203681
1749.25/1749.24	o 1015863086759905
1749.25/1749.24	o 1015863085754695
1749.25/1749.24	o 1015858968414535
1749.25/1749.24	o 1015842499053895
1749.25/1749.24	o 1015842406847303
1749.25/1749.24	o 1015842398805623
1749.25/1749.24	o 1015578889035383
1749.25/1749.24	o 1015578885014543
1749.25/1749.24	o 1015447130129423
1749.25/1749.24	o 1015446100794383
1749.25/1749.24	o 1015445972127503
1749.25/1749.24	o 1015422367239951
1749.25/1749.24	o 1015419416629007
1749.25/1749.24	o 1015324997078799
1749.25/1749.24	o 1015324739745039
1749.25/1749.24	o 1015324225077519
1749.25/1749.24	o 1015324208994159
1749.25/1749.24	o 1015323471341423
1749.25/1749.24	o 1015323470981241
1749.25/1749.24	o 1015321995675769
1749.25/1749.24	o 1015321993665349
1749.25/1749.24	o 1015319934995269
1749.25/1749.24	o 1015286996273989
1749.25/1749.24	o 1015240892977989
1749.25/1749.24	o 1015175015535429
1749.25/1749.24	o 1015172500130629
1749.25/1749.24	o 1015172189685573
1749.25/1749.24	o 1015171568795461
1749.25/1749.24	o 1015169085235013
1749.25/1749.24	o 1015167843454789
1749.25/1749.24	o 1015128106487621
1749.25/1749.24	o 1014979530608453
1749.25/1749.24	o 1014977209110341
1749.25/1749.24	o 1014958637125445
1749.25/1749.24	o 1014921493155653
1749.25/1749.24	o 1014920332406597
1749.25/1749.24	o 1014913299738437
1749.25/1749.24	o 1014913009551173
1749.25/1749.24	o 1014912973277765
1749.25/1749.24	o 1014912392903237
1749.25/1749.24	o 1014907749907013
1749.25/1749.24	o 1014898463914565
1749.25/1749.24	o 1014898391367749
1749.25/1749.24	o 1014898246274117
1749.25/1749.24	o 1014897785241157
1749.25/1749.24	o 1014231872657256
1749.25/1749.24	o 1014231621116776
1749.25/1749.24	o 1014231558231656
1749.25/1749.24	o 1014231432461416
1749.25/1749.24	o 1014231353855016
1749.25/1749.24	o 1014231350253196
1749.25/1749.24	o 1014231119736716
1749.25/1749.24	o 1014231090922156
1749.25/1749.24	o 1014231033293036
1749.25/1749.24	o 1014230918034796
1749.25/1749.24	o 1014230903627516
1749.25/1749.24	o 1014230896423876
1749.25/1749.24	o 1014230765888196
1749.25/1749.24	o 1014230700620356
1749.25/1749.24	o 1014230543407556
1749.25/1749.24	o 1014229914556356
1749.25/1749.24	o 1014229897386756
1749.25/1749.24	o 1014229895032068
1749.25/1749.24	o 1014229893854724
1749.25/1749.24	o 1014229818504708
1749.25/1749.24	o 1014229809085956
1749.25/1749.24	o 1014229658385924
1749.25/1749.24	o 1014229620710916
1749.25/1749.24	o 1014229601873412
1749.25/1749.24	o 1014229464516612
1749.25/1749.24	o 1014229189803012
1749.25/1749.24	o 1014229155463812
1749.25/1749.24	o 1014229086785412
1749.25/1749.24	o 1014228537358212
1749.25/1749.24	o 1014224351246212
1749.25/1749.24	o 1014221867685764
1749.25/1749.24	o 1014216900564868
1749.25/1749.24	o 1014206966323076
1749.25/1749.24	o 1014199515641732
1749.25/1749.24	o 1014199433881732
1749.25/1749.24	o 1014199270361732
1749.25/1749.24	o 1014198616281732
1749.25/1749.24	o 1014198289241732
1749.25/1749.24	o 1014196981081732
1749.25/1749.24	o 1014194030470788
1749.25/1749.24	o 1014191414150788
1749.25/1749.24	o 1014190535067268
1749.25/1749.24	o 1014190514627268
1749.25/1749.24	o 1014190504407268
1749.25/1749.24	o 1014190463527268
1749.25/1749.24	o 1014190460972268
1749.25/1749.24	o 1013166460972268
1749.25/1749.24	o 1011186260600301
1749.25/1749.24	o 1011186258143851
1749.25/1749.24	o 1011186218840651
1749.25/1749.24	o 1011186218256651
1749.25/1749.24	o 1011186218183651
1749.25/1749.24	o 1011186212191811
1749.25/1749.24	o 1011186209248451
1749.25/1749.24	o 1011186205169211
1749.25/1749.24	o 1011186204186631
1749.25/1749.24	o 1011186203892295
1749.25/1749.24	o 1011186202714951
1749.25/1749.24	o 1011186202126279
1749.25/1749.24	o 1011186192707527
1749.25/1749.24	o 1011186187998151
1749.25/1749.24	o 1011186185643463
1749.25/1749.24	o 1011186166805959
1749.25/1749.24	o 1011186129130951
1749.25/1749.24	o 1011185827730887
1749.25/1749.24	o 1011185677030855
1749.25/1749.24	o 1011185074230727
1749.25/1749.24	o 1011183868630471
1749.25/1749.24	o 1011183346487751
1749.25/1749.24	o 1011183281219911
1749.25/1749.24	o 1011183020148551
1749.25/1749.24	o 1011182889612871
1749.25/1749.24	o 1011182858170311
1749.25/1749.24	o 1011182842449031
1749.25/1749.24	o 1011182716678791
1749.25/1749.24	o 1011182653793671
1749.25/1749.24	o 1011182645933031
1749.25/1749.24	o 1011182632879463
1749.25/1749.24	o 1011182528450919
1749.25/1749.24	o 1011182521924135
1749.25/1749.24	o 1011182495816999
1749.25/1749.24	o 1011182443602727
1749.25/1749.24	o 1011181940521767
1749.25/1749.24	o 1011179928197927
1749.25/1749.24	o 1011178922036007
1749.25/1749.24	o 1011178670495527
1749.25/1749.24	o 1011174645847847
1749.25/1749.24	o 1011171631847207
1749.25/1749.24	o 1011165603845927
1749.25/1749.24	o 1011165531299111
1749.25/1749.24	o 1011165495025703
1749.25/1749.24	o 1011165476888999
1749.25/1749.24	o 1011163969888679
1749.25/1749.24	o 1011163216388519
1749.25/1749.24	o 1011162490920359
1749.25/1749.24	o 1011161039984039
1749.25/1749.24	o 1011158138111399
1749.25/1749.24	o 1011156467254695
1749.25/1749.24	o 1011156444583815
1749.25/1749.24	o 1011156353900295
1749.25/1749.24	o 1011156308558535
1749.25/1749.24	o 1011155945824455
1749.25/1749.24	o 1011155764457415
1749.25/1749.24	o 1011155387707335
1749.25/1749.24	o 1011155199332295
1749.25/1749.24	o 1011155105144775
1749.25/1749.24	o 1011155058051015
1749.25/1749.24	o 1011155034504135
1749.25/1749.24	o 1011155001800135
1749.25/1749.24	o 1011154998664055
1749.25/1749.24	o 1011154984256775
1749.25/1749.24	o 1011154980654955
1749.25/1749.24	o 1011154>>> Terminate signal received
1800.06/1800.00	979238025
1800.06/1800.00	o 1011154973570305
1800.06/1800.00	o 1011154970736445
1800.06/1800.00	o 1011154316656445
1800.06/1800.00	o 1011154251248445
1800.06/1800.00	o 1011154120432445
1800.06/1800.00	o 1011153858800445
1800.06/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

Verifier Data 

OK	1011153858800445

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

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.99 2.00 1.95 3/177 13690
/proc/meminfo: memFree=3313628/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=8104 CPUtime=0 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 507 0 0 0 0 0 0 0 19 0 1 0 982973630 8298496 460 33554432000 4194304 6957856 140734109090960 18446744073709551615 6085472 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 2026 460 250 675 0 1342 0

[startup+0.037411 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 13690
/proc/meminfo: memFree=3313628/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=11132 CPUtime=0.03 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1313 0 0 0 3 0 0 0 19 0 1 0 982973630 11399168 1240 33554432000 4194304 6957856 140734109090960 18446744073709551615 5307360 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 2783 1240 267 675 0 2099 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11132

[startup+0.100399 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 13690
/proc/meminfo: memFree=3313628/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=6912 CPUtime=0.09 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1335 0 0 0 9 0 0 0 19 0 1 0 982973630 7077888 1261 33554432000 4194304 6957856 140734109090960 18446744073709551615 4756996 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 1728 1261 274 675 0 1044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6912

[startup+0.300359 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 13690
/proc/meminfo: memFree=3313628/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=6912 CPUtime=0.29 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1356 0 0 0 29 0 0 0 20 0 1 0 982973630 7077888 1282 33554432000 4194304 6957856 140734109090960 18446744073709551615 4614625 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 1728 1282 283 675 0 1044 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6912

[startup+0.700295 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 13690
/proc/meminfo: memFree=3313628/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=7072 CPUtime=0.69 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1391 0 0 0 69 0 0 0 21 0 1 0 982973630 7241728 1316 33554432000 4194304 6957856 140734109090960 18446744073709551615 5932705 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 1768 1316 286 675 0 1084 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7072

[startup+1.50015 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 13691
/proc/meminfo: memFree=3307936/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=7400 CPUtime=1.49 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1409 0 0 0 149 0 0 0 23 0 1 0 982973630 7577600 1333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5918108 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 1850 1333 286 675 0 1166 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7400

[startup+3.10083 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 13691
/proc/meminfo: memFree=3306572/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=7400 CPUtime=3.09 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1450 0 0 0 309 0 0 0 25 0 1 0 982973630 7577600 1374 33554432000 4194304 6957856 140734109090960 18446744073709551615 5918152 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 1850 1374 286 675 0 1166 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7400

[startup+6.30023 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 13691
/proc/meminfo: memFree=3305844/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=8604 CPUtime=6.29 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1627 0 0 0 629 0 0 0 25 0 1 0 982973630 8810496 1550 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922052 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 2151 1550 286 675 0 1467 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8604

[startup+12.701 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 13691
/proc/meminfo: memFree=3302196/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=12968 CPUtime=12.7 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 2822 0 0 0 1270 0 0 0 25 0 1 0 982973630 13279232 2740 33554432000 4194304 6957856 140734109090960 18446744073709551615 5319213 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 3242 2740 286 675 0 2558 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 12968

[startup+25.5006 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 13692
/proc/meminfo: memFree=3297612/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=15672 CPUtime=25.49 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 5394 0 0 0 2549 0 0 0 25 0 1 0 982973630 16048128 3432 33554432000 4194304 6957856 140734109090960 18446744073709551615 4838129 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 3918 3432 288 675 0 3234 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15672

[startup+51.1008 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 13692
/proc/meminfo: memFree=3284680/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=15672 CPUtime=51.09 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 5394 0 0 0 5109 0 0 0 25 0 1 0 982973630 16048128 3432 33554432000 4194304 6957856 140734109090960 18446744073709551615 5917968 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 3918 3432 288 675 0 3234 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15672

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 13694
/proc/meminfo: memFree=3278300/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=25756 CPUtime=102.3 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 16083 0 0 0 10229 1 0 0 25 0 1 0 982973630 26374144 4314 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922662 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 6439 4314 288 675 0 5755 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 25756

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.95 2/176 13696
/proc/meminfo: memFree=3606852/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=37356 CPUtime=162.3 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 20652 0 0 0 16228 2 0 0 25 0 1 0 982973630 38252544 8849 33554432000 4194304 6957856 140734109090960 18446744073709551615 4851190 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 9339 8849 288 675 0 8655 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 37356

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 13736
/proc/meminfo: memFree=616180/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=37356 CPUtime=222.3 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 27826 0 0 0 22227 3 0 0 25 0 1 0 982973630 38252544 8875 33554432000 4194304 6957856 140734109090960 18446744073709551615 5934014 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 9339 8875 288 675 0 8655 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 37356

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 13738
/proc/meminfo: memFree=608364/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=44828 CPUtime=282.3 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 28658 0 0 0 28227 3 0 0 25 0 1 0 982973630 45903872 9701 33554432000 4194304 6957856 140734109090960 18446744073709551615 5918022 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 11207 9701 288 675 0 10523 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 44828

[startup+342.301 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 13739
/proc/meminfo: memFree=598228/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=44828 CPUtime=342.3 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 28658 0 0 0 34227 3 0 0 25 0 1 0 982973630 45903872 9701 33554432000 4194304 6957856 140734109090960 18446744073709551615 4838327 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 11207 9701 288 675 0 10523 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 44828

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 13741
/proc/meminfo: memFree=578624/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=402.3 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 29828 0 0 0 40227 3 0 0 25 0 1 0 982973630 76980224 10859 33554432000 4194304 6957856 140734109090960 18446744073709551615 4838442 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 10859 288 675 0 18110 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 75176

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 13742
/proc/meminfo: memFree=573912/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=462.3 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 29828 0 0 0 46227 3 0 0 25 0 1 0 982973630 76980224 10859 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 10859 288 675 0 18110 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 75176

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 13744
/proc/meminfo: memFree=558448/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=522.31 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 29896 0 0 0 52228 3 0 0 25 0 1 0 982973630 76980224 10927 33554432000 4194304 6957856 140734109090960 18446744073709551615 5312960 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 10927 288 675 0 18110 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 75176

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 13746
/proc/meminfo: memFree=539332/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=582.31 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 34184 0 0 0 58227 4 0 0 25 0 1 0 982973630 76980224 15192 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922173 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 15192 288 675 0 18110 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 75176

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.06 2.02 1.96 3/178 13752
/proc/meminfo: memFree=515240/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=822.32 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 45052 0 0 0 82227 5 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922108 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 75176

[startup+882.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 13754
/proc/meminfo: memFree=507108/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=882.32 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 45052 0 0 0 88227 5 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 4840644 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 75176

[startup+942.301 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 13755
/proc/meminfo: memFree=515112/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=942.32 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 45052 0 0 0 94227 5 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5385219 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 75176

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 13757
/proc/meminfo: memFree=508328/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1002.32 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 45052 0 0 0 100227 5 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5934014 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 75176

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 13758
/proc/meminfo: memFree=507344/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1062.33 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 45052 0 0 0 106228 5 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5387536 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 75176

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 13760
/proc/meminfo: memFree=504768/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1122.33 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 45052 0 0 0 112228 5 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5918180 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 75176

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 13762
/proc/meminfo: memFree=494500/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1182.33 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 118227 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5311856 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 75176

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 13763
/proc/meminfo: memFree=492732/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1242.33 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 124227 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 75176

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 13765
/proc/meminfo: memFree=492172/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1302.34 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 130228 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5932566 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 75176

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 13766
/proc/meminfo: memFree=492156/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1362.34 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 136228 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 4863173 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 75176

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 13768
/proc/meminfo: memFree=486304/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1422.35 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 142229 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5934082 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 75176

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 13770
/proc/meminfo: memFree=484248/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1482.34 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 148228 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 4870304 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 75176

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 13771
/proc/meminfo: memFree=482140/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1542.35 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 154229 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5917978 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 75176

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 13773
/proc/meminfo: memFree=481396/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1602.35 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 160229 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922039 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 75176

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 13774
/proc/meminfo: memFree=481612/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1662.35 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 166229 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5313097 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 75176

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 13779
/proc/meminfo: memFree=481404/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1722.35 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 172229 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5934933 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 75176

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 13781
/proc/meminfo: memFree=481496/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1782.35 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 178229 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922026 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 75176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 5/178 13781
/proc/meminfo: memFree=481076/32950928 swapFree=67054844/67111528
[pid=13690] ppid=13688 vsize=75176 CPUtime=1800.06 cores=1,3,5,7
/proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 180000 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 4866304 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/13690/statm: 18794 18333 288 675 0 18110 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 75176

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.07
CPU user time (s): 1800.01
CPU system time (s): 0.068989
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 124496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53426
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= 6166

runsolver used 2.57461 second user time and 5.62614 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-13 03:10:29
IDJOB=3497047
IDBENCH=2479
IDSOLVER=1990
FILE ID=node114/3497047-1307927429
RUNJOBID= node114-1307919798-12973
PBS_JOBID= 13559665
Free space on /var/tmp= 2876 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-bell5.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497047-1307927429/watcher-3497047-1307927429 -o /var/tmp/evaluation-result-3497047-1307927429/solver-3497047-1307927429 -C 1800 -W 1900 -M 15500  HOME/minisatid-gmp HOME/instance-3497047-1307927429.opb --verbosity=0 --format=opb --randomseed=1391360607

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

MD5SUM BENCH= da0fa1480f123e186307c547a0028656
RANDOM SEED=1391360607

node114.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.848
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.69
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.848
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.15
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.848
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.74
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.848
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.73
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.848
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.75
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.848
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.848
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.74
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.848
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:       3314188 kB
Buffers:         75204 kB
Cached:       28307956 kB
SwapCached:      10300 kB
Active:       13229348 kB
Inactive:     15502392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       3314188 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:            3136 kB
Writeback:           0 kB
AnonPages:      346220 kB
Mapped:          13968 kB
Slab:           839848 kB
PageTables:       4968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   554076 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= 2800 MiB
End job on node114 at 2011-06-13 03:40:32