Trace number 3466700

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.4.8-gmp? (TO)2232338617190 1800.05 1802.02

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-glass4.opb
MD5SUM9d32bc57adc83bca41f939562e4ccfd8
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 benchmark16.9034
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1228810444800
Optimality of the best value was proved YES
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.01	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
0.98/1.06	o 605032472014450
0.98/1.09	o 605032471014450
0.98/1.11	o 605032469014450
1.08/1.14	o 605032437014450
1.08/1.17	o 605032373014450
1.08/1.20	o 605032245014450
1.19/1.23	o 605031989014450
1.19/1.25	o 605031477014450
1.19/1.27	o 605030453014450
1.19/1.29	o 605028405014450
1.28/1.31	o 603979829014450
1.28/1.33	o 536870965014450
1.28/1.35	o 67108917014450
1.28/1.38	o 67108917014410
1.38/1.40	o 67108917014394
1.38/1.43	o 67108917014388
1.38/1.44	o 67108916752244
1.38/1.45	o 67108916719476
1.38/1.46	o 67108916653940
1.38/1.47	o 67108916522868
1.38/1.48	o 67108915998580
2.18/2.28	o 10092604182454
2.18/2.31	o 9961532182454
2.29/2.31	o 9617468182454
2.29/2.32	o 9617468182326
2.29/2.33	o 9617468182322
2.29/2.35	o 9617468180274
2.29/2.37	o 9617468176178
2.29/2.38	o 9617468175154
2.29/2.40	o 9617468175122
2.38/2.41	o 9617468142354
2.38/2.42	o 9617468134162
2.38/2.44	o 9617468117778
2.38/2.45	o 9617468052242
2.38/2.47	o 9617468051986
2.88/2.95	o 9617460210832
2.88/2.97	o 9601076210832
2.88/2.99	o 9568308210832
2.98/3.02	o 9437236210832
2.98/3.02	o 9437236210830
2.98/3.05	o 9437236210318
2.98/3.06	o 9437236210190
2.98/3.08	o 9437236193806
3.08/3.10	o 9437236161038
3.08/3.11	o 9437236161006
3.08/3.12	o 9437236160998
3.18/3.24	o 9437232680463
3.18/3.25	o 8388656680463
3.18/3.26	o 8388656680447
3.18/3.28	o 8388656664063
3.18/3.31	o 8388648275455
3.48/3.54	o 8192056501199
3.48/3.55	o 8192054404047
3.58/3.64	o 8192048028499
3.58/3.65	o 8126512028499
3.58/3.66	o 7864368028499
3.58/3.67	o 7602224028499
3.58/3.69	o 7602224020307
3.68/3.70	o 7602224020179
3.68/3.72	o 7602224019155
3.68/3.73	o 7602224019123
3.68/3.75	o 7602224019115
3.68/3.77	o 7602224019051
3.68/3.79	o 7602224019035
3.78/3.80	o 7602224002651
3.78/3.82	o 7602224002635
3.78/3.83	o 7602222954059
3.78/3.85	o 7602222953803
3.78/3.87	o 7602222952779
3.78/3.89	o 7602222952715
3.88/3.90	o 7602222952707
3.88/3.92	o 7602222952675
3.88/3.94	o 7602222919907
3.88/3.95	o 7602222919903
3.88/3.97	o 7602222915807
3.88/3.99	o 7602222915679
3.98/4.00	o 7602222913631
3.98/4.02	o 7602222913629
3.98/4.03	o 7602222905437
3.98/4.05	o 7602222774365
3.98/4.06	o 7602222773853
3.98/4.07	o 7602222708317
4.08/4.15	o 7602213920933
4.08/4.16	o 6553637920933
4.08/4.16	o 6291493920933
4.08/4.17	o 6291493920932
4.08/4.18	o 6291493920916
4.08/4.18	o 6291493912724
4.18/4.20	o 6291493908628
4.18/4.22	o 6291492204692
4.18/4.23	o 6291492202644
4.18/4.24	o 6291492201620
4.18/4.26	o 6291492070548
4.18/4.27	o 6291492070547
4.18/4.29	o 6291492070543
4.28/4.31	o 6291492070541
4.28/4.33	o 6291492070533
4.28/4.34	o 6291492066437
4.28/4.36	o 6291492000901
4.28/4.38	o 6291491998853
4.28/4.40	o 6291491990661
4.38/4.41	o 6291491989637
4.38/4.43	o 6291491989381
4.38/4.45	o 6291491988869
4.38/4.47	o 6291491956101
4.38/4.48	o 6291491955973
4.38/4.50	o 6291491955909
4.50/4.52	o 6291491939525
4.50/4.53	o 6291491939493
4.50/4.55	o 6291491939477
4.50/4.57	o 6291491939469
4.50/4.59	o 6291491808397
4.58/4.60	o 6291491807885
4.58/4.62	o 6291491807869
4.58/4.63	o 6291491791485
4.58/4.64	o 6291491791229
4.58/4.65	o 6291491791197
4.58/4.65	o 6291491791193
4.58/4.66	o 6291491791161
4.58/4.67	o 6291491791097
4.58/4.67	o 6291491790585
4.58/4.68	o 6291491790577
4.58/4.68	o 6291491789553
4.58/4.69	o 6291491527409
4.68/4.70	o 6291491527407
4.68/4.71	o 6291491461871
4.68/4.71	o 6291491461615
4.68/4.72	o 6291491330543
4.68/4.73	o 6291491330415
4.68/4.73	o 6291491328367
4.68/4.75	o 6291491311983
4.68/4.75	o 6291491279215
4.68/4.77	o 6291491262831
4.78/4.85	o 6291491230024
4.78/4.85	o 6291491229992
4.78/4.87	o 6291491227944
4.78/4.87	o 6291491227688
4.88/4.90	o 6291491194920
4.88/4.90	o 6291491178536
4.88/4.92	o 6291491178528
4.88/4.93	o 6291490916384
4.88/4.95	o 6291490916128
4.88/4.96	o 6291490785056
4.88/4.98	o 6291490260768
4.88/4.99	o 6291490260764
4.98/5.01	o 6291490260762
4.98/5.02	o 6291490252570
4.98/5.02	o 6291490219802
4.98/5.03	o 6291490154266
4.98/5.03	o 6291490154250
4.98/5.04	o 6291490150154
4.98/5.06	o 6291490150026
4.98/5.07	o 6291490149514
4.98/5.09	o 6291490133130
5.08/5.10	o 6291489084554
5.08/5.12	o 6291489083530
5.08/5.13	o 6291489083498
5.08/5.15	o 6291489081450
5.08/5.15	o 6291489081386
5.59/5.65	o 5242915538979
5.59/5.67	o 5242915538977
5.59/5.68	o 5242915538913
5.68/5.70	o 5242915538657
5.68/5.72	o 5242915538625
5.68/5.73	o 5242915407553
5.68/5.74	o 5242915407549
5.68/5.74	o 5242915407541
5.68/5.76	o 5242915407029
5.68/5.78	o 5242915407013
5.78/5.81	o 5242915405989
5.78/5.82	o 5242915403941
5.78/5.83	o 5242915403813
5.78/5.84	o 5242915399717
5.78/5.85	o 5242915391525
5.78/5.86	o 5242915371203
5.78/5.88	o 5242915363011
5.78/5.88	o 5242915297475
5.78/5.89	o 5242915281091
5.78/5.89	o 5242915281090
5.88/5.90	o 5242915276994
5.88/5.92	o 5242914752706
5.88/5.93	o 5242914719938
5.88/5.94	o 5242914719906
5.88/5.95	o 5242914711714
5.98/6.00	o 5242913667904
5.98/6.02	o 5242913667900
5.98/6.03	o 5242913667892
5.98/6.04	o 5242913659700
5.98/6.05	o 5242913659684
5.98/6.06	o 5242913397540
5.98/6.08	o 5242913397538
5.98/6.09	o 5242913381154
6.08/6.10	o 5242913348386
6.08/6.11	o 5242912824098
6.08/6.12	o 5242912693026
6.08/6.14	o 5242912692962
6.08/6.14	o 5242912692961
6.08/6.15	o 5242912692929
6.08/6.16	o 5242912690881
6.08/6.17	o 5242912690625
6.08/6.18	o 5242912686529
6.08/6.18	o 5242912686017
6.08/6.19	o 5242912684993
6.18/6.20	o 5242912684985
6.18/6.21	o 5242912684969
6.18/6.21	o 5242912684965
6.18/6.22	o 5242912684963
6.18/6.23	o 5242912684835
6.18/6.28	o 5242912529171
6.38/6.43	o 5242910541014
6.38/6.43	o 4194334541014
6.38/6.44	o 4194334541012
6.38/6.45	o 4194334541008
6.38/6.46	o 4194334541000
6.38/6.48	o 4194334540984
6.38/6.48	o 4194334540856
6.48/6.50	o 4194334536760
6.48/6.51	o 4194334528568
6.98/7.03	o 4194331660534
6.98/7.04	o 4194331660526
6.98/7.05	o 4194331660014
6.98/7.05	o 4194331655918
6.98/7.06	o 4194331653870
6.98/7.08	o 4194331588334
7.08/7.12	o 4194331559022
7.08/7.12	o 4194331558510
7.08/7.13	o 4194331558446
7.08/7.13	o 4194331558318
7.08/7.14	o 4194331492782
7.08/7.15	o 4194331492778
7.08/7.17	o 4194331484586
7.08/7.17	o 4194331480490
7.08/7.17	o 4194331464106
7.08/7.19	o 4194331463082
7.08/7.19	o 4194331463074
7.18/7.20	o 4194331332002
7.18/7.21	o 4194331331986
7.18/7.22	o 4194331331954
7.18/7.23	o 4194331329906
7.18/7.23	o 4194331329904
7.18/7.25	o 4194331067760
9.99/10.01	o 4194329689867
9.99/10.03	o 4194329624331
9.99/10.04	o 4194329100043
9.99/10.04	o 4194329091851
9.99/10.05	o 4194329075467
9.99/10.06	o 4194329009931
9.99/10.07	o 4194329007883
9.99/10.08	o 4194329007851
10.08/10.15	o 4194323102148
10.08/10.19	o 4194322994588
10.18/10.21	o 4194322992540
10.18/10.21	o 4194322992284
10.18/10.22	o 4194322992282
10.18/10.22	o 4194322992218
10.18/10.23	o 4194322992210
10.18/10.23	o 4194322988114
10.18/10.25	o 4194322987677
10.18/10.26	o 4194322987676
10.18/10.27	o 4194322922140
13.08/13.16	o 4063262137679
13.08/13.18	o 4063262137677
13.08/13.18	o 4063262121293
13.08/13.21	o 4063262121261
13.18/13.23	o 4063262121253
13.18/13.25	o 4063262121252
13.18/13.28	o 4063262119204
13.18/13.30	o 4063262119076
13.29/13.32	o 4063262119060
13.29/13.35	o 4063262118036
13.29/13.37	o 4063262117780
13.29/13.39	o 4063262117268
13.38/13.42	o 4063262113172
13.38/13.44	o 4063262080404
13.38/13.46	o 4063262080340
13.38/13.49	o 4063261949268
13.48/13.51	o 4063261883732
13.48/13.53	o 4063261883730
13.48/13.55	o 4063261883726
13.48/13.58	o 4063261875534
13.58/13.60	o 4063261874510
13.58/13.62	o 4063261872462
13.58/13.64	o 4063261872460
13.58/13.67	o 4063261872332
13.58/13.69	o 4063261872300
13.68/13.71	o 4063261872296
13.68/13.73	o 4063261871784
13.68/13.76	o 4063261871720
13.68/13.78	o 4063261838952
13.78/13.80	o 4063261830760
13.78/13.82	o 4063261830744
13.78/13.85	o 4063261830488
13.78/13.87	o 4063261826392
13.78/13.89	o 4063261810008
13.88/13.91	o 4063261810000
13.88/13.93	o 4063261744464
13.88/13.96	o 4063261220176
13.88/13.98	o 4063261089104
13.98/14.03	o 4063259483471
13.98/14.04	o 4063259352399
13.98/14.04	o 4063259286863
13.98/14.05	o 4063259254095
13.98/14.07	o 4063259252048
13.98/14.08	o 4063259251792
13.98/14.08	o 4063259251790
13.98/14.09	o 4063259243598
13.98/14.09	o 4063259239502
14.08/14.10	o 4063259239438
14.08/14.10	o 4063259239422
14.08/14.11	o 4063259239390
14.08/14.11	o 4063259239382
14.08/14.12	o 4063259238358
14.08/14.13	o 4063259238354
14.08/14.13	o 4063259221970
14.08/14.14	o 4063259221938
14.08/14.14	o 4063259221810
14.08/14.15	o 4063259220786
14.08/14.15	o 4063259220722
14.08/14.16	o 4063259220714
14.08/14.16	o 4063259204330
14.08/14.17	o 4063259196138
14.08/14.17	o 4063259194090
14.08/14.18	o 4063259189994
14.08/14.18	o 4063259189962
14.08/14.19	o 4063259189954
14.08/14.20	o 4063259157186
14.18/14.20	o 4063259157122
14.18/14.21	o 4063259157106
14.18/14.21	o 4063258632818
14.18/14.22	o 4063258501746
15.18/15.25	o 3993649655812
15.18/15.26	o 3993642655812
15.18/15.27	o 3993642655810
15.18/15.28	o 3993642655298
15.18/15.28	o 3993642655296
15.18/15.29	o 3993642655040
15.28/15.30	o 3993642654976
15.28/15.30	o 3993642652928
15.28/15.31	o 3993642128640
15.28/15.31	o 3993642112256
15.28/15.32	o 3993642112224
15.28/15.33	o 3993641850080
15.28/15.33	o 3993641850064
15.68/15.73	o 3993640895634
15.68/15.74	o 3993640895506
15.68/15.75	o 3993640891410
15.68/15.75	o 3993640891406
15.68/15.76	o 3993640889358
15.68/15.76	o 3993640758286
15.68/15.77	o 3993640757774
15.68/15.77	o 3993640692238
15.68/15.78	o 3993640692222
15.78/15.81	o 3993640691991
15.78/15.82	o 3993640691975
15.78/15.83	o 3993640691847
15.78/15.85	o 3993640691783
15.78/15.86	o 3993640690759
15.78/15.87	o 3993640690757
15.78/15.89	o 3993640689733
15.88/15.90	o 3993640689477
15.88/15.91	o 3993640689475
15.88/15.93	o 3993640656707
15.88/15.94	o 3993640640323
15.88/15.95	o 3993640638275
15.88/15.97	o 3993640637763
15.88/15.98	o 3993640637759
15.88/15.99	o 3993640637743
15.98/16.00	o 3993640633647
15.98/16.01	o 3993640502575
15.98/16.03	o 3993640437039
15.98/16.04	o 3993640424751
15.98/16.05	o 3993640424750
15.98/16.07	o 3993640424742
16.38/16.43	o 3993640385881
16.38/16.44	o 3993640385753
16.38/16.44	o 3993640385749
16.38/16.45	o 3993640385747
16.38/16.45	o 3993640381651
16.38/16.46	o 3993640381650
16.38/16.46	o 3993640380626
16.38/16.47	o 3993640380562
16.38/16.47	o 3993640380530
16.38/16.48	o 3993640372338
16.38/16.48	o 3993640370290
16.38/16.48	o 3993640370274
16.38/16.50	o 3993640370272
16.38/16.51	o 3993639845984
16.48/16.51	o 3993639845982
16.48/16.52	o 3993639845978
16.48/16.53	o 3993639845962
16.48/16.56	o 3993639753833
16.48/16.59	o 3993639753577
16.48/16.60	o 3993639749481
16.48/16.61	o 3993639748457
16.59/16.62	o 3993639746409
16.59/16.62	o 3993639713641
16.59/16.64	o 3993639713385
16.59/16.64	o 3993639711337
16.59/16.65	o 3993639710825
16.59/16.65	o 3993639710793
16.59/16.66	o 3993639710729
16.59/16.66	o 3993639702537
16.59/16.67	o 3993639701513
16.59/16.67	o 3993639701511
16.59/16.67	o 3993639701507
16.59/16.68	o 3993639701499
16.59/16.69	o 3993639701497
16.68/16.70	o 3993639701465
16.68/16.71	o 3993639685081
16.68/16.72	o 3993639676889
16.68/16.73	o 3993639672793
16.68/16.74	o 3993639640025
16.68/16.75	o 3993639508953
16.98/17.06	o 3993635722689
16.98/17.07	o 3993635722681
16.98/17.08	o 3993635722665
17.08/17.12	o 3993634722665
17.18/17.23	o 3993634698083
17.38/17.45	o 3993632668732
17.38/17.47	o 3993632668716
17.38/17.48	o 3993632652332
17.38/17.49	o 3993632619564
17.38/17.49	o 3993632619500
17.48/17.50	o 3993632619499
17.48/17.52	o 3993632618475
17.48/17.53	o 3993632618467
17.48/17.54	o 3993632617955
17.48/17.56	o 3993632617699
17.48/17.57	o 3993632615651
17.48/17.58	o 3993632615649
17.78/17.87	o 3993632162620
17.78/17.89	o 3993632162492
17.78/17.89	o 3993632162490
17.88/17.90	o 3993632161466
17.88/17.91	o 3993632128698
17.88/17.93	o 3993632124602
17.88/17.94	o 3993632124538
17.88/17.96	o 3993632116346
17.88/17.97	o 3993632116338
17.88/17.99	o 3993632116322
17.98/18.01	o 3993632116290
17.98/18.02	o 3993632116286
17.98/18.04	o 3993632099902
17.98/18.05	o 3993632097854
17.98/18.07	o 3993632032318
17.98/18.08	o 3993632032062
18.08/18.10	o 3993632015678
18.08/18.11	o 3993632011582
18.08/18.13	o 3993632011070
18.08/18.14	o 3993632011038
18.08/18.16	o 3993632010974
18.08/18.18	o 3993632010846
18.08/18.19	o 3993632010830
18.18/18.20	o 3993632010822
18.18/18.22	o 3993631010822
18.18/18.25	o 3993631010820
18.18/18.26	o 3993631010564
18.18/18.28	o 3993631010560
18.28/18.30	o 3993631010432
18.28/18.32	o 3993631010400
18.28/18.34	o 3993631008352
18.28/18.35	o 3993631000160
18.28/18.37	o 3993630996064
18.28/18.39	o 3993630996048
18.38/18.41	o 3993630996040
18.38/18.42	o 3993630995528
18.38/18.44	o 3993630995527
18.38/18.46	o 3993630995463
18.38/18.47	o 3993630994439
19.08/19.14	o 3960861710106
19.08/19.15	o 3960860710106
19.08/19.15	o 3698716710106
19.08/19.16	o 3694620710106
19.08/19.17	o 3686428710106
19.08/19.17	o 3670044710106
19.08/19.18	o 3670044447962
19.18/19.20	o 3670044447958
19.18/19.20	o 3670044447894
19.18/19.21	o 3670044447766
19.18/19.22	o 3670044447510
19.18/19.23	o 3670044447508
19.18/19.24	o 3670044447492
19.18/19.25	o 3670044431108
19.18/19.28	o 3670044332764
19.18/19.28	o 3670044332508
19.18/19.30	o 3670044332506
19.28/19.30	o 3670044332498
19.28/19.31	o 3670044332370
19.28/19.32	o 3670044331858
19.28/19.32	o 3670044327762
19.28/19.33	o 3670044327698
19.28/19.33	o 3670044262162
19.28/19.34	o 3670044261138
19.28/19.34	o 3670044261130
19.28/19.35	o 3670044259082
19.28/19.35	o 3670044242698
19.28/19.36	o 3670044242697
19.28/19.37	o 3670044234505
19.28/19.37	o 3670044234249
19.28/19.38	o 3670044201481
19.28/19.38	o 3670044201477
19.28/19.39	o 3670044201475
19.38/19.41	o 3670044201443
19.38/19.42	o 3670044197347
19.38/19.44	o 3670043673059
19.38/19.45	o 3670043664867
19.38/19.45	o 3670043599331
19.38/19.47	o 3670043599323
19.38/19.48	o 3670043598811
19.48/19.50	o 3670043598809
19.48/19.51	o 3670043598553
19.48/19.53	o 3670043594457
19.48/19.54	o 3670043594425
19.48/19.54	o 3670043594297
19.48/19.56	o 3670043594293
19.48/19.57	o 3670043561525
19.48/19.58	o 3670043545141
19.48/19.58	o 3670043545077
19.58/19.62	o 3670043545063
19.58/19.63	o 3670043544999
19.58/19.63	o 3670043544871
19.58/19.65	o 3670043544863
19.58/19.66	o 3670043528479
19.58/19.66	o 3670043528447
19.58/19.67	o 3670043528446
19.58/19.67	o 3670043527422
20.08/20.10	o 3145752315141
20.08/20.12	o 3145752315133
20.08/20.13	o 3145752315131
20.08/20.14	o 3145752314875
20.08/20.15	o 3145752314871
20.08/20.16	o 3145752314839
20.08/20.16	o 3145752314711
20.08/20.17	o 3145752314695
20.08/20.18	o 3145752314694
20.08/20.19	o 3145752314630
20.18/20.21	o 3145752312582
20.18/20.22	o 3145752247046
20.18/20.23	o 3145752247042
20.18/20.24	o 3145752242946
20.28/20.39	o 3138585780104
20.38/20.40	o 3138585771912
20.38/20.41	o 3138585771848
20.38/20.43	o 3138585771816
20.38/20.44	o 3138585771688
20.38/20.44	o 3138585771686
20.38/20.45	o 3138585769638
20.38/20.45	o 3138585769622
20.38/20.46	o 3138585769614
20.38/20.46	o 3138585769102
20.38/20.47	o 3138585765006
20.38/20.47	o 3138585763982
20.38/20.48	o 3138585763978
20.38/20.48	o 3138585763977
20.48/20.54	o 3138585763701
20.48/20.54	o 3138585761653
20.48/20.55	o 3138585761141
20.48/20.57	o 3138585760117
20.48/20.58	o 3138585760116
20.48/20.58	o 3138585760084
20.48/20.60	o 3138585760076
20.58/20.61	o 3138585760012
20.58/20.62	o 3138585727244
20.58/20.64	o 3138585726988
20.58/20.65	o 3138585726956
20.58/20.66	o 3138585724908
20.68/20.71	o 3138584514525
20.68/20.72	o 3138584514523
20.68/20.73	o 3138584481755
20.68/20.74	o 3138584481691
20.68/20.75	o 3138584416155
20.68/20.76	o 3138584416151
20.68/20.77	o 3138584399767
20.68/20.78	o 3138584399511
20.78/20.80	o 3138584398487
20.78/20.81	o 3138584397975
20.78/20.82	o 3138584332439
20.78/20.83	o 3138584332407
20.78/20.84	o 3138584324215
20.78/20.85	o 3138584322167
20.78/20.86	o 3138584318071
20.78/20.87	o 3138584317943
20.78/20.88	o 3138584317942
20.78/20.89	o 3138584285174
20.78/20.90	o 3138584285158
20.78/20.91	o 3138584285094
20.88/20.92	o 3138584285086
20.88/20.93	o 3138584285084
20.88/20.94	o 3138583105503
20.88/20.95	o 3138583105502
20.88/20.95	o 3138583105500
24.18/24.25	o 3137575385644
24.18/24.27	o 3137559385644
24.18/24.28	o 3129367385644
24.18/24.29	o 3112983385644
24.18/24.29	o 3080215385644
24.18/24.30	o 3014679385644
24.18/24.31	o 2928663385644
24.29/24.31	o 2928663385640
24.29/24.33	o 2928663385608
24.29/24.34	o 2928663385480
28.78/28.86	o 2915756356069
28.78/28.87	o 2915740356069
28.78/28.89	o 2915740354021
28.88/28.90	o 2915740352997
28.88/28.92	o 2915740352485
28.88/28.93	o 2915740344293
28.88/28.93	o 2915740344037
28.88/28.95	o 2915740339941
28.88/28.96	o 2915740339939
35.38/35.41	o 2915621175334
35.38/35.42	o 2915605175334
35.38/35.43	o 2914581175334
35.38/35.44	o 2910485175334
35.38/35.44	o 2908437175334
35.38/35.45	o 2908181175334
35.38/35.47	o 2908181158950
35.38/35.48	o 2908181158948
35.48/35.50	o 2908181158940
35.48/35.51	o 2908181158908
35.48/35.52	o 2908181158892
35.48/35.53	o 2908181158380
35.48/35.54	o 2908181158379
35.48/35.54	o 2908181158123
35.48/35.57	o 2908181157099
35.48/35.59	o 2908181157083
35.58/35.60	o 2908181157019
35.58/35.61	o 2908181148827
35.58/35.61	o 2908181148819
35.58/35.62	o 2908181148815
35.58/35.63	o 2908181148813
35.58/35.64	o 2908181132429
35.58/35.65	o 2908181130381
35.58/35.66	o 2908181130253
35.58/35.67	o 2908180995087
35.58/35.68	o 2908180864015
35.58/35.69	o 2908180855823
35.68/35.70	o 2908180854799
35.68/35.71	o 2908180854783
35.68/35.72	o 2908180852735
35.68/35.73	o 2908180852727
35.68/35.74	o 2908180852723
35.68/35.74	o 2908180852211
35.68/35.75	o 2908180852083
35.68/35.76	o 2908180852019
35.68/35.76	o 2908180851987
35.68/35.77	o 2908180819219
35.68/35.79	o 2842644852113
35.78/35.80	o 2842644851089
35.78/35.81	o 2842644851088
35.78/35.82	o 2842644849040
35.78/35.83	o 2842644848784
35.78/35.84	o 2842644848782
35.78/35.84	o 2842644848766
35.78/35.85	o 2842644848758
35.78/35.86	o 2842644848246
35.78/35.86	o 2842644848242
35.78/35.87	o 2842644848178
35.78/35.87	o 2842644848068
35.78/35.88	o 2842644847044
35.78/35.89	o 2842644846020
35.78/35.89	o 2842644846016
35.88/35.90	o 2842644845760
35.88/35.91	o 2842644841926
35.88/35.92	o 2842644841862
35.88/35.93	o 2842644841734
35.88/35.94	o 2842644841702
35.88/35.95	o 2842644841694
35.88/35.96	o 2842644841678
35.88/35.96	o 2842644841676
35.88/35.98	o 2834452841676
35.88/35.98	o 2834452841674
38.28/38.32	o 2833946503690
38.28/38.34	o 2833946503682
38.28/38.34	o 2833946502658
38.28/38.35	o 2833946498562
38.28/38.36	o 2833946498434
38.28/38.39	o 2833946465681
38.38/38.40	o 2833946465673
38.38/38.40	o 2833946465669
38.38/38.44	o 2833946461584
38.38/38.46	o 2833946461456
38.38/38.47	o 2833946453264
40.18/40.27	o 2833942913902
40.18/40.29	o 2831894913902
40.28/40.30	o 2827798913902
40.28/40.33	o 2827797913902
40.28/40.34	o 2827789913902
40.28/40.35	o 2827773913902
40.28/40.38	o 2827771913902
40.28/40.39	o 2827643913902
40.38/40.41	o 2827387913902
40.38/40.42	o 2827355913902
40.38/40.42	o 2827351913902
40.38/40.43	o 2827287913902
40.38/40.44	o 2827287913838
40.38/40.45	o 2827287913582
40.38/40.47	o 2827287913566
40.38/40.48	o 2827287913054
40.38/40.49	o 2827287913046
40.48/40.50	o 2827287880278
40.48/40.51	o 2827287872086
40.48/40.51	o 2827287871958
40.48/40.52	o 2827287855574
40.48/40.53	o 2827287851478
40.48/40.54	o 2827287785942
40.48/40.54	o 2827287785940
40.48/40.55	o 2827287654868
40.48/40.57	o 2827287653844
40.48/40.58	o 2827287651796
40.48/40.59	o 2827287651764
40.58/40.60	o 2827287635380
41.08/41.16	o 2810903000990
41.08/41.18	o 2810902984606
41.18/41.20	o 2810902853534
41.18/41.22	o 2810902853532
41.18/41.23	o 2810902853276
41.18/41.25	o 2810902851228
41.18/41.26	o 2810902851164
41.18/41.27	o 2810902851100
41.18/41.28	o 2810902850972
41.18/41.28	o 2810902850968
41.18/41.29	o 2810902849944
41.28/41.30	o 2810902847896
41.28/41.31	o 2810902847888
41.28/41.32	o 2810902782352
41.28/41.33	o 2810902778256
41.28/41.34	o 2810902777744
41.28/41.34	o 2810902777488
41.28/41.35	o 2810902515344
41.28/41.36	o 2810902498960
41.28/41.36	o 2810902498959
41.28/41.37	o 2810902498703
41.28/41.38	o 2810902497679
41.28/41.39	o 2810902497677
41.38/41.40	o 2810902495629
41.38/41.40	o 2810902495565
41.38/41.41	o 2810902491469
41.38/41.42	o 2810902491465
41.38/41.43	o 2810902491449
41.38/41.44	o 2810902491448
41.38/41.47	o 2810902360376
41.38/41.49	o 2810902359864
41.48/41.50	o 2810902351672
41.48/41.50	o 2810902349624
41.48/41.51	o 2810902349592
41.48/41.52	o 2810902349576
41.48/41.53	o 2810902349448
41.48/41.53	o 2810902349446
41.48/41.54	o 2810902349443
41.48/41.55	o 2810134349443
41.48/41.55	o 2810006349443
41.48/41.56	o 2809918349443
41.48/41.56	o 2809918347395
48.58/48.67	o 2809911588201
48.58/48.68	o 2809879588201
48.58/48.68	o 2793495588201
48.68/48.70	o 2785303588201
48.68/48.71	o 2785303588073
48.68/48.71	o 2785303586025
48.68/48.72	o 2785303586021
48.68/48.75	o 2785303586013
48.68/48.77	o 2785303585981
48.68/48.78	o 2785303581885
48.78/48.80	o 2785303581629
48.78/48.82	o 2785303581565
48.78/48.84	o 2785303581563
48.78/48.86	o 2785303581051
48.78/48.88	o 2785303581035
48.88/48.90	o 2785303572843
48.88/48.92	o 2785303540075
48.88/48.94	o 2785303540073
48.88/48.95	o 2785303523689
48.88/48.97	o 2785303523625
48.88/48.99	o 2785303523497
48.98/49.01	o 2785303523489
48.98/49.07	o 2785303523457
48.98/49.09	o 2785303522945
49.08/49.10	o 2785303490177
49.08/49.12	o 2785303489921
49.08/49.14	o 2785303486081
57.59/57.65	o 2785109967191
57.59/57.68	o 2785045967191
57.59/57.70	o 2784789967191
57.69/57.70	o 2783765967191
57.69/57.71	o 2783253967191
57.69/57.71	o 2781205967191
57.69/57.72	o 2764821967191
57.69/57.72	o 2760725967191
57.69/57.74	o 2752533967191
57.69/57.74	o 2752533966167
57.69/57.75	o 2752533964119
57.69/57.76	o 2752533898583
57.69/57.76	o 2752533890391
60.18/60.29	o 2745363634029
60.28/60.30	o 2744755634029
60.28/60.32	o 2744755633901
60.28/60.33	o 2744755633899
60.28/60.34	o 2744755633895
60.28/60.35	o 2744755625703
60.28/60.36	o 2744755625197
60.28/60.37	o 2744755625195
60.28/60.37	o 2744755624171
60.28/60.38	o 2744755622123
60.28/60.38	o 2744755621867
60.28/60.40	o 2744755605483
60.38/60.41	o 2744755605419
60.38/60.42	o 2744755601323
60.38/60.43	o 2744755593131
60.38/60.44	o 2744755593127
60.38/60.45	o 2744755462055
60.38/60.46	o 2744754937767
60.38/60.47	o 2744754904999
60.38/60.50	o 2744754380697
60.49/60.51	o 2744754378105
60.49/60.52	o 2744754377593
60.49/60.53	o 2744754361209
60.49/60.53	o 2744754099065
60.49/60.54	o 2744754099033
60.49/60.57	o 2744754099032
60.49/60.58	o 2744754098008
60.49/60.58	o 2744754097752
60.49/60.61	o 2744754097750
60.49/60.61	o 2744498097750
60.60/60.63	o 2744498097622
60.60/60.63	o 2744498097590
60.60/60.66	o 2744498097574
60.60/60.68	o 2744498095526
60.60/60.70	o 2744498095518
60.68/60.71	o 2744498087326
60.68/60.73	o 2744498083230
60.68/60.75	o 2744498083166
60.68/60.77	o 2744498083162
60.68/60.78	o 2744498082650
60.78/60.80	o 2744498082648
60.78/60.82	o 2744498082616
60.78/60.84	o 2744498049848
60.78/60.85	o 2744498049832
60.78/60.87	o 2744498048808
60.78/60.89	o 2744498032424
60.88/60.91	o 2744498032360
60.88/60.92	o 2744498032104
60.88/60.94	o 2744498032096
60.88/60.96	o 2744498032095
60.88/60.98	o 2744498031583
60.98/61.00	o 2744498027487
60.98/61.01	o 2744498025439
60.98/61.03	o 2744498025435
60.98/61.06	o 2744497992672
60.98/61.07	o 2744497976288
60.98/61.08	o 2744497972192
60.98/61.09	o 2744497964000
60.98/61.09	o 2744497832928
60.98/61.10	o 2744497832416
61.08/61.10	o 2744497832414
85.69/85.76	o 2744468904266
85.69/85.77	o 2744467904266
85.69/85.77	o 2744465904266
85.69/85.78	o 2744457904266
85.69/85.78	o 2744425904266
85.69/85.79	o 2744409904266
85.69/85.80	o 2744345904266
85.69/85.80	o 2744341904266
85.69/85.81	o 2744341904265
85.79/85.83	o 2744341896073
85.79/85.84	o 2744341895817
85.79/85.85	o 2744341895305
85.79/85.87	o 2744341895297
85.79/85.87	o 2744341891201
85.79/85.88	o 2744341889153
85.79/85.89	o 2744341889025
85.79/85.89	o 2744341889009
85.79/85.90	o 2744341888945
85.79/85.90	o 2744341888913
85.79/85.91	o 2736149888913
85.90/85.91	o 2703381888913
85.90/85.92	o 2696725888913
85.90/85.93	o 2696725888909
85.90/85.94	o 2696725872525
85.90/85.95	o 2696725872523
85.90/85.97	o 2696725839755
85.90/85.99	o 2696725808014
85.99/86.00	o 2696725803918
85.99/86.02	o 2696725803662
85.99/86.03	o 2696725742478
85.99/86.04	o 2696725742446
85.99/86.05	o 2696725742382
85.99/86.07	o 2696725742374
85.99/86.07	o 2696725742246
85.99/86.08	o 2696725742244
85.99/86.08	o 2696725741988
86.09/86.10	o 2696725737892
86.09/86.10	o 2696725737380
86.09/86.11	o 2696725737379
86.09/86.11	o 2696725737363
86.09/86.12	o 2696725737347
86.09/86.12	o 2696725704579
86.09/86.14	o 2696725639043
86.09/86.14	o 2696725639039
86.09/86.15	o 2696725639031
86.09/86.15	o 2696725639015
86.09/86.17	o 2696725634919
86.09/86.19	o 2696725634887
86.19/86.20	o 2696725626695
86.19/86.22	o 2696725626183
86.19/86.24	o 2696725609799
86.19/86.25	o 2696725478727
123.49/123.57	o 2696211495700
123.49/123.58	o 2695955495700
123.49/123.58	o 2695947495700
123.49/123.59	o 2695945495700
123.49/123.60	o 2695913495700
123.59/123.62	o 2695849495700
123.59/123.63	o 2695845495700
123.59/123.65	o 2695717495700
123.59/123.66	o 2695716495700
123.59/123.67	o 2695700495700
123.59/123.68	o 2695188495700
123.59/123.69	o 2686996495700
123.69/123.70	o 2686996495696
123.69/123.71	o 2686996467284
123.69/123.73	o 2621460467284
123.69/123.74	o 2621460467276
123.69/123.76	o 2621460463180
123.69/123.77	o 2621460463116
123.69/123.79	o 2621460462092
123.79/123.80	o 2621460460044
123.79/123.82	o 2621460394508
123.79/123.84	o 2621460378124
123.79/123.85	o 2621460369932
123.79/123.86	o 2621460369928
165.49/165.57	o 2621460339054
165.49/165.58	o 2621459339054
165.49/165.59	o 2621459339050
165.59/165.60	o 2621459337002
165.59/165.61	o 2621459304234
165.59/165.63	o 2621459304226
165.59/165.65	o 2621459304210
165.59/165.67	o 2621459304082
165.59/165.69	o 2621459304078
165.69/165.72	o 2621459304062
165.69/165.74	o 2621459299966
165.69/165.76	o 2621459299902
165.69/165.78	o 2621459298878
165.79/165.80	o 2621459298870
165.79/165.83	o 2621459298614
165.79/165.85	o 2621459298612
165.79/165.87	o 2621459298580
165.79/165.90	o 2621459298068
165.89/165.92	o 2621459297972
165.89/165.94	o 2621459297968
165.89/165.96	o 2621459281584
165.89/165.98	o 2621459281568
165.99/166.01	o 2621459279520
165.99/166.03	o 2621459279512
165.99/166.05	o 2621459279510
165.99/166.07	o 2621459279509
165.99/166.09	o 2621459279501
165.99/166.11	o 2621459279499
166.09/166.13	o 2621459279495
166.09/166.15	o 2621459275399
166.09/166.17	o 2621459275383
166.09/166.19	o 2621459275127
166.09/166.21	o 2621459274999
166.20/166.23	o 2621459274487
166.20/166.24	o 2621459274455
166.20/166.27	o 2621459274391
166.20/166.28	o 2621459266199
166.29/166.30	o 2621459265175
166.29/166.32	o 2621459263127
166.29/166.34	o 2621459246743
166.29/166.37	o 2621459233550
166.29/166.39	o 2621459231502
166.39/166.41	o 2621459231501
166.39/166.43	o 2621459231499
166.39/166.45	o 2621459215115
166.39/166.46	o 2621459206923
166.39/166.48	o 2621459206411
166.49/166.50	o 2621459206347
166.49/166.51	o 2621459202251
166.49/166.52	o 2621459201995
166.49/166.54	o 2621459201987
166.49/166.56	o 2621459201859
166.49/166.57	o 2621459201855
166.49/166.59	o 2621459201823
166.59/166.60	o 2621459200799
166.59/166.62	o 2621459200783
166.59/166.65	o 2621459192591
202.59/202.62	o 2621459130317
202.59/202.63	o 2621459130315
202.59/202.66	o 2621459130314
202.59/202.67	o 2621459130058
202.59/202.69	o 2621459130026
202.69/202.70	o 2621459130024
202.69/202.71	o 2621459130023
202.69/202.72	o 2621459128999
202.69/202.73	o 2621459120807
202.69/202.75	o 2621459112615
202.69/202.76	o 2621459112599
202.69/202.76	o 2621459110551
202.69/202.77	o 2621459110549
202.69/202.77	o 2621459110545
202.79/202.80	o 2621459110537
202.79/202.81	o 2621459110473
202.79/202.83	o 2621459110441
202.79/202.85	o 2621459110313
202.79/202.88	o 2621459109289
202.89/202.91	o 2621459108777
202.89/202.91	o 2621459108265
202.89/202.93	o 2621459106217
202.89/202.94	o 2621459106213
202.89/202.95	o 2621459040677
202.89/202.97	o 2621459040165
202.89/202.98	o 2621459040133
202.99/203.00	o 2621459007365
202.99/203.01	o 2621459003269
202.99/203.03	o 2621458986885
202.99/203.04	o 2621458986883
202.99/203.06	o 2621458986879
202.99/203.09	o 2621458982790
203.09/203.10	o 2621458982662
203.09/203.11	o 2621458917126
203.09/203.12	o 2621458884358
203.09/203.13	o 2621458884342
203.09/203.15	o 2621458884326
203.09/203.15	o 2621458883302
203.09/203.16	o 2621458883238
203.09/203.17	o 2621458882726
203.09/203.19	o 2621458882694
203.19/203.20	o 2621458882693
203.19/203.22	o 2621458882677
203.19/203.25	o 2621458874498
203.19/203.26	o 2601618874498
203.19/203.27	o 2601618612354
203.19/203.28	o 2601618612353
203.19/203.28	o 2601618612337
203.19/203.29	o 2601618612321
203.19/203.29	o 2601618610273
203.29/203.30	o 2601618609762
203.29/203.31	o 2601618609761
203.29/203.32	o 2601618609757
203.29/203.32	o 2601618544221
203.29/203.33	o 2601618544093
203.29/203.34	o 2601618544085
203.29/203.35	o 2601618544021
203.29/203.36	o 2601618542997
203.29/203.37	o 2601618542485
203.29/203.37	o 2601618542483
219.39/219.46	o 2601492583535
219.39/219.47	o 2601491583535
219.39/219.47	o 2601489583535
219.39/219.48	o 2597393583535
219.39/219.48	o 2597389583535
219.39/219.49	o 2597325583535
219.49/219.50	o 2597197583535
219.49/219.52	o 2597165583535
219.49/219.53	o 2597157583535
219.49/219.54	o 2597141583535
219.49/219.54	o 2596885583535
219.49/219.55	o 2588693583535
219.49/219.56	o 2588693583407
219.49/219.57	o 2588693583406
219.49/219.58	o 2588693583402
219.49/219.59	o 2588693582890
219.59/219.60	o 2588693582888
219.59/219.61	o 2588693581864
219.59/219.62	o 2588693577768
219.59/219.63	o 2588693577760
219.59/219.64	o 2588693577728
219.59/219.65	o 2588693577472
219.59/219.67	o 2588693577344
219.59/219.68	o 2588693511808
219.59/219.69	o 2588693503616
219.69/219.70	o 2588693503360
219.69/219.71	o 2588693470592
219.69/219.72	o 2588693466496
219.69/219.73	o 2588693465984
219.69/219.75	o 2588693433216
219.69/219.76	o 2588693433208
219.69/219.78	o 2588693416824
219.69/219.78	o 2588693285752
219.69/219.79	o 2588693285751
219.79/219.80	o 2588693285623
219.79/219.80	o 2588693284599
219.79/219.81	o 2588693282551
219.79/219.82	o 2588693282549
219.79/219.83	o 2588693278453
219.79/219.83	o 2588693278449
219.79/219.84	o 2588693278441
219.79/219.85	o 2588693278409
219.79/219.85	o 2588693278393
219.79/219.86	o 2588693270201
219.79/219.88	o 2588693237369
219.79/219.89	o 2588693229177
219.79/219.90	o 2572309229177
219.89/219.94	o 2572309229175
219.89/219.95	o 2572309229173
219.89/219.96	o 2572309229045
219.89/219.96	o 2572309229037
219.89/219.97	o 2572309229033
219.89/219.97	o 2572309229001
219.89/219.98	o 2572309228745
219.89/219.99	o 2572309228681
219.89/219.99	o 2572309228679
219.89/220.00	o 2572309163143
219.89/220.00	o 2572309163139
219.89/220.01	o 2572309163123
219.99/220.02	o 2572309162995
219.99/220.02	o 2572309162987
219.99/220.03	o 2572309162983
219.99/220.03	o 2572309161959
219.99/220.05	o 2572308959981
219.99/220.06	o 2572308927213
219.99/220.06	o 2572308927197
219.99/220.08	o 2572308926173
219.99/220.08	o 2572308926045
219.99/220.09	o 2572308926013
219.99/220.10	o 2572308926005
219.99/220.10	o 2572308794933
219.99/220.11	o 2572308778549
220.10/220.11	o 2572308778037
220.10/220.12	o 2572308777013
220.10/220.12	o 2572308777009
220.10/220.13	o 2572308777007
220.10/220.15	o 2572308776991
220.10/220.15	o 2572308776959
220.10/220.16	o 2572308772863
220.10/220.16	o 2572308772735
220.10/220.17	o 2572308772607
242.19/242.25	o 2555922717156
242.19/242.26	o 2555922716132
242.19/242.26	o 2555922707940
242.19/242.29	o 2555922707936
242.29/242.31	o 2555922705888
242.29/242.31	o 2555922705872
242.29/242.32	o 2555922705868
242.29/242.33	o 2555922705867
242.29/242.34	o 2555922705851
242.29/242.34	o 2555922689467
242.29/242.36	o 2555922689211
242.29/242.37	o 2551826689211
242.29/242.38	o 2551824689211
242.29/242.38	o 2551822689211
242.39/242.40	o 2551822688699
242.39/242.42	o 2551822688683
242.39/242.43	o 2551822688681
242.39/242.45	o 2551822688679
242.39/242.47	o 2551822623143
242.39/242.48	o 2551822623079
242.39/242.49	o 2551822623047
242.49/242.50	o 2551822618951
242.49/242.51	o 2551822487879
242.49/242.52	o 2551822487815
242.49/242.53	o 2551822486791
242.49/242.55	o 2551822486787
242.49/242.55	o 2551822486275
242.49/242.57	o 2551822486243
242.49/242.58	o 2551822486115
242.49/242.59	o 2551822486113
242.59/242.60	o 2551822485857
242.59/242.61	o 2551822485841
277.89/277.97	o 2551820831898
277.89/277.98	o 2551788831898
277.89/277.98	o 2551724831898
277.89/277.99	o 2551716831898
277.99/278.00	o 2551588831898
277.99/278.01	o 2551572831898
277.99/278.01	o 2551316831898
277.99/278.02	o 2550804831898
277.99/278.03	o 2548756831898
277.99/278.04	o 2547732831898
277.99/278.05	o 2539604831898
277.99/278.08	o 2539604831894
277.99/278.09	o 2539604823702
278.09/278.11	o 2539604823638
278.09/278.12	o 2539604819542
278.09/278.14	o 2539604819510
278.09/278.15	o 2539604819254
278.09/278.17	o 2539604753718
278.09/278.18	o 2539604753590
278.19/278.22	o 2539604753526
278.19/278.24	o 2539604753518
278.19/278.26	o 2539604753514
278.19/278.27	o 2539604753512
278.19/278.29	o 2539604745320
278.19/278.30	o 2539604744296
278.19/278.31	o 2539604744288
278.29/278.32	o 2539604743264
278.29/278.33	o 2539604726880
278.29/278.34	o 2539604718688
278.29/278.36	o 2539604716640
278.29/278.37	o 2539604712544
278.29/278.39	o 2539604696160
278.29/278.40	o 2539604663392
278.29/278.41	o 2539604663388
278.41/278.42	o 2539604663260
278.41/278.43	o 2539604659164
278.41/278.44	o 2539604659132
278.41/278.46	o 2539604657084
278.41/278.47	o 2539604657068
278.41/278.48	o 2539604656044
278.41/278.49	o 2539604655532
278.49/278.51	o 2539604655404
278.49/278.52	o 2539604655148
278.49/278.53	o 2539604655146
278.49/278.54	o 2539604393002
278.49/278.56	o 2539604360234
278.49/278.56	o 2539604352042
278.49/278.57	o 2539604335658
278.49/278.58	o 2539604335594
278.49/278.59	o 2539604331498
278.59/278.60	o 2539604331496
278.59/278.61	o 2539604331492
278.59/278.63	o 2539604331476
278.59/278.63	o 2539604330964
278.59/278.64	o 2539604330963
278.59/278.65	o 2539604314579
278.59/278.66	o 2539604281811
278.59/278.67	o 2539604216275
278.59/278.67	o 2539604216019
278.59/278.68	o 2539604216003
278.69/278.71	o 2539603028176
278.69/278.72	o 2539603028172
278.69/278.73	o 2539603028164
278.69/278.73	o 2539603028163
278.69/278.75	o 2539603026115
278.69/278.75	o 2539603009731
278.69/278.76	o 2539602944195
278.69/278.77	o 2539602940099
278.69/278.77	o 2539602939075
278.69/278.78	o 2539602938947
278.69/278.78	o 2539602938943
278.69/278.79	o 2539602938879
278.69/278.79	o 2539602938623
278.79/278.80	o 2539602938591
278.79/278.80	o 2539602938590
278.79/278.81	o 2539602938574
278.79/278.82	o 2539602938572
278.79/278.83	o 2539602938568
278.79/278.83	o 2539602938560
278.79/278.84	o 2539602938528
278.79/278.85	o 2539602936480
327.99/328.01	o 2539546280355
327.99/328.03	o 2539542280355
327.99/328.06	o 2539542161054
327.99/328.09	o 2539542160926
328.09/328.11	o 2539542152734
328.09/328.12	o 2539542151710
328.09/328.14	o 2539542151709
328.09/328.15	o 2539542151701
328.09/328.17	o 2539542151445
328.09/328.18	o 2539542085909
328.19/328.20	o 2539542085905
328.19/328.21	o 2539542085889
328.19/328.22	o 2539542081793
328.19/328.23	o 2539542081791
328.19/328.24	o 2539542079743
328.19/328.26	o 2539542063359
328.19/328.26	o 2539542062847
328.19/328.27	o 2539542062783
328.19/328.29	o 2539542030015
328.29/328.30	o 2539542029887
328.29/328.32	o 2539542029855
328.29/328.33	o 2539542021663
328.29/328.35	o 2539542017567
328.29/328.37	o 2539541952031
328.29/328.38	o 2539541951519
328.39/328.40	o 2539541951517
328.39/328.41	o 2539541949469
328.39/328.43	o 2539541949453
328.39/328.45	o 2539541949405
328.39/328.49	o 2539541948154
328.49/328.50	o 2539541948152
328.49/328.50	o 2539541948148
328.49/328.52	o 2539541947636
328.49/328.52	o 2539541947604
328.49/328.53	o 2539541946580
328.49/328.53	o 2539541946572
328.49/328.55	o 2539541945590
328.49/328.56	o 2539541944566
328.49/328.56	o 2539541944564
328.49/328.58	o 2539541928180
328.59/328.60	o 2539541919988
328.59/328.61	o 2539541915892
328.59/328.62	o 2539541391604
328.59/328.63	o 2539541129460
364.21/364.21	o 2539540011873
364.21/364.23	o 2539540011872
364.21/364.24	o 2539540011870
364.21/364.25	o 2539540011866
364.21/364.25	o 2539539011866
364.21/364.27	o 2539539011802
364.21/364.27	o 2539539011786
364.21/364.29	o 2539539011785
364.21/364.29	o 2539539011783
364.21/364.30	o 2539539011770
364.29/364.31	o 2539539011754
364.29/364.31	o 2539539011242
364.29/364.32	o 2539539010986
364.29/364.33	o 2539539010978
364.29/364.35	o 2539539010977
364.29/364.36	o 2535443010977
364.29/364.37	o 2535443006881
364.29/364.38	o 2535443006880
364.29/364.39	o 2535442990496
364.29/364.39	o 2535442957728
364.39/364.41	o 2535442957720
364.39/364.42	o 2535442957718
364.39/364.43	o 2535442957686
364.39/364.43	o 2535442957682
364.39/364.46	o 2535442957666
364.39/364.47	o 2535442957538
364.39/364.49	o 2535442949346
364.49/364.51	o 2535442948834
364.49/364.53	o 2535442944738
364.49/364.55	o 2535442942690
364.49/364.57	o 2535442942434
364.49/364.59	o 2535442941410
364.59/364.61	o 2535442925026
364.59/364.63	o 2535442924962
364.59/364.64	o 2535442924930
364.59/364.65	o 2535442924928
364.59/364.67	o 2535442908544
364.59/364.69	o 2535442908528
364.69/364.71	o 2535442908496
364.69/364.73	o 2535442908492
364.69/364.74	o 2535442900300
364.69/364.76	o 2535442900236
364.69/364.78	o 2535442900108
364.69/364.79	o 2535442900107
364.79/364.81	o 2535442900105
364.79/364.82	o 2535442900097
364.79/364.84	o 2535442898049
364.79/364.85	o 2535442865281
364.79/364.87	o 2535442865273
364.79/364.88	o 2535442865145
364.89/364.90	o 2535442864121
364.89/364.92	o 2535442798585
364.89/364.93	o 2535442794489
371.99/372.00	o 2519058990099
371.99/372.01	o 2514962990099
371.99/372.02	o 2506770990099
371.99/372.02	o 2490386990099
371.99/372.04	o 2490386990067
371.99/372.04	o 2490386989811
371.99/372.06	o 2490386989803
371.99/372.06	o 2490386989801
371.99/372.07	o 2490386981609
371.99/372.08	o 2490386981545
371.99/372.08	o 2490386981541
371.99/372.09	o 2490386981525
372.09/372.11	o 2490386981397
372.09/372.12	o 2490386980885
372.09/372.14	o 2490386980757
372.09/372.16	o 2490386980754
372.09/372.17	o 2490386980753
372.09/372.18	o 2490386980751
372.09/372.19	o 2490386980747
372.19/372.21	o 2490386980746
372.19/372.22	o 2490386980618
372.19/372.24	o 2490386979594
372.19/372.26	o 2490386455306
372.19/372.27	o 2490386455050
372.19/372.27	o 2490386446858
372.19/372.28	o 2490386315786
372.29/372.30	o 2490386291243
372.29/372.31	o 2490386291239
372.29/372.32	o 2490386290983
372.29/372.33	o 2490386289959
372.29/372.34	o 2490386289951
372.29/372.34	o 2490386289949
372.29/372.35	o 2490386289917
372.29/372.35	o 2490386289901
372.29/372.36	o 2490386289389
372.29/372.38	o 2490385896557
408.89/408.91	o 2474005646852
408.89/408.93	o 2441237646852
408.89/408.94	o 2408469646852
408.89/408.95	o 2404372646852
408.89/408.96	o 2404372638660
408.89/408.97	o 2404372636612
408.89/408.98	o 2404372636596
408.99/409.00	o 2404372620212
408.99/409.01	o 2404372620208
408.99/409.03	o 2404372619184
408.99/409.05	o 2404372618928
408.99/409.06	o 2404372618920
408.99/409.08	o 2404372602536
409.09/409.10	o 2404372602408
409.09/409.11	o 2404372602404
409.09/409.13	o 2404372598308
409.09/409.15	o 2404372590116
409.09/409.16	o 2404372589860
409.09/409.18	o 2404372587812
409.09/409.20	o 2404372587748
409.20/409.21	o 2404372587236
409.20/409.26	o 2404372585764
409.20/409.26	o 2404372585756
409.20/409.27	o 2404372584732
409.20/409.28	o 2404372584716
409.20/409.28	o 2404372584700
409.20/409.29	o 2404372582652
409.20/409.30	o 2404372574467
409.20/409.31	o 2404372558083
409.31/409.32	o 2404372549891
409.31/409.32	o 2404372549859
409.31/409.33	o 2404372533475
409.31/409.34	o 2404372525283
409.31/409.36	o 2404372525219
447.81/447.86	o 2392069374758
447.81/447.89	o 2392067374758
447.81/447.90	o 2390019374758
447.89/447.90	o 2389987374758
447.89/447.92	o 2389923374758
447.89/447.93	o 2389907374758
447.89/447.94	o 2389779374758
447.89/447.95	o 2389395374758
447.89/447.96	o 2389395374726
447.89/447.97	o 2389395374722
447.89/447.99	o 2389395374706
447.99/448.01	o 2389395374194
447.99/448.02	o 2389395374192
447.99/448.02	o 2389395374128
447.99/448.04	o 2389395365936
447.99/448.05	o 2389395349552
447.99/448.06	o 2389395347504
447.99/448.07	o 2389395347376
447.99/448.08	o 2389395347368
447.99/448.08	o 2389395347304
447.99/448.09	o 2389395347302
448.09/448.10	o 2389395343206
448.09/448.12	o 2385299347304
448.09/448.12	o 2377107347304
448.09/448.13	o 2377107347048
448.09/448.15	o 2377107347032
448.09/448.15	o 2377107346008
448.09/448.16	o 2377107280472
448.09/448.17	o 2377107280408
448.09/448.18	o 2377107280404
448.09/448.19	o 2377107279892
448.19/448.20	o 2377107279884
448.19/448.22	o 2377107279852
448.19/448.23	o 2377107278828
448.19/448.25	o 2377107278820
448.19/448.26	o 2377106754532
448.19/448.28	o 2377106754404
448.19/448.29	o 2377106753892
448.29/448.31	o 2377106753636
448.29/448.33	o 2377106753604
448.29/448.34	o 2377106737220
448.29/448.36	o 2377106737204
448.29/448.38	o 2377106737140
448.29/448.39	o 2377106737136
448.39/448.41	o 2377106736624
448.39/448.43	o 2377106736608
448.39/448.44	o 2377106735584
448.39/448.46	o 2377106735582
448.39/448.47	o 2377106702814
448.39/448.49	o 2377106698718
448.49/448.50	o 2377106698462
448.49/448.52	o 2377106698430
448.49/448.53	o 2377106698302
448.49/448.55	o 2377106698294
448.49/448.56	o 2377106698290
448.49/448.58	o 2377106690098
448.49/448.59	o 2377106689970
448.59/448.60	o 2377106689458
448.59/448.61	o 2377106689442
448.59/448.63	o 2377106688418
448.59/448.65	o 2377106688386
448.59/448.67	o 2377106688144
448.59/448.69	o 2377106688136
448.59/448.69	o 2377106686088
448.69/448.70	o 2377106681992
448.69/448.70	o 2377106681864
448.69/448.71	o 2377106681800
448.69/448.71	o 2377106681798
448.69/448.72	o 2377106681797
448.69/448.72	o 2377106681765
448.69/448.73	o 2377106681749
448.69/448.73	o 2377106681745
448.69/448.74	o 2377106681233
448.69/448.74	o 2376082681233
448.69/448.75	o 2375954681233
448.69/448.75	o 2375698681233
448.69/448.76	o 2375698681231
448.69/448.77	o 2375698681167
448.69/448.77	o 2375698680911
448.69/448.78	o 2375698678863
448.69/448.79	o 2375698674767
448.69/448.80	o 2375698674751
448.69/448.81	o 2375698641983
448.80/448.82	o 2375698641471
448.80/448.83	o 2375698641407
448.80/448.84	o 2375698641399
448.80/448.85	o 2375698641143
448.80/448.86	o 2375698641015
448.80/448.87	o 2375698632823
448.80/448.88	o 2375698632822
448.80/448.89	o 2375698567286
448.80/448.90	o 2375698559094
448.91/448.92	o 2375698559030
448.91/448.93	o 2375698542646
448.91/448.94	o 2375698542642
448.91/448.96	o 2375698542641
448.91/448.97	o 2375698542639
448.91/448.99	o 2375698542511
448.91/448.99	o 2375698534319
448.99/449.00	o 2375698530223
448.99/449.00	o 2375698529711
448.99/449.01	o 2375698527663
448.99/449.03	o 2375698527407
448.99/449.04	o 2375698526383
448.99/449.05	o 2375698526375
448.99/449.06	o 2375698526373
448.99/449.07	o 2375698522277
448.99/449.09	o 2375698522269
449.09/449.10	o 2375698522267
449.09/449.11	o 2375698522266
449.09/449.12	o 2375698522262
449.09/449.14	o 2375698522260
449.09/449.15	o 2375698522258
449.09/449.16	o 2375698522194
449.09/449.17	o 2375698521170
449.09/449.18	o 2375698521106
449.09/449.20	o 2375698521074
449.19/449.21	o 2375698521066
449.19/449.22	o 2375698521065
449.19/449.23	o 2375698519017
449.19/449.24	o 2375698502633
449.19/449.25	o 2375698502617
449.19/449.26	o 2375698498521
449.19/449.27	o 2375698490329
449.19/449.28	o 2375698490201
449.19/449.29	o 2375698489689
475.69/475.75	o 2375698421486
475.69/475.76	o 2375698421422
475.69/475.77	o 2375698421166
475.69/475.78	o 2375698420142
475.69/475.79	o 2375698420138
475.79/475.80	o 2375698420130
475.79/475.80	o 2375698420114
475.79/475.81	o 2375698420086
475.79/475.82	o 2375698420082
502.59/502.68	o 2373655406034
502.59/502.69	o 2373655274962
502.59/502.70	o 2373655274706
502.59/502.71	o 2373655209170
502.70/502.71	o 2373655176402
502.70/502.72	o 2373655175890
502.70/502.73	o 2369559175890
502.70/502.74	o 2367511175890
502.70/502.76	o 2367511143122
583.60/583.60	o 2365457628076
583.60/583.62	o 2361361628076
583.60/583.63	o 2359313628076
583.60/583.64	o 2359313628074
583.60/583.65	o 2359313627050
583.60/583.67	o 2359313627034
583.60/583.69	o 2359313627002
583.70/583.72	o 2359313624954
583.70/583.74	o 2359313624826
583.70/583.76	o 2359313624810
583.70/583.78	o 2359313620714
583.80/583.80	o 2359313620713
583.80/583.82	o 2359313620705
583.80/583.84	o 2359313620701
583.80/583.85	o 2359313612509
583.80/583.87	o 2359313610461
583.80/583.89	o 2359313610333
583.90/583.91	o 2359313610077
583.90/583.93	o 2359313609053
583.90/583.95	o 2359313608541
583.90/583.97	o 2359313608509
583.90/583.98	o 2359313608507
584.00/584.00	o 2359313608443
584.00/584.02	o 2359313608442
584.00/584.04	o 2359313608426
584.00/584.06	o 2359313608424
584.00/584.07	o 2359313608392
584.00/584.09	o 2359313606344
584.00/584.10	o 2359313606088
584.10/584.12	o 2359313605960
584.10/584.13	o 2359313605448
584.10/584.15	o 2359313601993
584.10/584.16	o 2359313601991
584.10/584.17	o 2359313601735
584.10/584.19	o 2359313593543
584.10/584.20	o 2359313593415
584.21/584.21	o 2359313592391
584.21/584.23	o 2359313591879
584.21/584.24	o 2359313591863
584.21/584.25	o 2359313526327
584.21/584.27	o 2359313526326
584.21/584.28	o 2359313526198
584.21/584.29	o 2359313526190
584.30/584.30	o 2359313395118
584.30/584.32	o 2359313394094
584.30/584.33	o 2359313377710
584.30/584.34	o 2359313344942
584.30/584.36	o 2359313344926
584.30/584.37	o 2359313344894
584.30/584.38	o 2359313344892
584.30/584.40	o 2359313344636
584.40/584.41	o 2359313344124
584.40/584.42	o 2359313343100
584.40/584.43	o 2359313341052
584.40/584.45	o 2359313332860
584.40/584.46	o 2359313332852
584.40/584.48	o 2359313329021
584.50/584.51	o 2359313300350
584.50/584.51	o 2359313299838
584.50/584.52	o 2359313297790
584.50/584.52	o 2359313297789
584.50/584.53	o 2359313295741
584.50/584.57	o 2359313273278
584.50/584.58	o 2359313272766
584.50/584.58	o 2359313272765
584.50/584.59	o 2359313272733
584.50/584.59	o 2359313272731
584.60/584.60	o 2359313272667
584.60/584.61	o 2359313272666
584.60/584.62	o 2359313141594
630.30/630.35	o 2359313141449
630.30/630.36	o 2359313141445
630.30/630.37	o 2359313141444
630.30/630.39	o 2359313141442
630.30/630.41	o 2359313140418
630.41/630.43	o 2359313140402
630.41/630.43	o 2359313136306
630.41/630.44	o 2359313103538
630.41/630.45	o 2359313103522
630.41/630.45	o 2359313103506
630.41/630.46	o 2359313103474
630.41/630.48	o 2359313103442
630.50/630.50	o 2359313102418
630.50/630.51	o 2359313101906
630.50/630.53	o 2359313101898
630.50/630.55	o 2359313101386
630.50/630.57	o 2359313101354
630.50/630.59	o 2359313084970
630.60/630.61	o 2359313084458
630.60/630.63	o 2359313082410
630.60/630.65	o 2359312951338
630.60/630.67	o 2359312951210
630.60/630.68	o 2359312951146
630.70/630.70	o 2359312947050
630.70/630.73	o 2359312947043
682.90/682.92	o 2350327420707
682.90/682.93	o 2350323420707
682.90/682.93	o 2350259420707
682.90/682.94	o 2350255420707
682.90/682.95	o 2350255420579
682.90/682.96	o 2350255420571
682.90/682.97	o 2350255420569
682.90/682.97	o 2350255419545
682.90/682.98	o 2350255419289
682.90/682.99	o 2350255419287
683.00/683.00	o 2350255419255
683.00/683.01	o 2350255418743
683.00/683.02	o 2350255418735
683.00/683.02	o 2350255418719
683.00/683.03	o 2350255418687
683.00/683.04	o 2350255417663
803.30/803.30	o 2349076851494
803.30/803.32	o 2349068851494
803.30/803.33	o 2349066851494
803.30/803.35	o 2349034851494
803.30/803.37	o 2348778851494
803.30/803.37	o 2348714851494
803.30/803.38	o 2348713851494
803.30/803.38	o 2348585851494
803.30/803.39	o 2348073851494
803.40/803.42	o 2348069851494
803.40/803.44	o 2348053851494
803.40/803.45	o 2347029851494
803.40/803.45	o 2347029851492
803.40/803.46	o 2347029850468
803.40/803.47	o 2347029849956
803.40/803.50	o 2347029849955
803.50/803.51	o 2347029849699
803.50/803.51	o 2347029845603
803.50/803.52	o 2347029845599
803.50/803.53	o 2347029845535
803.50/803.53	o 2347029845407
803.50/803.55	o 2347029845399
803.50/803.56	o 2347029843351
803.50/803.56	o 2342933843351
803.50/803.57	o 2342933843287
803.50/803.57	o 2342933842775
803.50/803.59	o 2342933777239
803.60/803.61	o 2342933744479
803.60/803.63	o 2342933744463
803.60/803.64	o 2342933711695
803.60/803.65	o 2342933711587
803.60/803.66	o 2342933711579
803.60/803.67	o 2342933711451
803.60/803.68	o 2342933711419
803.60/803.68	o 2342933711403
803.60/803.69	o 2342933695019
803.60/803.69	o 2342933695003
803.70/803.70	o 2342933694939
803.70/803.71	o 2342933686747
803.70/803.72	o 2342933686715
803.70/803.72	o 2342933686713
803.70/803.73	o 2342933686705
803.70/803.73	o 2342933685681
950.90/950.97	o 2338849139465
950.90/950.98	o 2338845139465
950.90/950.99	o 2338843139465
951.00/951.00	o 2338835139465
951.00/951.00	o 2334739139465
951.00/951.01	o 2326547139465
951.00/951.02	o 2326547139449
951.00/951.03	o 2326547073913
951.00/951.04	o 2326547073911
951.00/951.05	o 2326547073399
951.00/951.06	o 2326547073271
951.00/951.07	o 2326547073263
951.00/951.08	o 2326547040495
951.00/951.09	o 2326547024111
951.10/951.10	o 2326547024047
951.10/951.11	o 2326547019951
951.10/951.14	o 2326547019949
951.10/951.15	o 2326547019821
951.10/951.18	o 2326547019817
951.10/951.19	o 2326547019561
951.20/951.22	o 2326546987055
951.20/951.24	o 2326546987039
1006.62/1006.65	o 2285588948756
1006.62/1006.67	o 2285588948754
1006.62/1006.69	o 2285588948749
1006.71/1006.70	o 2285588940557
1006.71/1006.71	o 2285588940301
1006.71/1006.72	o 2285588939277
1006.71/1006.72	o 2285588938253
1006.71/1006.74	o 2285588872717
1006.71/1006.75	o 2285588870669
1006.71/1006.75	o 2285588870157
1006.71/1006.76	o 2285588869133
1006.71/1006.77	o 2285588868877
1006.71/1006.77	o 2285588864781
1006.71/1006.79	o 2285588860942
1006.81/1006.80	o 2277396860942
1006.81/1006.81	o 2269204860942
1006.81/1006.83	o 2269204336654
1006.81/1006.84	o 2269204336398
1006.81/1006.85	o 2269204328206
1006.81/1006.86	o 2269204328198
1006.81/1006.87	o 2269204326154
1006.81/1006.87	o 2269204326150
1006.81/1006.88	o 2269204326148
1006.81/1006.89	o 2269204326020
1006.91/1006.91	o 2269204325956
1006.91/1006.92	o 2269204321860
1006.91/1006.94	o 2269204313668
1006.91/1006.94	o 2269204313412
1193.41/1193.51	o 2269200827897
1193.51/1193.53	o 2269200825849
1193.51/1193.55	o 2269200809465
1193.51/1193.57	o 2269200809209
1193.51/1193.58	o 2269200805113
1193.51/1193.59	o 2269200805081
1193.51/1193.60	o 2269200804057
1193.51/1193.61	o 2269200803545
1193.63/1193.62	o 2269200803541
1193.63/1193.64	o 2269200803413
1193.63/1193.65	o 2269200770645
1193.63/1193.67	o 2269200770613
1193.63/1193.68	o 2269200770549
1193.71/1193.70	o 2269200762357
1193.71/1193.72	o 2269200762353
1193.71/1193.73	o 2269200762351
1193.71/1193.74	o 2269200762223
1193.71/1193.76	o 2269200762215
1193.71/1193.77	o 2269200760167
1193.71/1193.79	o 2269200743783
1193.81/1193.82	o 2269200743775
1193.81/1193.82	o 2269200743519
1193.81/1193.83	o 2269200739423
1193.81/1193.84	o 2269200738911
1193.81/1193.84	o 2269200736863
1193.81/1193.85	o 2269200736861
1600.92/1600.99	o 2261009879662
1601.02/1601.01	o 2261009879654
1601.02/1601.02	o 2261009879650
1601.02/1601.03	o 2261007879650
1601.02/1601.05	o 2261006879650
1601.02/1601.06	o 2261002879650
1601.02/1601.07	o 2260490879650
1601.02/1601.07	o 2258442879650
1601.02/1601.09	o 2258378879650
1601.02/1601.10	o 2258362879650
1601.12/1601.10	o 2258330879650
1601.12/1601.11	o 2258074879650
1601.12/1601.12	o 2257946879650
1601.12/1601.13	o 2256922879650
1601.12/1601.16	o 2256914879650
1601.12/1601.17	o 2256914879634
1601.12/1601.18	o 2256914879632
1601.12/1601.18	o 2256914879631
1601.22/1601.21	o 2256914879627
1601.22/1601.22	o 2256914879595
1601.22/1601.24	o 2256914879563
1601.22/1601.26	o 2256914879555
1601.22/1601.27	o 2256914878531
1601.22/1601.28	o 2256914878527
1601.22/1601.29	o 2256914845759
1601.32/1601.30	o 2256914845743
1601.32/1601.31	o 2256914845615
1601.32/1601.31	o 2256914843567
1601.32/1601.32	o 2256914843565
1601.32/1601.33	o 2256914843501
1601.32/1601.36	o 2256914777965
1601.32/1601.37	o 2256914777957
1601.32/1601.38	o 2256914777702
1601.42/1601.41	o 2256914773606
1601.42/1601.44	o 2256914773478
1601.42/1601.46	o 2256914757094
1601.42/1601.47	o 2256914756582
1601.42/1601.47	o 2256914756454
1601.42/1601.48	o 2256914625382
1601.42/1601.49	o 2248722625382
1601.42/1601.49	o 2232338625382
1601.52/1601.50	o 2232338617190
1800.03/1800.01	>>> Terminate signal received
1800.03/1800.01	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	2232338617190

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3466700-1307398092/watcher-3466700-1307398092 -o /tmp/evaluation-result-3466700-1307398092/solver-3466700-1307398092 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466700-1307398092.opb --verbosity=0 --format=opb 

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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.17 1.71 1.89 2/461 2667
/proc/meminfo: memFree=29881760/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/2667/stat : 2667 (runsolver) R 2665 2667 1285 0 -1 4202560 45 0 0 0 0 0 0 0 24 0 1 0 851408973 12079104 54 33554432000 4194304 5432328 140735476319392 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/2667/statm: 2949 54 34 303 0 2643 0

[startup+0.107245 s]
/proc/loadavg: 1.17 1.71 1.89 2/461 2667
/proc/meminfo: memFree=29881760/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=11948 CPUtime=0.09 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 1538 0 0 0 9 0 0 0 24 0 1 0 851408973 12234752 1486 33554432000 4194304 6736272 140733691414832 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 2987 1486 266 621 0 2357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11948

[startup+0.201223 s]
/proc/loadavg: 1.17 1.71 1.89 2/461 2667
/proc/meminfo: memFree=29881760/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=24200 CPUtime=0.18 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 4621 0 0 0 18 0 0 0 24 0 1 0 851408973 24780800 4569 33554432000 4194304 6736272 140733691414832 18446744073709551615 4734638 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6050 4569 269 621 0 5420 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 24200

[startup+0.301207 s]
/proc/loadavg: 1.17 1.71 1.89 2/461 2667
/proc/meminfo: memFree=29881760/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=24200 CPUtime=0.28 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 4627 0 0 0 28 0 0 0 25 0 1 0 851408973 24780800 4575 33554432000 4194304 6736272 140733691414832 18446744073709551615 5148057 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6050 4575 275 621 0 5420 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24200

[startup+0.701128 s]
/proc/loadavg: 1.17 1.71 1.89 2/461 2667
/proc/meminfo: memFree=29881760/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=19980 CPUtime=0.68 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 4661 0 0 0 68 0 0 0 25 0 1 0 851408973 20459520 4603 33554432000 4194304 6736272 140733691414832 18446744073709551615 5149152 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 4995 4603 288 621 0 4365 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19980

[startup+1.50099 s]
/proc/loadavg: 1.24 1.72 1.89 3/465 2674
/proc/meminfo: memFree=29840924/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=20116 CPUtime=1.48 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 4677 0 0 0 148 0 0 0 25 0 1 0 851408973 20598784 4618 33554432000 4194304 6736272 140733691414832 18446744073709551615 5806442 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5029 4618 290 621 0 4399 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20116

[startup+3.10071 s]
/proc/loadavg: 1.24 1.72 1.89 3/465 2674
/proc/meminfo: memFree=29839808/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=20116 CPUtime=3.08 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 4690 0 0 0 308 0 0 0 25 0 1 0 851408973 20598784 4631 33554432000 4194304 6736272 140733691414832 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5029 4631 290 621 0 4399 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20116

[startup+6.30114 s]
/proc/loadavg: 1.30 1.72 1.89 3/465 2674
/proc/meminfo: memFree=29834604/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=20284 CPUtime=6.28 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 4742 0 0 0 628 0 0 0 25 0 1 0 851408973 20770816 4682 33554432000 4194304 6736272 140733691414832 18446744073709551615 5818802 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5071 4682 290 621 0 4441 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20284

[startup+12.701 s]
/proc/loadavg: 1.35 1.73 1.89 3/465 2674
/proc/meminfo: memFree=29814828/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=20616 CPUtime=12.68 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 4808 0 0 0 1268 0 0 0 25 0 1 0 851408973 21110784 4748 33554432000 4194304 6736272 140733691414832 18446744073709551615 5803183 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5154 4748 291 621 0 4524 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20616

[startup+25.5007 s]
/proc/loadavg: 1.45 1.73 1.89 3/465 2675
/proc/meminfo: memFree=29822384/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=20764 CPUtime=25.48 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 4846 0 0 0 2548 0 0 0 25 0 1 0 851408973 21262336 4786 33554432000 4194304 6736272 140733691414832 18446744073709551615 5150742 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5191 4786 291 621 0 4561 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20764

[startup+51.1012 s]
/proc/loadavg: 1.67 1.76 1.89 3/465 2675
/proc/meminfo: memFree=29827176/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=21388 CPUtime=51.09 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 4937 0 0 0 5108 1 0 0 25 0 1 0 851408973 21901312 4876 33554432000 4194304 6736272 140733691414832 18446744073709551615 5149169 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5347 4876 291 621 0 4717 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21388

[startup+102.301 s]
/proc/loadavg: 1.85 1.79 1.90 3/465 2677
/proc/meminfo: memFree=29785616/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=22256 CPUtime=102.29 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5079 0 0 0 10228 1 0 0 25 0 1 0 851408973 22790144 5016 33554432000 4194304 6736272 140733691414832 18446744073709551615 5818066 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5564 5016 291 621 0 4934 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 22256

[startup+162.301 s]
/proc/loadavg: 1.94 1.83 1.91 3/465 2678
/proc/meminfo: memFree=29752116/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=22256 CPUtime=162.29 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5229 0 0 0 16228 1 0 0 25 0 1 0 851408973 22790144 5164 33554432000 4194304 6736272 140733691414832 18446744073709551615 4758624 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5564 5164 291 621 0 4934 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 22256

[startup+222.317 s]
/proc/loadavg: 1.98 1.86 1.91 3/465 2680
/proc/meminfo: memFree=29785320/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=22256 CPUtime=222.3 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5229 0 0 0 22229 1 0 0 25 0 1 0 851408973 22790144 5164 33554432000 4194304 6736272 140733691414832 18446744073709551615 5806437 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5564 5164 291 621 0 4934 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 22256

[startup+282.3 s]
/proc/loadavg: 2.07 1.91 1.92 3/465 2681
/proc/meminfo: memFree=29749328/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=22256 CPUtime=282.29 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5229 0 0 0 28228 1 0 0 25 0 1 0 851408973 22790144 5164 33554432000 4194304 6736272 140733691414832 18446744073709551615 5806437 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5564 5164 291 621 0 4934 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 22256

[startup+342.301 s]
/proc/loadavg: 2.06 1.94 1.93 3/465 2683
/proc/meminfo: memFree=29749172/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=22656 CPUtime=342.29 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5327 0 0 0 34228 1 0 0 25 0 1 0 851408973 23199744 5261 33554432000 4194304 6736272 140733691414832 18446744073709551615 4732864 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5664 5261 291 621 0 5034 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 22656

[startup+402.3 s]
/proc/loadavg: 2.09 1.97 1.94 3/465 2685
/proc/meminfo: memFree=29735988/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=22656 CPUtime=402.29 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5327 0 0 0 40228 1 0 0 25 0 1 0 851408973 23199744 5261 33554432000 4194304 6736272 140733691414832 18446744073709551615 5818587 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5664 5261 291 621 0 5034 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 22656

[startup+462.301 s]
/proc/loadavg: 2.07 1.99 1.94 4/465 2686
/proc/meminfo: memFree=29786168/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=22656 CPUtime=462.29 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5327 0 0 0 46228 1 0 0 25 0 1 0 851408973 23199744 5261 33554432000 4194304 6736272 140733691414832 18446744073709551615 5149241 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5664 5261 291 621 0 5034 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 22656

[startup+522.301 s]
/proc/loadavg: 2.02 1.99 1.94 3/465 2688
/proc/meminfo: memFree=29738784/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=22656 CPUtime=522.29 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5327 0 0 0 52228 1 0 0 25 0 1 0 851408973 23199744 5261 33554432000 4194304 6736272 140733691414832 18446744073709551615 5806446 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5664 5261 291 621 0 5034 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 22656

[startup+582.3 s]
/proc/loadavg: 2.01 1.99 1.94 3/465 2689
/proc/meminfo: memFree=29786368/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=22656 CPUtime=582.3 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5327 0 0 0 58229 1 0 0 25 0 1 0 851408973 23199744 5261 33554432000 4194304 6736272 140733691414832 18446744073709551615 4753731 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 5664 5261 291 621 0 5034 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 22656


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

/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5556 0 0 0 106230 1 0 0 25 0 1 0 851408973 24920064 5490 33554432000 4194304 6736272 140733691414832 18446744073709551615 4755971 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6084 5490 291 621 0 5454 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 24336

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/465 2704
/proc/meminfo: memFree=29785992/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=24336 CPUtime=1122.31 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5556 0 0 0 112230 1 0 0 25 0 1 0 851408973 24920064 5490 33554432000 4194304 6736272 140733691414832 18446744073709551615 5803162 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6084 5490 291 621 0 5454 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 24336

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/465 2705
/proc/meminfo: memFree=29785220/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=24336 CPUtime=1182.31 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5556 0 0 0 118230 1 0 0 25 0 1 0 851408973 24920064 5490 33554432000 4194304 6736272 140733691414832 18446744073709551615 5806346 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6084 5490 291 621 0 5454 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 24336

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/465 2707
/proc/meminfo: memFree=29784688/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=24336 CPUtime=1242.31 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5556 0 0 0 124230 1 0 0 25 0 1 0 851408973 24920064 5490 33554432000 4194304 6736272 140733691414832 18446744073709551615 5806359 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6084 5490 291 621 0 5454 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 24336

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/465 2709
/proc/meminfo: memFree=29783896/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=24336 CPUtime=1302.31 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 5557 0 0 0 130230 1 0 0 25 0 1 0 851408973 24920064 5491 33554432000 4194304 6736272 140733691414832 18446744073709551615 5806346 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6084 5491 291 621 0 5454 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 24336

[startup+1362.3 s]
/proc/loadavg: 2.15 2.03 1.97 3/465 2710
/proc/meminfo: memFree=29727704/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1362.31 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 6152 0 0 0 136230 1 0 0 25 0 1 0 851408973 26628096 6085 33554432000 4194304 6736272 140733691414832 18446744073709551615 4734785 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6085 291 621 0 5871 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 26004

[startup+1422.3 s]
/proc/loadavg: 2.12 2.04 1.98 3/465 2712
/proc/meminfo: memFree=29782732/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1422.32 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 6165 0 0 0 142231 1 0 0 25 0 1 0 851408973 26628096 6098 33554432000 4194304 6736272 140733691414832 18446744073709551615 5148057 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6098 291 621 0 5871 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 26004

[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/465 2713
/proc/meminfo: memFree=29716488/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1482.32 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 6165 0 0 0 148231 1 0 0 25 0 1 0 851408973 26628096 6098 33554432000 4194304 6736272 140733691414832 18446744073709551615 4734767 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6098 291 621 0 5871 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 26004

[startup+1542.32 s]
/proc/loadavg: 2.15 2.06 1.99 3/465 2715
/proc/meminfo: memFree=29782800/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1542.33 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 6165 0 0 0 154232 1 0 0 25 0 1 0 851408973 26628096 6098 33554432000 4194304 6736272 140733691414832 18446744073709551615 5816791 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6098 291 621 0 5871 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 26004

[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 1.99 3/465 2717
/proc/meminfo: memFree=29782768/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1602.32 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 6165 0 0 0 160231 1 0 0 25 0 1 0 851408973 26628096 6098 33554432000 4194304 6736272 140733691414832 18446744073709551615 4734883 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6098 291 621 0 5871 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 26004

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/465 2718
/proc/meminfo: memFree=29667420/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1662.32 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 6165 0 0 0 166231 1 0 0 25 0 1 0 851408973 26628096 6098 33554432000 4194304 6736272 140733691414832 18446744073709551615 5149241 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6098 291 621 0 5871 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 26004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/465 2720
/proc/meminfo: memFree=29721580/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1722.32 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 6165 0 0 0 172231 1 0 0 25 0 1 0 851408973 26628096 6098 33554432000 4194304 6736272 140733691414832 18446744073709551615 5803381 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6098 291 621 0 5871 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 26004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/465 2721
/proc/meminfo: memFree=29714860/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1782.32 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 6165 0 0 0 178231 1 0 0 25 0 1 0 851408973 26628096 6098 33554432000 4194304 6736272 140733691414832 18446744073709551615 5817951 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6098 291 621 0 5871 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 26004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.99 3/465 2722
/proc/meminfo: memFree=29722784/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1800.03 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) R 2665 2667 1285 0 -1 4202496 6165 0 0 0 180002 1 0 0 25 0 1 0 851408973 26628096 6098 33554432000 4194304 6736272 140733691414832 18446744073709551615 5803329 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6098 291 621 0 5871 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 26004

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -2667

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

[startup+1800.7 s]
/proc/loadavg: 1.84 1.98 1.98 1/464 2724
/proc/meminfo: memFree=29851628/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1800.04 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) S 2665 2667 1285 0 -1 4202496 6166 0 0 0 180003 1 0 0 25 0 1 0 851408973 26628096 6099 33554432000 4194304 6736272 140733691414832 18446744073709551615 5924238 0 16384 4096 17571 18446604440900605120 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6099 292 621 0 5871 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 26004

[startup+1801.5 s]
/proc/loadavg: 1.84 1.98 1.98 1/464 2724
/proc/meminfo: memFree=29851628/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1800.04 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) S 2665 2667 1285 0 -1 4202496 6166 0 0 0 180003 1 0 0 25 0 1 0 851408973 26628096 6099 33554432000 4194304 6736272 140733691414832 18446744073709551615 5924238 0 16384 4096 17571 18446604440900605120 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6099 292 621 0 5871 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 26004

[startup+1801.92 s]
/proc/loadavg: 1.84 1.98 1.98 1/464 2724
/proc/meminfo: memFree=29851628/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1800.04 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) S 2665 2667 1285 0 -1 4202496 6166 0 0 0 180003 1 0 0 25 0 1 0 851408973 26628096 6099 33554432000 4194304 6736272 140733691414832 18446744073709551615 5924238 0 16384 4096 17571 18446604440900605120 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6099 292 621 0 5871 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 26004

[startup+1802 s]
/proc/loadavg: 1.84 1.98 1.98 1/464 2724
/proc/meminfo: memFree=29851628/32950928 swapFree=45617076/67111528
[pid=2667] ppid=2665 vsize=26004 CPUtime=1800.04 cores=0,2,4,6
/proc/2667/stat : 2667 (minisatid-gmp) S 2665 2667 1285 0 -1 4202496 6166 0 0 0 180003 1 0 0 25 0 1 0 851408973 26628096 6099 33554432000 4194304 6736272 140733691414832 18446744073709551615 5924238 0 16384 4096 17571 18446604440900605120 0 0 17 4 0 0 0
/proc/2667/statm: 6501 6099 292 621 0 5871 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 26004

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.02
CPU time (s): 1800.05
CPU user time (s): 1800.04
CPU system time (s): 0.015997
CPU usage (%): 99.8908
Max. virtual memory (cumulated for all children) (KiB): 26004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2757

runsolver used 8.32373 second user time and 17.9553 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-07 00:08:12
IDJOB=3466700
IDBENCH=2347
IDSOLVER=1957
FILE ID=node123/3466700-1307398092
RUNJOBID= node123-1307398092-2653
PBS_JOBID= 13514184
Free space on /tmp= 73988 MiB

SOLVER NAME= MinisatID 2.4.8-gmp
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466700-1307398092/watcher-3466700-1307398092 -o /tmp/evaluation-result-3466700-1307398092/solver-3466700-1307398092 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466700-1307398092.opb --verbosity=0 --format=opb 

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

MD5SUM BENCH= 9d32bc57adc83bca41f939562e4ccfd8
RANDOM SEED=189262201

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29882032 kB
Buffers:        341068 kB
Cached:         487984 kB
SwapCached:       9488 kB
Active:        2402656 kB
Inactive:       374096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29882032 kB
SwapTotal:    67111528 kB
SwapFree:     45617076 kB
Dirty:            4340 kB
Writeback:           4 kB
AnonPages:     1945412 kB
Mapped:          23156 kB
Slab:           146380 kB
PageTables:      78032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133350364 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= 73980 MiB
End job on node123 at 2011-06-07 00:38:14