Trace number 351974

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, and are wall clock time (not CPU 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
PBS4 2007-03-23No Cert. 1800.02 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM54b9b4de78a7992fd69d0caeed32daef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3695
Best CPU time to get the best result obtained on this benchmark1800.38
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3695
Optimality of the best value was proved NO
Number of variables2756
Total number of constraints749
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints397
Minimum length of a constraint2
Maximum length of a constraint546
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
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 (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/351974-1176619028/instance-351974-1176619028.opb ......
0.04/0.09	c done parsing opb.
0.04/0.09	o 69309
0.09/0.10	o 63766
0.09/0.10	o 52951
0.09/0.11	o 52924
0.09/0.12	o 51285
0.09/0.13	o 47895
0.09/0.13	o 44456
0.09/0.14	o 39363
0.09/0.15	o 39360
0.09/0.16	o 39096
0.09/0.16	o 38033
0.09/0.17	o 37412
0.09/0.18	o 37098
0.09/0.19	o 35973
0.09/0.19	o 35661
0.19/0.21	o 35660
0.19/0.22	o 27420
0.19/0.23	o 26201
0.19/0.23	o 15509
0.19/0.24	o 15297
0.19/0.24	o 14530
0.19/0.25	o 14277
0.19/0.26	o 14108
0.19/0.26	o 14107
0.19/0.27	o 14106
0.19/0.27	o 14105
0.19/0.28	o 14104
0.19/0.29	o 14102
0.29/0.30	o 14101
0.29/0.31	o 10092
0.29/0.31	o 10071
0.29/0.32	o 8833
0.29/0.32	o 8753
0.29/0.33	o 8749
0.29/0.33	o 8747
0.29/0.34	o 8745
0.29/0.35	o 8705
0.29/0.35	o 8676
0.29/0.36	o 8627
0.29/0.36	o 8603
0.29/0.37	o 8343
0.29/0.37	o 8342
0.29/0.38	o 8341
0.29/0.38	o 8337
0.29/0.39	o 8241
0.29/0.39	o 8240
0.39/0.40	o 8204
0.39/0.40	o 8203
0.39/0.42	o 8202
24.79/24.80	o 8201
24.79/24.81	o 8200
24.79/24.83	o 8199
24.79/24.84	o 8198
24.79/24.85	o 8197
24.79/24.85	o 8196
24.79/24.86	o 8195
24.79/24.86	o 8194
24.79/24.86	o 8193
24.79/24.87	o 8192
24.79/24.87	o 8191
24.79/24.88	o 8190
24.79/24.88	o 8189
24.79/24.88	o 8188
24.79/24.89	o 8187
24.79/24.89	o 8186
24.79/24.89	o 8185
24.88/24.90	o 8184
24.98/25.06	o 8183
24.98/25.07	o 8182
24.98/25.08	o 8181
24.98/25.09	o 8180
24.98/25.09	o 8179
24.98/25.09	o 8178
25.08/25.10	o 8177
25.08/25.10	o 8176
25.08/25.11	o 8175
25.08/25.11	o 8174
25.08/25.11	o 8173
25.08/25.12	o 8172
25.08/25.12	o 8171
25.08/25.13	o 8170
25.08/25.13	o 8169
25.08/25.14	o 8168
25.08/25.14	o 8167
25.08/25.14	o 8166
25.08/25.15	o 8165
25.08/25.15	o 8164
25.08/25.15	o 8163
25.08/25.16	o 8162
25.08/25.16	o 8161
25.08/25.16	o 8160
25.08/25.17	o 8159
25.08/25.17	o 8158
25.08/25.17	o 8157
25.08/25.18	o 8156
25.08/25.18	o 8155
25.08/25.19	o 8154
25.08/25.19	o 8153
25.08/25.19	o 8152
25.08/25.20	o 8151
25.08/25.20	o 8150
25.19/25.20	o 8149
25.19/25.21	o 8148
25.19/25.21	o 8147
25.19/25.21	o 8146
25.19/25.22	o 8145
25.19/25.22	o 8144
25.19/25.22	o 8143
25.19/25.23	o 8142
25.19/25.23	o 8141
29.59/29.63	o 8140
29.59/29.65	o 8139
29.59/29.65	o 8138
29.59/29.65	o 8137
29.59/29.66	o 8136
29.59/29.66	o 8135
29.59/29.67	o 8134
29.59/29.67	o 8133
29.59/29.68	o 8132
29.59/29.68	o 8131
29.59/29.68	o 8130
29.59/29.69	o 8129
29.59/29.69	o 8128
29.59/29.70	o 8127
29.59/29.70	o 8126
29.68/29.70	o 8125
29.68/29.71	o 8124
29.68/29.71	o 8123
29.68/29.72	o 8122
29.68/29.72	o 8121
29.68/29.73	o 8120
29.68/29.73	o 8119
29.68/29.73	o 8118
29.68/29.74	o 8117
29.68/29.74	o 8116
29.68/29.74	o 8115
29.68/29.75	o 8114
29.68/29.75	o 8113
29.68/29.75	o 8112
29.68/29.76	o 8111
29.68/29.76	o 8110
29.68/29.76	o 8109
29.68/29.77	o 8108
29.68/29.77	o 8107
29.68/29.77	o 8106
29.68/29.78	o 8105
29.68/29.78	o 8104
29.68/29.78	o 8103
29.68/29.79	o 8102
29.68/29.79	o 8101
29.68/29.79	o 8100
29.68/29.80	o 8099
29.78/29.80	o 8098
29.78/29.80	o 8097
29.78/29.81	o 8096
29.78/29.81	o 8095
29.78/29.81	o 8094
29.78/29.82	o 8093
29.78/29.82	o 8092
29.78/29.82	o 8091
29.78/29.83	o 8090
50.77/50.89	o 8089
50.87/50.90	o 8088
50.87/50.91	o 8087
50.87/50.92	o 8086
50.87/50.92	o 8085
50.87/50.93	o 8084
50.87/50.93	o 8083
50.87/50.94	o 8082
50.87/50.94	o 8081
50.87/50.95	o 8080
50.87/50.95	o 8079
50.87/50.96	o 8078
50.87/50.96	o 8077
50.87/50.97	o 8076
50.87/50.97	o 8075
50.87/50.98	o 8074
50.87/50.98	o 8073
50.87/50.99	o 8072
50.87/50.99	o 8071
50.87/50.99	o 8070
50.87/51.00	o 8069
50.98/51.00	o 8068
50.98/51.01	o 8067
50.98/51.01	o 8066
50.98/51.01	o 8065
50.98/51.02	o 8064
50.98/51.02	o 8063
50.98/51.03	o 8062
50.98/51.03	o 8061
50.98/51.04	o 8060
50.98/51.04	o 8059
50.98/51.05	o 8058
50.98/51.05	o 8057
50.98/51.06	o 8056
50.98/51.07	o 8055
50.98/51.07	o 8054
51.07/51.19	o 8053
51.07/51.19	o 8052
51.18/51.20	o 8051
51.18/51.20	o 8050
51.18/51.21	o 8049
51.18/51.21	o 8048
51.18/51.22	o 8047
51.18/51.27	o 8046
63.17/63.24	o 8045
63.17/63.25	o 8044
63.17/63.26	o 8043
83.56/83.60	o 8042
83.56/83.61	o 8041
83.56/83.61	o 8040
83.56/83.62	o 8039
83.56/83.62	o 8038
83.56/83.63	o 8037
83.56/83.63	o 8036
83.56/83.63	o 8035
83.56/83.64	o 8034
83.56/83.64	o 8033
83.56/83.64	o 8032
83.56/83.65	o 8031
83.56/83.65	o 8030
83.56/83.65	o 8029
83.56/83.66	o 8028
83.56/83.66	o 8027
83.56/83.66	o 8026
83.56/83.67	o 8025
83.56/83.67	o 8024
83.56/83.67	o 8023
83.56/83.68	o 8022
83.56/83.68	o 8021
83.56/83.69	o 8020
83.56/83.69	o 8019
83.56/83.69	o 8018
83.56/83.70	o 8017
83.67/83.70	o 8016
83.67/83.70	o 8015
83.67/83.71	o 8014
83.67/83.71	o 8013
83.67/83.71	o 8012
83.67/83.72	o 8011
83.67/83.72	o 8010
83.67/83.72	o 8009
83.67/83.73	o 8008
83.67/83.73	o 8007
83.67/83.74	o 8006
83.67/83.74	o 8005
83.67/83.74	o 8004
83.67/83.75	o 8003
83.67/83.75	o 8002
83.67/83.75	o 8001
83.67/83.76	o 8000
83.67/83.76	o 7999
83.67/83.76	o 7998
83.67/83.77	o 7997
83.67/83.77	o 7996
83.67/83.77	o 7995
83.67/83.78	o 7994
83.67/83.78	o 7993
83.67/83.79	o 7992
83.67/83.79	o 7991
83.67/83.79	o 7990
83.67/83.80	o 7989
83.76/83.80	o 7988
83.76/83.80	o 7987
83.76/83.81	o 7986
83.76/83.81	o 7985
83.76/83.81	o 7984
83.76/83.82	o 7983
83.76/83.82	o 7982
83.76/83.82	o 7981
83.76/83.83	o 7980
83.76/83.83	o 7979
83.76/83.83	o 7978
83.76/83.84	o 7977
83.76/83.84	o 7976
83.76/83.85	o 7975
83.76/83.85	o 7974
83.76/83.85	o 7973
83.76/83.85	o 7972
83.76/83.86	o 7971
83.76/83.86	o 7970
83.76/83.87	o 7969
83.76/83.87	o 7968
83.76/83.87	o 7967
83.76/83.88	o 7966
83.76/83.88	o 7965
83.76/83.88	o 7964
83.76/83.89	o 7963
83.76/83.89	o 7962
83.76/83.89	o 7961
83.87/83.90	o 7960
83.87/83.90	o 7959
83.87/83.90	o 7958
83.87/83.91	o 7957
83.87/83.91	o 7956
83.87/83.92	o 7955
83.87/83.92	o 7954
83.87/83.92	o 7953
83.87/83.92	o 7952
83.87/83.93	o 7951
83.87/83.93	o 7950
83.87/83.94	o 7949
83.87/83.94	o 7948
83.87/83.94	o 7947
83.87/83.95	o 7946
83.87/83.95	o 7945
83.87/83.95	o 7944
83.87/83.96	o 7943
83.87/83.96	o 7942
83.87/83.96	o 7941
83.87/83.97	o 7940
83.87/83.97	o 7939
83.87/83.97	o 7938
83.87/83.98	o 7937
83.87/83.98	o 7936
83.87/83.98	o 7935
83.87/83.99	o 7934
83.87/83.99	o 7933
83.87/83.99	o 7932
83.96/84.00	o 7931
83.96/84.00	o 7930
83.96/84.00	o 7929
83.96/84.01	o 7928
83.96/84.01	o 7927
83.96/84.02	o 7926
83.96/84.02	o 7925
83.96/84.02	o 7924
83.96/84.03	o 7923
83.96/84.03	o 7922
83.96/84.04	o 7921
83.96/84.04	o 7920
83.96/84.04	o 7919
83.96/84.05	o 7918
83.96/84.05	o 7917
83.96/84.05	o 7916
83.96/84.05	o 7915
83.96/84.06	o 7914
83.96/84.06	o 7913
83.96/84.07	o 7912
83.96/84.07	o 7911
83.96/84.07	o 7910
83.96/84.08	o 7909
83.96/84.08	o 7908
83.96/84.08	o 7907
83.96/84.09	o 7906
83.96/84.09	o 7905
83.96/84.09	o 7904
83.96/84.10	o 7903
84.06/84.10	o 7902
84.06/84.10	o 7901
84.06/84.10	o 7900
84.06/84.11	o 7899
84.06/84.11	o 7898
84.06/84.11	o 7897
84.27/84.31	o 7896
195.73/195.84	o 7895
199.13/199.27	o 7894
199.13/199.27	o 7893
199.13/199.28	o 7892
199.13/199.28	o 7891
199.13/199.29	o 7890
199.13/199.29	o 7889
199.13/199.30	o 7888
199.23/199.30	o 7887
199.23/199.30	o 7886
199.23/199.31	o 7885
199.23/199.31	o 7884
199.23/199.32	o 7883
199.23/199.32	o 7882
199.23/199.33	o 7881
199.23/199.33	o 7880
199.23/199.34	o 7879
199.23/199.34	o 7878
199.23/199.35	o 7877
199.23/199.35	o 7876
199.23/199.36	o 7875
199.23/199.36	o 7874
199.23/199.37	o 7873
199.23/199.37	o 7872
199.23/199.38	o 7871
199.23/199.38	o 7870
199.23/199.38	o 7869
199.23/199.39	o 7868
199.23/199.39	o 7867
199.32/199.40	o 7866
199.32/199.40	o 7865
199.32/199.41	o 7864
199.32/199.41	o 7863
199.32/199.41	o 7862
199.32/199.42	o 7861
199.32/199.42	o 7860
199.32/199.43	o 7859
199.32/199.43	o 7858
199.32/199.44	o 7857
199.32/199.44	o 7856
199.32/199.44	o 7855
199.32/199.45	o 7854
199.32/199.45	o 7853
199.32/199.46	o 7852
199.32/199.46	o 7851
199.32/199.47	o 7850
199.32/199.47	o 7849
199.32/199.47	o 7848
199.32/199.48	o 7847
199.32/199.48	o 7846
199.32/199.49	o 7845
199.32/199.49	o 7844
199.32/199.50	o 7843
199.43/199.50	o 7842
199.43/199.51	o 7841
199.43/199.51	o 7840
199.43/199.51	o 7839
199.43/199.52	o 7838
199.43/199.52	o 7837
199.43/199.53	o 7836
199.43/199.53	o 7835
199.43/199.54	o 7834
199.43/199.54	o 7833
199.43/199.55	o 7832
199.43/199.55	o 7831
199.43/199.55	o 7830
199.43/199.56	o 7829
199.43/199.56	o 7828
199.43/199.57	o 7827
199.43/199.57	o 7826
199.43/199.58	o 7825
199.43/199.58	o 7824
199.43/199.58	o 7823
199.43/199.59	o 7822
199.43/199.59	o 7821
199.43/199.60	o 7820
199.53/199.60	o 7819
199.53/199.60	o 7818
199.53/199.61	o 7817
199.53/199.61	o 7816
199.53/199.62	o 7815
199.53/199.62	o 7814
199.53/199.63	o 7813
199.53/199.63	o 7812
199.53/199.63	o 7811
199.53/199.64	o 7810
199.53/199.64	o 7809
199.53/199.65	o 7808
199.53/199.65	o 7807
199.53/199.66	o 7806
199.53/199.66	o 7805
199.53/199.66	o 7804
199.53/199.67	o 7803
199.53/199.67	o 7802
199.53/199.68	o 7801
199.53/199.68	o 7800
199.53/199.68	o 7799
199.53/199.69	o 7798
199.53/199.69	o 7797
199.53/199.70	o 7796
199.62/199.70	o 7795
199.62/199.70	o 7794
199.62/199.71	o 7793
199.62/199.71	o 7792
199.62/199.72	o 7791
199.62/199.72	o 7790
199.62/199.72	o 7789
199.62/199.73	o 7788
199.62/199.73	o 7787
199.62/199.74	o 7786
199.62/199.74	o 7785
199.62/199.74	o 7784
199.62/199.75	o 7783
199.62/199.75	o 7782
199.62/199.76	o 7781
199.62/199.76	o 7780
199.62/199.76	o 7779
199.62/199.77	o 7778
199.62/199.77	o 7777
199.62/199.78	o 7776
199.62/199.78	o 7775
199.62/199.78	o 7774
199.62/199.79	o 7773
199.62/199.79	o 7772
199.62/199.80	o 7771
199.73/199.80	o 7770
199.73/199.80	o 7769
199.73/199.81	o 7768
199.73/199.81	o 7767
199.73/199.82	o 7766
199.73/199.82	o 7765
199.73/199.82	o 7764
199.73/199.83	o 7763
199.73/199.83	o 7762
199.73/199.84	o 7761
199.73/199.84	o 7760
199.73/199.84	o 7759
199.73/199.85	o 7758
199.73/199.85	o 7757
199.73/199.85	o 7756
199.73/199.86	o 7755
199.73/199.86	o 7754
199.73/199.87	o 7753
199.73/199.87	o 7752
199.73/199.87	o 7751
199.73/199.88	o 7750
199.73/199.88	o 7749
199.73/199.89	o 7748
199.73/199.89	o 7747
199.73/199.89	o 7746
199.83/199.90	o 7745
199.83/199.90	o 7744
199.83/199.91	o 7743
199.83/199.91	o 7742
199.83/199.91	o 7741
199.83/199.92	o 7740
199.83/199.92	o 7739
199.83/199.92	o 7738
199.83/199.93	o 7737
199.83/199.93	o 7736
199.83/199.94	o 7735
199.83/199.94	o 7734
199.83/199.95	o 7733
199.83/199.95	o 7732
199.83/199.96	o 7731
199.83/199.96	o 7730
199.83/199.97	o 7729
199.83/199.97	o 7728
199.83/199.98	o 7727
199.83/199.98	o 7726
199.83/199.98	o 7725
199.83/199.99	o 7724
199.83/199.99	o 7723
199.92/200.00	o 7722
199.92/200.00	o 7721
199.92/200.01	o 7720
199.92/200.01	o 7719
199.92/200.01	o 7718
199.92/200.02	o 7717
199.92/200.02	o 7716
199.92/200.03	o 7715
199.92/200.03	o 7714
199.92/200.03	o 7713
199.92/200.04	o 7712
199.92/200.04	o 7711
199.92/200.05	o 7710
199.92/200.05	o 7709
199.92/200.05	o 7708
199.92/200.06	o 7707
199.92/200.07	o 7706
199.92/200.07	o 7705
202.33/202.44	o 7704
202.33/202.45	o 7703
202.33/202.45	o 7702
202.33/202.46	o 7701
202.33/202.46	o 7700
202.33/202.46	o 7699
202.33/202.47	o 7698
202.33/202.47	o 7697
202.33/202.48	o 7696
202.33/202.48	o 7695
202.33/202.48	o 7694
202.33/202.49	o 7693
202.33/202.49	o 7692
202.33/202.49	o 7691
202.42/202.50	o 7690
202.42/202.50	o 7689
202.42/202.51	o 7688
202.42/202.51	o 7687
202.42/202.51	o 7686
202.42/202.52	o 7685
202.42/202.52	o 7684
202.42/202.53	o 7683
202.42/202.53	o 7682
202.42/202.53	o 7681
202.42/202.54	o 7680
202.42/202.54	o 7679
202.42/202.55	o 7678
202.42/202.55	o 7677
202.42/202.55	o 7676
202.42/202.56	o 7675
202.42/202.56	o 7674
202.42/202.56	o 7673
202.42/202.57	o 7672
202.42/202.57	o 7671
202.42/202.57	o 7670
202.42/202.58	o 7669
202.42/202.58	o 7668
202.42/202.58	o 7667
202.42/202.59	o 7666
202.42/202.59	o 7665
202.42/202.59	o 7664
202.52/202.60	o 7663
202.52/202.65	o 7662
234.62/234.73	o 7661
234.62/234.73	o 7660
234.62/234.74	o 7659
234.62/234.74	o 7658
234.62/234.75	o 7657
234.62/234.75	o 7656
234.62/234.76	o 7655
234.62/234.77	o 7654
234.62/234.77	o 7653
234.62/234.78	o 7652
234.62/234.78	o 7651
234.62/234.78	o 7650
234.62/234.79	o 7649
234.62/234.79	o 7648
234.62/234.79	o 7647
234.71/234.80	o 7646
234.71/234.80	o 7645
234.71/234.81	o 7644
234.71/234.81	o 7643
234.71/234.81	o 7642
234.71/234.82	o 7641
234.71/234.82	o 7640
234.71/234.83	o 7639
234.71/234.83	o 7638
234.71/234.83	o 7637
234.71/234.84	o 7636
234.71/234.84	o 7635
234.71/234.84	o 7634
234.71/234.85	o 7633
234.71/234.85	o 7632
234.71/234.85	o 7631
234.71/234.86	o 7630
234.71/234.86	o 7629
234.71/234.87	o 7628
234.71/234.87	o 7627
234.71/234.87	o 7626
234.71/234.88	o 7625
234.71/234.88	o 7624
234.71/234.89	o 7623
234.71/234.89	o 7622
234.81/234.90	o 7621
234.81/234.90	o 7620
234.81/234.91	o 7619
234.81/234.91	o 7618
234.81/234.91	o 7617
234.81/234.92	o 7616
234.81/234.92	o 7615
234.81/234.93	o 7614
234.81/234.93	o 7613
234.81/234.93	o 7612
234.81/234.94	o 7611
234.81/234.94	o 7610
234.81/234.94	o 7609
234.81/234.95	o 7608
234.81/234.95	o 7607
234.81/234.96	o 7606
234.81/234.96	o 7605
234.81/234.96	o 7604
234.81/234.97	o 7603
234.81/234.97	o 7602
234.81/234.97	o 7601
234.81/234.98	o 7600
234.81/234.98	o 7599
234.81/234.98	o 7598
234.81/234.99	o 7597
234.81/234.99	o 7596
234.81/235.00	o 7595
234.91/235.00	o 7594
234.91/235.00	o 7593
234.91/235.01	o 7592
234.91/235.01	o 7591
234.91/235.01	o 7590
234.91/235.02	o 7589
234.91/235.02	o 7588
234.91/235.02	o 7587
234.91/235.03	o 7586
234.91/235.03	o 7585
234.91/235.04	o 7584
234.91/235.04	o 7583
234.91/235.04	o 7582
234.91/235.05	o 7581
234.91/235.05	o 7580
234.91/235.06	o 7579
234.91/235.06	o 7578
234.91/235.06	o 7577
234.91/235.07	o 7576
234.91/235.07	o 7575
234.91/235.08	o 7574
234.91/235.08	o 7573
234.91/235.08	o 7572
234.91/235.09	o 7571
234.91/235.09	o 7570
234.91/235.10	o 7569
235.01/235.10	o 7568
235.01/235.10	o 7567
235.01/235.11	o 7566
235.01/235.11	o 7565
235.01/235.11	o 7564
235.01/235.12	o 7563
235.01/235.12	o 7562
235.01/235.13	o 7561
235.01/235.13	o 7560
235.01/235.13	o 7559
235.01/235.14	o 7558
235.01/235.14	o 7557
235.01/235.14	o 7556
235.01/235.15	o 7555
235.01/235.15	o 7554
235.01/235.16	o 7553
235.01/235.16	o 7552
235.01/235.17	o 7551
235.01/235.17	o 7550
235.01/235.17	o 7549
235.01/235.18	o 7548
235.22/235.39	o 7547
235.22/235.40	o 7546
235.31/235.40	o 7545
235.31/235.40	o 7544
235.31/235.41	o 7543
235.31/235.41	o 7542
235.31/235.42	o 7541
235.31/235.42	o 7540
235.31/235.42	o 7539
235.31/235.43	o 7538
235.31/235.43	o 7537
235.31/235.44	o 7536
235.31/235.44	o 7535
235.31/235.45	o 7534
235.31/235.45	o 7533
235.31/235.45	o 7532
235.31/235.46	o 7531
235.31/235.46	o 7530
235.31/235.47	o 7529
235.31/235.47	o 7528
235.31/235.47	o 7527
235.31/235.48	o 7526
235.31/235.48	o 7525
235.31/235.48	o 7524
235.31/235.49	o 7523
235.31/235.49	o 7522
235.31/235.49	o 7521
235.42/235.50	o 7520
235.42/235.50	o 7519
235.42/235.51	o 7518
235.42/235.51	o 7517
235.42/235.53	o 7516
235.42/235.53	o 7515
235.42/235.54	o 7514
235.42/235.54	o 7513
235.42/235.55	o 7512
235.42/235.55	o 7511
235.42/235.56	o 7510
235.42/235.56	o 7509
235.42/235.56	o 7508
235.42/235.57	o 7507
235.42/235.57	o 7506
235.42/235.58	o 7505
235.42/235.58	o 7504
235.42/235.58	o 7503
235.42/235.59	o 7502
235.42/235.59	o 7501
235.52/235.60	o 7500
235.52/235.60	o 7499
235.52/235.60	o 7498
235.52/235.61	o 7497
235.52/235.61	o 7496
235.52/235.61	o 7495
235.52/235.62	o 7494
235.52/235.62	o 7493
235.52/235.62	o 7492
235.52/235.63	o 7491
235.52/235.63	o 7490
235.52/235.63	o 7489
235.52/235.64	o 7488
235.52/235.64	o 7487
235.52/235.64	o 7486
235.52/235.65	o 7485
235.52/235.65	o 7484
235.52/235.65	o 7483
235.52/235.66	o 7482
235.52/235.66	o 7481
235.52/235.66	o 7480
235.52/235.67	o 7479
235.52/235.67	o 7478
235.52/235.67	o 7477
235.52/235.68	o 7476
235.52/235.68	o 7475
235.52/235.68	o 7474
235.52/235.69	o 7473
235.52/235.69	o 7472
235.52/235.69	o 7471
235.61/235.70	o 7470
235.61/235.70	o 7469
235.91/236.03	o 7468
235.91/236.05	o 7467
235.91/236.06	o 7466
235.91/236.06	o 7465
235.91/236.06	o 7464
235.91/236.07	o 7463
235.91/236.08	o 7462
235.91/236.08	o 7461
235.91/236.08	o 7460
235.91/236.09	o 7459
235.91/236.09	o 7458
236.02/236.10	o 7457
236.02/236.10	o 7456
236.02/236.11	o 7455
236.02/236.11	o 7454
236.02/236.12	o 7453
236.02/236.12	o 7452
236.02/236.13	o 7451
236.02/236.13	o 7450
236.02/236.14	o 7449
236.02/236.14	o 7448
236.02/236.15	o 7447
236.02/236.15	o 7446
236.02/236.16	o 7445
236.02/236.18	o 7444
236.61/236.76	o 7443
236.61/236.76	o 7442
236.61/236.77	o 7441
236.61/236.77	o 7440
236.61/236.78	o 7439
236.61/236.78	o 7438
236.61/236.78	o 7437
236.61/236.79	o 7436
236.61/236.79	o 7435
236.72/236.80	o 7434
236.72/236.80	o 7433
236.72/236.80	o 7432
236.72/236.81	o 7431
236.72/236.81	o 7430
236.72/236.82	o 7429
236.72/236.82	o 7428
236.72/236.83	o 7427
236.72/236.83	o 7426
236.72/236.84	o 7425
236.72/236.84	o 7424
236.72/236.85	o 7423
236.72/236.85	o 7422
236.72/236.85	o 7421
236.72/236.86	o 7420
236.72/236.86	o 7419
236.72/236.87	o 7418
236.72/236.87	o 7417
236.72/236.87	o 7416
236.72/236.88	o 7415
236.72/236.88	o 7414
236.72/236.89	o 7413
236.72/236.89	o 7412
236.72/236.89	o 7411
236.81/236.90	o 7410
236.81/236.90	o 7409
236.81/236.91	o 7408
236.81/236.91	o 7407
236.81/236.91	o 7406
236.81/236.92	o 7405
236.81/236.92	o 7404
236.81/236.93	o 7403
236.81/236.93	o 7402
236.81/236.93	o 7401
236.81/236.94	o 7400
236.81/236.94	o 7399
236.81/236.95	o 7398
236.81/236.95	o 7397
236.81/236.95	o 7396
236.81/236.96	o 7395
236.81/236.96	o 7394
236.81/236.97	o 7393
236.81/236.97	o 7392
236.81/236.97	o 7391
236.81/236.98	o 7390
236.81/236.98	o 7389
236.81/236.99	o 7388
236.81/236.99	o 7387
236.81/236.99	o 7386
236.92/237.00	o 7385
236.92/237.00	o 7384
236.92/237.01	o 7383
236.92/237.01	o 7382
236.92/237.01	o 7381
236.92/237.02	o 7380
236.92/237.02	o 7379
236.92/237.03	o 7378
236.92/237.03	o 7377
236.92/237.04	o 7376
236.92/237.05	o 7375
236.92/237.05	o 7374
236.92/237.06	o 7373
236.92/237.06	o 7372
236.92/237.06	o 7371
236.92/237.07	o 7370
236.92/237.08	o 7369
237.11/237.21	o 7368
237.11/237.21	o 7367
237.11/237.22	o 7366
237.11/237.22	o 7365
237.11/237.22	o 7364
237.11/237.23	o 7363
237.11/237.23	o 7362
237.11/237.23	o 7361
237.11/237.24	o 7360
237.11/237.24	o 7359
237.11/237.24	o 7358
237.11/237.25	o 7357
237.11/237.25	o 7356
237.11/237.25	o 7355
237.11/237.26	o 7354
237.11/237.26	o 7353
237.11/237.26	o 7352
237.11/237.27	o 7351
237.11/237.27	o 7350
237.11/237.27	o 7349
237.11/237.28	o 7348
237.11/237.28	o 7347
237.11/237.28	o 7346
237.11/237.29	o 7345
237.11/237.29	o 7344
237.11/237.29	o 7343
237.11/237.30	o 7342
237.22/237.30	o 7341
237.22/237.30	o 7340
237.22/237.31	o 7339
237.22/237.31	o 7338
237.22/237.31	o 7337
237.22/237.32	o 7336
237.22/237.32	o 7335
237.22/237.32	o 7334
237.22/237.33	o 7333
237.22/237.33	o 7332
237.22/237.33	o 7331
237.22/237.33	o 7330
237.22/237.34	o 7329
237.22/237.34	o 7328
237.22/237.34	o 7327
237.22/237.35	o 7326
237.22/237.35	o 7325
237.22/237.35	o 7324
237.22/237.36	o 7323
237.22/237.36	o 7322
237.22/237.36	o 7321
237.22/237.37	o 7320
237.22/237.37	o 7319
237.22/237.37	o 7318
237.22/237.38	o 7317
237.22/237.38	o 7316
237.22/237.38	o 7315
237.22/237.39	o 7314
237.22/237.39	o 7313
237.22/237.39	o 7312
237.31/237.40	o 7311
237.31/237.40	o 7310
237.31/237.40	o 7309
237.31/237.41	o 7308
237.31/237.41	o 7307
237.31/237.41	o 7306
237.31/237.42	o 7305
237.31/237.42	o 7304
237.31/237.42	o 7303
237.31/237.43	o 7302
237.31/237.43	o 7301
237.31/237.43	o 7300
237.31/237.44	o 7299
237.31/237.44	o 7298
237.31/237.44	o 7297
237.31/237.45	o 7296
237.31/237.45	o 7295
237.31/237.45	o 7294
237.31/237.46	o 7293
237.31/237.46	o 7292
237.31/237.46	o 7291
237.31/237.46	o 7290
237.31/237.47	o 7289
237.31/237.47	o 7288
237.31/237.47	o 7287
237.31/237.48	o 7286
237.31/237.48	o 7285
237.31/237.48	o 7284
237.31/237.49	o 7283
237.31/237.49	o 7282
237.31/237.49	o 7281
237.42/237.50	o 7280
237.42/237.50	o 7279
237.42/237.50	o 7278
237.42/237.51	o 7277
237.42/237.51	o 7276
237.42/237.51	o 7275
237.42/237.52	o 7274
237.42/237.52	o 7273
237.42/237.52	o 7272
237.42/237.53	o 7271
237.42/237.53	o 7270
237.42/237.53	o 7269
237.42/237.54	o 7268
237.42/237.54	o 7267
237.42/237.54	o 7266
237.42/237.55	o 7265
237.42/237.55	o 7264
237.42/237.55	o 7263
237.42/237.56	o 7262
237.42/237.56	o 7261
237.42/237.56	o 7260
237.42/237.57	o 7259
237.42/237.57	o 7258
237.42/237.57	o 7257
237.42/237.57	o 7256
237.42/237.58	o 7255
237.42/237.58	o 7254
237.42/237.58	o 7253
237.42/237.59	o 7252
237.42/237.59	o 7251
237.42/237.59	o 7250
237.42/237.60	o 7249
237.51/237.60	o 7248
237.51/237.60	o 7247
237.51/237.61	o 7246
237.51/237.61	o 7245
237.51/237.61	o 7244
237.51/237.62	o 7243
237.51/237.62	o 7242
237.51/237.62	o 7241
237.51/237.63	o 7240
237.51/237.63	o 7239
237.51/237.63	o 7238
237.51/237.64	o 7237
237.51/237.64	o 7236
237.51/237.64	o 7235
237.51/237.65	o 7234
237.51/237.65	o 7233
237.51/237.65	o 7232
237.51/237.66	o 7231
237.51/237.66	o 7230
237.51/237.66	o 7229
237.51/237.67	o 7228
237.51/237.67	o 7227
237.51/237.67	o 7226
237.51/237.68	o 7225
237.51/237.68	o 7224
237.51/237.68	o 7223
237.51/237.69	o 7222
237.51/237.69	o 7221
237.51/237.69	o 7220
237.51/237.69	o 7219
237.61/237.70	o 7218
237.61/237.70	o 7217
237.61/237.70	o 7216
237.61/237.71	o 7215
237.61/237.71	o 7214
237.61/237.71	o 7213
237.61/237.72	o 7212
237.61/237.72	o 7211
237.61/237.72	o 7210
237.61/237.73	o 7209
237.61/237.73	o 7208
237.61/237.73	o 7207
237.61/237.74	o 7206
237.61/237.74	o 7205
237.61/237.74	o 7204
237.61/237.75	o 7203
237.61/237.75	o 7202
237.61/237.75	o 7201
237.61/237.76	o 7200
237.61/237.76	o 7199
237.61/237.76	o 7198
237.61/237.77	o 7197
237.61/237.77	o 7196
237.61/237.77	o 7195
237.61/237.78	o 7194
237.61/237.78	o 7193
237.61/237.78	o 7192
237.61/237.79	o 7191
237.61/237.79	o 7190
237.61/237.79	o 7189
237.61/237.80	o 7188
237.72/237.80	o 7187
237.72/237.80	o 7186
237.72/237.81	o 7185
237.72/237.81	o 7184
237.72/237.81	o 7183
237.72/237.82	o 7182
237.72/237.82	o 7181
237.72/237.82	o 7180
237.72/237.83	o 7179
237.72/237.83	o 7178
237.72/237.83	o 7177
237.72/237.84	o 7176
237.72/237.84	o 7175
237.72/237.85	o 7174
237.72/237.85	o 7173
237.72/237.85	o 7172
237.72/237.86	o 7171
237.72/237.86	o 7170
237.72/237.86	o 7169
237.72/237.87	o 7168
237.72/237.87	o 7167
237.72/237.87	o 7166
237.72/237.88	o 7165
237.72/237.88	o 7164
237.72/237.89	o 7163
237.72/237.89	o 7162
237.72/237.89	o 7161
237.82/237.90	o 7160
237.82/237.90	o 7159
237.82/237.91	o 7158
237.82/237.91	o 7157
237.82/237.91	o 7156
237.82/237.92	o 7155
237.82/237.92	o 7154
237.82/237.93	o 7153
237.82/237.93	o 7152
237.82/237.95	o 7151
246.21/246.34	o 7150
246.21/246.35	o 7149
246.21/246.35	o 7148
246.21/246.36	o 7147
246.21/246.36	o 7146
246.21/246.37	o 7145
246.21/246.37	o 7144
246.21/246.37	o 7143
246.21/246.38	o 7142
246.21/246.38	o 7141
246.21/246.38	o 7140
246.21/246.39	o 7139
246.21/246.39	o 7138
246.31/246.40	o 7137
246.31/246.41	o 7136
246.31/246.41	o 7135
246.31/246.42	o 7134
246.31/246.42	o 7133
246.31/246.43	o 7132
246.31/246.43	o 7131
246.31/246.43	o 7130
246.31/246.44	o 7129
246.31/246.44	o 7128
246.31/246.45	o 7127
246.31/246.45	o 7126
246.31/246.46	o 7125
246.31/246.46	o 7124
246.31/246.46	o 7123
246.31/246.47	o 7122
246.31/246.47	o 7121
246.31/246.48	o 7120
246.31/246.48	o 7119
246.31/246.48	o 7118
246.31/246.49	o 7117
246.31/246.49	o 7116
246.31/246.50	o 7115
246.41/246.50	o 7114
246.41/246.50	o 7113
246.41/246.51	o 7112
246.41/246.51	o 7111
246.41/246.52	o 7110
246.41/246.52	o 7109
246.41/246.53	o 7108
246.41/246.53	o 7107
246.41/246.53	o 7106
246.41/246.54	o 7105
246.41/246.54	o 7104
246.41/246.55	o 7103
246.41/246.55	o 7102
246.41/246.55	o 7101
246.41/246.56	o 7100
246.41/246.56	o 7099
246.41/246.57	o 7098
246.41/246.57	o 7097
246.41/246.57	o 7096
246.41/246.58	o 7095
246.41/246.58	o 7094
246.41/246.59	o 7093
246.41/246.59	o 7092
246.41/246.59	o 7091
246.51/246.60	o 7090
246.51/246.60	o 7089
246.51/246.61	o 7088
246.51/246.61	o 7087
246.51/246.61	o 7086
246.51/246.62	o 7085
246.51/246.62	o 7084
246.51/246.63	o 7083
246.51/246.63	o 7082
246.51/246.63	o 7081
246.51/246.64	o 7080
246.51/246.64	o 7079
246.51/246.65	o 7078
246.51/246.65	o 7077
246.51/246.65	o 7076
246.51/246.66	o 7075
246.51/246.66	o 7074
246.51/246.67	o 7073
246.51/246.67	o 7072
246.51/246.68	o 7071
246.51/246.68	o 7070
246.51/246.68	o 7069
246.51/246.69	o 7068
246.51/246.70	o 7067
246.61/246.70	o 7066
246.61/246.70	o 7065
246.61/246.71	o 7064
246.61/246.71	o 7063
246.61/246.71	o 7062
246.61/246.72	o 7061
246.61/246.72	o 7060
246.61/246.73	o 7059
246.61/246.73	o 7058
246.61/246.74	o 7057
246.61/246.74	o 7056
246.61/246.74	o 7055
246.61/246.75	o 7054
246.61/246.75	o 7053
246.61/246.76	o 7052
246.61/246.76	o 7051
246.61/246.77	o 7050
246.61/246.77	o 7049
246.61/246.77	o 7048
246.61/246.78	o 7047
246.61/246.78	o 7046
246.61/246.78	o 7045
246.61/246.79	o 7044
246.71/246.80	o 7043
246.71/246.80	o 7042
246.71/246.81	o 7041
246.71/246.81	o 7040
246.71/246.81	o 7039
246.71/246.82	o 7038
246.71/246.82	o 7037
246.71/246.82	o 7036
246.71/246.83	o 7035
246.71/246.83	o 7034
246.71/246.83	o 7033
246.71/246.84	o 7032
246.71/246.84	o 7031
246.71/246.84	o 7030
246.71/246.85	o 7029
246.71/246.85	o 7028
246.71/246.85	o 7027
246.71/246.86	o 7026
246.71/246.86	o 7025
246.71/246.86	o 7024
246.71/246.87	o 7023
246.71/246.87	o 7022
246.71/246.87	o 7021
246.71/246.88	o 7020
246.71/246.88	o 7019
246.71/246.88	o 7018
246.71/246.89	o 7017
246.71/246.89	o 7016
246.71/246.90	o 7015
246.81/246.90	o 7014
246.81/246.90	o 7013
246.81/246.91	o 7012
246.81/246.91	o 7011
246.81/246.91	o 7010
246.81/246.92	o 7009
246.81/246.92	o 7008
246.81/246.92	o 7007
246.81/246.93	o 7006
246.81/246.93	o 7005
246.81/246.93	o 7004
246.81/246.94	o 7003
246.81/246.94	o 7002
246.81/246.94	o 7001
246.81/246.95	o 7000
246.81/246.95	o 6999
246.81/246.95	o 6998
246.81/246.96	o 6997
246.81/246.96	o 6996
246.81/246.96	o 6995
246.81/246.97	o 6994
246.81/246.97	o 6993
246.81/246.97	o 6992
246.81/246.98	o 6991
246.81/246.98	o 6990
246.81/246.98	o 6989
246.81/246.99	o 6988
246.81/246.99	o 6987
246.81/246.99	o 6986
246.91/247.00	o 6985
246.91/247.00	o 6984
246.91/247.00	o 6983
246.91/247.01	o 6982
246.91/247.01	o 6981
246.91/247.01	o 6980
246.91/247.02	o 6979
246.91/247.02	o 6978
246.91/247.02	o 6977
246.91/247.03	o 6976
246.91/247.03	o 6975
246.91/247.03	o 6974
246.91/247.04	o 6973
246.91/247.04	o 6972
246.91/247.05	o 6971
246.91/247.05	o 6970
246.91/247.05	o 6969
246.91/247.06	o 6968
246.91/247.06	o 6967
246.91/247.06	o 6966
246.91/247.07	o 6965
246.91/247.07	o 6964
246.91/247.07	o 6963
246.91/247.08	o 6962
246.91/247.08	o 6961
246.91/247.08	o 6960
246.91/247.09	o 6959
246.91/247.09	o 6958
246.91/247.09	o 6957
247.01/247.10	o 6956
247.01/247.10	o 6955
247.01/247.10	o 6954
247.01/247.11	o 6953
247.01/247.11	o 6952
247.01/247.11	o 6951
247.01/247.12	o 6950
247.01/247.12	o 6949
247.01/247.12	o 6948
247.01/247.13	o 6947
247.01/247.13	o 6946
247.01/247.14	o 6945
247.01/247.14	o 6944
247.01/247.14	o 6943
247.01/247.15	o 6942
247.01/247.15	o 6941
247.01/247.15	o 6940
247.01/247.16	o 6939
247.01/247.16	o 6938
247.01/247.17	o 6937
247.01/247.17	o 6936
247.01/247.17	o 6935
247.01/247.18	o 6934
247.01/247.18	o 6933
247.01/247.18	o 6932
247.01/247.19	o 6931
247.01/247.19	o 6930
247.01/247.19	o 6929
247.11/247.20	o 6928
247.11/247.20	o 6927
247.11/247.21	o 6926
247.11/247.21	o 6925
247.11/247.21	o 6924
247.11/247.22	o 6923
247.11/247.22	o 6922
247.11/247.22	o 6921
247.11/247.23	o 6920
247.11/247.23	o 6919
247.11/247.23	o 6918
247.11/247.24	o 6917
247.11/247.24	o 6916
247.11/247.25	o 6915
247.11/247.25	o 6914
247.11/247.25	o 6913
247.11/247.26	o 6912
247.11/247.26	o 6911
247.11/247.26	o 6910
247.11/247.27	o 6909
247.11/247.27	o 6908
247.11/247.27	o 6907
247.11/247.28	o 6906
247.11/247.28	o 6905
247.11/247.29	o 6904
247.11/247.29	o 6903
247.11/247.29	o 6902
247.11/247.30	o 6901
247.21/247.30	o 6900
247.21/247.30	o 6899
247.21/247.31	o 6898
247.21/247.31	o 6897
247.21/247.32	o 6896
247.21/247.32	o 6895
247.21/247.32	o 6894
247.21/247.33	o 6893
247.21/247.33	o 6892
247.21/247.34	o 6891
247.21/247.34	o 6890
247.21/247.34	o 6889
247.21/247.35	o 6888
247.21/247.36	o 6887
247.21/247.36	o 6886
247.21/247.36	o 6885
247.21/247.37	o 6884
247.21/247.37	o 6883
247.21/247.38	o 6882
247.21/247.38	o 6881
247.21/247.39	o 6880
247.21/247.39	o 6879
247.21/247.39	o 6878
247.21/247.40	o 6877
247.32/247.40	o 6876
247.32/247.41	o 6875
247.32/247.41	o 6874
247.32/247.41	o 6873
247.32/247.42	o 6872
247.32/247.42	o 6871
247.32/247.42	o 6870
247.32/247.43	o 6869
247.32/247.43	o 6868
247.32/247.43	o 6867
247.32/247.44	o 6866
247.32/247.44	o 6865
247.32/247.44	o 6864
247.32/247.45	o 6863
247.32/247.45	o 6862
247.32/247.46	o 6861
247.32/247.46	o 6860
247.32/247.46	o 6859
247.32/247.47	o 6858
247.32/247.47	o 6857
247.32/247.47	o 6856
247.32/247.48	o 6855
247.32/247.48	o 6854
247.32/247.48	o 6853
247.32/247.49	o 6852
247.32/247.49	o 6851
247.41/247.51	o 6850
298.89/299.05	o 6849
298.89/299.06	o 6848
298.89/299.06	o 6847
298.89/299.06	o 6846
298.89/299.07	o 6845
298.89/299.07	o 6844
298.89/299.07	o 6843
298.89/299.08	o 6842
298.89/299.08	o 6841
298.89/299.09	o 6840
298.89/299.09	o 6839
298.89/299.09	o 6838
298.89/299.10	o 6837
298.89/299.10	o 6836
299.00/299.10	o 6835
299.00/299.11	o 6834
299.00/299.11	o 6833
299.00/299.11	o 6832
299.00/299.12	o 6831
299.00/299.12	o 6830
299.00/299.13	o 6829
299.00/299.13	o 6828
299.00/299.13	o 6827
299.00/299.14	o 6826
299.00/299.14	o 6825
299.00/299.14	o 6824
299.00/299.15	o 6823
299.00/299.15	o 6822
299.00/299.15	o 6821
299.00/299.16	o 6820
299.00/299.17	o 6819
299.00/299.17	o 6818
299.00/299.17	o 6817
299.00/299.18	o 6816
299.00/299.18	o 6815
299.00/299.18	o 6814
299.00/299.19	o 6813
299.00/299.19	o 6812
299.00/299.19	o 6811
299.00/299.20	o 6810
299.09/299.20	o 6809
299.09/299.21	o 6808
299.09/299.21	o 6807
299.09/299.21	o 6806
299.09/299.22	o 6805
299.09/299.22	o 6804
299.09/299.22	o 6803
299.09/299.23	o 6802
299.09/299.23	o 6801
299.09/299.23	o 6800
299.09/299.24	o 6799
299.09/299.24	o 6798
299.09/299.24	o 6797
299.09/299.25	o 6796
299.09/299.25	o 6795
299.09/299.26	o 6794
299.09/299.26	o 6793
299.09/299.26	o 6792
299.09/299.27	o 6791
299.09/299.27	o 6790
299.09/299.27	o 6789
299.09/299.28	o 6788
299.09/299.28	o 6787
299.09/299.28	o 6786
299.09/299.29	o 6785
299.09/299.29	o 6784
299.09/299.29	o 6783
299.19/299.30	o 6782
299.19/299.30	o 6781
299.19/299.31	o 6780
299.19/299.31	o 6779
299.19/299.31	o 6778
299.19/299.32	o 6777
299.19/299.32	o 6776
299.19/299.32	o 6775
299.19/299.33	o 6774
299.19/299.33	o 6773
299.19/299.33	o 6772
299.19/299.34	o 6771
299.19/299.34	o 6770
299.19/299.34	o 6769
299.19/299.35	o 6768
299.19/299.35	o 6767
299.19/299.35	o 6766
299.19/299.36	o 6765
299.19/299.36	o 6764
299.19/299.36	o 6763
299.19/299.37	o 6762
299.19/299.37	o 6761
299.19/299.37	o 6760
299.19/299.38	o 6759
299.19/299.38	o 6758
299.19/299.39	o 6757
299.19/299.39	o 6756
299.19/299.39	o 6755
299.19/299.40	o 6754
299.29/299.40	o 6753
299.29/299.40	o 6752
299.29/299.41	o 6751
299.29/299.41	o 6750
299.29/299.41	o 6749
299.29/299.42	o 6748
299.29/299.42	o 6747
299.29/299.42	o 6746
299.29/299.43	o 6745
299.29/299.43	o 6744
299.29/299.43	o 6743
299.29/299.44	o 6742
299.29/299.44	o 6741
299.29/299.44	o 6740
299.29/299.45	o 6739
299.29/299.45	o 6738
299.29/299.45	o 6737
299.29/299.46	o 6736
299.29/299.46	o 6735
299.29/299.46	o 6734
299.29/299.47	o 6733
299.29/299.47	o 6732
299.29/299.48	o 6731
299.29/299.48	o 6730
299.29/299.48	o 6729
299.29/299.49	o 6728
299.29/299.49	o 6727
299.29/299.49	o 6726
299.29/299.50	o 6725
299.39/299.50	o 6724
299.39/299.50	o 6723
299.39/299.51	o 6722
299.39/299.51	o 6721
299.39/299.51	o 6720
299.39/299.52	o 6719
299.39/299.52	o 6718
299.39/299.52	o 6717
299.39/299.53	o 6716
299.39/299.53	o 6715
299.39/299.53	o 6714
299.39/299.54	o 6713
299.39/299.54	o 6712
299.39/299.54	o 6711
299.39/299.55	o 6710
299.39/299.55	o 6709
299.39/299.55	o 6708
299.39/299.56	o 6707
299.39/299.56	o 6706
299.39/299.56	o 6705
299.39/299.57	o 6704
299.39/299.57	o 6703
299.39/299.57	o 6702
299.39/299.58	o 6701
299.39/299.58	o 6700
299.39/299.58	o 6699
299.39/299.59	o 6698
299.39/299.59	o 6697
299.39/299.59	o 6696
299.48/299.60	o 6695
299.48/299.60	o 6694
299.48/299.60	o 6693
299.48/299.61	o 6692
299.48/299.61	o 6691
299.48/299.62	o 6690
299.48/299.62	o 6689
299.48/299.62	o 6688
299.48/299.63	o 6687
299.48/299.63	o 6686
299.48/299.63	o 6685
299.48/299.64	o 6684
299.48/299.64	o 6683
299.48/299.64	o 6682
299.48/299.65	o 6681
299.48/299.65	o 6680
299.48/299.65	o 6679
299.48/299.66	o 6678
299.48/299.66	o 6677
299.48/299.66	o 6676
299.48/299.67	o 6675
299.48/299.67	o 6674
299.48/299.67	o 6673
299.48/299.68	o 6672
299.48/299.68	o 6671
299.48/299.68	o 6670
299.48/299.69	o 6669
299.48/299.69	o 6668
299.48/299.69	o 6667
299.48/299.70	o 6666
299.59/299.70	o 6665
299.59/299.70	o 6664
299.59/299.71	o 6663
299.59/299.71	o 6662
299.59/299.71	o 6661
299.59/299.72	o 6660
299.59/299.72	o 6659
299.59/299.72	o 6658
299.59/299.73	o 6657
299.59/299.73	o 6656
299.59/299.73	o 6655
299.59/299.74	o 6654
299.59/299.74	o 6653
299.59/299.74	o 6652
299.59/299.75	o 6651
299.59/299.75	o 6650
299.59/299.75	o 6649
299.59/299.76	o 6648
299.59/299.76	o 6647
299.59/299.76	o 6646
299.59/299.77	o 6645
299.59/299.77	o 6644
299.59/299.77	o 6643
299.59/299.78	o 6642
299.59/299.78	o 6641
299.59/299.78	o 6640
299.59/299.79	o 6639
299.59/299.79	o 6638
299.59/299.80	o 6637
299.69/299.80	o 6636
299.69/299.80	o 6635
299.69/299.81	o 6634
299.69/299.81	o 6633
299.69/299.81	o 6632
299.69/299.82	o 6631
299.69/299.82	o 6630
299.69/299.82	o 6629
299.69/299.83	o 6628
299.69/299.83	o 6627
299.69/299.83	o 6626
299.69/299.84	o 6625
299.69/299.84	o 6624
299.69/299.84	o 6623
299.69/299.85	o 6622
299.69/299.85	o 6621
299.69/299.85	o 6620
299.69/299.86	o 6619
299.69/299.86	o 6618
299.69/299.86	o 6617
299.69/299.87	o 6616
299.69/299.87	o 6615
299.69/299.87	o 6614
299.69/299.88	o 6613
299.69/299.88	o 6612
299.69/299.88	o 6611
299.69/299.89	o 6610
299.69/299.89	o 6609
299.69/299.89	o 6608
299.69/299.90	o 6607
299.78/299.90	o 6606
299.78/299.90	o 6605
299.78/299.91	o 6604
299.78/299.91	o 6603
299.78/299.91	o 6602
299.78/299.92	o 6601
299.78/299.92	o 6600
299.78/299.92	o 6599
299.78/299.93	o 6598
299.78/299.93	o 6597
299.78/299.93	o 6596
299.78/299.94	o 6595
299.78/299.94	o 6594
299.78/299.94	o 6593
299.78/299.95	o 6592
299.78/299.95	o 6591
299.78/299.95	o 6590
299.78/299.96	o 6589
299.78/299.96	o 6588
299.78/299.97	o 6587
299.78/299.97	o 6586
299.78/299.97	o 6585
299.78/299.98	o 6584
299.78/299.98	o 6583
299.78/299.98	o 6582
299.78/299.99	o 6581
299.78/299.99	o 6580
299.78/299.99	o 6579
299.78/300.00	o 6578
299.89/300.00	o 6577
299.89/300.00	o 6576
299.89/300.01	o 6575
299.89/300.01	o 6574
299.89/300.01	o 6573
299.89/300.02	o 6572
299.89/300.02	o 6571
299.89/300.02	o 6570
299.89/300.03	o 6569
299.89/300.03	o 6568
299.89/300.03	o 6567
299.89/300.04	o 6566
299.89/300.04	o 6565
299.89/300.04	o 6564
299.89/300.05	o 6563
299.89/300.05	o 6562
299.89/300.05	o 6561
299.89/300.06	o 6560
299.89/300.06	o 6559
299.89/300.06	o 6558
299.89/300.07	o 6557
299.89/300.07	o 6556
299.89/300.07	o 6555
299.89/300.08	o 6554
299.89/300.08	o 6553
299.89/300.08	o 6552
299.89/300.09	o 6551
299.89/300.09	o 6550
299.89/300.09	o 6549
299.89/300.10	o 6548
299.98/300.10	o 6547
299.98/300.10	o 6546
299.98/300.11	o 6545
299.98/300.11	o 6544
299.98/300.11	o 6543
299.98/300.12	o 6542
299.98/300.12	o 6541
299.98/300.12	o 6540
299.98/300.13	o 6539
299.98/300.13	o 6538
299.98/300.13	o 6537
299.98/300.14	o 6536
299.98/300.14	o 6535
299.98/300.15	o 6534
299.98/300.15	o 6533
299.98/300.15	o 6532
299.98/300.16	o 6531
299.98/300.16	o 6530
299.98/300.16	o 6529
299.98/300.17	o 6528
299.98/300.17	o 6527
299.98/300.17	o 6526
299.98/300.18	o 6525
299.98/300.18	o 6524
299.98/300.18	o 6523
299.98/300.19	o 6522
299.98/300.19	o 6521
299.98/300.19	o 6520
299.98/300.20	o 6519
299.98/300.20	o 6518
300.08/300.20	o 6517
300.08/300.21	o 6516
300.08/300.21	o 6515
300.08/300.21	o 6514
300.08/300.22	o 6513
300.08/300.22	o 6512
300.08/300.23	o 6511
300.08/300.23	o 6510
300.08/300.23	o 6509
300.08/300.24	o 6508
300.08/300.24	o 6507
300.08/300.24	o 6506
300.08/300.25	o 6505
300.08/300.25	o 6504
300.08/300.25	o 6503
300.08/300.26	o 6502
300.08/300.26	o 6501
300.08/300.26	o 6500
300.08/300.27	o 6499
300.08/300.27	o 6498
300.08/300.27	o 6497
300.08/300.28	o 6496
300.08/300.28	o 6495
300.08/300.28	o 6494
300.08/300.29	o 6493
300.08/300.29	o 6492
300.08/300.29	o 6491
300.08/300.30	o 6490
300.08/300.30	o 6489
300.19/300.30	o 6488
300.19/300.31	o 6487
300.19/300.31	o 6486
300.19/300.31	o 6485
300.19/300.32	o 6484
300.19/300.32	o 6483
300.19/300.32	o 6482
300.19/300.33	o 6481
300.19/300.33	o 6480
300.19/300.33	o 6479
300.19/300.34	o 6478
300.19/300.34	o 6477
300.19/300.34	o 6476
300.19/300.35	o 6475
300.19/300.35	o 6474
300.19/300.35	o 6473
300.19/300.36	o 6472
300.19/300.36	o 6471
300.19/300.36	o 6470
300.19/300.37	o 6469
300.19/300.37	o 6468
300.19/300.37	o 6467
300.19/300.38	o 6466
300.19/300.38	o 6465
300.19/300.38	o 6464
300.19/300.39	o 6463
300.19/300.39	o 6462
300.19/300.39	o 6461
300.19/300.40	o 6460
300.28/300.41	o 6459
354.07/354.25	o 6458
354.07/354.25	o 6457
354.07/354.26	o 6456
354.07/354.26	o 6455
354.07/354.26	o 6454
354.07/354.27	o 6453
354.07/354.27	o 6452
354.07/354.27	o 6451
354.07/354.28	o 6450
354.07/354.28	o 6449
354.07/354.29	o 6448
354.07/354.29	o 6447
354.07/354.29	o 6446
354.07/354.30	o 6445
354.17/354.30	o 6444
354.17/354.30	o 6443
354.17/354.31	o 6442
354.17/354.31	o 6441
354.17/354.32	o 6440
354.17/354.32	o 6439
354.17/354.32	o 6438
354.17/354.33	o 6437
354.17/354.33	o 6436
354.17/354.33	o 6435
354.17/354.34	o 6434
354.17/354.34	o 6433
354.17/354.34	o 6432
354.17/354.35	o 6431
354.17/354.35	o 6430
354.17/354.36	o 6429
354.17/354.36	o 6428
354.17/354.36	o 6427
354.17/354.37	o 6426
354.17/354.37	o 6425
354.17/354.37	o 6424
354.17/354.38	o 6423
354.17/354.38	o 6422
354.17/354.38	o 6421
354.17/354.39	o 6420
354.17/354.39	o 6419
354.17/354.39	o 6418
354.27/354.40	o 6417
354.27/354.40	o 6416
354.27/354.40	o 6415
354.27/354.41	o 6414
354.27/354.41	o 6413
354.27/354.42	o 6412
354.27/354.42	o 6411
354.27/354.42	o 6410
354.27/354.43	o 6409
354.27/354.43	o 6408
354.27/354.43	o 6407
354.27/354.44	o 6406
354.27/354.44	o 6405
354.27/354.44	o 6404
354.27/354.45	o 6403
354.27/354.45	o 6402
354.27/354.46	o 6401
354.27/354.46	o 6400
354.27/354.46	o 6399
354.27/354.47	o 6398
354.27/354.47	o 6397
354.27/354.47	o 6396
354.27/354.48	o 6395
354.27/354.48	o 6394
354.27/354.49	o 6393
354.27/354.49	o 6392
354.27/354.49	o 6391
354.27/354.50	o 6390
354.37/354.50	o 6389
354.37/354.50	o 6388
354.37/354.51	o 6387
354.37/354.51	o 6386
354.37/354.52	o 6385
354.37/354.52	o 6384
354.37/354.52	o 6383
354.37/354.53	o 6382
354.37/354.53	o 6381
354.37/354.53	o 6380
354.37/354.54	o 6379
354.37/354.54	o 6378
354.37/354.54	o 6377
354.37/354.55	o 6376
354.37/354.55	o 6375
354.37/354.55	o 6374
354.37/354.56	o 6373
354.37/354.56	o 6372
354.37/354.57	o 6371
354.37/354.57	o 6370
354.37/354.57	o 6369
354.37/354.58	o 6368
354.37/354.58	o 6367
354.37/354.58	o 6366
354.37/354.59	o 6365
354.37/354.59	o 6364
354.37/354.59	o 6363
354.37/354.60	o 6362
354.47/354.60	o 6361
354.47/354.60	o 6360
354.47/354.61	o 6359
354.47/354.61	o 6358
354.47/354.61	o 6357
354.47/354.62	o 6356
354.47/354.62	o 6355
354.47/354.62	o 6354
354.47/354.63	o 6353
354.47/354.63	o 6352
354.47/354.63	o 6351
354.47/354.64	o 6350
354.47/354.64	o 6349
354.47/354.64	o 6348
354.47/354.65	o 6347
354.47/354.65	o 6346
354.47/354.65	o 6345
354.47/354.66	o 6344
354.47/354.66	o 6343
354.47/354.66	o 6342
354.47/354.67	o 6341
354.47/354.67	o 6340
354.47/354.68	o 6339
354.47/354.68	o 6338
354.47/354.68	o 6337
354.47/354.69	o 6336
354.47/354.69	o 6335
354.47/354.69	o 6334
354.47/354.70	o 6333
354.56/354.70	o 6332
354.56/354.70	o 6331
354.56/354.71	o 6330
354.56/354.71	o 6329
354.56/354.71	o 6328
354.56/354.72	o 6327
354.56/354.72	o 6326
354.56/354.72	o 6325
354.56/354.73	o 6324
354.56/354.73	o 6323
354.56/354.73	o 6322
354.56/354.74	o 6321
354.56/354.74	o 6320
354.56/354.75	o 6319
354.56/354.75	o 6318
354.56/354.75	o 6317
354.56/354.76	o 6316
354.56/354.76	o 6315
354.56/354.76	o 6314
354.56/354.77	o 6313
354.56/354.77	o 6312
354.56/354.78	o 6311
354.56/354.78	o 6310
354.56/354.78	o 6309
354.56/354.79	o 6308
354.56/354.79	o 6307
354.56/354.79	o 6306
354.66/354.80	o 6305
354.66/354.80	o 6304
354.66/354.80	o 6303
354.66/354.81	o 6302
354.66/354.81	o 6301
354.66/354.82	o 6300
354.66/354.82	o 6299
354.66/354.82	o 6298
354.66/354.83	o 6297
354.66/354.83	o 6296
354.66/354.83	o 6295
354.66/354.84	o 6294
354.66/354.84	o 6293
354.66/354.84	o 6292
354.66/354.85	o 6291
354.66/354.85	o 6290
354.66/354.85	o 6289
354.66/354.86	o 6288
354.66/354.86	o 6287
354.66/354.86	o 6286
354.66/354.87	o 6285
354.66/354.87	o 6284
354.66/354.87	o 6283
354.66/354.88	o 6282
354.66/354.88	o 6281
354.66/354.89	o 6280
354.66/354.89	o 6279
354.66/354.89	o 6278
354.66/354.90	o 6277
354.77/354.90	o 6276
354.77/354.90	o 6275
354.77/354.91	o 6274
354.77/354.91	o 6273
354.77/354.91	o 6272
354.77/354.92	o 6271
354.77/354.92	o 6270
354.77/354.92	o 6269
354.77/354.93	o 6268
354.77/354.93	o 6267
354.77/354.94	o 6266
354.77/354.95	o 6265
354.77/354.95	o 6264
354.77/354.95	o 6263
354.77/354.96	o 6262
354.77/354.96	o 6261
354.77/354.96	o 6260
354.77/354.97	o 6259
354.77/354.97	o 6258
354.77/354.97	o 6257
354.77/354.98	o 6256
354.77/354.98	o 6255
354.77/354.98	o 6254
354.77/354.99	o 6253
354.77/354.99	o 6252
354.77/354.99	o 6251
354.77/355.00	o 6250
354.87/355.00	o 6249
354.87/355.01	o 6248
354.87/355.01	o 6247
354.87/355.01	o 6246
354.87/355.02	o 6245
354.87/355.02	o 6244
354.87/355.02	o 6243
354.87/355.03	o 6242
354.87/355.03	o 6241
354.87/355.03	o 6240
354.87/355.04	o 6239
354.87/355.04	o 6238
354.87/355.04	o 6237
354.87/355.05	o 6236
354.87/355.05	o 6235
354.87/355.05	o 6234
354.87/355.06	o 6233
354.87/355.06	o 6232
354.87/355.07	o 6231
354.87/355.07	o 6230
354.87/355.07	o 6229
354.87/355.08	o 6228
354.87/355.08	o 6227
354.87/355.08	o 6226
354.87/355.09	o 6225
354.87/355.09	o 6224
354.87/355.09	o 6223
354.97/355.10	o 6222
354.97/355.10	o 6221
354.97/355.10	o 6220
354.97/355.11	o 6219
354.97/355.11	o 6218
354.97/355.12	o 6217
354.97/355.12	o 6216
354.97/355.12	o 6215
354.97/355.13	o 6214
354.97/355.13	o 6213
354.97/355.13	o 6212
354.97/355.14	o 6211
354.97/355.14	o 6210
354.97/355.14	o 6209
354.97/355.15	o 6208
354.97/355.15	o 6207
354.97/355.15	o 6206
354.97/355.16	o 6205
354.97/355.16	o 6204
354.97/355.16	o 6203
354.97/355.17	o 6202
354.97/355.17	o 6201
354.97/355.17	o 6200
354.97/355.18	o 6199
354.97/355.18	o 6198
354.97/355.18	o 6197
354.97/355.19	o 6196
354.97/355.19	o 6195
354.97/355.19	o 6194
354.97/355.20	o 6193
355.06/355.20	o 6192
355.06/355.20	o 6191
355.06/355.21	o 6190
355.06/355.21	o 6189
355.06/355.21	o 6188
355.06/355.22	o 6187
355.06/355.22	o 6186
355.06/355.22	o 6185
355.06/355.23	o 6184
355.06/355.23	o 6183
355.06/355.23	o 6182
355.06/355.24	o 6181
355.06/355.24	o 6180
355.06/355.24	o 6179
355.06/355.25	o 6178
355.06/355.25	o 6177
355.06/355.25	o 6176
355.06/355.26	o 6175
355.06/355.26	o 6174
355.06/355.26	o 6173
355.06/355.27	o 6172
355.06/355.27	o 6171
355.06/355.27	o 6170
355.06/355.28	o 6169
355.06/355.28	o 6168
355.06/355.28	o 6167
355.06/355.29	o 6166
355.06/355.30	o 6165
355.17/355.31	o 6164
359.16/359.35	o 6163
377.56/377.77	o 6162
381.15/381.32	o 6161
381.15/381.33	o 6160
381.15/381.34	o 6159
397.05/397.30	o 6158
399.94/400.19	o 6157
403.65/403.81	o 6156
418.54/418.78	o 6155
419.84/420.05	o 6154
419.84/420.07	o 6153
420.24/420.47	o 6152
566.60/566.81	o 6151
712.85/713.15	o 6150
788.63/788.91	o 6149
788.63/788.91	o 6148
788.63/788.91	o 6147
788.63/788.92	o 6146
788.63/788.92	o 6145
788.63/788.92	o 6144
788.63/788.93	o 6143
788.63/788.93	o 6142
788.63/788.93	o 6141
788.63/788.94	o 6140
788.63/788.94	o 6139
788.63/788.94	o 6138
788.63/788.95	o 6137
788.63/788.95	o 6136
788.63/788.95	o 6135
788.63/788.95	o 6134
788.63/788.96	o 6133
788.63/788.96	o 6132
788.63/788.96	o 6131
788.63/788.97	o 6130
788.63/788.97	o 6129
788.63/788.97	o 6128
788.63/788.98	o 6127
788.63/788.98	o 6126
788.63/788.99	o 6125
788.63/788.99	o 6124
788.63/788.99	o 6123
788.63/789.00	o 6122
788.72/789.00	o 6121
788.72/789.00	o 6120
788.72/789.00	o 6119
788.72/789.01	o 6118
788.72/789.01	o 6117
788.72/789.01	o 6116
788.72/789.02	o 6115
788.72/789.02	o 6114
788.72/789.02	o 6113
788.72/789.03	o 6112
788.72/789.03	o 6111
788.72/789.03	o 6110
788.72/789.04	o 6109
788.72/789.05	o 6108
788.72/789.06	o 6107
788.72/789.06	o 6106
788.72/789.06	o 6105
788.72/789.07	o 6104
788.72/789.07	o 6103
788.72/789.07	o 6102
788.72/789.08	o 6101
788.72/789.08	o 6100
788.72/789.08	o 6099
788.72/789.08	o 6098
788.72/789.09	o 6097
788.72/789.09	o 6096
788.72/789.09	o 6095
788.83/789.10	o 6094
788.83/789.10	o 6093
788.83/789.10	o 6092
788.83/789.11	o 6091
788.83/789.11	o 6090
788.83/789.12	o 6089
788.83/789.13	o 6088
788.83/789.13	o 6087
788.83/789.14	o 6086
788.83/789.14	o 6085
788.83/789.14	o 6084
788.83/789.15	o 6083
788.83/789.15	o 6082
788.83/789.15	o 6081
788.83/789.15	o 6080
788.83/789.16	o 6079
788.83/789.17	o 6078
788.83/789.17	o 6077
788.83/789.17	o 6076
788.83/789.18	o 6075
788.83/789.18	o 6074
788.83/789.19	o 6073
788.83/789.19	o 6072
788.83/789.19	o 6071
788.93/789.20	o 6070
788.93/789.20	o 6069
788.93/789.20	o 6068
788.93/789.21	o 6067
788.93/789.21	o 6066
788.93/789.21	o 6065
788.93/789.22	o 6064
788.93/789.22	o 6063
788.93/789.22	o 6062
788.93/789.22	o 6061
788.93/789.23	o 6060
788.93/789.23	o 6059
788.93/789.23	o 6058
788.93/789.24	o 6057
788.93/789.24	o 6056
788.93/789.24	o 6055
788.93/789.25	o 6054
788.93/789.25	o 6053
788.93/789.25	o 6052
788.93/789.26	o 6051
788.93/789.26	o 6050
788.93/789.26	o 6049
788.93/789.26	o 6048
788.93/789.27	o 6047
788.93/789.27	o 6046
788.93/789.27	o 6045
788.93/789.28	o 6044
788.93/789.28	o 6043
788.93/789.28	o 6042
788.93/789.29	o 6041
788.93/789.29	o 6040
788.93/789.29	o 6039
788.93/789.30	o 6038
789.03/789.30	o 6037
789.03/789.30	o 6036
789.03/789.31	o 6035
789.03/789.31	o 6034
789.03/789.31	o 6033
789.03/789.31	o 6032
789.03/789.32	o 6031
789.03/789.32	o 6030
789.03/789.32	o 6029
789.03/789.33	o 6028
789.03/789.33	o 6027
789.03/789.33	o 6026
789.03/789.34	o 6025
789.03/789.34	o 6024
789.03/789.34	o 6023
789.03/789.35	o 6022
789.03/789.35	o 6021
789.03/789.35	o 6020
789.03/789.35	o 6019
789.03/789.36	o 6018
789.03/789.36	o 6017
789.03/789.36	o 6016
789.03/789.37	o 6015
789.03/789.37	o 6014
789.03/789.37	o 6013
789.03/789.38	o 6012
789.03/789.38	o 6011
789.03/789.38	o 6010
789.03/789.39	o 6009
789.03/789.39	o 6008
789.03/789.39	o 6007
789.03/789.39	o 6006
789.12/789.40	o 6005
789.12/789.40	o 6004
789.12/789.40	o 6003
789.12/789.41	o 6002
789.12/789.41	o 6001
789.12/789.41	o 6000
789.12/789.42	o 5999
789.12/789.42	o 5998
789.12/789.42	o 5997
789.12/789.43	o 5996
789.12/789.43	o 5995
789.12/789.43	o 5994
789.12/789.43	o 5993
789.12/789.44	o 5992
789.12/789.44	o 5991
789.12/789.44	o 5990
789.12/789.45	o 5989
789.12/789.45	o 5988
789.12/789.45	o 5987
789.12/789.46	o 5986
789.12/789.46	o 5985
789.12/789.46	o 5984
789.12/789.47	o 5983
789.12/789.47	o 5982
789.12/789.47	o 5981
789.12/789.47	o 5980
789.12/789.48	o 5979
789.12/789.48	o 5978
789.12/789.48	o 5977
789.12/789.49	o 5976
789.12/789.49	o 5975
789.12/789.49	o 5974
789.12/789.50	o 5973
789.23/789.50	o 5972
789.23/789.50	o 5971
789.23/789.51	o 5970
789.23/789.51	o 5969
789.23/789.51	o 5968
789.23/789.51	o 5967
789.23/789.52	o 5966
789.23/789.52	o 5965
789.23/789.53	o 5964
789.23/789.53	o 5963
789.23/789.53	o 5962
789.23/789.54	o 5961
789.23/789.54	o 5960
789.23/789.54	o 5959
789.23/789.55	o 5958
789.23/789.55	o 5957
789.23/789.55	o 5956
789.23/789.56	o 5955
789.23/789.56	o 5954
789.23/789.56	o 5953
789.23/789.56	o 5952
789.23/789.58	o 5951
1050.44/1050.90	o 5950
1050.54/1050.94	o 5949
1216.68/1217.14	o 5948
1246.88/1247.31	o 5947
1651.45/1652.10	o 5946
1692.83/1693.51	o 5945
1784.40/1785.12	o 5944
1800.01/1800.70	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/351974-1176619028/instance-351974-1176619028.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node58/watcher-351974-1176619028 -o ROOT/results/node58/solver-351974-1176619028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351974-1176619028/PBS4 /tmp/evaluation/351974-1176619028/instance-351974-1176619028.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.04 1.04 1.00 3/64 10785
/proc/meminfo: memFree=1592504/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=1716 CPUtime=0
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 226 0 0 0 0 0 0 0 18 0 1 0 109812508 1757184 208 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/10785/statm: 429 208 86 219 0 206 0

[startup+0.048138 s]
/proc/loadavg: 1.04 1.04 1.00 3/64 10785
/proc/meminfo: memFree=1592504/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=2032 CPUtime=0.04
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 298 0 0 0 4 0 0 0 18 0 1 0 109812508 2080768 280 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0
/proc/10785/statm: 508 280 87 219 0 285 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2032

[startup+0.101146 s]
/proc/loadavg: 1.04 1.04 1.00 3/64 10785
/proc/meminfo: memFree=1592504/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=2292 CPUtime=0.09
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 377 0 0 0 9 0 0 0 18 0 1 0 109812508 2347008 359 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 573 359 102 219 0 350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2292

[startup+0.301179 s]
/proc/loadavg: 1.04 1.04 1.00 3/64 10785
/proc/meminfo: memFree=1592504/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=2292 CPUtime=0.29
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 381 0 0 0 26 3 0 0 19 0 1 0 109812508 2347008 363 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548010 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 573 363 102 219 0 350 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2292

[startup+0.701244 s]
/proc/loadavg: 1.04 1.04 1.00 3/64 10785
/proc/meminfo: memFree=1592504/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=2292 CPUtime=0.69
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 424 0 0 0 63 6 0 0 22 0 1 0 109812508 2347008 406 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 573 406 102 219 0 350 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2292

[startup+1.50238 s]
/proc/loadavg: 1.04 1.04 1.00 2/65 10786
/proc/meminfo: memFree=1591152/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=2680 CPUtime=1.49
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 489 0 0 0 143 6 0 0 25 0 1 0 109812508 2744320 471 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 670 471 103 219 0 447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2680

[startup+3.10164 s]
/proc/loadavg: 1.04 1.04 1.00 2/65 10786
/proc/meminfo: memFree=1590640/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=3192 CPUtime=3.09
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 621 0 0 0 302 7 0 0 25 0 1 0 109812508 3268608 603 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 798 603 103 219 0 575 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3192

[startup+6.30117 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 10786
/proc/meminfo: memFree=1589296/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=4352 CPUtime=6.29
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 949 0 0 0 621 8 0 0 25 0 1 0 109812508 4456448 931 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 1088 931 103 219 0 865 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4352

[startup+12.7012 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 10786
/proc/meminfo: memFree=1587120/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=6400 CPUtime=12.68
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 1472 0 0 0 1260 8 0 0 25 0 1 0 109812508 6553600 1454 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 1600 1454 103 219 0 1377 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6400

[startup+25.5014 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 10786
/proc/meminfo: memFree=1582576/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=19128 CPUtime=25.48
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 2647 0 0 0 2536 12 0 0 25 0 1 0 109812508 19587072 2629 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 4782 2629 103 219 0 4559 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19128

[startup+51.1016 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 10786
/proc/meminfo: memFree=1576240/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=20244 CPUtime=51.07
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 4215 0 0 0 5089 18 0 0 25 0 1 0 109812508 20729856 4148 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 5061 4148 104 219 0 4838 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20244

[startup+102.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 10788
/proc/meminfo: memFree=1573616/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=21068 CPUtime=102.26
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 4843 0 0 0 10203 23 0 0 25 0 1 0 109812508 21573632 4776 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 5267 4776 104 219 0 5044 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21068

[startup+162.301 s]
/proc/loadavg: 1.11 1.05 1.01 2/65 10788
/proc/meminfo: memFree=1573168/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=21356 CPUtime=162.24
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 4943 0 0 0 16199 25 0 0 25 0 1 0 109812508 21868544 4876 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 5339 4876 104 219 0 5116 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 21356

[startup+222.302 s]
/proc/loadavg: 1.19 1.08 1.02 2/65 10788
/proc/meminfo: memFree=1571376/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=22132 CPUtime=222.22
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 5484 0 0 0 22185 37 0 0 25 0 1 0 109812508 22663168 5320 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559739 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 5533 5320 104 219 0 5310 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 22132

[startup+282.302 s]
/proc/loadavg: 1.07 1.06 1.01 2/65 10788
/proc/meminfo: memFree=1571056/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=22492 CPUtime=282.2
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 5563 0 0 0 28153 67 0 0 25 0 1 0 109812508 23031808 5399 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 5623 5399 104 219 0 5400 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 22492

[startup+342.302 s]
/proc/loadavg: 1.02 1.05 1.00 3/65 10788
/proc/meminfo: memFree=1570928/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=22492 CPUtime=342.17
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 5586 0 0 0 34139 78 0 0 25 0 1 0 109812508 23031808 5422 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 5623 5422 104 219 0 5400 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 22492

[startup+402.302 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 10788
/proc/meminfo: memFree=1570544/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=22724 CPUtime=402.15
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 5679 0 0 0 40124 91 0 0 25 0 1 0 109812508 23269376 5515 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 5681 5515 104 219 0 5458 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 22724

[startup+462.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 10788
/proc/meminfo: memFree=1570096/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=23112 CPUtime=462.13
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 5787 0 0 0 46117 96 0 0 25 0 1 0 109812508 23666688 5623 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 5778 5623 104 219 0 5555 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 23112

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 10788
/proc/meminfo: memFree=1569904/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=23880 CPUtime=522.1
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6015 0 0 0 52113 97 0 0 25 0 1 0 109812508 24453120 5658 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 5970 5658 104 219 0 5747 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 23880

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 10788
/proc/meminfo: memFree=1569904/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=23996 CPUtime=582.09
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6027 0 0 0 58111 98 0 0 25 0 1 0 109812508 24571904 5670 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 5999 5670 104 219 0 5776 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 23996

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 10788
/proc/meminfo: memFree=1569648/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=24244 CPUtime=642.08
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6089 0 0 0 64107 101 0 0 25 0 1 0 109812508 24825856 5732 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 6061 5732 104 219 0 5838 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 24244


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10788
/proc/meminfo: memFree=1569072/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=24648 CPUtime=882
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6258 0 0 0 88088 112 0 0 25 0 1 0 109812508 25239552 5901 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 6162 5901 104 219 0 5939 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 24648

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10788
/proc/meminfo: memFree=1568880/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=24648 CPUtime=941.98
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6304 0 0 0 94083 115 0 0 25 0 1 0 109812508 25239552 5947 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 6162 5947 104 219 0 5939 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 24648

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10788
/proc/meminfo: memFree=1568560/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=24916 CPUtime=1001.96
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6369 0 0 0 100079 117 0 0 25 0 1 0 109812508 25513984 6012 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 6229 6012 104 219 0 6006 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 24916

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10788
/proc/meminfo: memFree=1568304/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=25084 CPUtime=1061.93
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6446 0 0 0 106073 120 0 0 25 0 1 0 109812508 25686016 6089 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 6271 6089 104 219 0 6048 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 25084

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10788
/proc/meminfo: memFree=1567856/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=41716 CPUtime=1121.92
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6569 0 0 0 112068 124 0 0 25 0 1 0 109812508 42717184 6212 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 10429 6212 104 219 0 10206 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 41716

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10788
/proc/meminfo: memFree=1565680/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=43492 CPUtime=1181.9
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 7474 0 0 0 118059 131 0 0 25 0 1 0 109812508 44535808 6732 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 10873 6732 104 219 0 10650 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 43492

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10788
/proc/meminfo: memFree=1563632/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=43744 CPUtime=1241.88
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 7993 0 0 0 124053 135 0 0 25 0 1 0 109812508 44793856 7251 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559765 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 10936 7251 104 219 0 10713 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 43744

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10788
/proc/meminfo: memFree=1558384/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=44032 CPUtime=1301.86
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 9306 0 0 0 130046 140 0 0 25 0 1 0 109812508 45088768 8564 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 11008 8564 104 219 0 10785 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 44032

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10788
/proc/meminfo: memFree=1558192/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=44032 CPUtime=1361.84
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 9356 0 0 0 136041 143 0 0 25 0 1 0 109812508 45088768 8614 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 11008 8614 104 219 0 10785 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 44032

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10788
/proc/meminfo: memFree=1557936/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=44264 CPUtime=1421.83
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 9403 0 0 0 142038 145 0 0 25 0 1 0 109812508 45326336 8661 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 11066 8661 104 219 0 10843 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 44264

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 10962
/proc/meminfo: memFree=1556528/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=44264 CPUtime=1481.72
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 9453 0 0 0 148025 147 0 0 25 0 1 0 109812508 45326336 8711 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 11066 8711 104 219 0 10843 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 44264

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10986
/proc/meminfo: memFree=1557488/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=44380 CPUtime=1541.69
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 9493 0 0 0 154020 149 0 0 25 0 1 0 109812508 45445120 8751 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 11095 8751 104 219 0 10872 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 44380

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10986
/proc/meminfo: memFree=1555056/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=44596 CPUtime=1601.66
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 10117 0 0 0 160014 152 0 0 25 0 1 0 109812508 45666304 9375 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559736 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 11149 9375 104 219 0 10926 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 44596

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10986
/proc/meminfo: memFree=1554864/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=44784 CPUtime=1661.64
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 10156 0 0 0 166009 155 0 0 25 0 1 0 109812508 45858816 9414 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 11196 9414 104 219 0 10973 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 44784

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10986
/proc/meminfo: memFree=1554544/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=44916 CPUtime=1721.63
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 10227 0 0 0 172005 158 0 0 25 0 1 0 109812508 45993984 9485 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 11229 9485 104 219 0 11006 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 44916

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10986
/proc/meminfo: memFree=1554416/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=45028 CPUtime=1781.6
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 10254 0 0 0 178001 159 0 0 25 0 1 0 109812508 46108672 9512 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 11257 9512 104 219 0 11034 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 45028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10986
/proc/meminfo: memFree=1554416/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=45028 CPUtime=1800.01
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 10282 0 0 0 179840 161 0 0 25 0 1 0 109812508 46108672 9540 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 11257 9540 104 219 0 11034 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 45028

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10986
/proc/meminfo: memFree=1554416/2055920 swapFree=4184728/4192956
[pid=10785] ppid=10783 vsize=45028 CPUtime=1800.01
/proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 10282 0 0 0 179840 161 0 0 25 0 1 0 109812508 46108672 9540 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10785/statm: 11257 9540 104 219 0 11034 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 45028

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.02
CPU user time (s): 1798.41
CPU system time (s): 1.61775
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 45028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 1.61775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10283
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= 8
involuntary context switches= 3945

runsolver used 1.2968 second user time and 3.74443 second system time

The end

Launcher Data (download as text)

Begin job on node58 on Sun Apr 15 06:37:08 UTC 2007

IDJOB= 351974
IDBENCH= 1871
IDSOLVER= 157
FILE ID= node58/351974-1176619028

PBS_JOBID= 4557036

Free space on /tmp= 66563 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
COMMAND LINE= /tmp/evaluation/351974-1176619028/PBS4 /tmp/evaluation/351974-1176619028/instance-351974-1176619028.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node58/convwatcher-351974-1176619028 -o ROOT/results/node58/conversion-351974-1176619028 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351974-1176619028/instance-351974-1176619028.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-351974-1176619028 -o ROOT/results/node58/solver-351974-1176619028 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/351974-1176619028/PBS4 /tmp/evaluation/351974-1176619028/instance-351974-1176619028.opb            

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  54b9b4de78a7992fd69d0caeed32daef

RANDOM SEED= 385404272

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node58.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1592976 kB
Buffers:         38388 kB
Cached:         315916 kB
SwapCached:       2696 kB
Active:         138832 kB
Inactive:       226844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1592976 kB
SwapTotal:     4192956 kB
SwapFree:      4184728 kB
Dirty:            1240 kB
Writeback:           0 kB
Mapped:          17868 kB
Slab:            83356 kB
Committed_AS:   174388 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB

End job on node58 on Sun Apr 15 07:07:11 UTC 2007