Trace number 3497037

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb
MD5SUM34e6501168eba14fba603ee8987209fc
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1228810444800
Best CPU time to get the best result obtained on this benchmark13.8989
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1470471039630
Optimality of the best value was proved NO
Number of variables780
Total number of constraints405
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint6
Maximum length of a constraint101
Number of terms in the objective function 478
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 1073761158741413
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 71583145981965762560
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 303620978593259231065
Number of bits of the biggest sum of numbers69
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.
6.69/6.73	o 545259579714336
6.69/6.73	o 545259579710240
6.69/6.73	o 545259579708192
6.69/6.73	o 536870971708192
6.69/6.73	o 536870971708064
6.69/6.73	o 536870971707808
6.69/6.73	o 536870971707792
6.69/6.73	o 536870971707790
6.69/6.73	o 536870971576718
6.69/6.73	o 536870971314574
6.69/6.73	o 536870971281806
6.69/6.73	o 536870971281774
6.69/6.73	o 536870971281772
6.69/6.73	o 536870971281768
6.69/6.73	o 536870971281760
6.69/6.73	o 536870971281696
6.69/6.73	o 536870969184544
6.69/6.73	o 536870969176352
6.69/6.73	o 536870969159968
6.69/6.73	o 536870969028896
6.69/6.73	o 536870969028888
6.69/6.73	o 536870969027864
6.69/6.73	o 536870969025816
6.69/6.73	o 536870969021720
6.69/6.73	o 536870968988952
6.69/6.73	o 536870968923416
6.69/6.73	o 536870968661272
6.69/6.73	o 536870968136984
6.69/6.73	o 536870967088408
6.69/6.73	o 536870962894104
6.69/6.73	o 536870962894097
6.69/6.73	o 536870962894096
6.69/6.73	o 536870962894088
6.69/6.73	o 536870962894072
6.69/6.73	o 536870962894057
6.69/6.73	o 536870962894050
6.69/6.73	o 536870962894049
6.69/6.73	o 536870962885861
6.69/6.73	o 536870962885860
6.69/6.73	o 536870962885857
6.69/6.73	o 536870962885748
6.69/6.73	o 536870962885744
6.69/6.73	o 536870962885741
6.69/6.73	o 536870962885729
6.69/6.73	o 536870962869408
6.69/6.73	o 536870962869404
6.69/6.73	o 536870962869345
6.69/6.73	o 536870962865502
6.69/6.73	o 536870962865500
6.69/6.73	o 536870962865252
6.69/6.73	o 536870962865249
6.69/6.73	o 536870962848880
6.69/6.73	o 536870962848877
6.69/6.73	o 536870962848868
6.69/6.73	o 536870962848865
6.69/6.73	o 536870962848846
6.69/6.73	o 536870962848844
6.69/6.73	o 536870962848841
6.69/6.73	o 536870962848840
6.69/6.73	o 536870962848836
6.69/6.73	o 536870962848833
6.69/6.73	o 536870962816320
6.69/6.73	o 536870962816316
6.69/6.73	o 536870962816068
6.69/6.73	o 536870962816065
6.69/6.73	o 536870962799806
6.69/6.73	o 536870962799804
6.69/6.73	o 536870962799684
6.69/6.73	o 536870962799681
6.69/6.73	o 536870962170216
6.69/6.73	o 536870962170212
6.69/6.73	o 536870962170211
6.69/6.73	o 536870962170209
6.69/6.73	o 536870962170208
6.69/6.73	o 536870962170206
6.69/6.73	o 536870962170192
6.69/6.73	o 536870962170190
6.69/6.73	o 536870962169678
6.69/6.73	o 536870962168654
6.69/6.73	o 536870962166606
6.69/6.73	o 536870962162510
6.69/6.73	o 536870958421452
6.69/6.73	o 536870958421444
6.69/6.73	o 536870958421442
6.69/6.73	o 536870958419394
6.69/6.73	o 536870958386626
6.69/6.73	o 536870958378434
6.69/6.73	o 536870958372291
6.69/6.73	o 536870948406364
6.69/6.73	o 536870948398172
6.69/6.73	o 536870948397916
6.69/6.73	o 536870948396892
6.69/6.73	o 536870948396890
6.69/6.73	o 536870948396378
6.69/6.73	o 536870948394330
6.69/6.73	o 536870948361562
6.69/6.73	o 536870948296026
6.69/6.73	o 536870948295994
6.69/6.73	o 536870948295482
6.69/6.73	o 536870948295466
6.69/6.73	o 536870948279082
6.69/6.73	o 536870948279018
6.69/6.73	o 536870948279014
6.69/6.73	o 536870948278998
6.69/6.73	o 536870948278990
6.69/6.73	o 536870948262606
6.69/6.73	o 536870948000462
6.69/6.73	o 536870947789802
6.69/6.73	o 536870947789738
6.69/6.73	o 536870947789706
6.69/6.73	o 536870947789450
6.69/6.73	o 536870947789322
6.69/6.73	o 536870947789314
6.69/6.73	o 536870947789312
6.69/6.73	o 536870947789296
6.69/6.73	o 536870947789292
6.69/6.73	o 536870947756524
6.69/6.73	o 536870947756460
6.69/6.73	o 536870947756459
6.69/6.73	o 536870947752363
6.69/6.73	o 536870947752235
6.69/6.73	o 536870947752203
6.69/6.73	o 536870947735819
6.69/6.73	o 536870947735815
6.69/6.73	o 536870947733767
6.69/6.73	o 536870947621260
6.69/6.73	o 536870947621244
6.69/6.73	o 536870947619196
6.69/6.73	o 536870947619194
6.69/6.73	o 536870947619162
6.69/6.73	o 536870947618906
6.69/6.73	o 536870947617882
6.69/6.73	o 536870947617370
6.69/6.73	o 536870947600986
6.69/6.73	o 536870947535450
6.69/6.73	o 536870947535449
6.69/6.73	o 536870947535445
6.69/6.73	o 536870947535381
6.69/6.73	o 536870947502613
6.69/6.73	o 536870947494421
6.69/6.73	o 536870947490325
6.69/6.73	o 536870946966037
6.69/6.73	o 536870946957845
6.69/6.73	o 536870946957829
6.69/6.73	o 536870946957765
6.69/6.73	o 536870946953669
6.69/6.73	o 536870946953637
6.69/6.73	o 536870946945445
6.69/6.73	o 536870946944933
6.69/6.73	o 536870946944929
6.69/6.73	o 536870946944928
6.69/6.73	o 536870946944912
6.69/6.73	o 536870946943888
6.69/6.73	o 536870946943880
6.69/6.73	o 536870946943878
6.69/6.73	o 536870946943622
6.69/6.73	o 536870946943494
6.69/6.73	o 536870946942982
6.69/6.73	o 536870946942726
6.69/6.73	o 536870946942718
6.69/6.73	o 536870946942716
6.69/6.73	o 536870946941692
6.69/6.73	o 536870946941660
6.69/6.73	o 536870946941532
6.69/6.73	o 536870946810460
6.69/6.73	o 536870946810456
6.69/6.73	o 536870946810396
6.69/6.73	o 536870946810392
6.69/6.73	o 536870946777624
6.69/6.73	o 268435527058967
6.69/6.73	o 268435527042583
6.69/6.73	o 268435527042581
6.69/6.73	o 268435527040533
6.69/6.73	o 268435527039509
6.69/6.73	o 268435527039253
6.69/6.73	o 268435527039237
6.69/6.73	o 268435527038725
6.69/6.73	o 268435527038597
6.69/6.73	o 268435526973061
6.69/6.73	o 268435526964869
6.69/6.73	o 268435526964861
6.69/6.73	o 268435526964857
6.69/6.73	o 268435526964825
6.69/6.73	o 268435525916249
6.69/6.73	o 268435520145008
6.69/6.73	o 268435512982934
6.69/6.73	o 268435512982870
6.69/6.73	o 268435512458582
6.69/6.73	o 268435512458578
6.69/6.73	o 268435512458546
6.69/6.73	o 268435512458530
6.69/6.73	o 268435512458528
6.69/6.73	o 268435512458400
6.69/6.73	o 268435512458399
6.69/6.73	o 268435512442015
6.69/6.73	o 268435512440991
6.69/6.73	o 268435512432799
6.69/6.73	o 268435512367263
6.69/6.73	o 268435512363167
6.69/6.73	o 268435512362911
6.69/6.73	o 268435508168607
6.69/6.73	o 268435504142600
6.69/6.73	o 268435504142344
6.69/6.73	o 268435504142216
6.69/6.73	o 268435504134024
6.69/6.73	o 268435504133512
6.69/6.73	o 268435503609224
6.69/6.73	o 268435503609220
6.69/6.73	o 268435503084932
6.69/6.73	o 268435503019396
6.69/6.73	o 268435502986628
6.69/6.73	o 268435502724484
6.69/6.73	o 268435502593412
6.69/6.73	o 268435502593348
6.69/6.73	o 268435502592836
6.69/6.73	o 268435502592804
6.69/6.73	o 268435502584612
6.69/6.73	o 268435502580516
6.69/6.73	o 268435502564132
6.69/6.73	o 268435502563108
6.69/6.73	o 268435502563104
6.69/6.73	o 268435502561056
6.69/6.73	o 268435502561048
6.69/6.73	o 268435502561032
6.69/6.73	o 268435502561030
6.69/6.73	o 268435502435448
6.69/6.73	o 268435502435444
6.69/6.73	o 268435502435412
13.79/13.83	o 268435502435284
13.79/13.83	o 268435502435268
13.79/13.83	o 268435502369732
13.79/13.83	o 268435502369476
13.79/13.83	o 268435502368452
13.79/13.83	o 268435502367940
13.79/13.83	o 268435502365892
13.79/13.83	o 268435502361796
13.79/13.83	o 268435502361792
13.79/13.83	o 268435502361791
13.79/13.83	o 268435502361727
13.79/13.83	o 268435502361719
13.79/13.83	o 268435502361717
13.79/13.83	o 268435502361205
13.79/13.83	o 268435502357109
13.79/13.83	o 268435502356853
13.79/13.83	o 268435502356821
13.79/13.83	o 268435502356817
13.79/13.83	o 268435493214553
13.79/13.83	o 33554477251366
13.79/13.83	o 33554477251358
13.79/13.83	o 33554477251102
13.79/13.83	o 33554477250078
13.79/13.83	o 33554477241886
13.79/13.83	o 33554477237790
13.79/13.83	o 33554477178544
13.79/13.83	o 24117322685114
13.79/13.83	o 22020170685114
13.79/13.83	o 17825866685114
13.79/13.83	o 17825866652346
13.79/13.83	o 17825866652282
13.79/13.83	o 17825866652154
13.79/13.83	o 17825866652152
13.79/13.83	o 17825866652120
13.79/13.83	o 17825866652116
13.79/13.83	o 17825866651604
13.79/13.83	o 17825866651588
13.79/13.83	o 17825866651580
13.79/13.83	o 17825866651576
13.79/13.83	o 17825866586040
13.79/13.83	o 17825866061752
13.79/13.83	o 17825866061748
13.79/13.83	o 17825866061492
13.79/13.83	o 17825866045108
13.79/13.83	o 17825866045044
13.79/13.83	o 17825866045036
13.79/13.83	o 17825866044524
13.79/13.83	o 17825866044508
13.79/13.83	o 17825866040412
13.79/13.83	o 17825866040284
13.79/13.83	o 17825866038236
13.79/13.83	o 17825866030044
13.79/13.83	o 17825866030042
13.79/13.83	o 17825865964506
13.79/13.83	o 17825865964474
13.79/13.83	o 17825865931706
13.79/13.83	o 16777289932195
13.79/13.83	o 16777289932191
13.79/13.83	o 16777289866655
13.79/13.83	o 16777289805005
13.79/13.83	o 16777289805003
13.79/13.83	o 16777289805001
13.79/13.83	o 16777277293115
13.79/13.83	o 16777277293111
13.79/13.83	o 16777277293079
13.79/13.83	o 16777277292951
13.79/13.83	o 16777277292439
13.79/13.83	o 16777277276055
13.79/13.83	o 16777277275799
13.79/13.83	o 16777277267607
13.79/13.83	o 16777277266583
13.79/13.83	o 16777277233815
13.79/13.83	o 16777277231767
13.79/13.83	o 16777277231759
13.79/13.83	o 16777277231757
13.79/13.83	o 16777277227661
13.79/13.83	o 16777277227645
13.79/13.83	o 16777276703357
13.79/13.83	o 16777276703356
13.79/13.83	o 16777276703354
13.79/13.83	o 16777276703098
13.79/13.83	o 16777276670330
13.79/13.83	o 16777276669306
13.79/13.83	o 16777276667258
13.79/13.83	o 16777276663162
13.79/13.83	o 16777276663130
13.79/13.83	o 16777276663129
13.79/13.83	o 16777276532057
13.79/13.83	o 16777276532049
13.79/13.83	o 16777276499281
13.79/13.83	o 16777276498257
13.79/13.83	o 16777276498256
13.79/13.83	o 16777276498128
13.79/13.83	o 16777276498064
13.79/13.83	o 16777276465296
13.79/13.83	o 16777269484644
13.79/13.83	o 16777269468260
13.79/13.83	o 16777269468259
13.79/13.83	o 16777269468195
13.79/13.83	o 16777269467939
13.79/13.83	o 16777269467935
13.79/13.83	o 16777269402399
13.79/13.83	o 16777269402367
13.79/13.83	o 16777269398271
13.79/13.83	o 16777269398143
13.79/13.83	o 16777269398132
13.79/13.83	o 16777269267060
13.79/13.83	o 16777269135988
13.79/13.83	o 16777269133940
13.79/13.83	o 16777268609652
13.79/13.83	o 16777265323311
13.79/13.83	o 16777265322287
13.79/13.83	o 16777265060143
13.79/13.83	o 16777265060111
13.79/13.83	o 16777264994575
13.79/13.83	o 16777264994567
13.79/13.83	o 16777264994055
13.79/13.83	o 16777264977671
13.79/13.83	o 16777264975643
13.79/13.84	o 16777264942875
13.79/13.84	o 16777264942874
13.79/13.84	o 16777264910106
13.79/13.84	o 16777264906010
13.79/13.84	o 16777264904986
13.79/13.84	o 16777264904982
13.79/13.84	o 16777264904974
13.79/13.84	o 16777264902926
13.79/13.84	o 16777264902670
13.79/13.84	o 16777264902606
13.79/13.84	o 16777264902478
13.79/13.84	o 16777264886094
13.79/13.84	o 16777264877902
13.79/13.84	o 16777264877870
13.79/13.84	o 16777264877358
13.79/13.84	o 16777264877356
13.79/13.84	o 16777264877340
13.79/13.84	o 16777264877339
13.79/13.84	o 16777264877335
13.79/13.84	o 16777264746263
13.79/13.84	o 16777264221975
13.79/13.84	o 16777264221967
13.79/13.84	o 16777255833359
13.79/13.84	o 16777254784783
13.79/13.84	o 16777254784781
13.79/13.84	o 16777254719245
13.79/13.84	o 16777254717197
13.79/13.84	o 16777254700813
13.79/13.84	o 16777254700749
13.79/13.84	o 16777254700237
13.79/13.84	o 16777254699213
13.79/13.84	o 16777254698957
13.79/13.84	o 16777254698829
13.79/13.84	o 16777254666061
13.79/13.84	o 16777254666029
13.79/13.84	o 16777254657837
13.79/13.84	o 16777254526799
13.79/13.84	o 16777254526671
13.79/13.84	o 16777254526639
13.79/13.84	o 16777254526631
13.79/13.84	o 16777254518445
13.79/13.84	o 16777254518441
13.79/13.84	o 16777254517417
13.79/13.84	o 16777254516905
13.79/13.84	o 16777254516649
13.79/13.84	o 16777254516521
13.79/13.84	o 16777254516513
13.79/13.84	o 16777254514473
13.79/13.84	o 16777253990185
13.79/13.84	o 16777253989929
13.79/13.84	o 16777253989925
13.79/13.84	o 16777253989893
13.79/13.84	o 16777253989381
13.79/13.84	o 16777253981189
13.79/13.84	o 16777253981181
13.79/13.84	o 16777253981179
13.79/13.84	o 16777253981115
13.79/13.84	o 16777253977019
13.79/13.84	o 16777253977003
13.79/13.84	o 16777253976875
13.79/13.84	o 16777253944107
13.79/13.84	o 16777253942059
13.79/13.84	o 16777253941035
13.79/13.84	o 16777253941034
13.79/13.84	o 16777253940522
13.79/13.84	o 16777253924138
13.79/13.84	o 16777253924130
13.79/13.84	o 16777253915938
13.79/13.84	o 16777253915936
13.79/13.84	o 16777253913888
13.79/13.84	o 16777253912864
13.79/13.84	o 16777253912851
13.79/13.84	o 16777253912847
13.79/13.84	o 16777250477998
13.79/13.84	o 16777250477997
13.79/13.84	o 16777250477965
13.79/13.84	o 16777250477963
13.79/13.84	o 16777250473901
13.79/13.84	o 16777250473869
13.79/13.84	o 16777250473867
13.79/13.84	o 16777250441099
13.79/13.84	o 16777250439051
13.79/13.84	o 16777250434955
13.79/13.84	o 16777250434951
13.79/13.84	o 16777250426759
13.79/13.84	o 16777250164615
13.79/13.84	o 16777250163591
13.79/13.84	o 16777250163589
13.79/13.84	o 16777250163581
13.79/13.84	o 16777249639293
13.79/13.84	o 16777249639292
13.79/13.84	o 16777249635196
13.79/13.84	o 15728691375784
13.79/13.84	o 14680115375784
13.79/13.84	o 12582963375784
13.79/13.84	o 12582963375782
13.79/13.84	o 12582963375778
13.79/13.84	o 12582963375770
13.79/13.84	o 12582963375754
13.79/13.84	o 12582963375746
13.79/13.84	o 12582963244674
13.79/13.84	o 12582963211906
13.79/13.84	o 12582963211898
13.79/13.84	o 12582963211882
13.79/13.84	o 12582963203690
13.79/13.84	o 12582963072618
13.79/13.84	o 12582963072614
13.79/13.84	o 12582963072612
13.79/13.84	o 12582963071588
13.79/13.84	o 12582963071460
13.79/13.84	o 12582963071428
13.79/13.84	o 12582963070916
13.79/13.84	o 12582963069892
13.79/13.84	o 12582963069884
13.79/13.84	o 12582963067836
13.79/13.84	o 12582963067772
13.79/13.84	o 12582963067770
13.79/13.84	o 12582963067514
13.79/13.84	o 12582963067498
13.79/13.84	o 12582963067370
13.79/13.84	o 12582963067366
32.89/32.95	o 12582963063270
32.89/32.95	o 12582962932198
32.89/32.95	o 12582962931686
32.89/32.95	o 12582962931678
32.89/32.95	o 12582962898910
32.89/32.95	o 12582962898654
32.89/32.95	o 12582962894558
32.89/32.95	o 12582962861790
32.89/32.95	o 12582962857694
32.89/32.95	o 12582962595550
32.89/32.95	o 12582962071262
32.89/32.95	o 12582957876958
32.89/32.95	o 12582949488350
32.89/32.95	o 12582949471966
32.89/32.95	o 12582949471838
32.89/32.95	o 12582949439070
32.89/32.95	o 12582949307998
32.89/32.95	o 12582949299806
32.89/32.95	o 12582949299550
32.89/32.95	o 12582949299534
32.89/32.95	o 12582949299470
32.89/32.95	o 12582949283086
32.89/32.95	o 12582949283054
32.89/32.95	o 12582949281006
32.89/32.95	o 12582949276910
32.89/32.95	o 12582949276902
32.89/32.95	o 12582949211366
32.89/32.95	o 12582948687078
32.89/32.95	o 12582948687062
32.89/32.95	o 12582948686998
32.89/32.95	o 12582948686994
32.89/32.95	o 12582948686992
32.89/32.95	o 12582948685968
32.89/32.95	o 12582948685960
32.89/32.95	o 12582948681864
32.89/32.95	o 12582948681352
32.89/32.95	o 12582948681224
32.89/32.95	o 12582948680968
32.89/32.95	o 12582948680967
32.89/32.95	o 12582948615431
32.89/32.95	o 12582948615399
32.89/32.95	o 12582948614375
32.89/32.95	o 12582948612327
32.89/32.95	o 12582948605160
32.89/32.95	o 12582948605156
32.89/32.95	o 12582948588772
32.89/32.95	o 12582948587748
32.89/32.95	o 12582948587740
32.89/32.95	o 12582948587708
32.89/32.95	o 12582948587706
32.89/32.95	o 12582948585658
32.89/32.95	o 12582948585657
32.89/32.95	o 12582948581561
32.89/32.95	o 12582948581049
32.89/32.95	o 12582948548281
32.89/32.95	o 4194335738549
32.89/32.95	o 4194334738549
32.89/32.95	o 4194334734453
32.89/32.95	o 4194334732405
32.89/32.95	o 4194334732277
32.89/32.95	o 4194334732245
32.89/32.95	o 4194334731221
32.89/32.95	o 4194334723029
32.89/32.95	o 4194334722773
32.89/32.95	o 4194334722757
32.89/32.95	o 4194334706373
32.89/32.95	o 4194334706309
32.89/32.95	o 4194334706308
32.89/32.95	o 4194334706306
32.89/32.95	o 4194334705794
32.89/32.95	o 4194334705790
32.89/32.95	o 4194334673022
32.89/32.95	o 4194334673014
32.89/32.95	o 4194334671990
32.89/32.95	o 4194334639222
32.89/32.95	o 4194334508150
32.89/32.95	o 4194334491766
32.89/32.95	o 4194334489718
32.89/32.95	o 4194334481526
32.89/32.95	o 4194334480502
32.89/32.95	o 4194334480494
32.89/32.95	o 4194334480238
32.89/32.95	o 4194334480234
32.89/32.95	o 4194334480202
32.89/32.95	o 4194334476106
32.89/32.95	o 4194334459722
32.89/32.95	o 4194334459720
32.89/32.95	o 4194334459208
32.89/32.95	o 4194334393672
32.89/32.95	o 4194334391624
32.89/32.95	o 4194334358856
32.89/32.95	o 4194334358792
32.89/32.95	o 4194334358664
32.89/32.95	o 4194334358408
32.89/32.95	o 4194334358392
32.89/32.95	o 4194334357368
32.89/32.95	o 4194334357364
32.89/32.95	o 4194334357356
32.89/32.95	o 4194334356332
32.89/32.95	o 4194334354284
32.89/32.95	o 4194334354252
32.89/32.95	o 4194334354124
32.89/32.95	o 4194334354108
32.89/32.95	o 4194334354106
32.89/32.95	o 4194334354042
32.89/32.95	o 4194334353530
32.89/32.95	o 4194334337146
32.89/32.95	o 3657759275036
32.89/32.95	o 3657759143964
32.89/32.95	o 3657759139868
32.89/32.95	o 3657759139852
32.89/32.95	o 3657759123468
32.89/32.95	o 3657759123460
32.89/32.95	o 3657758861316
32.89/32.95	o 3657758860292
32.89/32.95	o 3657754396230
32.89/32.95	o 3657754388038
32.89/32.95	o 3657754385990
32.89/32.95	o 3657754385974
32.89/32.95	o 3657754385846
32.89/32.95	o 3657754385334
32.89/32.95	o 3657754384310
32.89/32.95	o 3657754367926
32.89/32.95	o 3657754302390
32.89/32.95	o 3657754302382
32.89/32.95	o 3657754302350
32.89/32.95	o 3657754302348
32.89/32.95	o 3657754302344
32.89/32.95	o 3657752091877
32.89/32.95	o 3657751932051
32.89/32.95	o 3657751932019
32.89/32.95	o 3657751932017
32.89/32.95	o 3657751931889
32.89/32.95	o 3657751931888
32.89/32.95	o 3657751931872
32.89/32.95	o 3657751931360
32.89/32.95	o 3657751931356
32.89/32.95	o 3657751931292
32.89/32.95	o 3657751931290
32.89/32.95	o 3657751931286
32.89/32.95	o 3657751931030
32.89/32.95	o 3657751926934
32.89/32.95	o 3657751925910
32.89/32.95	o 3657751925894
32.89/32.95	o 3657751917702
32.89/32.95	o 3636259876354
32.89/32.95	o 3636251876354
32.89/32.95	o 3634203876354
32.89/32.95	o 3633179876354
32.89/32.95	o 3624987876354
32.89/32.95	o 3620891876354
32.89/32.95	o 3604507876354
32.89/32.95	o 3604507875330
32.89/32.95	o 3604507875298
32.89/32.95	o 3604507875266
32.89/32.95	o 3604507875250
32.89/32.95	o 3604507875246
32.89/32.95	o 3604507875244
32.89/32.95	o 3604507858860
32.89/32.95	o 3604507857836
32.89/32.95	o 3604507857828
32.89/32.95	o 3604507853732
32.89/32.95	o 3604507844233
32.89/32.95	o 3604502295276
32.89/32.95	o 3538966295276
32.89/32.95	o 3473430295276
32.89/32.95	o 3473430295020
32.89/32.95	o 3473430293996
32.89/32.95	o 3473430289900
32.89/32.95	o 3473430289899
32.89/32.95	o 3473430289892
32.89/32.95	o 3473430289888
32.89/32.95	o 3473430273504
32.89/32.95	o 3473430265312
32.89/32.95	o 3473430265280
32.89/32.95	o 3473430264768
32.89/32.95	o 3473430264766
32.89/32.95	o 3473430231998
32.89/32.95	o 3473430231870
32.89/32.95	o 3473430231854
32.89/32.95	o 3473430166318
32.89/32.95	o 3473430165294
32.89/32.95	o 3473430165230
32.89/32.95	o 3473430164974
32.89/32.95	o 3473430033902
32.89/32.95	o 3473430031854
32.89/32.95	o 3473430027758
32.89/32.95	o 3473430027630
32.89/32.95	o 3473429994862
32.89/32.95	o 3473429994606
32.89/32.95	o 3473429994604
32.89/32.95	o 3473429994600
32.89/32.95	o 3473429994592
32.89/32.95	o 3473429994560
32.89/32.95	o 3473429994544
32.89/32.95	o 3473429994480
32.89/32.95	o 3473429993968
32.89/32.95	o 3473429991920
32.89/32.95	o 3473429983728
32.89/32.95	o 3473429983472
32.89/32.95	o 3473429950704
32.89/32.95	o 3457049996466
32.89/32.95	o 3457049996402
32.89/32.95	o 3457049996274
32.89/32.95	o 3457049865202
32.89/32.95	o 3457049861106
32.89/32.95	o 3457049861090
32.89/32.95	o 3457049861082
32.89/32.95	o 3457049861050
32.89/32.95	o 3457049861046
32.89/32.95	o 3457049858998
32.89/32.95	o 3457049850806
32.89/32.95	o 3457049850678
32.89/32.95	o 3457049817910
32.89/32.95	o 3457049817908
32.89/32.95	o 3457049817907
32.89/32.95	o 3457049817899
32.89/32.95	o 3457049817771
32.89/32.95	o 3457049801387
32.89/32.95	o 3390641639727
32.89/32.95	o 3390513639727
32.89/32.95	o 3389489639727
32.89/32.95	o 3389473639727
32.89/32.95	o 3387425639727
32.89/32.95	o 3387417639727
32.89/32.95	o 3379225639727
32.89/32.95	o 3375129639727
32.89/32.95	o 3342361639727
32.89/32.95	o 3276825639727
32.89/32.95	o 3145757639727
32.89/32.95	o 3145757606959
32.89/32.95	o 3145754222644
32.89/32.95	o 3145754222388
32.89/32.95	o 3145754222372
32.89/32.95	o 3145754222370
32.89/32.95	o 3145754222362
32.89/32.95	o 3145754222234
32.89/32.95	o 3145753960090
32.89/32.95	o 3145753955994
32.89/32.95	o 3145753955930
32.89/32.95	o 3145753824858
32.89/32.95	o 3145753824826
32.89/32.95	o 3145753573391
32.89/32.95	o 3145753573389
32.89/32.95	o 3145753573381
32.89/32.95	o 3145753573365
32.89/32.95	o 3145753573109
32.89/32.95	o 3145753573045
32.89/32.95	o 3145753572021
32.89/32.95	o 3145753569973
32.89/32.95	o 3145753569461
32.89/32.95	o 3145753567413
126.99/127.01	o 3145753567381
126.99/127.01	o 3145753567379
126.99/127.01	o 3145753563283
126.99/127.01	o 3145753563155
126.99/127.01	o 3145753554963
126.99/127.01	o 3145753554947
126.99/127.01	o 3145753553923
126.99/127.01	o 3145753553921
126.99/127.01	o 3145753553857
126.99/127.01	o 3145753537473
126.99/127.01	o 3145753536961
126.99/127.01	o 3145753405889
126.99/127.01	o 3145753405857
126.99/127.01	o 3145753405853
126.99/127.01	o 3145753403805
126.99/127.01	o 3145753371037
126.99/127.01	o 3145753371029
126.99/127.01	o 3145752900091
126.99/127.01	o 3145752899963
126.99/127.01	o 3145752899931
126.99/127.01	o 3145752899675
126.99/127.01	o 3145752899671
126.99/127.01	o 3145752898647
126.99/127.01	o 3145752898631
126.99/127.01	o 3145752898623
126.99/127.01	o 3145752898111
126.99/127.01	o 3145752894015
126.99/127.01	o 3145752891967
126.99/127.01	o 3145752891903
126.99/127.01	o 3145752891871
126.99/127.01	o 3145752891869
126.99/127.01	o 3145752890845
126.99/127.01	o 3145752890843
126.99/127.01	o 3145752882651
126.99/127.01	o 3145752878555
126.99/127.01	o 3145752878551
126.99/127.01	o 3145752878519
126.99/127.01	o 3145752878263
126.99/127.01	o 3145752878261
126.99/127.01	o 3145752877749
126.99/127.01	o 3145752877745
126.99/127.01	o 3145752876721
126.99/127.01	o 3145752874673
126.99/127.01	o 3145752874609
126.99/127.01	o 3145752874577
126.99/127.01	o 3145752874449
126.99/127.01	o 3145752874385
126.99/127.01	o 3145752874377
126.99/127.01	o 3145752743305
126.99/127.01	o 3145752481161
126.99/127.01	o 3145752479113
126.99/127.01	o 3145752478601
126.99/127.01	o 3145752445843
126.99/127.01	o 2949145206715
126.99/127.01	o 2928665206715
126.99/127.01	o 2928665206714
126.99/127.01	o 2928665206712
126.99/127.01	o 2928665206696
126.99/127.01	o 2928665206694
126.99/127.01	o 2928665206630
126.99/127.01	o 2928665206374
126.99/127.01	o 2928665206358
126.99/127.01	o 2928665206230
126.99/127.01	o 2928665206226
126.99/127.01	o 2928665202130
126.99/127.01	o 2928665201618
126.99/127.01	o 2928665199570
126.99/127.01	o 2928665199569
126.99/127.01	o 2928665183185
126.99/127.01	o 2928665174993
126.99/127.01	o 2928665174961
126.99/127.01	o 2924574598454
126.99/127.01	o 2924570598454
126.99/127.01	o 2920474598454
126.99/127.01	o 2920474598326
126.99/127.01	o 2920474597814
126.99/127.01	o 2920474596790
126.99/127.01	o 2920474582198
126.99/127.01	o 2920474582196
126.99/127.01	o 2920474565812
126.99/127.01	o 2863123822771
126.99/127.01	o 2863107822771
126.99/127.01	o 2862979822771
126.99/127.01	o 2862915822771
126.99/127.01	o 2862913822771
126.99/127.01	o 2862909822771
126.99/127.01	o 2862877822771
126.99/127.01	o 2862869822771
126.99/127.01	o 2862868822771
126.99/127.01	o 2854676822771
126.99/127.01	o 2854164822771
126.99/127.01	o 2852116822771
126.99/127.01	o 2851092822771
126.99/127.01	o 2850836822771
126.99/127.01	o 2818068822771
126.99/127.01	o 2719764822771
126.99/127.01	o 2719764822767
126.99/127.01	o 2719764822751
126.99/127.01	o 2719764822719
126.99/127.01	o 2719764822718
126.99/127.01	o 2719764822654
126.99/127.01	o 2719764822558
126.99/127.01	o 2719764822302
126.99/127.01	o 2719764822300
126.99/127.01	o 2719764822296
126.99/127.01	o 2719764821272
126.99/127.01	o 2719764813080
126.99/127.01	o 2719764812056
126.99/127.01	o 2719764812048
126.99/127.01	o 2719764811792
126.99/127.01	o 2719764811790
126.99/127.01	o 2719764803598
126.99/127.01	o 2719764799502
126.99/127.01	o 2719764798478
126.99/127.01	o 2719764797966
126.99/127.01	o 2719764795918
126.99/127.01	o 2719764795790
126.99/127.01	o 2719764795758
126.99/127.01	o 2719764795742
126.99/127.01	o 2719764795486
126.99/127.01	o 2719764787574
126.99/127.01	o 2719764783488
126.99/127.01	o 2719764783486
126.99/127.01	o 2707476783486
126.99/127.01	o 2707476627855
126.99/127.01	o 2707476627853
126.99/127.01	o 2707476627845
126.99/127.01	o 2707476627333
126.99/127.01	o 2707476627317
126.99/127.01	o 2707476627313
126.99/127.01	o 2707476627312
126.99/127.01	o 2707476594544
126.99/127.01	o 2707476586352
126.99/127.01	o 2707476586350
126.99/127.01	o 2707476585326
126.99/127.01	o 2707476519790
126.99/127.01	o 2707476519534
126.99/127.01	o 2707476503150
126.99/127.01	o 2707476501102
126.99/127.01	o 2707476500078
126.99/127.01	o 2707476499950
126.99/127.01	o 2707476499942
126.99/127.01	o 2707476499694
126.99/127.01	o 2707476499686
126.99/127.01	o 2707476499430
126.99/127.01	o 2707476499366
126.99/127.01	o 2707476499358
126.99/127.01	o 2707476499357
126.99/127.01	o 2707476499355
126.99/127.01	o 2707476499351
126.99/127.01	o 2707476495255
126.99/127.01	o 2707476495239
126.99/127.01	o 2707476495111
126.99/127.01	o 2707476495107
126.99/127.01	o 2707476495043
126.99/127.01	o 2707476494787
126.99/127.01	o 2707476493763
126.99/127.01	o 2682902818443
126.99/127.01	o 2682898818443
126.99/127.01	o 2682897818443
126.99/127.01	o 2682895818443
126.99/127.01	o 2682831818443
126.99/127.01	o 2681807818443
126.99/127.01	o 2681679818443
126.99/127.01	o 2681647818443
126.99/127.01	o 2681391818443
126.99/127.01	o 2681375818443
126.99/127.01	o 2680863818443
126.99/127.01	o 2678815818443
126.99/127.01	o 2678807818443
126.99/127.01	o 2670615818443
126.99/127.01	o 2670615687371
126.99/127.01	o 2670615687243
126.99/127.01	o 2670615621707
126.99/127.01	o 2670615619659
126.99/127.01	o 2670615619403
126.99/127.01	o 2670615603019
126.99/127.01	o 2670615598923
126.99/127.01	o 2670615590731
126.99/127.01	o 2670615590699
126.99/127.01	o 2670615590571
126.99/127.01	o 2670615590315
126.99/127.01	o 2670615524779
126.99/127.01	o 2670615492011
126.99/127.01	o 2670615489963
126.99/127.01	o 2670615485867
126.99/127.01	o 2670615354795
126.99/127.01	o 2670615354779
126.99/127.01	o 2670615354523
126.99/127.01	o 2670615354459
126.99/127.01	o 2670615354455
126.99/127.01	o 2670615353943
126.99/127.01	o 2670615353941
126.99/127.01	o 2670615337557
126.99/127.01	o 2670615337549
126.99/127.01	o 2670615329357
126.99/127.01	o 2670615329229
126.99/127.01	o 2670615329227
126.99/127.01	o 2670615329099
126.99/127.01	o 2670615066955
126.99/127.01	o 2670615066947
126.99/127.01	o 2670615066691
126.99/127.01	o 2670615062595
126.99/127.01	o 2670615062531
126.99/127.01	o 2670614931459
126.99/127.01	o 2670614930947
126.99/127.01	o 2670614929923
126.99/127.01	o 2670614925827
126.99/127.01	o 2670614925811
126.99/127.01	o 2670614909427
126.99/127.01	o 2670614647283
126.99/127.01	o 2670614646259
126.99/127.01	o 2670614384115
126.99/127.01	o 2670614380019
126.99/127.01	o 2670614371827
126.99/127.01	o 2670614371571
126.99/127.01	o 2670614355187
126.99/127.01	o 2670614355155
126.99/127.01	o 2670614354643
126.99/127.01	o 2670614346451
126.99/127.01	o 2670614346435
126.99/127.01	o 2670614346403
126.99/127.01	o 2670614330019
126.99/127.01	o 2670614330018
126.99/127.01	o 2670614328994
126.99/127.01	o 2670614328986
126.99/127.01	o 2670614197914
126.99/127.01	o 2670614197658
126.99/127.01	o 2670614189466
126.99/127.01	o 2670614189462
126.99/127.01	o 2670614189454
126.99/127.01	o 2670614185358
126.99/127.01	o 2670614184846
126.99/127.01	o 2670614176654
126.99/127.01	o 2670614176652
126.99/127.01	o 2670614172556
126.99/127.01	o 2670614172524
126.99/127.01	o 2670614172460
126.99/127.01	o 2670614172456
126.99/127.01	o 2670614172200
126.99/127.01	o 2670614172192
126.99/127.01	o 2670614155808
126.99/127.01	o 2670614155792
126.99/127.01	o 2670614153744
126.99/127.01	o 2670614152720
126.99/127.01	o 2670614152592
126.99/127.01	o 2670614152528
126.99/127.01	o 2670614144336
126.99/127.01	o 2670613910351
126.99/127.01	o 2654235693956
126.99/127.01	o 2654231693956
126.99/127.01	o 2654231693892
126.99/127.01	o 2654231693888
126.99/127.01	o 2654231693886
126.99/127.01	o 2654231693854
126.99/127.01	o 2654231693838
169.79/169.89	o 2654231693830
169.79/169.89	o 2654231562758
169.79/169.89	o 2654231562754
169.79/169.89	o 2654231546374
169.79/169.89	o 2654231546370
169.79/169.89	o 2654231546242
169.79/169.89	o 2654231545986
169.79/169.89	o 2654231543938
169.79/169.89	o 2654231511170
169.79/169.89	o 2654231478404
169.79/169.89	o 2654231478402
169.79/169.89	o 2654231412866
169.79/169.89	o 2654231396482
169.79/169.89	o 2654230872194
169.79/169.89	o 2654230872066
169.79/169.89	o 2654230871938
169.79/169.89	o 2654230869890
169.79/169.89	o 2654230867842
169.79/169.89	o 2654230867841
169.79/169.89	o 2654230867825
169.79/169.89	o 2654230867761
169.79/169.89	o 2654230865713
169.79/169.89	o 2654230865457
169.79/169.89	o 2654230799921
169.79/169.89	o 2654230799919
169.79/169.89	o 2654230783535
169.79/169.89	o 2654230783503
169.79/169.89	o 2654230767154
169.79/169.89	o 2654230763058
169.79/169.89	o 2654230763054
169.79/169.89	o 2654230763038
169.79/169.89	o 2654230763036
169.79/169.89	o 2654230762780
169.79/169.89	o 2654230762268
169.79/169.89	o 2654230762204
169.79/169.89	o 2654230745872
169.79/169.89	o 2654230745864
169.79/169.89	o 2654230737672
169.79/169.89	o 2654230737160
169.79/169.89	o 2654230736136
169.79/169.89	o 2654230736135
169.79/169.89	o 2654230736127
169.79/169.89	o 2654230736125
169.79/169.89	o 2654230735997
169.79/169.89	o 2654230735965
169.79/169.89	o 2654229423547
169.79/169.89	o 2654229407163
169.79/169.89	o 2654229406139
169.79/169.89	o 2654229406107
169.79/169.89	o 2654229406106
169.79/169.89	o 2654229404058
169.79/169.89	o 2654229399962
169.79/169.89	o 2654229268890
169.79/169.89	o 2654229268826
169.79/169.89	o 2654229268794
169.79/169.89	o 2654229268792
169.79/169.89	o 2654229266744
169.79/169.89	o 2654229266616
169.79/169.89	o 2654229266608
169.79/169.89	o 2654229265584
169.79/169.89	o 2654229200048
169.79/169.89	o 2654229199984
169.79/169.89	o 2654229199472
169.79/169.89	o 2654229183088
169.79/169.89	o 2654229182832
169.79/169.89	o 2654229178736
169.79/169.89	o 2654229170931
169.79/169.89	o 2654229170930
169.79/169.89	o 2654229169906
169.79/169.89	o 2654229169842
169.79/169.89	o 2654228907699
169.79/169.89	o 2654228891315
169.79/169.89	o 2654228891299
169.79/169.89	o 2654228858531
169.79/169.89	o 2654228858523
169.79/169.89	o 2654228858491
169.79/169.89	o 2654228850299
169.79/169.89	o 2654228846203
169.79/169.89	o 2654228846199
169.79/169.89	o 2654228844156
169.79/169.89	o 2654228827780
169.79/169.89	o 2654228810374
169.79/169.89	o 2654228810372
169.79/169.89	o 2654228809348
169.79/169.89	o 2650196809348
169.79/169.89	o 2650132505566
169.79/169.89	o 2650132505502
169.79/169.89	o 2650132505486
169.79/169.89	o 2650132497294
169.79/169.89	o 2650132480910
169.79/169.89	o 2650132478862
169.79/169.89	o 2650132478860
169.79/169.89	o 2650132478856
169.79/169.89	o 2650132477832
169.79/169.89	o 2650132477831
169.79/169.89	o 2650132477823
169.79/169.89	o 2650132477695
169.79/169.89	o 2650132477663
169.79/169.89	o 2650132473567
169.79/169.89	o 2641940633054
169.79/169.89	o 2637844633054
169.79/169.89	o 2621460633054
169.79/169.89	o 2621460632542
169.79/169.89	o 2621460501470
169.79/169.89	o 2621460501438
169.79/169.89	o 2621460500926
169.79/169.89	o 2621460500862
169.79/169.89	o 2621460435326
169.79/169.89	o 2621460434302
169.79/169.89	o 2621460434298
169.79/169.89	o 2621460434170
169.79/169.89	o 2621460425978
169.79/169.89	o 2621460425977
169.79/169.89	o 2621460425961
169.79/169.89	o 2621460421865
169.79/169.89	o 2621460389097
169.79/169.89	o 2621460389095
169.79/169.89	o 2621460388839
169.79/169.89	o 2621460386791
169.79/169.89	o 2621460370407
169.79/169.89	o 2621460370399
169.79/169.89	o 2621460370335
169.79/169.89	o 2621460370327
169.79/169.89	o 2621460353956
169.79/169.89	o 2621460353924
169.79/169.89	o 2621460321156
169.79/169.89	o 2621459272580
169.79/169.89	o 2621459272324
169.79/169.89	o 2621459272316
169.79/169.89	o 2621459272314
169.79/169.89	o 2621459272313
169.79/169.89	o 2621459272249
169.79/169.89	o 2621459239481
169.79/169.89	o 2621459239479
169.79/169.89	o 2621459239477
169.79/169.89	o 2621459173944
169.79/169.89	o 2621459173816
169.79/169.89	o 2621459173752
169.79/169.89	o 2621459140984
169.79/169.89	o 2621459108408
169.79/169.89	o 2621459106360
169.79/169.89	o 2621459105336
169.79/169.89	o 2621459105304
169.79/169.89	o 2621459097112
169.79/169.89	o 2621459080728
169.79/169.89	o 2621459076632
169.79/169.89	o 2621459076616
169.79/169.89	o 2621459076360
169.79/169.89	o 2621459076352
169.79/169.89	o 2621459075840
169.79/169.89	o 2621459075838
169.79/169.89	o 2621459075834
169.79/169.89	o 2621459075830
169.79/169.89	o 2621459059446
169.79/169.89	o 2621459059431
169.79/169.89	o 2621459051239
169.79/169.89	o 2621459050727
169.79/169.89	o 2621459050711
169.79/169.89	o 2621459034383
169.79/169.89	o 2621459034319
169.79/169.89	o 2621459034191
169.79/169.89	o 2621459001423
169.79/169.89	o 2621459001407
169.79/169.89	o 2621459001405
169.79/169.89	o 2621458999357
169.79/169.89	o 2621458982973
169.79/169.89	o 2621458917437
169.79/169.89	o 2621458884669
169.79/169.89	o 2621458884668
169.79/169.89	o 2621458884652
169.79/169.89	o 2621458884644
169.79/169.89	o 2621458884642
169.79/169.89	o 2621458884578
169.79/169.89	o 2621458884546
169.79/169.89	o 2621458884418
169.79/169.89	o 2621458876226
169.79/169.89	o 2621458875202
169.79/169.89	o 2621458874946
169.79/169.89	o 2621458874434
169.79/169.89	o 2621458874430
169.79/169.89	o 2621458870334
169.79/169.89	o 2621458870333
169.79/169.89	o 2621458870326
169.79/169.89	o 2621458870324
169.79/169.89	o 2621458870323
169.79/169.89	o 2621458739251
169.79/169.89	o 2621458477107
169.79/169.89	o 2621458477099
169.79/169.89	o 2621458476843
169.79/169.89	o 2621458476587
169.79/169.89	o 2621458476365
169.79/169.89	o 2621458476333
169.79/169.89	o 2621458476269
169.79/169.89	o 2621458443560
169.79/169.89	o 2621458181416
169.79/169.89	o 2621458180392
169.79/169.89	o 2621458180391
169.79/169.89	o 2621458180384
169.79/169.89	o 2621458172192
169.79/169.89	o 2621458139424
169.79/169.89	o 2621458139408
169.79/169.89	o 2621458137360
169.79/169.89	o 2621458136848
169.79/169.89	o 2621458136840
169.79/169.89	o 2621458136712
169.79/169.89	o 2621458136711
169.79/169.89	o 2621458136679
169.79/169.89	o 2621458135655
169.79/169.89	o 2621458135591
169.79/169.89	o 2621458135589
169.79/169.89	o 2621458135585
169.79/169.89	o 2621458131489
169.79/169.89	o 2621458115105
169.79/169.89	o 2621458115104
169.79/169.89	o 2621458049568
169.79/169.89	o 2621455559200
169.79/169.89	o 2621455559198
169.79/169.89	o 2588687559198
169.79/169.89	o 2588687559194
169.79/169.89	o 2588687559190
169.79/169.89	o 2588687559188
169.79/169.89	o 2588687555092
169.79/169.89	o 2588687555084
169.79/169.89	o 2588687555083
169.79/169.89	o 2588687554827
169.79/169.89	o 2588687554825
169.79/169.89	o 2588687554809
169.79/169.89	o 2588687554681
169.79/169.89	o 2588687554649
169.79/169.89	o 2588687554647
169.79/169.89	o 2587671126939
169.79/169.89	o 2586647126939
169.79/169.89	o 2582551126939
169.79/169.89	o 2580503126939
169.79/169.89	o 2580503126875
169.79/169.89	o 2580503126843
169.79/169.89	o 2580503126841
169.79/169.89	o 2580503061305
169.79/169.89	o 2580503061304
169.79/169.89	o 2580503057208
169.79/169.89	o 2580503057204
169.79/169.89	o 2580503040820
169.79/169.89	o 2580503038772
169.79/169.89	o 2580503038756
169.79/169.89	o 2580502940475
169.79/169.89	o 2580502936379
169.79/169.89	o 2580502936347
169.79/169.89	o 2580502936331
169.79/169.89	o 2580502936327
169.79/169.89	o 2580502936071
169.79/169.89	o 2580502935943
169.79/169.89	o 2580502931847
169.79/169.89	o 2580502931846
169.79/169.89	o 2580502931844
169.79/169.89	o 2580502915460
169.79/169.89	o 2580502914948
421.60/421.64	o 2580502882180
421.60/421.64	o 2580502751108
421.60/421.64	o 2580502751104
421.60/421.64	o 2580502749056
421.60/421.64	o 2580502732672
421.60/421.64	o 2580502732160
421.60/421.64	o 2580502731136
421.60/421.64	o 2580502731128
421.60/421.64	o 2580502722936
421.60/421.64	o 2580502722916
421.60/421.64	o 2580502690148
421.60/421.64	o 2580502681956
421.60/421.64	o 2580502681952
421.60/421.64	o 2580502677856
421.60/421.64	o 2580502677840
421.60/421.64	o 2580502677584
421.60/421.64	o 2580502677582
421.60/421.64	o 2580502676560
421.60/421.64	o 2580502676544
421.60/421.64	o 2580502672448
421.60/421.64	o 2580502656064
421.60/421.64	o 2580502647872
421.60/421.64	o 2580502647840
421.60/421.64	o 2580502647776
421.60/421.64	o 2580502647648
421.60/421.64	o 2580502647136
421.60/421.64	o 2580502647132
421.60/421.64	o 2580502646630
421.60/421.64	o 2580502646628
421.60/421.64	o 2580502644580
421.60/421.64	o 2580502640484
421.60/421.64	o 2580502640482
421.60/421.64	o 2580502640226
421.60/421.64	o 2580502640098
421.60/421.64	o 2580501878374
421.60/421.64	o 2580501878118
421.60/421.64	o 2580501878102
421.60/421.64	o 2580501877590
421.60/421.64	o 2580501877582
421.60/421.64	o 2580501877550
421.60/421.64	o 2580501877549
421.60/421.64	o 2580501877547
421.60/421.64	o 2580501876523
421.60/421.64	o 2580501876395
421.60/421.64	o 2580501876363
421.60/421.64	o 2580501876347
421.60/421.64	o 2580501876091
421.60/421.64	o 2580501876083
421.60/421.64	o 2580501859699
421.60/421.64	o 2580501859571
421.60/421.64	o 2580501857523
421.60/421.64	o 2580501853427
421.60/421.64	o 2580501852403
421.60/421.64	o 2580501844211
421.60/421.64	o 2580501827827
421.60/421.64	o 2580501795059
421.60/421.64	o 2580501794931
421.60/421.64	o 2580501794675
421.60/421.64	o 2580501794611
421.60/421.64	o 2580501794603
421.60/421.64	o 2580501792555
421.60/421.64	o 2580501792551
421.60/421.64	o 2580501792487
421.60/421.64	o 2580501792231
421.60/421.64	o 2580501792223
421.60/421.64	o 2580501792207
421.60/421.64	o 2580501792206
421.60/421.64	o 2580501792151
421.60/421.64	o 2580501788055
421.60/421.64	o 2580501788051
421.60/421.64	o 2580501787539
421.60/421.64	o 2580501787537
421.60/421.64	o 2580500738961
421.60/421.64	o 2580500738959
421.60/421.64	o 2580500738831
421.60/421.64	o 2580500706063
421.60/421.64	o 2580500705039
421.60/421.64	o 2580500704527
421.60/421.64	o 2580500696335
421.60/421.64	o 2580500694287
421.60/421.64	o 2580500694223
421.60/421.64	o 2580500694207
421.60/421.64	o 2580500694175
421.60/421.64	o 2580500693919
421.60/421.64	o 2580500677535
421.60/421.64	o 2580500673439
421.60/421.64	o 2580500607903
421.60/421.64	o 2580500591519
421.60/421.64	o 2580500575135
421.60/421.64	o 2580500575007
421.60/421.64	o 2572310221732
421.60/421.64	o 2555926221732
421.60/421.64	o 2555926217636
421.60/421.64	o 2555926217604
421.60/421.64	o 2555926201220
421.60/421.64	o 2555926200964
421.60/421.64	o 2555926199940
421.60/421.64	o 2555926197892
421.60/421.64	o 2555926197891
421.60/421.64	o 2555926197883
421.60/421.64	o 2555926197819
421.60/421.64	o 2555926197803
421.60/421.64	o 2555926197675
421.60/421.64	o 2555926189483
421.60/421.64	o 2555926188971
421.60/421.64	o 2555926187947
421.60/421.64	o 2555926187691
421.60/421.64	o 2555926187563
421.60/421.64	o 2555926187547
421.60/421.64	o 2555926187515
421.60/421.64	o 2555926187507
421.60/421.64	o 2555926187503
421.60/421.64	o 2555926186991
421.60/421.64	o 2555926186927
421.60/421.64	o 2555926178735
421.60/421.64	o 2555926162351
421.60/421.64	o 2555926160303
421.60/421.64	o 2555926156207
421.60/421.64	o 2555926156199
421.60/421.64	o 2555926154151
421.60/421.64	o 2555926154150
421.60/421.64	o 2555926150054
421.60/421.64	o 2555926149990
421.60/421.64	o 2555926149988
421.60/421.64	o 2555926149732
421.60/421.64	o 2555926149724
421.60/421.64	o 2555926149596
421.60/421.64	o 2555926149084
421.60/421.64	o 2555926148060
421.60/421.64	o 2555926148044
421.60/421.64	o 2555926145996
421.60/421.64	o 2555926145964
421.60/421.64	o 2555926137772
421.60/421.64	o 2555926137768
421.60/421.64	o 2555926121384
421.60/421.64	o 2555926120360
421.60/421.64	o 2555926120104
421.60/421.64	o 2555926120072
421.60/421.64	o 2555926120070
421.60/421.64	o 2555926120054
421.60/421.64	o 2555926120050
421.60/421.64	o 2555926115954
421.60/421.64	o 2523155130269
421.60/421.64	o 2523155130141
421.60/421.64	o 2523155130077
421.60/421.64	o 2523155130073
421.60/421.64	o 2523155129049
421.60/421.64	o 2510869927060
421.60/421.64	o 2510868927060
421.60/421.64	o 2510868926036
421.60/421.64	o 2510868925908
421.60/421.64	o 2510868917716
421.60/421.64	o 2510858219911
421.60/421.64	o 2510858219909
421.60/421.64	o 2510856219909
421.60/421.64	o 2510855219909
421.60/421.64	o 2510343219909
421.60/421.64	o 2510087219909
421.60/421.64	o 2508039219909
421.60/421.64	o 2507015219909
421.60/421.64	o 2506951219909
421.60/421.64	o 2506935219909
421.60/421.64	o 2506903219909
421.60/421.64	o 2506775219909
421.60/421.64	o 2506775211717
421.60/421.64	o 2506775207621
421.60/421.64	o 2506775142085
421.60/421.64	o 2506775125701
421.60/421.64	o 2506775092933
421.60/421.64	o 2506775047857
421.60/421.64	o 2506775015089
421.60/421.64	o 2506775015073
421.60/421.64	o 2506774998689
421.60/421.64	o 2506774994593
421.60/421.64	o 2506774994081
421.60/421.64	o 2506774994046
421.60/421.64	o 2506774862974
421.60/421.64	o 2506774862958
421.60/421.64	o 2506774862957
421.60/421.64	o 2506774860909
421.60/421.64	o 2506774860781
421.60/421.64	o 2506774795245
421.60/421.64	o 2506774778861
421.60/421.64	o 2506774770669
421.60/421.64	o 2506774754285
421.60/421.64	o 2506774746135
421.60/421.64	o 2506774745623
421.60/421.64	o 2506774745367
421.60/421.64	o 2506774745366
421.60/421.64	o 2506774745334
421.60/421.64	o 2506774745330
421.60/421.64	o 2506774741234
421.60/421.64	o 2506774741232
421.60/421.64	o 2506774740720
421.60/421.64	o 2506774675184
421.60/421.64	o 2506774666992
421.60/421.64	o 2506772121078
421.60/421.64	o 2506772121014
421.60/421.64	o 2506772120758
421.60/421.64	o 2506772116662
421.60/421.64	o 2506772108470
421.60/421.64	o 2506772108454
421.60/421.64	o 2506771989919
421.60/421.64	o 2506515989919
421.60/421.64	o 2506515989903
421.60/421.64	o 2506515989901
421.60/421.64	o 2506515989869
421.60/421.64	o 2506515989805
421.60/421.64	o 2506515989804
421.60/421.64	o 2506515989800
421.60/421.64	o 2506515989784
421.60/421.64	o 2506515989778
421.60/421.64	o 2506515989777
421.60/421.64	o 2506515973393
421.60/421.64	o 2506515973137
421.60/421.64	o 2506515971089
421.60/421.64	o 2506515954705
421.60/421.64	o 2506515952657
421.60/421.64	o 2506515952641
421.60/421.64	o 2506515951617
421.60/421.64	o 2506515951361
421.60/421.64	o 2506515885825
421.60/421.64	o 2506515885313
421.60/421.64	o 2506515885305
421.60/421.64	o 2506515877113
421.60/421.64	o 2506515844345
421.60/421.64	o 2506515844337
421.60/421.64	o 2506515844209
421.60/421.64	o 2506515844145
421.60/421.64	o 2506515844141
421.60/421.64	o 2506515840045
421.60/421.64	o 2506515839789
421.60/421.64	o 2506515838765
421.60/421.64	o 2506515838757
421.60/421.64	o 2506515838755
421.60/421.64	o 2506515838723
421.60/421.64	o 2506515838211
421.60/421.64	o 2506515836163
421.60/421.64	o 2506515836035
421.60/421.64	o 2506515836019
421.60/421.64	o 2506515819635
421.60/421.64	o 2506515811443
421.60/421.64	o 2506515811411
421.60/421.64	o 2506515811395
421.60/421.64	o 2506515811331
421.60/421.64	o 2506515778563
421.60/421.64	o 2506515778559
421.60/421.64	o 2506515776511
421.60/421.64	o 2506515772415
421.60/421.64	o 2506515772413
421.60/421.64	o 2506515771901
421.60/421.64	o 2504468591267
421.60/421.64	o 2503956591267
421.60/421.64	o 2502932591267
421.60/421.64	o 2502676591267
421.60/421.64	o 2502676362234
624.31/624.39	o 2502676362233
624.31/624.39	o 2502676362231
624.31/624.39	o 2502675362231
624.31/624.39	o 2494483362231
624.31/624.39	o 2490387362231
624.31/624.39	o 2490387362230
624.31/624.39	o 2490387354038
624.31/624.39	o 2490387349942
624.31/624.39	o 2490387349938
624.31/624.39	o 2490387349906
624.31/624.39	o 2490387284370
624.31/624.39	o 2490387284362
624.31/624.39	o 2482194661119
624.31/624.39	o 2482194661087
624.31/624.39	o 2482194659039
624.31/624.39	o 2482194659031
624.31/624.39	o 2482194658007
624.31/624.39	o 2482194658003
624.31/624.39	o 2482194657491
624.31/624.39	o 2482194653395
624.31/624.39	o 2465810653395
624.31/624.39	o 2449426653395
624.31/624.39	o 2449426653139
624.31/624.39	o 2449426653123
624.31/624.39	o 2449426653107
624.31/624.39	o 2449426652851
624.31/624.39	o 2449426652787
624.31/624.39	o 2449426652659
624.31/624.39	o 2449426648563
624.31/624.39	o 2449426646515
624.31/624.39	o 2449426646513
624.31/624.39	o 2449426646509
624.31/624.39	o 2449426646477
624.31/624.39	o 2449426646476
624.31/624.39	o 2449426646474
624.31/624.39	o 2449426645450
624.31/624.39	o 2449426645446
624.31/624.39	o 2449426641350
624.31/624.39	o 2449426608582
624.31/624.39	o 2449426608326
624.31/624.39	o 2449426608294
624.31/624.39	o 2449426608286
624.31/624.39	o 2449426600094
624.31/624.39	o 2449426598046
624.31/624.39	o 2449426597534
624.31/624.39	o 2449426597518
624.31/624.39	o 2449426593422
624.31/624.39	o 2449426560654
624.31/624.39	o 2449426560590
624.31/624.39	o 2449426560586
624.31/624.39	o 2449426560578
624.31/624.39	o 2449426495042
624.31/624.39	o 2449426494978
624.31/624.39	o 2449426494976
624.31/624.39	o 2449426494960
624.31/624.39	o 2449426494448
624.31/624.39	o 2449426490352
624.31/624.39	o 2449426457584
624.31/624.39	o 2449426457580
624.31/624.39	o 2449426408284
624.31/624.39	o 2449426277212
624.31/624.39	o 2449426211676
624.31/624.39	o 2449426211672
624.31/624.39	o 2449426211670
624.31/624.39	o 2449426211669
624.31/624.39	o 2449426210645
624.31/624.39	o 2449426206549
624.31/624.39	o 2449426198357
624.31/624.39	o 2449426198325
624.31/624.39	o 2449426181941
624.31/624.39	o 2449426181685
624.31/624.39	o 2449426173998
624.31/624.39	o 2449426173997
624.31/624.39	o 2449426173933
624.31/624.39	o 2449426165741
624.31/624.39	o 2449426165737
624.31/624.39	o 2449426165609
624.31/624.39	o 2449426165593
624.31/624.39	o 2449426165561
624.31/624.39	o 2449426165560
624.31/624.39	o 2449426161464
624.31/624.39	o 2449426159416
624.31/624.39	o 2449426159408
624.31/624.39	o 2449426159152
624.31/624.39	o 2449425995312
624.31/624.39	o 2449425995311
624.31/624.39	o 2449425994287
624.31/624.39	o 2449425933103
624.31/624.39	o 2449425920839
624.31/624.39	o 2449425920823
624.31/624.39	o 2449425919799
624.31/624.39	o 2449425919795
624.31/624.39	o 2449425919793
624.31/624.39	o 2449425919665
624.31/624.39	o 2449425919657
624.31/624.39	o 2449425854121
624.31/624.39	o 2424820781031
624.31/624.39	o 2424788781031
624.31/624.39	o 2424276781031
624.31/624.39	o 2424212781031
624.31/624.39	o 2424084781031
624.31/624.39	o 2423828781031
624.31/624.39	o 2422804781031
624.31/624.39	o 2421908781031
624.31/624.39	o 2421908518887
624.31/624.39	o 2421652348860
624.31/624.39	o 2421588348860
624.31/624.39	o 2421556348860
624.31/624.39	o 2421552348860
624.31/624.39	o 2421551348860
624.31/624.39	o 2421549348860
624.31/624.39	o 2421541348860
624.31/624.39	o 2421525348860
624.31/624.39	o 2421269348860
624.31/624.39	o 2421013348860
624.31/624.39	o 2421013348844
624.31/624.39	o 2421013346796
624.31/624.39	o 2421013346284
624.31/624.39	o 2421013346252
624.31/624.39	o 2421013342156
624.31/624.39	o 2421013325772
624.31/624.39	o 2421013293004
624.31/624.39	o 2421013292996
624.31/624.39	o 2421013292988
624.31/624.39	o 2421013290940
624.31/624.39	o 2421013290876
624.31/624.39	o 2421013290874
624.31/624.39	o 2421013290618
624.31/624.39	o 2421013290617
624.31/624.39	o 2421013290601
624.31/624.39	o 2421013290597
624.31/624.39	o 2421013290589
624.31/624.39	o 2421013274205
624.31/624.39	o 2421013274173
624.31/624.39	o 2421013273917
624.31/624.39	o 2421013011773
624.31/624.39	o 2421013003581
624.31/624.39	o 2421012995389
624.31/624.39	o 2421012995387
624.31/624.39	o 2421012929851
624.31/624.39	o 2421012929723
624.31/624.39	o 2421012798651
624.31/624.39	o 2421012798619
624.31/624.39	o 2421012797595
624.31/624.39	o 2421012789403
624.31/624.39	o 2421012789147
624.31/624.39	o 2421012789131
624.31/624.39	o 2421012789129
624.31/624.39	o 2421012789128
624.31/624.39	o 2421012788616
624.31/624.39	o 2421012788608
624.31/624.39	o 2421012755840
624.31/624.39	o 2421012753792
624.31/624.39	o 2421012737408
624.31/624.39	o 2421012737344
624.31/624.39	o 2421012737340
624.31/624.39	o 2421012733244
624.31/624.39	o 2421012700476
624.31/624.39	o 2420494612083
624.31/624.39	o 2420430612083
624.31/624.39	o 2420429612083
624.31/624.39	o 2420413612083
624.31/624.39	o 2420411612083
624.31/624.39	o 2420379612083
624.31/624.39	o 2420251612083
624.31/624.39	o 2420243612083
624.31/624.39	o 2419219612083
624.31/624.39	o 2418707612083
624.31/624.39	o 2418707607987
624.31/624.39	o 2418707607925
624.31/624.39	o 2418707605877
624.31/624.39	o 2418707603829
624.31/624.39	o 2418707599733
624.31/624.39	o 2418707566965
624.31/624.39	o 2418705527056
624.31/624.39	o 2416657527056
624.31/624.39	o 2408465527056
624.31/624.39	o 2402321527056
624.31/624.39	o 2402321527054
624.31/624.39	o 2402321526030
624.31/624.39	o 2402321509646
624.31/624.39	o 2402321509614
624.31/624.39	o 2402321509598
624.31/624.39	o 2402321509086
624.31/624.39	o 2402321500894
624.31/624.39	o 2402321500830
624.31/624.39	o 2402321496734
624.31/624.39	o 2402321494686
624.31/624.39	o 2402321494654
624.31/624.39	o 2402321429118
624.31/624.39	o 2402321429114
624.31/624.39	o 2402321429106
624.31/624.39	o 2402321428978
624.31/624.39	o 2402321428722
624.31/624.39	o 2402321428706
624.31/624.39	o 2402321428450
624.31/624.39	o 2402321428442
624.31/624.39	o 2402321427418
624.31/624.39	o 2402321427402
624.31/624.39	o 2402321425354
624.31/624.39	o 2402321425290
624.31/624.39	o 2402321424778
624.31/624.39	o 2402321408394
624.31/624.39	o 2402321375626
624.31/624.39	o 2402321375594
624.31/624.39	o 2402321374570
624.31/624.39	o 2402321374562
624.31/624.39	o 2402321370466
624.31/624.39	o 2402321362274
624.31/624.39	o 2402321329506
624.31/624.39	o 2402321329490
624.31/624.39	o 2402321328466
624.31/624.39	o 2402321327954
624.31/624.39	o 2402321327953
624.31/624.39	o 2402321319761
624.31/624.39	o 2402321319760
624.31/624.39	o 2402321319504
624.31/624.39	o 2402321319500
624.31/624.39	o 2402321319244
624.31/624.39	o 2402321319242
624.31/624.39	o 2402321319178
624.31/624.39	o 2402321255051
624.31/624.39	o 2402321254027
624.31/624.39	o 2402321254023
624.31/624.39	o 2402321254021
624.31/624.39	o 2402321253893
624.31/624.39	o 2402321253829
624.31/624.39	o 2402321253825
624.31/624.39	o 2402321253569
624.31/624.39	o 2402321253553
624.31/624.39	o 2402321251505
624.31/624.39	o 2402321251473
624.31/624.39	o 2402321250449
624.31/624.39	o 2402321249937
624.31/624.39	o 2402321245841
624.31/624.39	o 2402321245837
624.31/624.39	o 2402321245802
624.31/624.39	o 2402321241706
624.31/624.39	o 2402321241642
624.31/624.39	o 2402321241386
624.31/624.39	o 2402321241354
624.31/624.39	o 2402321240330
624.31/624.39	o 2402321238282
624.31/624.39	o 2402321238281
624.31/624.39	o 2402321221897
624.31/624.39	o 2402321221641
624.31/624.39	o 2402321221637
624.31/624.39	o 2402321221573
624.31/624.39	o 2402321221557
624.31/624.39	o 2402321188789
624.31/624.39	o 2402321186741
624.31/624.39	o 2350099461059
624.31/624.39	o 2349075461059
624.31/624.39	o 2347027461059
624.31/624.39	o 2342931461059
624.31/624.39	o 2342931460803
1599.23/1599.27	o 2342931456707
1599.23/1599.27	o 2342931456675
1599.23/1599.27	o 2342931455651
1599.23/1599.27	o 2342931453603
1599.23/1599.27	o 2342931437219
1599.23/1599.27	o 2342931436707
1599.23/1599.27	o 2342931403939
1599.23/1599.27	o 2342931141795
1599.23/1599.27	o 2342931141787
1599.23/1599.27	o 2342930517706
1599.23/1599.27	o 2342930516682
1599.23/1599.27	o 2342930508490
1599.23/1599.27	o 2342930508234
1599.23/1599.27	o 2342930508233
1599.23/1599.27	o 2342930508169
1599.23/1599.27	o 2342930507145
1599.23/1599.27	o 2342930507143
1599.23/1599.27	o 2342930505095
1599.23/1599.27	o 2342930505079
1599.23/1599.27	o 2342930505075
1599.23/1599.27	o 2342930504563
1599.23/1599.27	o 2342930504555
1599.23/1599.27	o 2342930488171
1599.23/1599.27	o 2342930455403
1599.23/1599.27	o 2342930455387
1599.23/1599.27	o 2342930447195
1599.23/1599.27	o 2342930443099
1599.23/1599.27	o 2342930426715
1599.23/1599.27	o 2342930424667
1599.23/1599.27	o 2342930391899
1599.23/1599.27	o 2342930391867
1599.23/1599.27	o 2342930390843
1599.23/1599.27	o 2342930390835
1599.23/1599.27	o 2342930374451
1599.23/1599.27	o 2342930308915
1599.23/1599.27	o 2342930307891
1599.23/1599.27	o 2342930307889
1599.23/1599.27	o 2342930307633
1599.23/1599.27	o 2342930307505
1599.23/1599.27	o 2342930305457
1599.23/1599.27	o 2342930305425
1599.23/1599.27	o 2342930305361
1599.23/1599.27	o 2342930305357
1599.23/1599.27	o 2342930304845
1599.23/1599.27	o 2342930304829
1599.23/1599.27	o 2342930272061
1599.23/1599.27	o 2342930267965
1599.23/1599.27	o 2342930265917
1599.23/1599.27	o 2342930257725
1599.23/1599.27	o 2342930253629
1599.23/1599.27	o 2342930237245
1599.23/1599.27	o 2342930237244
1599.23/1599.27	o 2342930237212
1599.23/1599.27	o 2342930237196
1599.23/1599.27	o 2342930237132
1599.23/1599.27	o 2342930236620
1599.23/1599.27	o 2342930236616
1599.23/1599.27	o 2342930236614
1599.23/1599.27	o 2342930228422
1599.23/1599.27	o 2342930224326
1599.23/1599.27	o 2342930222278
1599.23/1599.27	o 2342930221254
1599.23/1599.27	o 2342930220998
1599.23/1599.27	o 2342930204614
1599.23/1599.27	o 2342930203590
1599.23/1599.27	o 2342930203462
1599.23/1599.27	o 2342930195270
1599.23/1599.27	o 2342930129734
1599.23/1599.27	o 2342930129710
1599.23/1599.27	o 2342930129702
1599.23/1599.27	o 2342930096934
1599.23/1599.27	o 2326546129712
1599.23/1599.27	o 2326546129710
1599.23/1599.27	o 2326416343402
1599.23/1599.27	o 2326416310634
1599.23/1599.27	o 2326416310632
1599.23/1599.27	o 2326416310628
1599.23/1599.27	o 2326416310620
1599.23/1599.27	o 2326416310364
1599.23/1599.27	o 2326416310300
1599.23/1599.27	o 2326416310298
1599.23/1599.27	o 2326416310042
1599.23/1599.27	o 2326416310026
1599.23/1599.27	o 2326416309514
1599.23/1599.27	o 2326288309514
1599.23/1599.27	o 2326032309514
1599.23/1599.27	o 2325008309514
1599.23/1599.27	o 2324496309514
1599.23/1599.27	o 2322448309514
1599.23/1599.27	o 2322448309512
1599.23/1599.27	o 2322448309504
1599.23/1599.27	o 2322448308992
1599.23/1599.27	o 2322448292608
1599.23/1599.27	o 2322448259840
1599.23/1599.27	o 2322448259776
1599.23/1599.27	o 2322448259648
1599.23/1599.27	o 2322448259644
1599.23/1599.27	o 2322448257596
1599.23/1599.27	o 2322448257340
1599.23/1599.27	o 2322448257308
1599.23/1599.27	o 2322448257304
1599.23/1599.27	o 2322448257296
1599.23/1599.27	o 2322448256272
1599.23/1599.27	o 2322448256208
1599.23/1599.27	o 2322448256080
1599.23/1599.27	o 2322448251984
1599.23/1599.27	o 2322448251952
1599.23/1599.27	o 2322448247856
1599.23/1599.27	o 2322448247840
1599.23/1599.27	o 2322448231456
1599.23/1599.27	o 2322448227360
1599.23/1599.27	o 2322448210976
1599.23/1599.27	o 2322448210972
1599.23/1599.27	o 2322448210940
1599.23/1599.27	o 2322417015430
1599.23/1599.27	o 2322289015430
1599.23/1599.27	o 2322273015430
1599.23/1599.27	o 2321761015430
1599.23/1599.27	o 2321697015430
1599.23/1599.27	o 2321441015430
1599.23/1599.27	o 2321433015430
1599.23/1599.27	o 2321429015430
1599.23/1599.27	o 2321428015430
1599.23/1599.27	o 2321426015430
1599.23/1599.27	o 2321426015422
1599.23/1599.27	o 2319378015422
1599.23/1599.27	o 2318354015422
1599.23/1599.27	o 2310162015422
1599.23/1599.27	o 2293778015422
1599.23/1599.27	o 2293778015414
1599.23/1599.27	o 2293778014902
1599.23/1599.27	o 2293778014898
1599.23/1599.27	o 2293778014642
1599.23/1599.27	o 2293778013874
1599.23/1599.27	o 2293778013872
1599.23/1599.27	o 2293778013808
1599.23/1599.27	o 2293778013807
1599.23/1599.27	o 2293778013791
1599.23/1599.27	o 2293778012767
1599.23/1599.27	o 2293777979999
1599.23/1599.27	o 2293777979991
1599.23/1599.27	o 2293777977943
1599.23/1599.27	o 2293777977939
1599.23/1599.27	o 2293777969747
1599.23/1599.27	o 2293777953363
1599.23/1599.27	o 2293777949267
1599.23/1599.27	o 2293777949251
1599.23/1599.27	o 2293777949247
1599.23/1599.27	o 2293777949239
1599.23/1599.27	o 2293777949111
1599.23/1599.27	o 2293777947063
1599.23/1599.27	o 2293777946039
1599.23/1599.27	o 2293777941943
1599.23/1599.27	o 2293777941939
1599.23/1599.27	o 2293777925555
1599.23/1599.27	o 2293777925539
1599.23/1599.27	o 2293777917347
1599.23/1599.27	o 2293777917346
1599.23/1599.27	o 2293777917218
1599.23/1599.27	o 2293777917216
1599.23/1599.27	o 2293777917200
1599.23/1599.27	o 2293777917194
1599.23/1599.27	o 2293777916938
1599.23/1599.27	o 2293777916426
1599.23/1599.27	o 2293777916410
1599.23/1599.27	o 2293777912314
1599.23/1599.27	o 2293777912313
1599.23/1599.27	o 2293777912309
1599.23/1599.27	o 2293777912277
1599.23/1599.27	o 2293777904085
1599.23/1599.27	o 2293777902037
1599.23/1599.27	o 2293777901013
1599.23/1599.27	o 2293777900949
1599.23/1599.27	o 2293777900941
1599.23/1599.27	o 2293777900939
1599.23/1599.27	o 2293777868171
1599.23/1599.27	o 2293777868043
1599.23/1599.27	o 2293777867787
1599.23/1599.27	o 2293777859595
1599.23/1599.27	o 2293769249427
1599.23/1599.27	o 2293753249427
1599.23/1599.27	o 2293737249427
1599.23/1599.27	o 2293736249427
1599.23/1599.27	o 2293736249171
1599.23/1599.27	o 2293736249163
1599.23/1599.27	o 2293736249035
1599.23/1599.27	o 2293736249003
1599.23/1599.27	o 2293736248491
1599.23/1599.27	o 2293736246443
1599.23/1599.27	o 2293736246439
1599.23/1599.27	o 2293736245415
1599.23/1599.27	o 2293736245413
1599.23/1599.27	o 2293736243027
1599.23/1599.27	o 2293736242899
1599.23/1599.27	o 2293712641734
1599.23/1599.27	o 2293712641718
1599.23/1599.27	o 2293712641716
1599.23/1599.27	o 2293712641700
1599.23/1599.27	o 2293696641700
1599.23/1599.27	o 2293692641700
1599.23/1599.27	o 2293691641700
1599.23/1599.27	o 2293683641700
1599.23/1599.27	o 2293681641700
1599.23/1599.27	o 2293681641668
1599.23/1599.27	o 2293681641636
1599.23/1599.27	o 2293681639588
1599.23/1599.27	o 2293681639584
1599.23/1599.27	o 2293681638560
1599.23/1599.27	o 2293681638528
1599.23/1599.27	o 2293681638464
1599.23/1599.27	o 2293681638400
1599.23/1599.27	o 2293681638144
1599.23/1599.27	o 2293169638144
1599.23/1599.27	o 2292913638144
1599.23/1599.27	o 2292785638144
1599.23/1599.27	o 2291761638144
1599.23/1599.27	o 2291729638144
1599.23/1599.27	o 2289681638144
1599.23/1599.27	o 2289681638080
1599.23/1599.27	o 2285585638080
1599.23/1599.27	o 2277393638080
1599.23/1599.27	o 2277393637824
1599.23/1599.27	o 2277393637808
1599.23/1599.27	o 2277393637804
1599.23/1599.27	o 2277393637774
1599.23/1599.27	o 2277393605006
1599.23/1599.27	o 2277393605002
1599.23/1599.27	o 2277393600906
1599.23/1599.27	o 2277393598858
1599.23/1599.27	o 2277393598346
1599.23/1599.27	o 2277393598090
1599.23/1599.27	o 2277393598058
1599.23/1599.27	o 2277393598056
1599.23/1599.27	o 2277393598040
1599.23/1599.27	o 2277393598032
1599.23/1599.27	o 2277393598031
1599.23/1599.27	o 2277393597903
1599.23/1599.27	o 2277393596879
1599.23/1599.27	o 2277393595855
1599.23/1599.27	o 2277393595343
1599.23/1599.27	o 2277393595336
1599.23/1599.27	o 2277393595335
1599.23/1599.27	o 2277393595207
1599.23/1599.27	o 2277393578823
1599.23/1599.27	o 2277393546055
1599.23/1599.27	o 2277391482760
1599.23/1599.27	o 2277391482632
1599.23/1599.27	o 2277391482624
1599.23/1599.27	o 2277391482623
1599.23/1599.27	o 2277391482591
1599.23/1599.27	o 2244623482591
1599.23/1599.27	o 2228239482591
1599.23/1599.27	o 2228239482575
1599.23/1599.27	o 2228239474383
1599.23/1599.27	o 2228239474255
1599.23/1599.27	o 222823947419>>> Terminate signal received
1800.04/1800.00	1
1800.04/1800.00	o 2228239470095
1800.04/1800.00	o 2228239469071
1800.04/1800.00	o 2228239469039
1800.04/1800.00	o 2228239468783
1800.04/1800.00	o 2228239468271
1800.04/1800.00	o 2228239468269
1800.04/1800.00	o 2228239466221
1800.04/1800.00	o 2228239465709
1800.04/1800.00	o 2228239465701
1800.04/1800.00	o 2228239465699
1800.04/1800.00	o 2228239465571
1800.04/1800.00	o 2228239465570
1800.04/1800.00	o 2228239461474
1800.04/1800.00	o 2228239461410
1800.04/1800.00	o 2228239460386
1800.04/1800.00	o 2228239460130
1800.04/1800.00	o 2228239456034
1800.04/1800.00	o 2228239456030
1800.04/1800.00	o 2228239456022
1800.04/1800.00	o 2228239453974
1800.04/1800.00	o 2228239324962
1800.04/1800.00	o 2228239324450
1800.04/1800.00	o 2228239324418
1800.04/1800.00	o 2228239324290
1800.04/1800.00	o 2228239324288
1800.04/1800.00	o 2228239324272
1800.04/1800.00	o 2228239324264
1800.04/1800.00	o 2228239324260
1800.04/1800.00	o 2228239323236
1800.04/1800.00	o 2228239322980
1800.04/1800.00	o 2228239322852
1800.04/1800.00	o 2228239318756
1800.04/1800.00	o 2228239318692
1800.04/1800.00	o 2228239318690
1800.04/1800.00	o 2228239285922
1800.04/1800.00	o 2228239285890
1800.04/1800.00	o 2228239154818
1800.04/1800.00	o 2228239152802
1800.04/1800.00	o 2228233076709
1800.04/1800.00	o 2228105076709
1800.04/1800.00	o 2228104076709
1800.04/1800.00	o 2228088076709
1800.04/1800.00	o 2228024076709
1800.04/1800.00	o 2228022076709
1800.04/1800.00	o 2228018076709
1800.04/1800.00	o 2227986076709
1800.04/1800.00	o 2227986076677
1800.04/1800.00	o 2227986072581
1800.04/1800.00	o 2227986072517
1800.04/1800.00	o 2227986072485
1800.04/1800.00	o 2227986064293
1800.04/1800.00	o 2227986064277
1800.04/1800.00	o 2227986062229
1800.04/1800.00	o 2227986061205
1800.04/1800.00	o 2227986028437
1800.04/1800.00	o 2227986028436
1800.04/1800.00	o 2227986028420
1800.04/1800.00	o 2227986028292
1800.04/1800.00	o 2227986011908
1800.04/1800.00	o 2227986011906
1800.04/1800.00	o 2227986011898
1800.04/1800.00	o 2227986011642
1800.04/1800.00	o 2227985880570
1800.04/1800.00	o 2227985880568
1800.04/1800.00	o 2227985880056
1800.04/1800.00	o 2227985814520
1800.04/1800.00	o 2227985748984
1800.04/1800.00	o 2227985748968
1800.04/1800.00	o 2227985740776
1800.04/1800.00	o 2227985708008
1800.04/1800.00	o 2227985708000
1800.04/1800.00	o 2227985691616
1800.04/1800.00	o 2227985691614
1800.04/1800.00	o 2227985691102
1800.04/1800.00	o 2227985691094
1800.04/1800.00	o 2227985691090
1800.04/1800.00	o 2227985682898
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

Verifier Data 

OK	2227985682898

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

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: 2.03 2.00 1.93 3/177 17587
/proc/meminfo: memFree=5675420/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=7692 CPUtime=0 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 394 0 0 0 0 0 0 0 25 0 1 0 23505073 7876608 347 33554432000 4194304 6957856 140734183582336 18446744073709551615 6085472 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 1923 347 251 675 0 1239 0

[startup+0.087313 s]
/proc/loadavg: 2.03 2.00 1.93 3/177 17587
/proc/meminfo: memFree=5675420/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=11104 CPUtime=0.08 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 1254 0 0 0 8 0 0 0 25 0 1 0 23505073 11370496 1207 33554432000 4194304 6957856 140734183582336 18446744073709551615 5925415 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 2776 1211 266 675 0 2092 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11104

[startup+0.100309 s]
/proc/loadavg: 2.03 2.00 1.93 3/177 17587
/proc/meminfo: memFree=5675420/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=12284 CPUtime=0.09 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 1554 0 0 0 9 0 0 0 25 0 1 0 23505073 12578816 1507 33554432000 4194304 6957856 140734183582336 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 3071 1507 266 675 0 2387 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12284

[startup+0.300281 s]
/proc/loadavg: 2.03 2.00 1.93 3/177 17587
/proc/meminfo: memFree=5675420/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=24536 CPUtime=0.29 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 4621 0 0 0 29 0 0 0 25 0 1 0 23505073 25124864 4574 33554432000 4194304 6957856 140734183582336 18446744073709551615 4847604 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 6134 4574 273 675 0 5450 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24536

[startup+0.700204 s]
/proc/loadavg: 2.03 2.00 1.93 3/177 17587
/proc/meminfo: memFree=5675420/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=24536 CPUtime=0.69 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 4648 0 0 0 69 0 0 0 25 0 1 0 23505073 25124864 4601 33554432000 4194304 6957856 140734183582336 18446744073709551615 4838296 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 6134 4601 285 675 0 5450 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24536

[startup+1.5011 s]
/proc/loadavg: 2.03 2.00 1.93 3/178 17588
/proc/meminfo: memFree=5657712/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=24540 CPUtime=1.49 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 4706 0 0 0 149 0 0 0 25 0 1 0 23505073 25128960 4659 33554432000 4194304 6957856 140734183582336 18446744073709551615 5917973 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 6135 4659 288 675 0 5451 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24540

[startup+3.10071 s]
/proc/loadavg: 2.03 2.00 1.93 3/178 17588
/proc/meminfo: memFree=5656844/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=24540 CPUtime=3.09 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 4967 0 0 0 309 0 0 0 25 0 1 0 23505073 25128960 4915 33554432000 4194304 6957856 140734183582336 18446744073709551615 5918166 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 6135 4915 288 675 0 5451 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24540

[startup+6.30026 s]
/proc/loadavg: 2.03 2.00 1.93 3/178 17588
/proc/meminfo: memFree=5655860/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=22612 CPUtime=6.29 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 5798 0 0 0 629 0 0 0 25 0 1 0 23505073 23154688 5064 33554432000 4194304 6957856 140734183582336 18446744073709551615 4838435 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 5653 5064 290 675 0 4969 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22612

[startup+12.7011 s]
/proc/loadavg: 2.02 2.00 1.93 3/178 17589
/proc/meminfo: memFree=5654052/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=23000 CPUtime=12.69 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 6014 0 0 0 1269 0 0 0 25 0 1 0 23505073 23552000 5276 33554432000 4194304 6957856 140734183582336 18446744073709551615 5932630 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 5750 5276 290 675 0 5066 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23000

[startup+25.5009 s]
/proc/loadavg: 2.02 2.00 1.93 3/178 17589
/proc/meminfo: memFree=5652932/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=26312 CPUtime=25.49 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 6291 0 0 0 2549 0 0 0 25 0 1 0 23505073 26943488 5553 33554432000 4194304 6957856 140734183582336 18446744073709551615 5934057 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 6578 5553 291 675 0 5894 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26312

[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 17589
/proc/meminfo: memFree=5651272/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=26312 CPUtime=51.09 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 6713 0 0 0 5109 0 0 0 25 0 1 0 23505073 26943488 5971 33554432000 4194304 6957856 140734183582336 18446744073709551615 5922016 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 6578 5971 291 675 0 5894 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26312

[startup+102.306 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 17591
/proc/meminfo: memFree=5647900/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=30076 CPUtime=102.29 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 7564 0 0 0 10229 0 0 0 25 0 1 0 23505073 30797824 6809 33554432000 4194304 6957856 140734183582336 18446744073709551615 5315408 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 7519 6809 291 675 0 6835 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 30076

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 17593
/proc/meminfo: memFree=5646492/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=30208 CPUtime=162.29 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 7859 0 0 0 16229 0 0 0 25 0 1 0 23505073 30932992 7095 33554432000 4194304 6957856 140734183582336 18446744073709551615 5319466 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 7552 7095 291 675 0 6868 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 30208

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17594
/proc/meminfo: memFree=5645444/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=34564 CPUtime=222.29 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 8141 0 0 0 22229 0 0 0 25 0 1 0 23505073 35393536 7367 33554432000 4194304 6957856 140734183582336 18446744073709551615 5314078 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 8641 7367 291 675 0 7957 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 34564

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17595
/proc/meminfo: memFree=5642688/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=34564 CPUtime=282.3 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 8864 0 0 0 28229 1 0 0 25 0 1 0 23505073 35393536 8081 33554432000 4194304 6957856 140734183582336 18446744073709551615 5922016 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 8641 8081 291 675 0 7957 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 34564

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17597
/proc/meminfo: memFree=5639416/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=37284 CPUtime=342.3 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 9641 0 0 0 34229 1 0 0 25 0 1 0 23505073 38178816 8854 33554432000 4194304 6957856 140734183582336 18446744073709551615 4863173 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 9321 8854 291 675 0 8637 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 37284

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17599
/proc/meminfo: memFree=5642472/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=34564 CPUtime=402.3 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 11352 0 0 0 40229 1 0 0 25 0 1 0 23505073 35393536 8154 33554432000 4194304 6957856 140734183582336 18446744073709551615 5932846 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 8641 8154 291 675 0 7957 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 34564

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17601
/proc/meminfo: memFree=5642304/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=34564 CPUtime=462.3 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 11364 0 0 0 46229 1 0 0 25 0 1 0 23505073 35393536 8165 33554432000 4194304 6957856 140734183582336 18446744073709551615 5922021 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 8641 8165 291 675 0 7957 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 34564

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17602
/proc/meminfo: memFree=5642620/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=34564 CPUtime=522.3 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 11364 0 0 0 52229 1 0 0 25 0 1 0 23505073 35393536 8165 33554432000 4194304 6957856 140734183582336 18446744073709551615 5922145 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 8641 8165 291 675 0 7957 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 34564

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17603
/proc/meminfo: memFree=5645792/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=34592 CPUtime=582.31 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 14116 0 0 0 58229 2 0 0 25 0 1 0 23505073 35422208 7361 33554432000 4194304 6957856 140734183582336 18446744073709551615 4871306 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 8648 7361 291 675 0 7964 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 34592

[startup+642.301 s]

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

/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 17181 0 0 0 100229 2 0 0 25 0 1 0 23505073 44384256 10378 33554432000 4194304 6957856 140734183582336 18446744073709551615 5933982 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 10836 10378 291 675 0 10152 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 43344

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17617
/proc/meminfo: memFree=5635020/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=43344 CPUtime=1062.32 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 20608 0 0 0 106229 3 0 0 25 0 1 0 23505073 44384256 9856 33554432000 4194304 6957856 140734183582336 18446744073709551615 5918148 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 10836 9856 291 675 0 10152 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 43344

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17618
/proc/meminfo: memFree=5633980/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=43344 CPUtime=1122.32 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 20857 0 0 0 112229 3 0 0 25 0 1 0 23505073 44384256 10100 33554432000 4194304 6957856 140734183582336 18446744073709551615 4863358 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 10836 10100 291 675 0 10152 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 43344

[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/178 17619
/proc/meminfo: memFree=5633448/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=43344 CPUtime=1182.32 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 21029 0 0 0 118229 3 0 0 25 0 1 0 23505073 44384256 10271 33554432000 4194304 6957856 140734183582336 18446744073709551615 5932688 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 10836 10271 291 675 0 10152 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 43344

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 17621
/proc/meminfo: memFree=5632792/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=43344 CPUtime=1242.32 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 21035 0 0 0 124229 3 0 0 25 0 1 0 23505073 44384256 10277 33554432000 4194304 6957856 140734183582336 18446744073709551615 5316146 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 10836 10277 291 675 0 10152 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 43344

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17623
/proc/meminfo: memFree=5628272/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=47764 CPUtime=1302.33 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 22253 0 0 0 130230 3 0 0 25 0 1 0 23505073 48910336 11484 33554432000 4194304 6957856 140734183582336 18446744073709551615 5313019 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 11941 11484 291 675 0 11257 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 47764

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17625
/proc/meminfo: memFree=5632440/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=43344 CPUtime=1362.32 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 27034 0 0 0 136228 4 0 0 25 0 1 0 23505073 44384256 10379 33554432000 4194304 6957856 140734183582336 18446744073709551615 5932662 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 10836 10379 291 675 0 10152 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 43344

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17626
/proc/meminfo: memFree=5632740/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=43344 CPUtime=1422.33 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 27034 0 0 0 142229 4 0 0 25 0 1 0 23505073 44384256 10379 33554432000 4194304 6957856 140734183582336 18446744073709551615 5312912 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 10836 10379 291 675 0 10152 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 43344

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17627
/proc/meminfo: memFree=5632576/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=43344 CPUtime=1482.33 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 27034 0 0 0 148229 4 0 0 25 0 1 0 23505073 44384256 10379 33554432000 4194304 6957856 140734183582336 18446744073709551615 5934575 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 10836 10379 291 675 0 10152 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 43344

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17629
/proc/meminfo: memFree=5632644/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=43344 CPUtime=1542.33 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 27034 0 0 0 154229 4 0 0 25 0 1 0 23505073 44384256 10379 33554432000 4194304 6957856 140734183582336 18446744073709551615 5312925 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 10836 10379 291 675 0 10152 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 43344

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17631
/proc/meminfo: memFree=5627884/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=47764 CPUtime=1602.33 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 28147 0 0 0 160229 4 0 0 25 0 1 0 23505073 48910336 11484 33554432000 4194304 6957856 140734183582336 18446744073709551615 5918152 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 11941 11484 291 675 0 11257 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 47764

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 17710
/proc/meminfo: memFree=5664128/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=47764 CPUtime=1662.33 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 28147 0 0 0 166228 5 0 0 25 0 1 0 23505073 48910336 11484 33554432000 4194304 6957856 140734183582336 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 11941 11484 291 675 0 11257 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 47764

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17711
/proc/meminfo: memFree=5655188/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=47764 CPUtime=1722.33 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 28147 0 0 0 172228 5 0 0 25 0 1 0 23505073 48910336 11484 33554432000 4194304 6957856 140734183582336 18446744073709551615 5385223 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 11941 11484 291 675 0 11257 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 47764

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17712
/proc/meminfo: memFree=5654372/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=47764 CPUtime=1782.34 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 28147 0 0 0 178229 5 0 0 25 0 1 0 23505073 48910336 11484 33554432000 4194304 6957856 140734183582336 18446744073709551615 5314225 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 11941 11484 291 675 0 11257 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 47764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17713
/proc/meminfo: memFree=5648284/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=47764 CPUtime=1800.04 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) R 17585 17587 16844 0 -1 4202496 28147 0 0 0 179999 5 0 0 25 0 1 0 23505073 48910336 11484 33554432000 4194304 6957856 140734183582336 18446744073709551615 5313006 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/17587/statm: 11941 11484 291 675 0 11257 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 47764

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17587

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.94 2/179 17714
/proc/meminfo: memFree=5648276/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=47764 CPUtime=1800.04 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) S 17585 17587 16844 0 -1 4202496 28148 0 0 0 179999 5 0 0 25 0 1 0 23505073 48910336 11485 33554432000 4194304 6957856 140734183582336 18446744073709551615 6100974 0 16384 4096 17571 18446604453946971456 0 0 17 4 0 0 0
/proc/17587/statm: 11941 11485 292 675 0 11257 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 47764

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.94 2/179 17714
/proc/meminfo: memFree=5648276/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=47764 CPUtime=1800.04 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) S 17585 17587 16844 0 -1 4202496 28148 0 0 0 179999 5 0 0 25 0 1 0 23505073 48910336 11485 33554432000 4194304 6957856 140734183582336 18446744073709551615 6100974 0 16384 4096 17571 18446604453946971456 0 0 17 4 0 0 0
/proc/17587/statm: 11941 11485 292 675 0 11257 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 47764

[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.94 2/179 17714
/proc/meminfo: memFree=5648276/32950928 swapFree=67111364/67111528
[pid=17587] ppid=17585 vsize=47764 CPUtime=1800.04 cores=0,2,4,6
/proc/17587/stat : 17587 (minisatid-gmp) S 17585 17587 16844 0 -1 4202496 28148 0 0 0 179999 5 0 0 25 0 1 0 23505073 48910336 11485 33554432000 4194304 6957856 140734183582336 18446744073709551615 6100974 0 16384 4096 17571 18446604453946971456 0 0 17 4 0 0 0
/proc/17587/statm: 11941 11485 292 675 0 11257 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 47764

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

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

runsolver used 2.66759 second user time and 5.54316 second system time

The end

Launcher Data 

Begin job on node124 at 2011-06-13 03:13:23
IDJOB=3497037
IDBENCH=2505
IDSOLVER=1990
FILE ID=node124/3497037-1307927603
RUNJOBID= node124-1307919796-16862
PBS_JOBID= 13559655
Free space on /tmp= 2084 MiB

SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3497037-1307927603/watcher-3497037-1307927603 -o /tmp/evaluation-result-3497037-1307927603/solver-3497037-1307927603 -C 1800 -W 1900 -M 15500  HOME/minisatid-gmp HOME/instance-3497037-1307927603.opb --verbosity=0 --format=opb --randomseed=1983065979

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

MD5SUM BENCH= 34e6501168eba14fba603ee8987209fc
RANDOM SEED=1983065979

node124.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.855
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.71
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.855
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	: 5332.75
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.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.855
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.855
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.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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:       5675616 kB
Buffers:         85580 kB
Cached:       26228364 kB
SwapCached:          0 kB
Active:       11434704 kB
Inactive:     14990580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       5675616 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            3556 kB
Writeback:           0 kB
AnonPages:      111392 kB
Mapped:          17460 kB
Slab:           786032 kB
PageTables:       4208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   253424 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 /tmp at the end= 2084 MiB
End job on node124 at 2011-06-13 03:43:25