Trace number 458722

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_v2 2007-03-23SAT (TO)5944 1800.05 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/458722-1178641303/instance-458722-1178641303.opb ......
0.01/0.09	c done parsing opb.
0.01/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.25	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.28	o 14105
0.19/0.28	o 14104
0.19/0.29	o 14102
0.29/0.31	o 14101
0.29/0.31	o 10092
0.29/0.32	o 10071
0.29/0.32	o 8833
0.29/0.33	o 8753
0.29/0.33	o 8749
0.29/0.34	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.38	o 8342
0.29/0.38	o 8341
0.29/0.39	o 8337
0.29/0.39	o 8241
0.29/0.40	o 8240
0.39/0.40	o 8204
0.39/0.41	o 8203
0.39/0.42	o 8202
24.68/24.79	o 8201
24.68/24.80	o 8200
24.78/24.81	o 8199
24.78/24.82	o 8198
24.78/24.83	o 8197
24.78/24.83	o 8196
24.78/24.84	o 8195
24.78/24.84	o 8194
24.78/24.84	o 8193
24.78/24.85	o 8192
24.78/24.85	o 8191
24.78/24.86	o 8190
24.78/24.86	o 8189
24.78/24.86	o 8188
24.78/24.87	o 8187
24.78/24.87	o 8186
24.78/24.88	o 8185
24.78/24.88	o 8184
24.98/25.05	o 8183
24.98/25.06	o 8182
24.98/25.06	o 8181
24.98/25.07	o 8180
24.98/25.07	o 8179
24.98/25.08	o 8178
24.98/25.08	o 8177
24.98/25.09	o 8176
24.98/25.09	o 8175
24.98/25.09	o 8174
24.98/25.10	o 8173
25.08/25.10	o 8172
25.08/25.11	o 8171
25.08/25.11	o 8170
25.08/25.12	o 8169
25.08/25.12	o 8168
25.08/25.12	o 8167
25.08/25.13	o 8166
25.08/25.13	o 8165
25.08/25.14	o 8164
25.08/25.14	o 8163
25.08/25.14	o 8162
25.08/25.15	o 8161
25.08/25.15	o 8160
25.08/25.15	o 8159
25.08/25.16	o 8158
25.08/25.16	o 8157
25.08/25.16	o 8156
25.08/25.17	o 8155
25.08/25.17	o 8154
25.08/25.17	o 8153
25.08/25.18	o 8152
25.08/25.18	o 8151
25.08/25.18	o 8150
25.08/25.19	o 8149
25.08/25.19	o 8148
25.08/25.20	o 8147
25.08/25.20	o 8146
25.18/25.20	o 8145
25.18/25.21	o 8144
25.18/25.21	o 8143
25.18/25.21	o 8142
25.18/25.22	o 8141
29.59/29.62	o 8140
29.59/29.64	o 8139
29.59/29.64	o 8138
29.59/29.65	o 8137
29.59/29.65	o 8136
29.59/29.65	o 8135
29.59/29.66	o 8134
29.59/29.67	o 8133
29.59/29.67	o 8132
29.59/29.67	o 8131
29.59/29.68	o 8130
29.59/29.68	o 8129
29.59/29.69	o 8128
29.59/29.69	o 8127
29.59/29.69	o 8126
29.59/29.70	o 8125
29.68/29.70	o 8124
29.68/29.71	o 8123
29.68/29.71	o 8122
29.68/29.72	o 8121
29.68/29.72	o 8120
29.68/29.72	o 8119
29.68/29.73	o 8118
29.68/29.73	o 8117
29.68/29.73	o 8116
29.68/29.74	o 8115
29.68/29.74	o 8114
29.68/29.74	o 8113
29.68/29.75	o 8112
29.68/29.75	o 8111
29.68/29.75	o 8110
29.68/29.76	o 8109
29.68/29.76	o 8108
29.68/29.76	o 8107
29.68/29.77	o 8106
29.68/29.77	o 8105
29.68/29.77	o 8104
29.68/29.78	o 8103
29.68/29.78	o 8102
29.68/29.78	o 8101
29.68/29.79	o 8100
29.68/29.79	o 8099
29.68/29.79	o 8098
29.68/29.80	o 8097
29.78/29.80	o 8096
29.78/29.80	o 8095
29.78/29.81	o 8094
29.78/29.81	o 8093
29.78/29.81	o 8092
29.78/29.82	o 8091
29.78/29.82	o 8090
50.77/50.88	o 8089
50.77/50.89	o 8088
50.87/50.90	o 8087
50.87/50.91	o 8086
50.87/50.91	o 8085
50.87/50.92	o 8084
50.87/50.92	o 8083
50.87/50.93	o 8082
50.87/50.93	o 8081
50.87/50.94	o 8080
50.87/50.94	o 8079
50.87/50.95	o 8078
50.87/50.95	o 8077
50.87/50.96	o 8076
50.87/50.96	o 8075
50.87/50.97	o 8074
50.87/50.97	o 8073
50.87/50.98	o 8072
50.87/50.98	o 8071
50.87/50.98	o 8070
50.87/50.99	o 8069
50.87/50.99	o 8068
50.98/51.00	o 8067
50.98/51.00	o 8066
50.98/51.01	o 8065
50.98/51.01	o 8064
50.98/51.01	o 8063
50.98/51.02	o 8062
50.98/51.02	o 8061
50.98/51.03	o 8060
50.98/51.03	o 8059
50.98/51.04	o 8058
50.98/51.04	o 8057
50.98/51.05	o 8056
50.98/51.06	o 8055
50.98/51.06	o 8054
51.07/51.18	o 8053
51.07/51.18	o 8052
51.07/51.19	o 8051
51.07/51.19	o 8050
51.07/51.20	o 8049
51.17/51.20	o 8048
51.17/51.21	o 8047
51.17/51.26	o 8046
63.26/63.30	o 8045
63.26/63.31	o 8044
63.26/63.32	o 8043
83.56/83.68	o 8042
83.56/83.68	o 8041
83.56/83.69	o 8040
83.56/83.69	o 8039
83.56/83.69	o 8038
83.66/83.70	o 8037
83.66/83.70	o 8036
83.66/83.71	o 8035
83.66/83.71	o 8034
83.66/83.71	o 8033
83.66/83.72	o 8032
83.66/83.72	o 8031
83.66/83.72	o 8030
83.66/83.73	o 8029
83.66/83.73	o 8028
83.66/83.73	o 8027
83.66/83.74	o 8026
83.66/83.74	o 8025
83.66/83.74	o 8024
83.66/83.75	o 8023
83.66/83.75	o 8022
83.66/83.76	o 8021
83.66/83.76	o 8020
83.66/83.76	o 8019
83.66/83.77	o 8018
83.66/83.77	o 8017
83.66/83.78	o 8016
83.66/83.78	o 8015
83.66/83.78	o 8014
83.66/83.79	o 8013
83.66/83.79	o 8012
83.66/83.79	o 8011
83.66/83.79	o 8010
83.76/83.80	o 8009
83.76/83.80	o 8008
83.76/83.81	o 8007
83.76/83.81	o 8006
83.76/83.81	o 8005
83.76/83.82	o 8004
83.76/83.82	o 8003
83.76/83.82	o 8002
83.76/83.83	o 8001
83.76/83.83	o 8000
83.76/83.83	o 7999
83.76/83.84	o 7998
83.76/83.84	o 7997
83.76/83.84	o 7996
83.76/83.85	o 7995
83.76/83.85	o 7994
83.76/83.85	o 7993
83.76/83.86	o 7992
83.76/83.86	o 7991
83.76/83.87	o 7990
83.76/83.87	o 7989
83.76/83.87	o 7988
83.76/83.88	o 7987
83.76/83.88	o 7986
83.76/83.89	o 7985
83.76/83.89	o 7984
83.76/83.89	o 7983
83.76/83.90	o 7982
83.86/83.90	o 7981
83.86/83.90	o 7980
83.86/83.91	o 7979
83.86/83.91	o 7978
83.86/83.91	o 7977
83.86/83.92	o 7976
83.86/83.92	o 7975
83.86/83.92	o 7974
83.86/83.93	o 7973
83.86/83.93	o 7972
83.86/83.94	o 7971
83.86/83.94	o 7970
83.86/83.94	o 7969
83.86/83.95	o 7968
83.86/83.95	o 7967
83.86/83.95	o 7966
83.86/83.96	o 7965
83.86/83.96	o 7964
83.86/83.96	o 7963
83.86/83.97	o 7962
83.86/83.97	o 7961
83.86/83.97	o 7960
83.86/83.98	o 7959
83.86/83.98	o 7958
83.86/83.98	o 7957
83.86/83.99	o 7956
83.86/83.99	o 7955
83.86/83.99	o 7954
83.96/84.00	o 7953
83.96/84.00	o 7952
83.96/84.00	o 7951
83.96/84.01	o 7950
83.96/84.01	o 7949
83.96/84.02	o 7948
83.96/84.02	o 7947
83.96/84.02	o 7946
83.96/84.03	o 7945
83.96/84.03	o 7944
83.96/84.03	o 7943
83.96/84.04	o 7942
83.96/84.04	o 7941
83.96/84.04	o 7940
83.96/84.05	o 7939
83.96/84.05	o 7938
83.96/84.05	o 7937
83.96/84.06	o 7936
83.96/84.06	o 7935
83.96/84.06	o 7934
83.96/84.07	o 7933
83.96/84.07	o 7932
83.96/84.07	o 7931
83.96/84.08	o 7930
83.96/84.08	o 7929
83.96/84.08	o 7928
83.96/84.09	o 7927
83.96/84.09	o 7926
84.06/84.10	o 7925
84.06/84.10	o 7924
84.06/84.10	o 7923
84.06/84.11	o 7922
84.06/84.11	o 7921
84.06/84.12	o 7920
84.06/84.12	o 7919
84.06/84.12	o 7918
84.06/84.13	o 7917
84.06/84.13	o 7916
84.06/84.13	o 7915
84.06/84.14	o 7914
84.06/84.14	o 7913
84.06/84.14	o 7912
84.06/84.15	o 7911
84.06/84.15	o 7910
84.06/84.15	o 7909
84.06/84.16	o 7908
84.06/84.16	o 7907
84.06/84.16	o 7906
84.06/84.17	o 7905
84.06/84.17	o 7904
84.06/84.17	o 7903
84.06/84.18	o 7902
84.06/84.18	o 7901
84.06/84.18	o 7900
84.06/84.19	o 7899
84.06/84.19	o 7898
84.06/84.19	o 7897
84.26/84.39	o 7896
195.92/196.02	o 7895
199.32/199.43	o 7894
199.32/199.44	o 7893
199.32/199.44	o 7892
199.32/199.44	o 7891
199.32/199.45	o 7890
199.32/199.45	o 7889
199.32/199.46	o 7888
199.32/199.46	o 7887
199.32/199.47	o 7886
199.32/199.47	o 7885
199.32/199.48	o 7884
199.32/199.48	o 7883
199.32/199.48	o 7882
199.32/199.49	o 7881
199.32/199.49	o 7880
199.42/199.50	o 7879
199.42/199.50	o 7878
199.42/199.51	o 7877
199.42/199.52	o 7876
199.42/199.52	o 7875
199.42/199.52	o 7874
199.42/199.53	o 7873
199.42/199.53	o 7872
199.42/199.54	o 7871
199.42/199.54	o 7870
199.42/199.55	o 7869
199.42/199.55	o 7868
199.42/199.56	o 7867
199.42/199.56	o 7866
199.42/199.56	o 7865
199.42/199.57	o 7864
199.42/199.57	o 7863
199.42/199.58	o 7862
199.42/199.58	o 7861
199.42/199.59	o 7860
199.42/199.59	o 7859
199.42/199.59	o 7858
199.52/199.60	o 7857
199.52/199.60	o 7856
199.52/199.61	o 7855
199.52/199.61	o 7854
199.52/199.62	o 7853
199.52/199.62	o 7852
199.52/199.62	o 7851
199.52/199.63	o 7850
199.52/199.63	o 7849
199.52/199.64	o 7848
199.52/199.64	o 7847
199.52/199.65	o 7846
199.52/199.65	o 7845
199.52/199.66	o 7844
199.52/199.66	o 7843
199.52/199.66	o 7842
199.52/199.67	o 7841
199.52/199.67	o 7840
199.52/199.68	o 7839
199.52/199.68	o 7838
199.52/199.69	o 7837
199.52/199.69	o 7836
199.62/199.70	o 7835
199.62/199.70	o 7834
199.62/199.71	o 7833
199.62/199.71	o 7832
199.62/199.71	o 7831
199.62/199.72	o 7830
199.62/199.72	o 7829
199.62/199.73	o 7828
199.62/199.73	o 7827
199.62/199.74	o 7826
199.62/199.74	o 7825
199.62/199.74	o 7824
199.62/199.75	o 7823
199.62/199.75	o 7822
199.62/199.76	o 7821
199.62/199.76	o 7820
199.62/199.76	o 7819
199.62/199.77	o 7818
199.62/199.77	o 7817
199.62/199.78	o 7816
199.62/199.78	o 7815
199.62/199.79	o 7814
199.62/199.79	o 7813
199.62/199.80	o 7812
199.72/199.80	o 7811
199.72/199.80	o 7810
199.72/199.81	o 7809
199.72/199.81	o 7808
199.72/199.82	o 7807
199.72/199.82	o 7806
199.72/199.82	o 7805
199.72/199.83	o 7804
199.72/199.83	o 7803
199.72/199.84	o 7802
199.72/199.84	o 7801
199.72/199.85	o 7800
199.72/199.85	o 7799
199.72/199.85	o 7798
199.72/199.86	o 7797
199.72/199.86	o 7796
199.72/199.86	o 7795
199.72/199.87	o 7794
199.72/199.87	o 7793
199.72/199.88	o 7792
199.72/199.88	o 7791
199.72/199.89	o 7790
199.72/199.89	o 7789
199.72/199.89	o 7788
199.72/199.90	o 7787
199.82/199.90	o 7786
199.82/199.90	o 7785
199.82/199.91	o 7784
199.82/199.91	o 7783
199.82/199.92	o 7782
199.82/199.92	o 7781
199.82/199.93	o 7780
199.82/199.93	o 7779
199.82/199.93	o 7778
199.82/199.94	o 7777
199.82/199.94	o 7776
199.82/199.95	o 7775
199.82/199.95	o 7774
199.82/199.95	o 7773
199.82/199.96	o 7772
199.82/199.96	o 7771
199.82/199.97	o 7770
199.82/199.97	o 7769
199.82/199.97	o 7768
199.82/199.98	o 7767
199.82/199.98	o 7766
199.82/199.99	o 7765
199.82/199.99	o 7764
199.82/199.99	o 7763
199.92/200.00	o 7762
199.92/200.00	o 7761
199.92/200.01	o 7760
199.92/200.01	o 7759
199.92/200.01	o 7758
199.92/200.02	o 7757
199.92/200.02	o 7756
199.92/200.03	o 7755
199.92/200.03	o 7754
199.92/200.03	o 7753
199.92/200.04	o 7752
199.92/200.04	o 7751
199.92/200.04	o 7750
199.92/200.05	o 7749
199.92/200.05	o 7748
199.92/200.06	o 7747
199.92/200.06	o 7746
199.92/200.06	o 7745
199.92/200.07	o 7744
199.92/200.07	o 7743
199.92/200.08	o 7742
199.92/200.08	o 7741
199.92/200.08	o 7740
199.92/200.09	o 7739
199.92/200.09	o 7738
199.92/200.10	o 7737
199.92/200.10	o 7736
200.03/200.10	o 7735
200.03/200.11	o 7734
200.03/200.12	o 7733
200.03/200.12	o 7732
200.03/200.13	o 7731
200.03/200.13	o 7730
200.03/200.14	o 7729
200.03/200.14	o 7728
200.03/200.14	o 7727
200.03/200.15	o 7726
200.03/200.15	o 7725
200.03/200.16	o 7724
200.03/200.16	o 7723
200.03/200.17	o 7722
200.03/200.17	o 7721
200.03/200.17	o 7720
200.03/200.18	o 7719
200.03/200.18	o 7718
200.03/200.19	o 7717
200.03/200.19	o 7716
200.03/200.20	o 7715
200.03/200.20	o 7714
200.13/200.20	o 7713
200.13/200.21	o 7712
200.13/200.21	o 7711
200.13/200.22	o 7710
200.13/200.22	o 7709
200.13/200.22	o 7708
200.13/200.23	o 7707
200.13/200.24	o 7706
200.13/200.24	o 7705
202.52/202.61	o 7704
202.52/202.62	o 7703
202.52/202.62	o 7702
202.52/202.63	o 7701
202.52/202.63	o 7700
202.52/202.64	o 7699
202.52/202.64	o 7698
202.52/202.64	o 7697
202.52/202.65	o 7696
202.52/202.65	o 7695
202.52/202.66	o 7694
202.52/202.66	o 7693
202.52/202.66	o 7692
202.52/202.67	o 7691
202.52/202.67	o 7690
202.52/202.68	o 7689
202.52/202.68	o 7688
202.52/202.68	o 7687
202.52/202.69	o 7686
202.52/202.69	o 7685
202.52/202.69	o 7684
202.62/202.70	o 7683
202.62/202.70	o 7682
202.62/202.71	o 7681
202.62/202.71	o 7680
202.62/202.72	o 7679
202.62/202.72	o 7678
202.62/202.72	o 7677
202.62/202.73	o 7676
202.62/202.73	o 7675
202.62/202.73	o 7674
202.62/202.74	o 7673
202.62/202.74	o 7672
202.62/202.74	o 7671
202.62/202.75	o 7670
202.62/202.75	o 7669
202.62/202.75	o 7668
202.62/202.76	o 7667
202.62/202.76	o 7666
202.62/202.77	o 7665
202.62/202.77	o 7664
202.62/202.77	o 7663
202.72/202.82	o 7662
234.80/234.92	o 7661
234.80/234.92	o 7660
234.80/234.93	o 7659
234.80/234.93	o 7658
234.80/234.94	o 7657
234.80/234.94	o 7656
234.80/234.95	o 7655
234.80/234.96	o 7654
234.80/234.96	o 7653
234.80/234.97	o 7652
234.80/234.97	o 7651
234.80/234.97	o 7650
234.80/234.98	o 7649
234.80/234.98	o 7648
234.80/234.98	o 7647
234.80/234.99	o 7646
234.80/234.99	o 7645
234.80/235.00	o 7644
234.90/235.00	o 7643
234.90/235.00	o 7642
234.90/235.01	o 7641
234.90/235.01	o 7640
234.90/235.02	o 7639
234.90/235.02	o 7638
234.90/235.02	o 7637
234.90/235.03	o 7636
234.90/235.03	o 7635
234.90/235.03	o 7634
234.90/235.04	o 7633
234.90/235.04	o 7632
234.90/235.04	o 7631
234.90/235.05	o 7630
234.90/235.05	o 7629
234.90/235.06	o 7628
234.90/235.06	o 7627
234.90/235.06	o 7626
234.90/235.07	o 7625
234.90/235.07	o 7624
234.90/235.08	o 7623
234.90/235.08	o 7622
234.90/235.09	o 7621
234.90/235.09	o 7620
235.00/235.10	o 7619
235.00/235.10	o 7618
235.00/235.10	o 7617
235.00/235.11	o 7616
235.00/235.11	o 7615
235.00/235.12	o 7614
235.00/235.12	o 7613
235.00/235.12	o 7612
235.00/235.13	o 7611
235.00/235.13	o 7610
235.00/235.13	o 7609
235.00/235.14	o 7608
235.00/235.14	o 7607
235.00/235.15	o 7606
235.00/235.15	o 7605
235.00/235.15	o 7604
235.00/235.16	o 7603
235.00/235.16	o 7602
235.00/235.16	o 7601
235.00/235.17	o 7600
235.00/235.17	o 7599
235.00/235.17	o 7598
235.00/235.18	o 7597
235.00/235.18	o 7596
235.00/235.19	o 7595
235.00/235.19	o 7594
235.00/235.19	o 7593
235.10/235.20	o 7592
235.10/235.20	o 7591
235.10/235.20	o 7590
235.10/235.21	o 7589
235.10/235.21	o 7588
235.10/235.22	o 7587
235.10/235.22	o 7586
235.10/235.22	o 7585
235.10/235.23	o 7584
235.10/235.23	o 7583
235.10/235.23	o 7582
235.10/235.24	o 7581
235.10/235.24	o 7580
235.10/235.25	o 7579
235.10/235.25	o 7578
235.10/235.25	o 7577
235.10/235.26	o 7576
235.10/235.26	o 7575
235.10/235.27	o 7574
235.10/235.27	o 7573
235.10/235.27	o 7572
235.10/235.28	o 7571
235.10/235.28	o 7570
235.10/235.29	o 7569
235.10/235.29	o 7568
235.10/235.29	o 7567
235.10/235.30	o 7566
235.20/235.30	o 7565
235.20/235.31	o 7564
235.20/235.31	o 7563
235.20/235.31	o 7562
235.20/235.32	o 7561
235.20/235.32	o 7560
235.20/235.32	o 7559
235.20/235.33	o 7558
235.20/235.33	o 7557
235.20/235.34	o 7556
235.20/235.34	o 7555
235.20/235.34	o 7554
235.20/235.35	o 7553
235.20/235.35	o 7552
235.20/235.36	o 7551
235.20/235.36	o 7550
235.20/235.37	o 7549
235.20/235.37	o 7548
235.40/235.58	o 7547
235.40/235.58	o 7546
235.40/235.59	o 7545
235.40/235.59	o 7544
235.50/235.60	o 7543
235.50/235.60	o 7542
235.50/235.60	o 7541
235.50/235.61	o 7540
235.50/235.61	o 7539
235.50/235.62	o 7538
235.50/235.62	o 7537
235.50/235.63	o 7536
235.50/235.63	o 7535
235.50/235.63	o 7534
235.50/235.64	o 7533
235.50/235.64	o 7532
235.50/235.65	o 7531
235.50/235.65	o 7530
235.50/235.65	o 7529
235.50/235.66	o 7528
235.50/235.66	o 7527
235.50/235.66	o 7526
235.50/235.67	o 7525
235.50/235.67	o 7524
235.50/235.67	o 7523
235.50/235.68	o 7522
235.50/235.68	o 7521
235.50/235.69	o 7520
235.50/235.69	o 7519
235.50/235.70	o 7518
235.60/235.70	o 7517
235.60/235.72	o 7516
235.60/235.72	o 7515
235.60/235.73	o 7514
235.60/235.73	o 7513
235.60/235.74	o 7512
235.60/235.74	o 7511
235.60/235.75	o 7510
235.60/235.75	o 7509
235.60/235.75	o 7508
235.60/235.76	o 7507
235.60/235.76	o 7506
235.60/235.77	o 7505
235.60/235.77	o 7504
235.60/235.77	o 7503
235.60/235.78	o 7502
235.60/235.78	o 7501
235.60/235.79	o 7500
235.60/235.79	o 7499
235.60/235.79	o 7498
235.60/235.80	o 7497
235.70/235.80	o 7496
235.70/235.80	o 7495
235.70/235.81	o 7494
235.70/235.81	o 7493
235.70/235.81	o 7492
235.70/235.82	o 7491
235.70/235.82	o 7490
235.70/235.82	o 7489
235.70/235.83	o 7488
235.70/235.83	o 7487
235.70/235.83	o 7486
235.70/235.84	o 7485
235.70/235.84	o 7484
235.70/235.84	o 7483
235.70/235.85	o 7482
235.70/235.85	o 7481
235.70/235.85	o 7480
235.70/235.86	o 7479
235.70/235.86	o 7478
235.70/235.86	o 7477
235.70/235.87	o 7476
235.70/235.87	o 7475
235.70/235.87	o 7474
235.70/235.88	o 7473
235.70/235.88	o 7472
235.70/235.88	o 7471
235.70/235.89	o 7470
235.70/235.89	o 7469
236.10/236.21	o 7468
236.10/236.24	o 7467
236.10/236.24	o 7466
236.10/236.24	o 7465
236.10/236.25	o 7464
236.10/236.26	o 7463
236.10/236.26	o 7462
236.10/236.26	o 7461
236.10/236.27	o 7460
236.10/236.27	o 7459
236.10/236.28	o 7458
236.10/236.28	o 7457
236.10/236.29	o 7456
236.10/236.29	o 7455
236.20/236.30	o 7454
236.20/236.30	o 7453
236.20/236.31	o 7452
236.20/236.31	o 7451
236.20/236.32	o 7450
236.20/236.32	o 7449
236.20/236.33	o 7448
236.20/236.33	o 7447
236.20/236.33	o 7446
236.20/236.34	o 7445
236.20/236.37	o 7444
236.80/236.93	o 7443
236.80/236.94	o 7442
236.80/236.94	o 7441
236.80/236.95	o 7440
236.80/236.95	o 7439
236.80/236.96	o 7438
236.80/236.96	o 7437
236.80/236.96	o 7436
236.80/236.97	o 7435
236.80/236.97	o 7434
236.80/236.98	o 7433
236.80/236.98	o 7432
236.80/236.98	o 7431
236.80/236.99	o 7430
236.80/236.99	o 7429
236.90/237.00	o 7428
236.90/237.00	o 7427
236.90/237.01	o 7426
236.90/237.01	o 7425
236.90/237.02	o 7424
236.90/237.02	o 7423
236.90/237.03	o 7422
236.90/237.03	o 7421
236.90/237.03	o 7420
236.90/237.04	o 7419
236.90/237.04	o 7418
236.90/237.05	o 7417
236.90/237.05	o 7416
236.90/237.05	o 7415
236.90/237.06	o 7414
236.90/237.06	o 7413
236.90/237.07	o 7412
236.90/237.07	o 7411
236.90/237.07	o 7410
236.90/237.08	o 7409
236.90/237.08	o 7408
236.90/237.09	o 7407
236.90/237.09	o 7406
236.90/237.09	o 7405
237.00/237.10	o 7404
237.00/237.10	o 7403
237.00/237.11	o 7402
237.00/237.11	o 7401
237.00/237.11	o 7400
237.00/237.12	o 7399
237.00/237.12	o 7398
237.00/237.13	o 7397
237.00/237.13	o 7396
237.00/237.13	o 7395
237.00/237.14	o 7394
237.00/237.14	o 7393
237.00/237.15	o 7392
237.00/237.15	o 7391
237.00/237.15	o 7390
237.00/237.16	o 7389
237.00/237.16	o 7388
237.00/237.17	o 7387
237.00/237.17	o 7386
237.00/237.17	o 7385
237.00/237.18	o 7384
237.00/237.18	o 7383
237.00/237.19	o 7382
237.00/237.19	o 7381
237.00/237.19	o 7380
237.10/237.20	o 7379
237.10/237.20	o 7378
237.10/237.21	o 7377
237.10/237.22	o 7376
237.10/237.22	o 7375
237.10/237.23	o 7374
237.10/237.23	o 7373
237.10/237.24	o 7372
237.10/237.24	o 7371
237.10/237.25	o 7370
237.10/237.25	o 7369
237.20/237.39	o 7368
237.20/237.39	o 7367
237.30/237.40	o 7366
237.30/237.40	o 7365
237.30/237.40	o 7364
237.30/237.41	o 7363
237.30/237.41	o 7362
237.30/237.41	o 7361
237.30/237.42	o 7360
237.30/237.42	o 7359
237.30/237.42	o 7358
237.30/237.43	o 7357
237.30/237.43	o 7356
237.30/237.43	o 7355
237.30/237.44	o 7354
237.30/237.44	o 7353
237.30/237.44	o 7352
237.30/237.45	o 7351
237.30/237.45	o 7350
237.30/237.45	o 7349
237.30/237.46	o 7348
237.30/237.46	o 7347
237.30/237.46	o 7346
237.30/237.47	o 7345
237.30/237.47	o 7344
237.30/237.47	o 7343
237.30/237.48	o 7342
237.30/237.48	o 7341
237.30/237.48	o 7340
237.30/237.49	o 7339
237.30/237.49	o 7338
237.30/237.49	o 7337
237.30/237.50	o 7336
237.41/237.50	o 7335
237.41/237.50	o 7334
237.41/237.51	o 7333
237.41/237.51	o 7332
237.41/237.51	o 7331
237.41/237.52	o 7330
237.41/237.52	o 7329
237.41/237.52	o 7328
237.41/237.53	o 7327
237.41/237.53	o 7326
237.41/237.53	o 7325
237.41/237.54	o 7324
237.41/237.54	o 7323
237.41/237.54	o 7322
237.41/237.55	o 7321
237.41/237.55	o 7320
237.41/237.55	o 7319
237.41/237.56	o 7318
237.41/237.56	o 7317
237.41/237.56	o 7316
237.41/237.57	o 7315
237.41/237.57	o 7314
237.41/237.57	o 7313
237.41/237.58	o 7312
237.41/237.58	o 7311
237.41/237.58	o 7310
237.41/237.59	o 7309
237.41/237.59	o 7308
237.41/237.59	o 7307
237.41/237.60	o 7306
237.41/237.60	o 7305
237.50/237.60	o 7304
237.50/237.61	o 7303
237.50/237.61	o 7302
237.50/237.61	o 7301
237.50/237.62	o 7300
237.50/237.62	o 7299
237.50/237.62	o 7298
237.50/237.63	o 7297
237.50/237.63	o 7296
237.50/237.63	o 7295
237.50/237.64	o 7294
237.50/237.64	o 7293
237.50/237.64	o 7292
237.50/237.65	o 7291
237.50/237.65	o 7290
237.50/237.65	o 7289
237.50/237.66	o 7288
237.50/237.66	o 7287
237.50/237.66	o 7286
237.50/237.67	o 7285
237.50/237.67	o 7284
237.50/237.67	o 7283
237.50/237.68	o 7282
237.50/237.68	o 7281
237.50/237.68	o 7280
237.50/237.69	o 7279
237.50/237.69	o 7278
237.50/237.69	o 7277
237.50/237.70	o 7276
237.60/237.70	o 7275
237.60/237.70	o 7274
237.60/237.71	o 7273
237.60/237.71	o 7272
237.60/237.71	o 7271
237.60/237.72	o 7270
237.60/237.72	o 7269
237.60/237.72	o 7268
237.60/237.73	o 7267
237.60/237.73	o 7266
237.60/237.73	o 7265
237.60/237.74	o 7264
237.60/237.74	o 7263
237.60/237.74	o 7262
237.60/237.75	o 7261
237.60/237.75	o 7260
237.60/237.75	o 7259
237.60/237.76	o 7258
237.60/237.76	o 7257
237.60/237.76	o 7256
237.60/237.77	o 7255
237.60/237.77	o 7254
237.60/237.77	o 7253
237.60/237.77	o 7252
237.60/237.78	o 7251
237.60/237.78	o 7250
237.60/237.78	o 7249
237.60/237.79	o 7248
237.60/237.79	o 7247
237.60/237.79	o 7246
237.70/237.80	o 7245
237.70/237.80	o 7244
237.70/237.80	o 7243
237.70/237.81	o 7242
237.70/237.81	o 7241
237.70/237.81	o 7240
237.70/237.82	o 7239
237.70/237.82	o 7238
237.70/237.82	o 7237
237.70/237.83	o 7236
237.70/237.83	o 7235
237.70/237.83	o 7234
237.70/237.84	o 7233
237.70/237.84	o 7232
237.70/237.84	o 7231
237.70/237.85	o 7230
237.70/237.85	o 7229
237.70/237.85	o 7228
237.70/237.86	o 7227
237.70/237.86	o 7226
237.70/237.86	o 7225
237.70/237.87	o 7224
237.70/237.87	o 7223
237.70/237.87	o 7222
237.70/237.88	o 7221
237.70/237.88	o 7220
237.70/237.88	o 7219
237.70/237.89	o 7218
237.70/237.89	o 7217
237.70/237.89	o 7216
237.80/237.90	o 7215
237.80/237.90	o 7214
237.80/237.90	o 7213
237.80/237.91	o 7212
237.80/237.91	o 7211
237.80/237.91	o 7210
237.80/237.92	o 7209
237.80/237.92	o 7208
237.80/237.92	o 7207
237.80/237.93	o 7206
237.80/237.93	o 7205
237.80/237.93	o 7204
237.80/237.94	o 7203
237.80/237.94	o 7202
237.80/237.94	o 7201
237.80/237.95	o 7200
237.80/237.95	o 7199
237.80/237.95	o 7198
237.80/237.96	o 7197
237.80/237.96	o 7196
237.80/237.96	o 7195
237.80/237.97	o 7194
237.80/237.97	o 7193
237.80/237.97	o 7192
237.80/237.98	o 7191
237.80/237.98	o 7190
237.80/237.98	o 7189
237.80/237.99	o 7188
237.80/237.99	o 7187
237.80/237.99	o 7186
237.80/238.00	o 7185
237.89/238.00	o 7184
237.89/238.00	o 7183
237.89/238.01	o 7182
237.89/238.01	o 7181
237.89/238.01	o 7180
237.89/238.02	o 7179
237.89/238.02	o 7178
237.89/238.03	o 7177
237.89/238.03	o 7176
237.89/238.03	o 7175
237.89/238.04	o 7174
237.89/238.04	o 7173
237.89/238.05	o 7172
237.89/238.05	o 7171
237.89/238.05	o 7170
237.89/238.06	o 7169
237.89/238.06	o 7168
237.89/238.06	o 7167
237.89/238.07	o 7166
237.89/238.07	o 7165
237.89/238.07	o 7164
237.89/238.08	o 7163
237.89/238.08	o 7162
237.89/238.09	o 7161
237.89/238.09	o 7160
237.89/238.09	o 7159
237.99/238.10	o 7158
237.99/238.10	o 7157
237.99/238.11	o 7156
237.99/238.11	o 7155
237.99/238.12	o 7154
237.99/238.12	o 7153
237.99/238.13	o 7152
237.99/238.14	o 7151
246.39/246.60	o 7150
246.49/246.60	o 7149
246.49/246.61	o 7148
246.49/246.61	o 7147
246.49/246.61	o 7146
246.49/246.62	o 7145
246.49/246.62	o 7144
246.49/246.63	o 7143
246.49/246.63	o 7142
246.49/246.63	o 7141
246.49/246.64	o 7140
246.49/246.64	o 7139
246.49/246.65	o 7138
246.49/246.65	o 7137
246.49/246.66	o 7136
246.49/246.67	o 7135
246.49/246.67	o 7134
246.49/246.68	o 7133
246.49/246.68	o 7132
246.49/246.68	o 7131
246.49/246.69	o 7130
246.49/246.69	o 7129
246.59/246.70	o 7128
246.59/246.70	o 7127
246.59/246.71	o 7126
246.59/246.71	o 7125
246.59/246.71	o 7124
246.59/246.72	o 7123
246.59/246.72	o 7122
246.59/246.73	o 7121
246.59/246.73	o 7120
246.59/246.73	o 7119
246.59/246.74	o 7118
246.59/246.74	o 7117
246.59/246.75	o 7116
246.59/246.75	o 7115
246.59/246.76	o 7114
246.59/246.76	o 7113
246.59/246.76	o 7112
246.59/246.77	o 7111
246.59/246.77	o 7110
246.59/246.78	o 7109
246.59/246.78	o 7108
246.59/246.79	o 7107
246.59/246.79	o 7106
246.59/246.79	o 7105
246.69/246.80	o 7104
246.69/246.80	o 7103
246.69/246.81	o 7102
246.69/246.81	o 7101
246.69/246.81	o 7100
246.69/246.82	o 7099
246.69/246.82	o 7098
246.69/246.83	o 7097
246.69/246.83	o 7096
246.69/246.83	o 7095
246.69/246.84	o 7094
246.69/246.84	o 7093
246.69/246.85	o 7092
246.69/246.85	o 7091
246.69/246.86	o 7090
246.69/246.86	o 7089
246.69/246.86	o 7088
246.69/246.87	o 7087
246.69/246.87	o 7086
246.69/246.88	o 7085
246.69/246.88	o 7084
246.69/246.88	o 7083
246.69/246.89	o 7082
246.69/246.89	o 7081
246.69/246.90	o 7080
246.79/246.90	o 7079
246.79/246.90	o 7078
246.79/246.91	o 7077
246.79/246.91	o 7076
246.79/246.92	o 7075
246.79/246.92	o 7074
246.79/246.93	o 7073
246.79/246.93	o 7072
246.79/246.94	o 7071
246.79/246.94	o 7070
246.79/246.94	o 7069
246.79/246.95	o 7068
246.79/246.95	o 7067
246.79/246.96	o 7066
246.79/246.96	o 7065
246.79/246.97	o 7064
246.79/246.97	o 7063
246.79/246.97	o 7062
246.79/246.98	o 7061
246.79/246.98	o 7060
246.79/246.99	o 7059
246.79/246.99	o 7058
246.79/247.00	o 7057
246.90/247.00	o 7056
246.90/247.00	o 7055
246.90/247.01	o 7054
246.90/247.01	o 7053
246.90/247.02	o 7052
246.90/247.02	o 7051
246.90/247.03	o 7050
246.90/247.03	o 7049
246.90/247.03	o 7048
246.90/247.04	o 7047
246.90/247.04	o 7046
246.90/247.05	o 7045
246.90/247.05	o 7044
246.90/247.06	o 7043
246.90/247.06	o 7042
246.90/247.07	o 7041
246.90/247.07	o 7040
246.90/247.08	o 7039
246.90/247.08	o 7038
246.90/247.08	o 7037
246.90/247.09	o 7036
246.90/247.09	o 7035
246.90/247.09	o 7034
246.90/247.10	o 7033
246.99/247.10	o 7032
246.99/247.10	o 7031
246.99/247.11	o 7030
246.99/247.11	o 7029
246.99/247.11	o 7028
246.99/247.12	o 7027
246.99/247.12	o 7026
246.99/247.12	o 7025
246.99/247.13	o 7024
246.99/247.13	o 7023
246.99/247.13	o 7022
246.99/247.14	o 7021
246.99/247.14	o 7020
246.99/247.14	o 7019
246.99/247.15	o 7018
246.99/247.15	o 7017
246.99/247.16	o 7016
246.99/247.16	o 7015
246.99/247.16	o 7014
246.99/247.17	o 7013
246.99/247.17	o 7012
246.99/247.17	o 7011
246.99/247.18	o 7010
246.99/247.18	o 7009
246.99/247.18	o 7008
246.99/247.19	o 7007
246.99/247.19	o 7006
246.99/247.19	o 7005
247.09/247.20	o 7004
247.09/247.20	o 7003
247.09/247.20	o 7002
247.09/247.21	o 7001
247.09/247.21	o 7000
247.09/247.21	o 6999
247.09/247.22	o 6998
247.09/247.22	o 6997
247.09/247.22	o 6996
247.09/247.23	o 6995
247.09/247.23	o 6994
247.09/247.24	o 6993
247.09/247.24	o 6992
247.09/247.24	o 6991
247.09/247.25	o 6990
247.09/247.25	o 6989
247.09/247.25	o 6988
247.09/247.26	o 6987
247.09/247.26	o 6986
247.09/247.26	o 6985
247.09/247.27	o 6984
247.09/247.27	o 6983
247.09/247.27	o 6982
247.09/247.28	o 6981
247.09/247.28	o 6980
247.09/247.28	o 6979
247.09/247.29	o 6978
247.09/247.29	o 6977
247.09/247.29	o 6976
247.19/247.30	o 6975
247.19/247.30	o 6974
247.19/247.31	o 6973
247.19/247.31	o 6972
247.19/247.31	o 6971
247.19/247.32	o 6970
247.19/247.32	o 6969
247.19/247.32	o 6968
247.19/247.33	o 6967
247.19/247.33	o 6966
247.19/247.33	o 6965
247.19/247.34	o 6964
247.19/247.34	o 6963
247.19/247.34	o 6962
247.19/247.35	o 6961
247.19/247.35	o 6960
247.19/247.35	o 6959
247.19/247.36	o 6958
247.19/247.36	o 6957
247.19/247.36	o 6956
247.19/247.37	o 6955
247.19/247.37	o 6954
247.19/247.37	o 6953
247.19/247.38	o 6952
247.19/247.38	o 6951
247.19/247.38	o 6950
247.19/247.39	o 6949
247.19/247.39	o 6948
247.19/247.40	o 6947
247.19/247.40	o 6946
247.30/247.40	o 6945
247.30/247.41	o 6944
247.30/247.41	o 6943
247.30/247.41	o 6942
247.30/247.42	o 6941
247.30/247.42	o 6940
247.30/247.42	o 6939
247.30/247.43	o 6938
247.30/247.43	o 6937
247.30/247.44	o 6936
247.30/247.44	o 6935
247.30/247.44	o 6934
247.30/247.45	o 6933
247.30/247.45	o 6932
247.30/247.45	o 6931
247.30/247.46	o 6930
247.30/247.46	o 6929
247.30/247.47	o 6928
247.30/247.47	o 6927
247.30/247.47	o 6926
247.30/247.48	o 6925
247.30/247.48	o 6924
247.30/247.48	o 6923
247.30/247.49	o 6922
247.30/247.49	o 6921
247.30/247.49	o 6920
247.30/247.50	o 6919
247.39/247.50	o 6918
247.39/247.51	o 6917
247.39/247.51	o 6916
247.39/247.51	o 6915
247.39/247.52	o 6914
247.39/247.52	o 6913
247.39/247.52	o 6912
247.39/247.53	o 6911
247.39/247.53	o 6910
247.39/247.53	o 6909
247.39/247.54	o 6908
247.39/247.54	o 6907
247.39/247.55	o 6906
247.39/247.55	o 6905
247.39/247.55	o 6904
247.39/247.56	o 6903
247.39/247.56	o 6902
247.39/247.56	o 6901
247.39/247.57	o 6900
247.39/247.57	o 6899
247.39/247.58	o 6898
247.39/247.58	o 6897
247.39/247.58	o 6896
247.39/247.59	o 6895
247.39/247.59	o 6894
247.39/247.60	o 6893
247.49/247.60	o 6892
247.49/247.60	o 6891
247.49/247.61	o 6890
247.49/247.61	o 6889
247.49/247.62	o 6888
247.49/247.62	o 6887
247.49/247.63	o 6886
247.49/247.63	o 6885
247.49/247.64	o 6884
247.49/247.64	o 6883
247.49/247.64	o 6882
247.49/247.65	o 6881
247.49/247.65	o 6880
247.49/247.66	o 6879
247.49/247.66	o 6878
247.49/247.67	o 6877
247.49/247.67	o 6876
247.49/247.67	o 6875
247.49/247.68	o 6874
247.49/247.68	o 6873
247.49/247.69	o 6872
247.49/247.69	o 6871
247.49/247.69	o 6870
247.49/247.70	o 6869
247.59/247.70	o 6868
247.59/247.70	o 6867
247.59/247.71	o 6866
247.59/247.71	o 6865
247.59/247.71	o 6864
247.59/247.72	o 6863
247.59/247.72	o 6862
247.59/247.72	o 6861
247.59/247.73	o 6860
247.59/247.73	o 6859
247.59/247.73	o 6858
247.59/247.74	o 6857
247.59/247.74	o 6856
247.59/247.75	o 6855
247.59/247.75	o 6854
247.59/247.75	o 6853
247.59/247.75	o 6852
247.59/247.76	o 6851
247.59/247.78	o 6850
299.08/299.22	o 6849
299.08/299.22	o 6848
299.08/299.22	o 6847
299.08/299.23	o 6846
299.08/299.23	o 6845
299.08/299.24	o 6844
299.08/299.24	o 6843
299.08/299.24	o 6842
299.08/299.25	o 6841
299.08/299.25	o 6840
299.08/299.25	o 6839
299.08/299.26	o 6838
299.08/299.26	o 6837
299.08/299.26	o 6836
299.08/299.27	o 6835
299.08/299.27	o 6834
299.08/299.28	o 6833
299.08/299.28	o 6832
299.08/299.28	o 6831
299.08/299.29	o 6830
299.08/299.29	o 6829
299.08/299.29	o 6828
299.17/299.30	o 6827
299.17/299.30	o 6826
299.17/299.31	o 6825
299.17/299.31	o 6824
299.17/299.31	o 6823
299.17/299.32	o 6822
299.17/299.32	o 6821
299.17/299.33	o 6820
299.17/299.33	o 6819
299.17/299.33	o 6818
299.17/299.34	o 6817
299.17/299.34	o 6816
299.17/299.35	o 6815
299.17/299.35	o 6814
299.17/299.35	o 6813
299.17/299.36	o 6812
299.17/299.36	o 6811
299.17/299.36	o 6810
299.17/299.37	o 6809
299.17/299.37	o 6808
299.17/299.38	o 6807
299.17/299.38	o 6806
299.17/299.38	o 6805
299.17/299.39	o 6804
299.17/299.39	o 6803
299.17/299.39	o 6802
299.17/299.40	o 6801
299.27/299.40	o 6800
299.27/299.40	o 6799
299.27/299.41	o 6798
299.27/299.41	o 6797
299.27/299.41	o 6796
299.27/299.42	o 6795
299.27/299.42	o 6794
299.27/299.43	o 6793
299.27/299.43	o 6792
299.27/299.43	o 6791
299.27/299.44	o 6790
299.27/299.44	o 6789
299.27/299.44	o 6788
299.27/299.45	o 6787
299.27/299.45	o 6786
299.27/299.45	o 6785
299.27/299.46	o 6784
299.27/299.46	o 6783
299.27/299.47	o 6782
299.27/299.47	o 6781
299.27/299.47	o 6780
299.27/299.48	o 6779
299.27/299.48	o 6778
299.27/299.48	o 6777
299.27/299.49	o 6776
299.27/299.49	o 6775
299.27/299.49	o 6774
299.27/299.50	o 6773
299.37/299.50	o 6772
299.37/299.50	o 6771
299.37/299.51	o 6770
299.37/299.51	o 6769
299.37/299.51	o 6768
299.37/299.52	o 6767
299.37/299.52	o 6766
299.37/299.52	o 6765
299.37/299.53	o 6764
299.37/299.53	o 6763
299.37/299.54	o 6762
299.37/299.54	o 6761
299.37/299.54	o 6760
299.37/299.55	o 6759
299.37/299.55	o 6758
299.37/299.55	o 6757
299.37/299.56	o 6756
299.37/299.56	o 6755
299.37/299.56	o 6754
299.37/299.57	o 6753
299.37/299.57	o 6752
299.37/299.57	o 6751
299.37/299.58	o 6750
299.37/299.58	o 6749
299.37/299.58	o 6748
299.37/299.59	o 6747
299.37/299.59	o 6746
299.37/299.59	o 6745
299.47/299.60	o 6744
299.47/299.60	o 6743
299.47/299.61	o 6742
299.47/299.61	o 6741
299.47/299.61	o 6740
299.47/299.62	o 6739
299.47/299.62	o 6738
299.47/299.62	o 6737
299.47/299.63	o 6736
299.47/299.63	o 6735
299.47/299.63	o 6734
299.47/299.64	o 6733
299.47/299.64	o 6732
299.47/299.64	o 6731
299.47/299.65	o 6730
299.47/299.65	o 6729
299.47/299.65	o 6728
299.47/299.66	o 6727
299.47/299.66	o 6726
299.47/299.66	o 6725
299.47/299.67	o 6724
299.47/299.67	o 6723
299.47/299.68	o 6722
299.47/299.68	o 6721
299.47/299.68	o 6720
299.47/299.69	o 6719
299.47/299.69	o 6718
299.47/299.69	o 6717
299.47/299.70	o 6716
299.57/299.70	o 6715
299.57/299.70	o 6714
299.57/299.71	o 6713
299.57/299.71	o 6712
299.57/299.71	o 6711
299.57/299.72	o 6710
299.57/299.72	o 6709
299.57/299.72	o 6708
299.57/299.73	o 6707
299.57/299.73	o 6706
299.57/299.73	o 6705
299.57/299.74	o 6704
299.57/299.74	o 6703
299.57/299.74	o 6702
299.57/299.75	o 6701
299.57/299.75	o 6700
299.57/299.75	o 6699
299.57/299.76	o 6698
299.57/299.76	o 6697
299.57/299.76	o 6696
299.57/299.77	o 6695
299.57/299.77	o 6694
299.57/299.77	o 6693
299.57/299.78	o 6692
299.57/299.78	o 6691
299.57/299.79	o 6690
299.57/299.79	o 6689
299.57/299.79	o 6688
299.57/299.80	o 6687
299.67/299.80	o 6686
299.67/299.80	o 6685
299.67/299.81	o 6684
299.67/299.81	o 6683
299.67/299.81	o 6682
299.67/299.82	o 6681
299.67/299.82	o 6680
299.67/299.82	o 6679
299.67/299.83	o 6678
299.67/299.83	o 6677
299.67/299.83	o 6676
299.67/299.84	o 6675
299.67/299.84	o 6674
299.67/299.84	o 6673
299.67/299.85	o 6672
299.67/299.85	o 6671
299.67/299.85	o 6670
299.67/299.86	o 6669
299.67/299.86	o 6668
299.67/299.86	o 6667
299.67/299.87	o 6666
299.67/299.87	o 6665
299.67/299.87	o 6664
299.67/299.88	o 6663
299.67/299.88	o 6662
299.67/299.88	o 6661
299.67/299.89	o 6660
299.67/299.89	o 6659
299.67/299.89	o 6658
299.77/299.90	o 6657
299.77/299.90	o 6656
299.77/299.91	o 6655
299.77/299.91	o 6654
299.77/299.91	o 6653
299.77/299.92	o 6652
299.77/299.92	o 6651
299.77/299.92	o 6650
299.77/299.93	o 6649
299.77/299.93	o 6648
299.77/299.93	o 6647
299.77/299.94	o 6646
299.77/299.94	o 6645
299.77/299.94	o 6644
299.77/299.95	o 6643
299.77/299.95	o 6642
299.77/299.95	o 6641
299.77/299.96	o 6640
299.77/299.96	o 6639
299.77/299.96	o 6638
299.77/299.97	o 6637
299.77/299.97	o 6636
299.77/299.97	o 6635
299.77/299.98	o 6634
299.77/299.98	o 6633
299.77/299.98	o 6632
299.77/299.99	o 6631
299.77/299.99	o 6630
299.77/299.99	o 6629
299.86/300.00	o 6628
299.86/300.00	o 6627
299.86/300.00	o 6626
299.86/300.01	o 6625
299.86/300.01	o 6624
299.86/300.02	o 6623
299.86/300.02	o 6622
299.86/300.02	o 6621
299.86/300.03	o 6620
299.86/300.03	o 6619
299.86/300.03	o 6618
299.86/300.04	o 6617
299.86/300.04	o 6616
299.86/300.04	o 6615
299.86/300.05	o 6614
299.86/300.05	o 6613
299.86/300.05	o 6612
299.86/300.06	o 6611
299.86/300.06	o 6610
299.86/300.06	o 6609
299.86/300.07	o 6608
299.86/300.07	o 6607
299.86/300.07	o 6606
299.86/300.08	o 6605
299.86/300.08	o 6604
299.86/300.08	o 6603
299.86/300.09	o 6602
299.86/300.09	o 6601
299.86/300.09	o 6600
299.96/300.10	o 6599
299.96/300.10	o 6598
299.96/300.10	o 6597
299.96/300.11	o 6596
299.96/300.11	o 6595
299.96/300.11	o 6594
299.96/300.12	o 6593
299.96/300.12	o 6592
299.96/300.12	o 6591
299.96/300.13	o 6590
299.96/300.13	o 6589
299.96/300.14	o 6588
299.96/300.14	o 6587
299.96/300.14	o 6586
299.96/300.15	o 6585
299.96/300.15	o 6584
299.96/300.15	o 6583
299.96/300.16	o 6582
299.96/300.16	o 6581
299.96/300.16	o 6580
299.96/300.17	o 6579
299.96/300.17	o 6578
299.96/300.17	o 6577
299.96/300.18	o 6576
299.96/300.18	o 6575
299.96/300.18	o 6574
299.96/300.19	o 6573
299.96/300.19	o 6572
299.96/300.19	o 6571
299.96/300.20	o 6570
300.07/300.20	o 6569
300.07/300.20	o 6568
300.07/300.21	o 6567
300.07/300.21	o 6566
300.07/300.21	o 6565
300.07/300.22	o 6564
300.07/300.22	o 6563
300.07/300.22	o 6562
300.07/300.23	o 6561
300.07/300.23	o 6560
300.07/300.24	o 6559
300.07/300.24	o 6558
300.07/300.24	o 6557
300.07/300.25	o 6556
300.07/300.25	o 6555
300.07/300.25	o 6554
300.07/300.25	o 6553
300.07/300.26	o 6552
300.07/300.26	o 6551
300.07/300.27	o 6550
300.07/300.27	o 6549
300.07/300.27	o 6548
300.07/300.28	o 6547
300.07/300.28	o 6546
300.07/300.28	o 6545
300.07/300.29	o 6544
300.07/300.29	o 6543
300.07/300.29	o 6542
300.07/300.30	o 6541
300.16/300.30	o 6540
300.16/300.30	o 6539
300.16/300.31	o 6538
300.16/300.31	o 6537
300.16/300.31	o 6536
300.16/300.32	o 6535
300.16/300.32	o 6534
300.16/300.32	o 6533
300.16/300.33	o 6532
300.16/300.33	o 6531
300.16/300.33	o 6530
300.16/300.34	o 6529
300.16/300.34	o 6528
300.16/300.35	o 6527
300.16/300.35	o 6526
300.16/300.35	o 6525
300.16/300.36	o 6524
300.16/300.36	o 6523
300.16/300.36	o 6522
300.16/300.37	o 6521
300.16/300.37	o 6520
300.16/300.37	o 6519
300.16/300.38	o 6518
300.16/300.38	o 6517
300.16/300.38	o 6516
300.16/300.39	o 6515
300.16/300.39	o 6514
300.16/300.39	o 6513
300.16/300.40	o 6512
300.26/300.40	o 6511
300.26/300.41	o 6510
300.26/300.41	o 6509
300.26/300.41	o 6508
300.26/300.42	o 6507
300.26/300.42	o 6506
300.26/300.42	o 6505
300.26/300.43	o 6504
300.26/300.43	o 6503
300.26/300.43	o 6502
300.26/300.44	o 6501
300.26/300.44	o 6500
300.26/300.44	o 6499
300.26/300.45	o 6498
300.26/300.45	o 6497
300.26/300.45	o 6496
300.26/300.46	o 6495
300.26/300.46	o 6494
300.26/300.46	o 6493
300.26/300.47	o 6492
300.26/300.47	o 6491
300.26/300.47	o 6490
300.26/300.48	o 6489
300.26/300.48	o 6488
300.26/300.48	o 6487
300.26/300.49	o 6486
300.26/300.49	o 6485
300.26/300.49	o 6484
300.36/300.50	o 6483
300.36/300.50	o 6482
300.36/300.50	o 6481
300.36/300.51	o 6480
300.36/300.51	o 6479
300.36/300.51	o 6478
300.36/300.52	o 6477
300.36/300.52	o 6476
300.36/300.52	o 6475
300.36/300.53	o 6474
300.36/300.53	o 6473
300.36/300.53	o 6472
300.36/300.54	o 6471
300.36/300.54	o 6470
300.36/300.54	o 6469
300.36/300.55	o 6468
300.36/300.55	o 6467
300.36/300.56	o 6466
300.36/300.56	o 6465
300.36/300.56	o 6464
300.36/300.57	o 6463
300.36/300.57	o 6462
300.36/300.57	o 6461
300.36/300.58	o 6460
300.36/300.59	o 6459
354.24/354.40	o 6458
354.24/354.40	o 6457
354.24/354.41	o 6456
354.24/354.41	o 6455
354.24/354.41	o 6454
354.24/354.42	o 6453
354.24/354.42	o 6452
354.24/354.42	o 6451
354.24/354.43	o 6450
354.24/354.43	o 6449
354.24/354.44	o 6448
354.24/354.44	o 6447
354.24/354.44	o 6446
354.24/354.45	o 6445
354.24/354.45	o 6444
354.24/354.45	o 6443
354.24/354.46	o 6442
354.24/354.46	o 6441
354.24/354.47	o 6440
354.24/354.47	o 6439
354.24/354.47	o 6438
354.24/354.48	o 6437
354.24/354.48	o 6436
354.24/354.48	o 6435
354.24/354.49	o 6434
354.24/354.49	o 6433
354.24/354.49	o 6432
354.34/354.50	o 6431
354.34/354.50	o 6430
354.34/354.51	o 6429
354.34/354.51	o 6428
354.34/354.51	o 6427
354.34/354.52	o 6426
354.34/354.52	o 6425
354.34/354.52	o 6424
354.34/354.53	o 6423
354.34/354.53	o 6422
354.34/354.53	o 6421
354.34/354.54	o 6420
354.34/354.54	o 6419
354.34/354.54	o 6418
354.34/354.55	o 6417
354.34/354.55	o 6416
354.34/354.55	o 6415
354.34/354.56	o 6414
354.34/354.56	o 6413
354.34/354.56	o 6412
354.34/354.57	o 6411
354.34/354.57	o 6410
354.34/354.57	o 6409
354.34/354.58	o 6408
354.34/354.58	o 6407
354.34/354.59	o 6406
354.34/354.59	o 6405
354.34/354.59	o 6404
354.44/354.60	o 6403
354.44/354.60	o 6402
354.44/354.60	o 6401
354.44/354.61	o 6400
354.44/354.61	o 6399
354.44/354.62	o 6398
354.44/354.62	o 6397
354.44/354.62	o 6396
354.44/354.63	o 6395
354.44/354.63	o 6394
354.44/354.63	o 6393
354.44/354.64	o 6392
354.44/354.64	o 6391
354.44/354.65	o 6390
354.44/354.65	o 6389
354.44/354.65	o 6388
354.44/354.66	o 6387
354.44/354.66	o 6386
354.44/354.66	o 6385
354.44/354.67	o 6384
354.44/354.67	o 6383
354.44/354.67	o 6382
354.44/354.68	o 6381
354.44/354.68	o 6380
354.44/354.69	o 6379
354.44/354.69	o 6378
354.44/354.69	o 6377
354.44/354.70	o 6376
354.54/354.70	o 6375
354.54/354.70	o 6374
354.54/354.71	o 6373
354.54/354.71	o 6372
354.54/354.71	o 6371
354.54/354.72	o 6370
354.54/354.72	o 6369
354.54/354.72	o 6368
354.54/354.73	o 6367
354.54/354.73	o 6366
354.54/354.73	o 6365
354.54/354.74	o 6364
354.54/354.74	o 6363
354.54/354.74	o 6362
354.54/354.75	o 6361
354.54/354.75	o 6360
354.54/354.75	o 6359
354.54/354.76	o 6358
354.54/354.76	o 6357
354.54/354.76	o 6356
354.54/354.77	o 6355
354.54/354.77	o 6354
354.54/354.78	o 6353
354.54/354.78	o 6352
354.54/354.78	o 6351
354.54/354.79	o 6350
354.54/354.79	o 6349
354.54/354.79	o 6348
354.54/354.80	o 6347
354.64/354.80	o 6346
354.64/354.80	o 6345
354.64/354.81	o 6344
354.64/354.81	o 6343
354.64/354.81	o 6342
354.64/354.82	o 6341
354.64/354.82	o 6340
354.64/354.82	o 6339
354.64/354.83	o 6338
354.64/354.83	o 6337
354.64/354.83	o 6336
354.64/354.84	o 6335
354.64/354.84	o 6334
354.64/354.84	o 6333
354.64/354.85	o 6332
354.64/354.85	o 6331
354.64/354.85	o 6330
354.64/354.86	o 6329
354.64/354.86	o 6328
354.64/354.86	o 6327
354.64/354.87	o 6326
354.64/354.87	o 6325
354.64/354.87	o 6324
354.64/354.88	o 6323
354.64/354.88	o 6322
354.64/354.89	o 6321
354.64/354.89	o 6320
354.64/354.89	o 6319
354.74/354.90	o 6318
354.74/354.90	o 6317
354.74/354.90	o 6316
354.74/354.91	o 6315
354.74/354.91	o 6314
354.74/354.91	o 6313
354.74/354.92	o 6312
354.74/354.92	o 6311
354.74/354.93	o 6310
354.74/354.93	o 6309
354.74/354.93	o 6308
354.74/354.94	o 6307
354.74/354.94	o 6306
354.74/354.94	o 6305
354.74/354.95	o 6304
354.74/354.95	o 6303
354.74/354.95	o 6302
354.74/354.96	o 6301
354.74/354.96	o 6300
354.74/354.97	o 6299
354.74/354.97	o 6298
354.74/354.97	o 6297
354.74/354.98	o 6296
354.74/354.98	o 6295
354.74/354.98	o 6294
354.74/354.99	o 6293
354.74/354.99	o 6292
354.74/354.99	o 6291
354.84/355.00	o 6290
354.84/355.00	o 6289
354.84/355.00	o 6288
354.84/355.01	o 6287
354.84/355.01	o 6286
354.84/355.01	o 6285
354.84/355.02	o 6284
354.84/355.02	o 6283
354.84/355.02	o 6282
354.84/355.03	o 6281
354.84/355.03	o 6280
354.84/355.03	o 6279
354.84/355.04	o 6278
354.84/355.04	o 6277
354.84/355.04	o 6276
354.84/355.05	o 6275
354.84/355.05	o 6274
354.84/355.06	o 6273
354.84/355.06	o 6272
354.84/355.06	o 6271
354.84/355.07	o 6270
354.84/355.07	o 6269
354.84/355.07	o 6268
354.84/355.08	o 6267
354.84/355.08	o 6266
354.84/355.09	o 6265
354.84/355.09	o 6264
354.94/355.10	o 6263
354.94/355.10	o 6262
354.94/355.10	o 6261
354.94/355.11	o 6260
354.94/355.11	o 6259
354.94/355.11	o 6258
354.94/355.12	o 6257
354.94/355.12	o 6256
354.94/355.13	o 6255
354.94/355.13	o 6254
354.94/355.13	o 6253
354.94/355.14	o 6252
354.94/355.14	o 6251
354.94/355.14	o 6250
354.94/355.15	o 6249
354.94/355.15	o 6248
354.94/355.15	o 6247
354.94/355.16	o 6246
354.94/355.16	o 6245
354.94/355.17	o 6244
354.94/355.17	o 6243
354.94/355.17	o 6242
354.94/355.18	o 6241
354.94/355.18	o 6240
354.94/355.18	o 6239
354.94/355.19	o 6238
354.94/355.19	o 6237
354.94/355.19	o 6236
354.94/355.20	o 6235
354.94/355.20	o 6234
355.05/355.20	o 6233
355.05/355.21	o 6232
355.05/355.21	o 6231
355.05/355.21	o 6230
355.05/355.22	o 6229
355.05/355.22	o 6228
355.05/355.23	o 6227
355.05/355.23	o 6226
355.05/355.23	o 6225
355.05/355.24	o 6224
355.05/355.24	o 6223
355.05/355.24	o 6222
355.05/355.25	o 6221
355.05/355.25	o 6220
355.05/355.25	o 6219
355.05/355.26	o 6218
355.05/355.26	o 6217
355.05/355.26	o 6216
355.05/355.27	o 6215
355.05/355.27	o 6214
355.05/355.27	o 6213
355.05/355.28	o 6212
355.05/355.28	o 6211
355.05/355.28	o 6210
355.05/355.29	o 6209
355.05/355.29	o 6208
355.05/355.29	o 6207
355.05/355.30	o 6206
355.14/355.30	o 6205
355.14/355.30	o 6204
355.14/355.31	o 6203
355.14/355.31	o 6202
355.14/355.31	o 6201
355.14/355.32	o 6200
355.14/355.32	o 6199
355.14/355.32	o 6198
355.14/355.33	o 6197
355.14/355.33	o 6196
355.14/355.33	o 6195
355.14/355.34	o 6194
355.14/355.34	o 6193
355.14/355.34	o 6192
355.14/355.35	o 6191
355.14/355.35	o 6190
355.14/355.36	o 6189
355.14/355.36	o 6188
355.14/355.36	o 6187
355.14/355.37	o 6186
355.14/355.37	o 6185
355.14/355.37	o 6184
355.14/355.38	o 6183
355.14/355.38	o 6182
355.14/355.38	o 6181
355.14/355.39	o 6180
355.14/355.39	o 6179
355.14/355.39	o 6178
355.14/355.39	o 6177
355.24/355.40	o 6176
355.24/355.40	o 6175
355.24/355.40	o 6174
355.24/355.41	o 6173
355.24/355.41	o 6172
355.24/355.41	o 6171
355.24/355.42	o 6170
355.24/355.42	o 6169
355.24/355.42	o 6168
355.24/355.43	o 6167
355.24/355.43	o 6166
355.24/355.44	o 6165
355.24/355.45	o 6164
359.33/359.52	o 6163
377.63/377.86	o 6162
381.23/381.45	o 6161
381.23/381.46	o 6160
381.23/381.48	o 6159
397.22/397.43	o 6158
400.13/400.36	o 6157
403.82/404.00	o 6156
418.71/418.98	o 6155
420.02/420.26	o 6154
420.02/420.28	o 6153
420.42/420.69	o 6152
566.67/566.90	o 6151
713.21/713.52	o 6150
789.29/789.61	o 6149
789.29/789.62	o 6148
789.29/789.62	o 6147
789.29/789.62	o 6146
789.29/789.63	o 6145
789.29/789.63	o 6144
789.29/789.63	o 6143
789.29/789.64	o 6142
789.29/789.64	o 6141
789.29/789.64	o 6140
789.29/789.65	o 6139
789.29/789.65	o 6138
789.29/789.65	o 6137
789.29/789.65	o 6136
789.29/789.66	o 6135
789.29/789.66	o 6134
789.29/789.66	o 6133
789.29/789.67	o 6132
789.29/789.67	o 6131
789.29/789.67	o 6130
789.29/789.68	o 6129
789.29/789.68	o 6128
789.29/789.68	o 6127
789.29/789.69	o 6126
789.29/789.69	o 6125
789.29/789.70	o 6124
789.29/789.70	o 6123
789.39/789.70	o 6122
789.39/789.70	o 6121
789.39/789.71	o 6120
789.39/789.71	o 6119
789.39/789.71	o 6118
789.39/789.72	o 6117
789.39/789.72	o 6116
789.39/789.72	o 6115
789.39/789.73	o 6114
789.39/789.73	o 6113
789.39/789.73	o 6112
789.39/789.74	o 6111
789.39/789.74	o 6110
789.39/789.74	o 6109
789.39/789.76	o 6108
789.39/789.76	o 6107
789.39/789.77	o 6106
789.39/789.77	o 6105
789.39/789.77	o 6104
789.39/789.78	o 6103
789.39/789.78	o 6102
789.39/789.78	o 6101
789.39/789.78	o 6100
789.39/789.79	o 6099
789.39/789.79	o 6098
789.39/789.79	o 6097
789.39/789.80	o 6096
789.39/789.80	o 6095
789.50/789.80	o 6094
789.50/789.81	o 6093
789.50/789.81	o 6092
789.50/789.81	o 6091
789.50/789.82	o 6090
789.50/789.83	o 6089
789.50/789.83	o 6088
789.50/789.84	o 6087
789.50/789.84	o 6086
789.50/789.85	o 6085
789.50/789.85	o 6084
789.50/789.85	o 6083
789.50/789.86	o 6082
789.50/789.86	o 6081
789.50/789.86	o 6080
789.50/789.86	o 6079
789.50/789.87	o 6078
789.50/789.88	o 6077
789.50/789.88	o 6076
789.50/789.88	o 6075
789.50/789.89	o 6074
789.50/789.89	o 6073
789.59/789.90	o 6072
789.59/789.90	o 6071
789.59/789.90	o 6070
789.59/789.91	o 6069
789.59/789.91	o 6068
789.59/789.91	o 6067
789.59/789.92	o 6066
789.59/789.92	o 6065
789.59/789.92	o 6064
789.59/789.93	o 6063
789.59/789.93	o 6062
789.59/789.93	o 6061
789.59/789.93	o 6060
789.59/789.94	o 6059
789.59/789.94	o 6058
789.59/789.94	o 6057
789.59/789.95	o 6056
789.59/789.95	o 6055
789.59/789.95	o 6054
789.59/789.96	o 6053
789.59/789.96	o 6052
789.59/789.96	o 6051
789.59/789.97	o 6050
789.59/789.97	o 6049
789.59/789.97	o 6048
789.59/789.97	o 6047
789.59/789.98	o 6046
789.59/789.98	o 6045
789.59/789.98	o 6044
789.59/789.99	o 6043
789.59/789.99	o 6042
789.59/789.99	o 6041
789.59/790.00	o 6040
789.69/790.00	o 6039
789.69/790.00	o 6038
789.69/790.01	o 6037
789.69/790.01	o 6036
789.69/790.01	o 6035
789.69/790.02	o 6034
789.69/790.02	o 6033
789.69/790.02	o 6032
789.69/790.02	o 6031
789.69/790.03	o 6030
789.69/790.03	o 6029
789.69/790.03	o 6028
789.69/790.04	o 6027
789.69/790.04	o 6026
789.69/790.04	o 6025
789.69/790.05	o 6024
789.69/790.05	o 6023
789.69/790.05	o 6022
789.69/790.06	o 6021
789.69/790.06	o 6020
789.69/790.06	o 6019
789.69/790.07	o 6018
789.69/790.07	o 6017
789.69/790.07	o 6016
789.69/790.07	o 6015
789.69/790.08	o 6014
789.69/790.08	o 6013
789.69/790.08	o 6012
789.69/790.09	o 6011
789.69/790.09	o 6010
789.69/790.09	o 6009
789.69/790.10	o 6008
789.78/790.10	o 6007
789.78/790.10	o 6006
789.78/790.11	o 6005
789.78/790.11	o 6004
789.78/790.11	o 6003
789.78/790.11	o 6002
789.78/790.12	o 6001
789.78/790.12	o 6000
789.78/790.12	o 5999
789.78/790.13	o 5998
789.78/790.13	o 5997
789.78/790.13	o 5996
789.78/790.14	o 5995
789.78/790.14	o 5994
789.78/790.14	o 5993
789.78/790.15	o 5992
789.78/790.15	o 5991
789.78/790.15	o 5990
789.78/790.15	o 5989
789.78/790.16	o 5988
789.78/790.16	o 5987
789.78/790.16	o 5986
789.78/790.17	o 5985
789.78/790.17	o 5984
789.78/790.17	o 5983
789.78/790.18	o 5982
789.78/790.18	o 5981
789.78/790.18	o 5980
789.78/790.19	o 5979
789.78/790.19	o 5978
789.78/790.19	o 5977
789.78/790.19	o 5976
789.89/790.20	o 5975
789.89/790.20	o 5974
789.89/790.20	o 5973
789.89/790.21	o 5972
789.89/790.21	o 5971
789.89/790.21	o 5970
789.89/790.22	o 5969
789.89/790.22	o 5968
789.89/790.22	o 5967
789.89/790.23	o 5966
789.89/790.23	o 5965
789.89/790.24	o 5964
789.89/790.24	o 5963
789.89/790.24	o 5962
789.89/790.25	o 5961
789.89/790.25	o 5960
789.89/790.25	o 5959
789.89/790.25	o 5958
789.89/790.26	o 5957
789.89/790.26	o 5956
789.89/790.26	o 5955
789.89/790.27	o 5954
789.89/790.27	o 5953
789.89/790.27	o 5952
789.89/790.28	o 5951
1051.60/1052.08	o 5950
1051.70/1052.12	o 5949
1217.84/1218.35	o 5948
1248.12/1248.64	o 5947
1653.17/1653.86	o 5946
1694.56/1695.27	o 5945
1786.43/1787.15	o 5944
1800.04/1800.70	s SATISFIABLE
1800.04/1800.70	v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x101 -x1010 -x1011 -x1012 -x1013 -x1014
1800.04/1800.70	v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030
1800.04/1800.70	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1800.04/1800.70	v -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063
1800.04/1800.70	v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079
1800.04/1800.70	v -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095
1800.04/1800.70	v -x1096 -x1097 -x1098 -x1099 -x11 -x110 x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110
1800.04/1800.70	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1800.04/1800.70	v -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142
1800.04/1800.70	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 x1154 x1155 -x1156 x1157 -x1158 -x1159
1800.04/1800.70	v -x116 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
1800.04/1800.70	v -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191
1800.04/1800.70	v x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207
1800.04/1800.70	v -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223
1800.04/1800.70	v -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124
1800.04/1800.70	v -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255
1800.04/1800.70	v -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271
1800.04/1800.70	v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287
1800.04/1800.70	v -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302
1800.04/1800.70	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318
1800.04/1800.70	v -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 x1332 -x1333 x1334
1800.04/1800.70	v -x1335 -x1336 -x1337 -x1338 x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350
1800.04/1800.70	v x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367
1800.04/1800.70	v -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383
1800.04/1800.70	v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x14
1800.04/1800.70	v -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
1800.04/1800.70	v -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431
1800.04/1800.70	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447
1800.04/1800.70	v -x1448 -x1449 -x145 -x1450 -x1451 x1452 x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 x1461 -x1462 -x1463
1800.04/1800.70	v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479
1800.04/1800.70	v -x148 -x1480 -x1481 x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x149 -x1490 x1491 -x1492 -x1493 -x1494 -x1495
1800.04/1800.70	v x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510
1800.04/1800.70	v -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 x1526 x1527
1800.04/1800.70	v -x1528 x1529 -x153 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543
1800.04/1800.70	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 x1559 -x156
1800.04/1800.70	v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575
1800.04/1800.70	v -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591
1800.04/1800.70	v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607
1800.04/1800.70	v -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623
1800.04/1800.70	v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639
1800.04/1800.70	v -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655
1800.04/1800.70	v -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671
1800.04/1800.70	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688
1800.04/1800.70	v -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703
1800.04/1800.70	v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719
1800.04/1800.70	v -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735
1800.04/1800.70	v -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751
1800.04/1800.70	v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768
1800.04/1800.70	v -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x178 -x1780 -x1781 x1782 -x1783 -x1784
1800.04/1800.70	v -x1785 -x1786 -x1787 -x1788 -x1789 x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180
1800.04/1800.70	v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815
1800.04/1800.70	v -x1816 -x1817 -x1818 -x1819 -x182 x1820 -x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 x1831
1800.04/1800.70	v -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848
1800.04/1800.70	v -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 x1864
1800.04/1800.70	v -x1865 -x1866 -x1867 -x1868 -x1869 -x187 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x188 -x1880
1800.04/1800.70	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896
1800.04/1800.70	v -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911
1800.04/1800.70	v x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928
1800.04/1800.70	v -x1929 -x193 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944
1800.04/1800.70	v -x1945 -x1946 -x1947 -x1948 x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960
1800.04/1800.70	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
1800.04/1800.70	v -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992
1800.04/1800.70	v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007
1800.04/1800.70	v -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x202 -x2020 -x2021 -x2022 -x2023
1800.04/1800.70	v -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x204
1800.04/1800.70	v -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056
1800.04/1800.70	v -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072
1800.04/1800.70	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089
1800.04/1800.70	v -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104
1800.04/1800.70	v -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120
1800.04/1800.70	v -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137
1800.04/1800.70	v -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153
1800.04/1800.70	v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x217
1800.04/1800.70	v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186
1800.04/1800.70	v -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201
1800.04/1800.70	v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1800.04/1800.70	v -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233
1800.04/1800.70	v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225
1800.04/1800.70	v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266
1800.04/1800.70	v -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282
1800.04/1800.70	v -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299
1800.04/1800.70	v -x23 -x230 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314
1800.04/1800.70	v -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330
1800.04/1800.70	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346
1800.04/1800.70	v -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x236 -x2360 -x2361 -x2362
1800.04/1800.70	v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379
1800.04/1800.70	v -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395
1800.04/1800.70	v -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410
1800.04/1800.70	v -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427
1800.04/1800.70	v -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443
1800.04/1800.70	v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459
1800.04/1800.70	v -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475
1800.04/1800.70	v -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491
1800.04/1800.70	v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507
1800.04/1800.70	v -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523
1800.04/1800.70	v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x254
1800.04/1800.70	v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556
1800.04/1800.70	v -x2557 x2558 x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572
1800.04/1800.70	v -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589
1800.04/1800.70	v -x259 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604
1800.04/1800.70	v x2605 x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x262 -x2620
1800.04/1800.70	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636
1800.04/1800.70	v -x2637 -x2638 x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x265 x2650 x2651 -x2652
1800.04/1800.70	v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 x2667 -x2668 -x2669
1800.04/1800.70	v -x267 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 x2685
1800.04/1800.70	v -x2686 x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 -x2698 x2699 -x27 -x270 -x2700
1800.04/1800.70	v -x2701 -x2702 -x2703 -x2704 -x2705 x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717
1800.04/1800.70	v -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733
1800.04/1800.70	v -x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275
1800.04/1800.70	v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x276 -x277 -x278 x279 -x28 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287
1800.04/1800.70	v -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305
1800.04/1800.70	v -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x32 -x320 -x321 -x322 -x323 -x324
1800.04/1800.70	v -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 x335 x336 -x337 -x338 -x339 x34 -x340 -x341 -x342 -x343 -x344
1800.04/1800.70	v -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363
1800.04/1800.70	v -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382
1800.04/1800.70	v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400
1800.04/1800.70	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42
1800.04/1800.70	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x43 -x430 -x431 -x432 -x433 x434 -x435 x436 -x437 -x438 -x439
1800.04/1800.70	v -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
1800.04/1800.70	v -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477
1800.04/1800.70	v -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496
1800.04/1800.70	v -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515
1800.04/1800.70	v -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x53 -x530 -x531 -x532 -x533 -x534
1800.04/1800.70	v -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553
1800.04/1800.70	v -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x57 x570 -x571 -x572
1800.04/1800.70	v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591
1800.04/1800.70	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61
1800.04/1800.70	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.04/1800.70	v -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1800.04/1800.70	v -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667
1800.04/1800.70	v -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686
1800.04/1800.70	v -x687 -x688 -x689 -x69 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 x701 -x702 x703 -x704 -x705
1800.04/1800.70	v -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 x724
1800.04/1800.70	v -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743
1800.04/1800.70	v -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762
1800.04/1800.70	v -x763 -x764 -x765 -x766 -x767 -x768 -x769 x77 -x770 -x771 x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x78 -x780 -x781 -x782
1800.04/1800.70	v -x783 -x784 -x785 x786 x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801
1800.04/1800.70	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820
1800.04/1800.70	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84
1800.04/1800.70	v -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 x849 -x85 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859
1800.04/1800.70	v -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1800.04/1800.70	v -x879 -x88 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898
1800.04/1800.70	v -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917
1800.04/1800.70	v -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936
1800.04/1800.70	v -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955
1800.04/1800.70	v -x956 -x957 -x958 -x959 -x96 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974
1800.04/1800.70	v -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993
1800.04/1800.70	v -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data (download as text)

OK	5944

Conversion Script Data (download as text)

/tmp/evaluation/458722-1178641303/instance-458722-1178641303.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node59/watcher-458722-1178641303 -o ROOT/results/node59/solver-458722-1178641303 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458722-1178641303/instance-458722-1178641303.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.00 0.99 0.99 3/64 18933
/proc/meminfo: memFree=1608640/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=1716 CPUtime=0
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 312039917 1757184 205 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135023167 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 429 205 84 219 0 206 0

[startup+0.014587 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 18933
/proc/meminfo: memFree=1608640/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=1872 CPUtime=0.01
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 249 0 0 0 1 0 0 0 18 0 1 0 312039917 1916928 231 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 468 231 86 219 0 245 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1872

[startup+0.101604 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 18933
/proc/meminfo: memFree=1608640/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=2292 CPUtime=0.09
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 377 0 0 0 9 0 0 0 18 0 1 0 312039917 2347008 359 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 573 359 102 219 0 350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2292

[startup+0.301641 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 18933
/proc/meminfo: memFree=1608640/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=2292 CPUtime=0.29
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 381 0 0 0 25 4 0 0 19 0 1 0 312039917 2347008 363 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 573 363 102 219 0 350 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2292

[startup+0.701717 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 18933
/proc/meminfo: memFree=1608640/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=2292 CPUtime=0.69
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 421 0 0 0 63 6 0 0 22 0 1 0 312039917 2347008 403 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 573 403 102 219 0 350 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2292

[startup+1.50187 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1607224/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=2680 CPUtime=1.49
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 488 0 0 0 143 6 0 0 25 0 1 0 312039917 2744320 470 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 670 470 102 219 0 447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2680

[startup+3.10117 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1606776/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=3192 CPUtime=3.09
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 618 0 0 0 302 7 0 0 25 0 1 0 312039917 3268608 600 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 798 600 102 219 0 575 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3192

[startup+6.30178 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1605304/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=4352 CPUtime=6.29
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 946 0 0 0 621 8 0 0 25 0 1 0 312039917 4456448 928 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 1088 928 102 219 0 865 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4352

[startup+12.702 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1603000/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=6400 CPUtime=12.69
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 1473 0 0 0 1260 9 0 0 25 0 1 0 312039917 6553600 1455 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 1600 1455 102 219 0 1377 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6400

[startup+25.5014 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1598520/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=19128 CPUtime=25.48
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 2650 0 0 0 2535 13 0 0 25 0 1 0 312039917 19587072 2632 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 4782 2632 102 219 0 4559 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19128

[startup+51.1013 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1592056/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=20244 CPUtime=51.07
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 4213 0 0 0 5088 19 0 0 25 0 1 0 312039917 20729856 4146 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 5061 4146 102 219 0 4838 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20244

[startup+102.304 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1589560/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=21068 CPUtime=102.26
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 4841 0 0 0 10201 25 0 0 25 0 1 0 312039917 21573632 4774 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 5267 4774 102 219 0 5044 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21068

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1589112/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=21356 CPUtime=162.23
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 4941 0 0 0 16196 27 0 0 25 0 1 0 312039917 21868544 4874 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 5339 4874 102 219 0 5116 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 21356

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1587320/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=22132 CPUtime=222.21
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 5482 0 0 0 22179 42 0 0 25 0 1 0 312039917 22663168 5318 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 5533 5318 102 219 0 5310 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 22132

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1587000/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=22492 CPUtime=282.17
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 5561 0 0 0 28147 70 0 0 25 0 1 0 312039917 23031808 5397 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 5623 5397 102 219 0 5400 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 22492

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1586872/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=22492 CPUtime=342.14
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 5584 0 0 0 34132 82 0 0 25 0 1 0 312039917 23031808 5420 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 5623 5420 102 219 0 5400 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 22492

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1586552/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=22724 CPUtime=402.12
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 5675 0 0 0 40115 97 0 0 25 0 1 0 312039917 23269376 5511 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 5681 5511 102 219 0 5458 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 22724

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1586104/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=23112 CPUtime=462.11
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 5785 0 0 0 46109 102 0 0 25 0 1 0 312039917 23666688 5621 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 5778 5621 102 219 0 5555 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 23112

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1585848/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=23880 CPUtime=522.08
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6013 0 0 0 52104 104 0 0 25 0 1 0 312039917 24453120 5656 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 5970 5656 102 219 0 5747 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 23880

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1585848/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=23996 CPUtime=582.06
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6025 0 0 0 58101 105 0 0 25 0 1 0 312039917 24571904 5668 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 5999 5668 102 219 0 5776 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 23996

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1585592/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=24244 CPUtime=642.05
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6087 0 0 0 64096 109 0 0 25 0 1 0 312039917 24825856 5730 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 6061 5730 102 219 0 5838 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 24244


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

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1584952/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=24648 CPUtime=881.95
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6256 0 0 0 88076 119 0 0 25 0 1 0 312039917 25239552 5899 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 6162 5899 102 219 0 5939 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 24648

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1584760/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=24648 CPUtime=941.93
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6301 0 0 0 94071 122 0 0 25 0 1 0 312039917 25239552 5944 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 6162 5944 102 219 0 5939 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 24648

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1584440/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=24916 CPUtime=1001.91
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6366 0 0 0 100066 125 0 0 25 0 1 0 312039917 25513984 6009 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 6229 6009 102 219 0 6006 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 24916

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1584120/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=25084 CPUtime=1061.89
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6444 0 0 0 106061 128 0 0 25 0 1 0 312039917 25686016 6087 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 6271 6087 102 219 0 6048 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 25084

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1583800/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=25332 CPUtime=1121.87
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6525 0 0 0 112055 132 0 0 25 0 1 0 312039917 25939968 6168 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 6333 6168 102 219 0 6110 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 25332

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1581560/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=43492 CPUtime=1181.85
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 7471 0 0 0 118048 137 0 0 25 0 1 0 312039917 44535808 6729 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 10873 6729 102 219 0 10650 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 43492

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1579448/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=43744 CPUtime=1241.83
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 7987 0 0 0 124042 141 0 0 25 0 1 0 312039917 44793856 7245 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 10936 7245 102 219 0 10713 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 43744

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18934
/proc/meminfo: memFree=1574136/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=44032 CPUtime=1301.81
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 9304 0 0 0 130036 145 0 0 25 0 1 0 312039917 45088768 8562 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 11008 8562 102 219 0 10785 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 44032

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18936
/proc/meminfo: memFree=1573944/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=44032 CPUtime=1361.78
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 9354 0 0 0 136030 148 0 0 25 0 1 0 312039917 45088768 8612 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 11008 8612 102 219 0 10785 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 44032

[startup+1422.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18936
/proc/meminfo: memFree=1573880/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=44264 CPUtime=1421.76
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 9390 0 0 0 142026 150 0 0 25 0 1 0 312039917 45326336 8648 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 11066 8648 102 219 0 10843 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 44264

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18936
/proc/meminfo: memFree=1573624/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=44264 CPUtime=1481.74
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 9450 0 0 0 148021 153 0 0 25 0 1 0 312039917 45326336 8708 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 11066 8708 102 219 0 10843 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 44264

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18936
/proc/meminfo: memFree=1573432/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=44380 CPUtime=1541.71
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 9491 0 0 0 154016 155 0 0 25 0 1 0 312039917 45445120 8749 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 11095 8749 102 219 0 10872 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 44380

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18936
/proc/meminfo: memFree=1570936/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=44596 CPUtime=1601.7
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 10114 0 0 0 160012 158 0 0 25 0 1 0 312039917 45666304 9372 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 11149 9372 102 219 0 10926 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 44596

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18936
/proc/meminfo: memFree=1570744/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=44784 CPUtime=1661.67
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 10153 0 0 0 166007 160 0 0 25 0 1 0 312039917 45858816 9411 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 11196 9411 102 219 0 10973 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 44784

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18936
/proc/meminfo: memFree=1570424/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=44916 CPUtime=1721.65
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 10225 0 0 0 172001 164 0 0 25 0 1 0 312039917 45993984 9483 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 11229 9483 102 219 0 11006 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 44916

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18936
/proc/meminfo: memFree=1570360/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=45028 CPUtime=1781.64
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 10250 0 0 0 177997 167 0 0 25 0 1 0 312039917 46108672 9508 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134561209 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 11257 9508 102 219 0 11034 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 45028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 18936
/proc/meminfo: memFree=1570232/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=45028 CPUtime=1800.04
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 10280 0 0 0 179836 168 0 0 25 0 1 0 312039917 46108672 9538 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 11257 9538 102 219 0 11034 0
Current children cumulated CPU time (s) 1800.04
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 0.99 0.99 2/65 18936
/proc/meminfo: memFree=1570232/2055920 swapFree=4184640/4192956
[pid=18933] ppid=18931 vsize=45028 CPUtime=1800.04
/proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 10280 0 0 0 179836 168 0 0 25 0 1 0 312039917 46108672 9538 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18933/statm: 11257 9538 102 219 0 11034 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 45028

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.05
CPU user time (s): 1798.36
CPU system time (s): 1.68874
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 45028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.68874
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= 3176

runsolver used 1.44078 second user time and 3.53146 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Tue May  8 16:21:43 UTC 2007

IDJOB= 458722
IDBENCH= 1871
IDSOLVER= 200
FILE ID= node59/458722-1178641303

PBS_JOBID= 5218328

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 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= PBS4_SAT07v2 /tmp/evaluation/458722-1178641303/instance-458722-1178641303.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-458722-1178641303 -o ROOT/results/node59/conversion-458722-1178641303 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458722-1178641303/instance-458722-1178641303.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-458722-1178641303 -o ROOT/results/node59/solver-458722-1178641303 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458722-1178641303/instance-458722-1178641303.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  54b9b4de78a7992fd69d0caeed32daef

RANDOM SEED= 11768901

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1608984 kB
Buffers:         33952 kB
Cached:         306148 kB
SwapCached:       2348 kB
Active:          85832 kB
Inactive:       264248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1608984 kB
SwapTotal:     4192956 kB
SwapFree:      4184640 kB
Dirty:            2368 kB
Writeback:           0 kB
Mapped:          16720 kB
Slab:            82840 kB
Committed_AS:  8063912 kB
PageTables:       1472 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= 66562 MiB

End job on node59 on Tue May  8 16:51:46 UTC 2007