Trace number 3447330

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4MSAT (TO) 1800.3 1800.24

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-66-100-0.wbo
MD5SUMd4513e3c50cc84c6f92da90cafb49221
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.12398
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6392
Total number of constraints18058
Number of soft constraints6159
Number of constraints which are clauses17278
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints780
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 310918
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 310917
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3447330-1307899276.wbo>
0.09/0.13	c original problem has 12551 variables (12551 bin, 0 int, 0 impl, 0 cont) and 18059 constraints
0.09/0.13	c problem read
0.09/0.13	c presolving settings loaded
0.19/0.24	c presolving:
0.29/0.30	c (round 1) 163 del vars, 99 del conss, 0 add conss, 27 chg bounds, 390 chg sides, 792 chg coeffs, 0 upgd conss, 108308 impls, 0 clqs
0.29/0.31	c (round 2) 190 del vars, 401 del conss, 0 add conss, 27 chg bounds, 390 chg sides, 792 chg coeffs, 0 upgd conss, 108308 impls, 0 clqs
0.29/0.33	c (round 3) 218 del vars, 404 del conss, 0 add conss, 6158 chg bounds, 390 chg sides, 792 chg coeffs, 0 upgd conss, 108308 impls, 0 clqs
0.39/0.40	c (round 4) 219 del vars, 404 del conss, 0 add conss, 6158 chg bounds, 390 chg sides, 792 chg coeffs, 11552 upgd conss, 108308 impls, 0 clqs
3.09/3.13	c    (3.1s) probing: 1000/12360 (8.1%) - 3 fixings, 7 aggregations, 15559 implications, 0 bound changes
5.19/5.28	c    (5.3s) probing: 2000/12360 (16.2%) - 3 fixings, 9 aggregations, 19262 implications, 0 bound changes
7.29/7.32	c    (7.3s) probing: 3000/12360 (24.3%) - 3 fixings, 10 aggregations, 21599 implications, 0 bound changes
7.89/7.97	c    (8.0s) probing: 3322/12360 (26.9%) - 3 fixings, 10 aggregations, 21759 implications, 0 bound changes
7.89/7.97	c    (8.0s) probing aborted: 100/100 successive totally useless probings
7.89/7.97	c (round 5) 232 del vars, 404 del conss, 0 add conss, 6158 chg bounds, 390 chg sides, 792 chg coeffs, 11552 upgd conss, 211461 impls, 0 clqs
7.89/7.98	c (round 6) 233 del vars, 427 del conss, 0 add conss, 6158 chg bounds, 390 chg sides, 792 chg coeffs, 11552 upgd conss, 211463 impls, 0 clqs
8.50/8.50	c    (8.5s) probing: 3503/12360 (28.3%) - 3 fixings, 10 aggregations, 22069 implications, 0 bound changes
8.50/8.50	c    (8.5s) probing aborted: 100/100 successive totally useless probings
8.50/8.51	c presolving (7 rounds):
8.50/8.51	c  234 deleted vars, 429 deleted constraints, 0 added constraints, 6158 tightened bounds, 0 added holes, 390 changed sides, 792 changed coefficients
8.50/8.51	c  218246 implications, 0 cliques
8.50/8.51	c presolved problem has 18476 variables (12346 bin, 0 int, 6130 impl, 0 cont) and 23789 constraints
8.50/8.51	c     528 constraints of type <knapsack>
8.50/8.51	c    7339 constraints of type <setppc>
8.50/8.51	c    6130 constraints of type <linear>
8.50/8.51	c    6130 constraints of type <indicator>
8.50/8.51	c    3662 constraints of type <logicor>
8.50/8.51	c transformed objective value is always integral (scale: 1)
8.50/8.51	c Presolving Time: 8.36
8.50/8.51	c - non default parameters ----------------------------------------------------------------------
8.50/8.51	c # SCIP version 2.0.1.4
8.50/8.51	c 
8.50/8.51	c # frequency for displaying node information lines
8.50/8.51	c # [type: int, range: [-1,2147483647], default: 100]
8.50/8.51	c display/freq = 10000
8.50/8.51	c 
8.50/8.51	c # maximal time in seconds to run
8.50/8.51	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.50/8.51	c limits/time = 1800
8.50/8.51	c 
8.50/8.51	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.50/8.51	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.50/8.51	c limits/memory = 13950
8.50/8.51	c 
8.50/8.51	c # default clock type (1: CPU user seconds, 2: wall clock time)
8.50/8.51	c # [type: int, range: [1,2], default: 1]
8.50/8.51	c timing/clocktype = 2
8.50/8.51	c 
8.50/8.51	c # belongs reading time to solving time?
8.50/8.51	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.50/8.51	c timing/reading = TRUE
8.50/8.51	c 
8.50/8.51	c # should presolving try to simplify inequalities
8.50/8.51	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.50/8.51	c constraints/linear/simplifyinequalities = TRUE
8.50/8.51	c 
8.50/8.51	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
8.50/8.51	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.50/8.51	c constraints/indicator/addCouplingCons = TRUE
8.50/8.51	c 
8.50/8.51	c # should presolving try to simplify knapsacks
8.50/8.51	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.50/8.51	c constraints/knapsack/simplifyinequalities = TRUE
8.50/8.51	c 
8.50/8.51	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.50/8.51	c # [type: int, range: [-1,2147483647], default: -1]
8.50/8.51	c separating/rapidlearning/freq = 0
8.50/8.51	c 
8.50/8.51	c -----------------------------------------------------------------------------------------------
8.50/8.51	c start solving
8.50/8.52	c 
9.69/9.79	o 309274
9.69/9.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.69/9.79	c y 9.8s|     1 |     0 |     0 |     - |  78M|   0 |   - |  18k|  29k|  18k|  17k|   0 |   0 |   0 |      --      | 3.092740e+05 |    Inf 
9.99/10.08	c  10.1s|     1 |     0 |  2938 |     - |  78M|   0 |1463 |  18k|  29k|  18k|  17k|   0 |   0 |   0 | 0.000000e+00 | 3.092740e+05 |    Inf 
11.39/11.49	c  11.5s|     1 |     0 |  6226 |     - |  81M|   0 |1764 |  18k|  29k|  18k|  17k| 288 |   0 |   0 | 0.000000e+00 | 3.092740e+05 |    Inf 
12.69/12.72	c  12.7s|     1 |     0 |  8407 |     - |  82M|   0 |2026 |  18k|  29k|  18k|  18k| 586 |   0 |   0 | 0.000000e+00 | 3.092740e+05 |    Inf 
14.20/14.21	c  14.2s|     1 |     0 | 10389 |     - |  83M|   0 |2253 |  18k|  29k|  18k|  18k| 967 |   0 |   0 | 0.000000e+00 | 3.092740e+05 |    Inf 
16.89/16.94	c  16.9s|     1 |     0 | 14407 |     - |  84M|   0 |2198 |  18k|  29k|  18k|  18k|1257 |   0 |   0 | 0.000000e+00 | 3.092740e+05 |    Inf 
18.99/19.09	c  19.1s|     1 |     0 | 17412 |     - |  84M|   0 |2326 |  18k|  29k|  18k|  19k|1578 |   0 |   0 | 0.000000e+00 | 3.092740e+05 |    Inf 
26.99/27.07	c  27.1s|     1 |     0 | 27745 |     - |  85M|   0 |2231 |  18k|  29k|  18k|  19k|1842 |   0 |   0 | 0.000000e+00 | 3.092740e+05 |    Inf 
36.69/36.79	c  36.8s|     1 |     2 | 37745 |     - |  85M|   0 |2231 |  18k|  29k|  18k|  19k|1842 |   0 |  27 | 0.000000e+00 | 3.092740e+05 |    Inf 
307.70/307.79	o 5628
307.70/307.79	c * 308s|   797 |   716 |266564 | 300.0 | 102M| 319 |   - |  18k|  30k|  18k|  19k|2160 | 449 | 786 | 0.000000e+00 | 5.628000e+03 |    Inf 
734.42/734.44	c   734s| 10000 |  9749 |542659 |  51.5 | 217M| 319 | 680 |  18k|  30k|  18k|  18k|2202 | 972 |3658 | 0.000000e+00 | 5.628000e+03 |    Inf 
1459.43/1459.47	c  1459s| 20000 | 19540 |  1091k|  53.2 | 318M| 319 | 822 |  18k|  30k|  18k|  18k|2292 |1609 |7859 | 0.000000e+00 | 5.628000e+03 |    Inf 
1800.05/1800.05	c 
1800.05/1800.05	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.05	c Solving Time (sec) : 1800.05
1800.05/1800.05	c Solving Nodes      : 23752
1800.05/1800.05	c Primal Bound       : +5.62800000000000e+03 (100 solutions)
1800.05/1800.05	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.05	c Gap                : infinite
1800.05/1800.06	s SATISFIABLE
1800.05/1800.06	v -x6392 x6391 x6390 x6389 x6388 x6387 x6386 -x6385 -x6384 -x6383 x6382 x6381 x6380 x6379 -x6378 -x6377 x6376 x6375 -x6374 x6373 
1800.05/1800.06	v -x6372 x6371 x6370 -x6369 -x6368 x6367 x6366 -x6365 -x6364 x6363 x6362 x6361 x6360 x6359 x6358 -x6357 x6356 -x6355 x6354 x6353 
1800.05/1800.06	v -x6352 -x6351 -x6350 x6349 -x6348 -x6347 -x6346 -x6345 -x6344 x6343 x6342 x6341 -x6340 x6339 x6338 x6337 x6336 -x6335 x6334 
1800.05/1800.06	v x6333 x6332 -x6331 -x6330 -x6329 x6328 x6327 x6326 x6325 x6324 -x6323 -x6322 x6321 x6320 -x6319 -x6318 -x6317 -x6316 -x6315 
1800.05/1800.06	v x6314 x6313 -x6312 -x6311 x6310 x6309 -x6308 -x6307 x6306 -x6305 -x6304 -x6303 -x6302 x6301 x6300 -x6299 -x6298 -x6297 x6296 
1800.05/1800.06	v -x6295 x6294 x6293 x6292 x6291 x6290 x6289 -x6288 x6287 x6286 x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 
1800.05/1800.06	v -x6275 -x6274 -x6273 x6272 -x6271 -x6270 -x6269 x6268 x6267 x6266 -x6265 x6264 x6263 -x6262 x6261 -x6260 -x6259 -x6258 
1800.05/1800.06	v -x6257 x6256 -x6255 -x6254 x6253 x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 x6244 -x6243 -x6242 x6241 x6240 x6239 
1800.05/1800.06	v x6238 x6237 x6236 x6235 x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 
1800.05/1800.06	v -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 x6206 -x6205 -x6204 -x6203 -x6202 
1800.05/1800.06	v -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 
1800.05/1800.06	v -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 x6168 x6167 x6166 
1800.05/1800.06	v x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 
1800.05/1800.06	v -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 x6135 -x6134 -x6133 -x6132 -x6131 -x6130 
1800.05/1800.06	v -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 
1800.05/1800.06	v -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 x6105 x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 
1800.05/1800.06	v -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 
1800.05/1800.06	v -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 x6060 x6059 x6058 
1800.05/1800.06	v -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 
1800.05/1800.06	v -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 
1800.05/1800.06	v -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 x6011 -x6010 -x6009 -x6008 x6007 x6006 -x6005 -x6004 
1800.05/1800.06	v -x6003 -x6002 -x6001 -x6000 -x5999 x5998 -x5997 x5996 x5995 x5994 x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 
1800.05/1800.06	v -x5984 -x5983 -x5982 -x5981 -x5980 x5979 x5978 -x5977 -x5976 -x5975 -x5974 -x5973 x5972 -x5971 -x5970 -x5969 -x5968 -x5967 
1800.05/1800.06	v -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 
1800.05/1800.06	v -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 
1800.05/1800.06	v -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 x5920 x5919 x5918 x5917 x5916 x5915 -x5914 -x5913 -x5912 
1800.05/1800.06	v -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 
1800.05/1800.06	v -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 
1800.05/1800.06	v -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 x5859 
1800.05/1800.06	v -x5858 x5857 -x5856 -x5855 x5854 x5853 -x5852 -x5851 -x5850 -x5849 -x5848 x5847 -x5846 x5845 -x5844 -x5843 -x5842 -x5841 -x5840 
1800.05/1800.06	v -x5839 -x5838 -x5837 -x5836 x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 
1800.05/1800.06	v -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 x5809 -x5808 -x5807 -x5806 -x5805 -x5804 
1800.05/1800.07	v x5803 -x5802 -x5801 -x5800 -x5799 x5798 x5797 x5796 x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 
1800.05/1800.07	v -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 x5771 -x5770 -x5769 -x5768 
1800.05/1800.07	v x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 
1800.05/1800.07	v -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 
1800.05/1800.07	v -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 x5721 x5720 -x5719 -x5718 -x5717 -x5716 -x5715 x5714 -x5713 
1800.05/1800.07	v x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 x5705 x5704 x5703 x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 
1800.05/1800.07	v -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 
1800.05/1800.07	v -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 x5666 -x5665 x5664 -x5663 x5662 x5661 -x5660 -x5659 
1800.05/1800.07	v -x5658 x5657 -x5656 x5655 -x5654 -x5653 -x5652 -x5651 -x5650 x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 
1800.05/1800.07	v -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 
1800.05/1800.07	v -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 
1800.05/1800.07	v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 x5586 
1800.05/1800.07	v -x5585 x5584 x5583 -x5582 -x5581 x5580 -x5579 -x5578 -x5577 x5576 x5575 -x5574 -x5573 -x5572 -x5571 x5570 -x5569 x5568 -x5567 
1800.05/1800.07	v -x5566 -x5565 -x5564 -x5563 x5562 x5561 x5560 x5559 x5558 x5557 x5556 x5555 x5554 x5553 -x5552 -x5551 -x5550 -x5549 -x5548 
1800.05/1800.07	v -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 
1800.05/1800.07	v -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 
1800.05/1800.07	v -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 
1800.05/1800.07	v -x5494 -x5493 x5492 x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 
1800.05/1800.07	v -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 
1800.05/1800.07	v -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 
1800.05/1800.07	v -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 x5426 -x5425 -x5424 -x5423 
1800.05/1800.07	v -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 
1800.05/1800.07	v -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 
1800.05/1800.07	v -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 x5375 x5374 x5373 x5372 x5371 -x5370 -x5369 -x5368 
1800.05/1800.07	v -x5367 -x5366 -x5365 x5364 -x5363 -x5362 -x5361 x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 
1800.05/1800.07	v -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 x5333 -x5332 
1800.05/1800.07	v -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 
1800.05/1800.07	v -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 x5307 x5306 x5305 -x5304 -x5303 -x5302 x5301 -x5300 -x5299 x5298 -x5297 -x5296 
1800.05/1800.07	v -x5295 x5294 x5293 x5292 x5291 x5290 x5289 x5288 x5287 -x5286 -x5285 -x5284 -x5283 -x5282 x5281 -x5280 -x5279 x5278 -x5277 
1800.05/1800.07	v x5276 -x5275 -x5274 x5273 -x5272 -x5271 -x5270 -x5269 x5268 -x5267 -x5266 -x5265 x5264 -x5263 -x5262 -x5261 x5260 x5259 x5258 
1800.05/1800.07	v -x5257 -x5256 -x5255 x5254 x5253 -x5252 x5251 -x5250 -x5249 x5248 -x5247 -x5246 x5245 -x5244 -x5243 x5242 -x5241 -x5240 -x5239 
1800.05/1800.07	v x5238 x5237 x5236 x5235 x5234 -x5233 x5232 x5231 -x5230 -x5229 -x5228 x5227 x5226 x5225 x5224 x5223 x5222 x5221 x5220 x5219 
1800.05/1800.07	v x5218 x5217 x5216 x5215 -x5214 x5213 -x5212 -x5211 x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 x5200 
1800.05/1800.07	v x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 x5190 x5189 x5188 x5187 x5186 x5185 x5184 x5183 x5182 x5181 
1800.05/1800.07	v x5180 x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 
1800.05/1800.07	v -x5161 x5160 x5159 -x5158 -x5157 -x5156 -x5155 x5154 -x5153 x5152 x5151 -x5150 -x5149 -x5148 x5147 -x5146 x5145 -x5144 
1800.05/1800.07	v x5143 -x5142 x5141 -x5140 -x5139 -x5138 -x5137 x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 x5129 x5128 x5127 -x5126 -x5125 
1800.05/1800.07	v x5124 x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 x5116 -x5115 x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 x5106 
1800.05/1800.07	v x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 
1800.05/1800.07	v -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 
1800.05/1800.07	v -x5069 -x5068 x5067 -x5066 -x5065 -x5064 x5063 -x5062 -x5061 -x5060 -x5059 x5058 x5057 -x5056 x5055 x5054 -x5053 -x5052 
1800.05/1800.07	v x5051 -x5050 x5049 x5048 x5047 -x5046 -x5045 -x5044 x5043 -x5042 x5041 -x5040 x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 
1800.05/1800.07	v -x5032 -x5031 -x5030 x5029 x5028 -x5027 -x5026 x5025 x5024 -x5023 -x5022 x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 
1800.05/1800.07	v -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 
1800.05/1800.07	v x4995 -x4994 -x4993 x4992 x4991 x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 
1800.05/1800.07	v -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 
1800.05/1800.07	v -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 
1800.05/1800.07	v -x4941 -x4940 -x4939 -x4938 x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 
1800.05/1800.07	v x4923 x4922 x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 
1800.05/1800.07	v x4905 x4904 -x4903 -x4902 x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 x4892 -x4891 -x4890 -x4889 -x4888 
1800.05/1800.07	v -x4887 -x4886 -x4885 -x4884 x4883 -x4882 x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 x4873 -x4872 -x4871 -x4870 -x4869 
1800.05/1800.07	v -x4868 x4867 -x4866 -x4865 x4864 -x4863 x4862 -x4861 -x4860 -x4859 -x4858 -x4857 x4856 -x4855 x4854 -x4853 -x4852 -x4851 
1800.05/1800.07	v -x4850 -x4849 -x4848 -x4847 x4846 -x4845 -x4844 -x4843 -x4842 x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 
1800.05/1800.07	v -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 
1800.05/1800.07	v x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 
1800.05/1800.07	v -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 x4785 -x4784 -x4783 -x4782 x4781 -x4780 x4779 x4778 
1800.05/1800.07	v x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 x4767 -x4766 -x4765 x4764 x4763 -x4762 x4761 -x4760 -x4759 
1800.05/1800.07	v -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 
1800.05/1800.07	v -x4741 -x4740 -x4739 -x4738 x4737 x4736 x4735 x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 
1800.05/1800.07	v -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 
1800.05/1800.07	v -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 x4691 x4690 x4689 -x4688 -x4687 
1800.05/1800.07	v -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 
1800.05/1800.07	v x4668 x4667 -x4666 x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 
1800.05/1800.07	v -x4650 -x4649 x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 x4638 -x4637 -x4636 -x4635 -x4634 -x4633 
1800.05/1800.07	v x4632 x4631 x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 
1800.05/1800.07	v -x4613 -x4612 -x4611 -x4610 -x4609 x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 
1800.05/1800.07	v -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 x4582 -x4581 -x4580 -x4579 -x4578 
1800.05/1800.07	v -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 x4564 -x4563 -x4562 -x4561 -x4560 
1800.05/1800.07	v -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 
1800.05/1800.07	v -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 x4534 x4533 x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 x4524 
1800.05/1800.07	v -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 
1800.05/1800.07	v -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 
1800.05/1800.07	v -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 
1800.05/1800.07	v x4469 -x4468 -x4467 -x4466 -x4465 -x4464 x4463 -x4462 x4461 x4460 x4459 x4458 x4457 x4456 x4455 x4454 x4453 x4452 x4451 
1800.05/1800.07	v -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 
1800.05/1800.07	v -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 x4415 
1800.05/1800.07	v x4414 x4413 x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 x4405 -x4404 -x4403 x4402 -x4401 -x4400 -x4399 x4398 -x4397 -x4396 
1800.05/1800.07	v -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 x4385 x4384 x4383 x4382 -x4381 x4380 x4379 x4378 -x4377 
1800.05/1800.07	v -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 
1800.05/1800.07	v -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 
1800.05/1800.07	v -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 x4331 x4330 x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 
1800.05/1800.07	v -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 x4308 x4307 x4306 -x4305 
1800.05/1800.07	v -x4304 x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 x4289 x4288 x4287 x4286 
1800.05/1800.07	v x4285 x4284 -x4283 -x4282 -x4281 x4280 -x4279 -x4278 x4277 -x4276 -x4275 -x4274 -x4273 x4272 -x4271 -x4270 -x4269 -x4268 
1800.05/1800.07	v -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 
1800.05/1800.07	v -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 x4238 x4237 x4236 x4235 x4234 -x4233 x4232 -x4231 
1800.05/1800.07	v x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 
1800.05/1800.07	v -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 
1800.05/1800.07	v -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 x4186 -x4185 -x4184 -x4183 x4182 -x4181 -x4180 -x4179 -x4178 -x4177 
1800.05/1800.07	v x4176 -x4175 -x4174 x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 x4159 
1800.05/1800.07	v -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 
1800.05/1800.07	v -x4140 -x4139 -x4138 -x4137 x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 
1800.05/1800.07	v -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 x4107 -x4106 -x4105 
1800.05/1800.07	v -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 
1800.05/1800.07	v -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 
1800.05/1800.07	v -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 x4059 x4058 x4057 x4056 -x4055 -x4054 -x4053 -x4052 -x4051 
1800.05/1800.07	v x4050 -x4049 -x4048 -x4047 -x4046 -x4045 x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 x4035 -x4034 -x4033 
1800.05/1800.07	v -x4032 x4031 x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 
1800.05/1800.07	v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 
1800.05/1800.07	v x3996 x3995 x3994 x3993 x3992 x3991 x3990 -x3989 -x3988 -x3987 -x3986 x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 
1800.05/1800.07	v -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 
1800.05/1800.07	v -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 x3951 x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 
1800.05/1800.07	v -x3941 -x3940 -x3939 x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 
1800.05/1800.07	v -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 
1800.05/1800.07	v -x3905 -x3904 -x3903 x3902 x3901 -x3900 -x3899 -x3898 -x3897 x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 x3889 x3888 -x3887 
1800.05/1800.07	v x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 
1800.05/1800.07	v -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 x3860 x3859 x3858 x3857 x3856 x3855 x3854 -x3853 -x3852 -x3851 -x3850 
1800.05/1800.07	v x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 
1800.05/1800.07	v -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 
1800.05/1800.07	v -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 x3802 x3801 -x3800 -x3799 -x3798 -x3797 -x3796 
1800.05/1800.07	v -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 
1800.05/1800.07	v x3777 x3776 x3775 x3774 -x3773 -x3772 -x3771 -x3770 x3769 -x3768 -x3767 -x3766 -x3765 x3764 -x3763 -x3762 -x3761 -x3760 
1800.05/1800.07	v -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 x3753 x3752 -x3751 -x3750 x3749 x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 
1800.05/1800.07	v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 
1800.05/1800.07	v -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 x3716 x3715 x3714 x3713 x3712 x3711 x3710 x3709 x3708 x3707 -x3706 -x3705 -x3704 
1800.05/1800.07	v -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 
1800.05/1800.07	v -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 
1800.05/1800.07	v -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 
1800.05/1800.07	v -x3650 -x3649 -x3648 -x3647 x3646 -x3645 -x3644 -x3643 -x3642 x3641 -x3640 x3639 x3638 -x3637 -x3636 -x3635 -x3634 -x3633 x3632 
1800.05/1800.07	v -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 
1800.05/1800.07	v -x3613 -x3612 -x3611 -x3610 x3609 x3608 x3607 x3606 x3605 x3604 x3603 x3602 x3601 x3600 x3599 x3598 -x3597 -x3596 -x3595 
1800.05/1800.07	v -x3594 x3593 x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 
1800.05/1800.07	v -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 
1800.05/1800.07	v -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 
1800.05/1800.07	v -x3539 -x3538 x3537 x3536 x3535 x3534 x3533 -x3532 -x3531 -x3530 x3529 x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 
1800.05/1800.07	v -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 x3510 x3509 x3508 x3507 -x3506 -x3505 -x3504 -x3503 
1800.05/1800.07	v -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 x3496 x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 
1800.05/1800.07	v -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 x3477 x3476 x3475 x3474 x3473 x3472 -x3471 x3470 x3469 -x3468 -x3467 -x3466 
1800.05/1800.07	v -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 x3456 x3455 x3454 x3453 x3452 x3451 -x3450 -x3449 -x3448 -x3447 
1800.05/1800.07	v -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 
1800.05/1800.07	v -x3428 x3427 x3426 -x3425 -x3424 -x3423 -x3422 -x3421 x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 
1800.05/1800.07	v -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 
1800.05/1800.07	v -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 
1800.05/1800.07	v -x3374 -x3373 x3372 x3371 x3370 x3369 x3368 x3367 x3366 x3365 x3364 -x3363 -x3362 -x3361 x3360 -x3359 -x3358 -x3357 x3356 
1800.05/1800.07	v -x3355 x3354 x3353 x3352 x3351 x3350 x3349 x3348 x3347 x3346 -x3345 -x3344 -x3343 -x3342 -x3341 x3340 -x3339 -x3338 -x3337 
1800.05/1800.07	v -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 
1800.05/1800.07	v -x3318 -x3317 -x3316 -x3315 -x3314 x3313 x3312 x3311 x3310 x3309 x3308 x3307 -x3306 x3305 -x3304 -x3303 -x3302 -x3301 -x3300 
1800.05/1800.07	v -x3299 -x3298 -x3297 x3296 x3295 x3294 x3293 x3292 x3291 x3290 -x3289 -x3288 -x3287 -x3286 -x3285 x3284 -x3283 -x3282 -x3281 
1800.05/1800.07	v -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 
1800.05/1800.07	v -x3262 -x3261 -x3260 x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 
1800.05/1800.07	v -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 x3236 x3235 x3234 x3233 x3232 x3231 x3230 x3229 x3228 -x3227 -x3226 
1800.05/1800.07	v -x3225 -x3224 -x3223 -x3222 x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 
1800.05/1800.07	v -x3206 x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 x3197 x3196 x3195 x3194 x3193 x3192 x3191 x3190 x3189 -x3188 
1800.05/1800.07	v -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 x3181 x3180 x3179 x3178 x3177 x3176 x3175 x3174 -x3173 -x3172 -x3171 x3170 -x3169 
1800.05/1800.07	v -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 x3162 x3161 x3160 x3159 x3158 x3157 x3156 x3155 x3154 -x3153 -x3152 -x3151 -x3150 
1800.05/1800.07	v x3149 -x3148 x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 x3140 -x3139 -x3138 -x3137 x3136 -x3135 -x3134 -x3133 -x3132 -x3131 
1800.05/1800.07	v -x3130 x3129 x3128 x3127 x3126 x3125 x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 
1800.05/1800.07	v x3112 -x3111 -x3110 x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 x3098 x3097 -x3096 x3095 x3094 
1800.05/1800.07	v x3093 -x3092 -x3091 -x3090 -x3089 -x3088 x3087 x3086 x3085 x3084 x3083 x3082 x3081 x3080 -x3079 x3078 -x3077 -x3076 -x3075 
1800.05/1800.07	v -x3074 x3073 x3072 -x3071 -x3070 -x3069 -x3068 x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 x3057 x3056 
1800.05/1800.07	v x3055 x3054 x3053 x3052 -x3051 -x3050 x3049 -x3048 -x3047 -x3046 x3045 -x3044 -x3043 -x3042 x3041 -x3040 -x3039 -x3038 -x3037 
1800.05/1800.07	v -x3036 -x3035 x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 x3026 x3025 x3024 x3023 x3022 x3021 x3020 x3019 x3018 
1800.05/1800.07	v -x3017 -x3016 -x3015 -x3014 -x3013 x3012 x3011 x3010 x3009 x3008 x3007 -x3006 -x3005 -x3004 x3003 -x3002 -x3001 -x3000 x2999 
1800.05/1800.07	v -x2998 x2997 x2996 x2995 x2994 -x2993 x2992 -x2991 -x2990 -x2989 -x2988 x2987 -x2986 -x2985 -x2984 x2983 -x2982 -x2981 -x2980 
1800.05/1800.07	v -x2979 -x2978 -x2977 -x2976 x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 
1800.05/1800.07	v x2961 x2960 x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 
1800.05/1800.07	v -x2943 x2942 -x2941 -x2940 x2939 -x2938 -x2937 -x2936 x2935 -x2934 -x2933 x2932 -x2931 -x2930 x2929 -x2928 -x2927 -x2926 x2925 
1800.05/1800.07	v -x2924 -x2923 -x2922 -x2921 -x2920 x2919 -x2918 -x2917 x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 x2908 -x2907 
1800.05/1800.07	v -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 
1800.05/1800.07	v x2888 x2887 -x2886 x2885 x2884 x2883 -x2882 x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 
1800.05/1800.07	v -x2869 -x2868 -x2867 -x2866 -x2865 x2864 x2863 x2862 x2861 -x2860 -x2859 -x2858 x2857 x2856 x2855 x2854 -x2853 -x2852 -x2851 
1800.05/1800.07	v -x2850 -x2849 -x2848 x2847 x2846 x2845 x2844 x2843 x2842 x2841 x2840 x2839 x2838 x2837 x2836 x2835 -x2834 -x2833 -x2832 
1800.05/1800.07	v -x2831 -x2830 x2829 -x2828 -x2827 -x2826 x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 
1800.05/1800.07	v -x2812 -x2811 x2810 -x2809 -x2808 x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 x2796 -x2795 
1800.05/1800.07	v -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 
1800.05/1800.07	v -x2776 x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 
1800.05/1800.07	v -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 x2742 x2741 
1800.05/1800.07	v -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 
1800.05/1800.07	v -x2722 x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 
1800.05/1800.07	v -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 
1800.05/1800.07	v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 
1800.05/1800.07	v -x2669 -x2668 -x2667 -x2666 x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 x2653 x2652 x2651 
1800.05/1800.07	v x2650 x2649 -x2648 -x2647 -x2646 x2645 -x2644 -x2643 x2642 -x2641 -x2640 -x2639 -x2638 x2637 -x2636 -x2635 -x2634 -x2633 
1800.05/1800.07	v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 
1800.05/1800.07	v -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 
1800.05/1800.07	v -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 
1800.05/1800.07	v x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 
1800.05/1800.07	v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 
1800.05/1800.07	v -x2542 -x2541 x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 x2525 
1800.05/1800.07	v -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 
1800.05/1800.07	v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 
1800.05/1800.07	v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 x2472 -x2471 
1800.05/1800.07	v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 
1800.05/1800.07	v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 x2438 -x2437 -x2436 -x2435 
1800.05/1800.07	v x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 
1800.05/1800.07	v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 x2408 x2407 x2406 -x2405 -x2404 -x2403 -x2402 -x2401 x2400 -x2399 
1800.05/1800.07	v -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 x2391 x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 
1800.05/1800.07	v -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 x2368 x2367 x2366 x2365 x2364 x2363 -x2362 
1800.05/1800.07	v x2361 -x2360 -x2359 x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 
1800.05/1800.07	v -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 
1800.05/1800.07	v -x2325 -x2324 x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 
1800.05/1800.07	v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 x2298 x2297 x2296 x2295 -x2294 -x2293 -x2292 x2291 x2290 x2289 
1800.05/1800.07	v -x2288 -x2287 x2286 -x2285 -x2284 x2283 x2282 x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 x2272 -x2271 -x2270 
1800.05/1800.07	v -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 
1800.05/1800.07	v -x2252 -x2251 -x2250 -x2249 x2248 x2247 x2246 x2245 -x2244 -x2243 -x2242 x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 x2234 
1800.05/1800.07	v -x2233 x2232 -x2231 -x2230 -x2229 -x2228 x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 
1800.05/1800.07	v -x2215 -x2214 -x2213 -x2212 -x2211 x2210 -x2209 -x2208 -x2207 x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 
1800.05/1800.07	v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 x2186 x2185 x2184 -x2183 -x2182 -x2181 x2180 -x2179 
1800.05/1800.07	v -x2178 -x2177 -x2176 -x2175 -x2174 x2173 -x2172 x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 
1800.05/1800.07	v -x2160 -x2159 -x2158 x2157 x2156 x2155 x2154 x2153 x2152 x2151 x2150 x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 
1800.05/1800.07	v -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 x2126 x2125 x2124 
1800.05/1800.07	v -x2123 x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 
1800.05/1800.07	v -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 
1800.05/1800.07	v -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 x2078 x2077 x2076 x2075 x2074 x2073 -x2072 -x2071 -x2070 x2069 
1800.05/1800.07	v -x2068 -x2067 x2066 -x2065 x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 
1800.05/1800.07	v x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 
1800.05/1800.07	v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 x2024 x2023 x2022 -x2021 -x2020 x2019 -x2018 -x2017 -x2016 x2015 -x2014 
1800.05/1800.07	v -x2013 -x2012 -x2011 -x2010 -x2009 x2008 x2007 x2006 x2005 x2004 x2003 x2002 x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 
1800.05/1800.07	v x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 x1980 -x1979 -x1978 -x1977 
1800.05/1800.07	v -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 x1959 
1800.05/1800.07	v x1958 x1957 x1956 x1955 x1954 x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 x1946 -x1945 -x1944 x1943 x1942 x1941 x1940 x1939 
1800.05/1800.07	v -x1938 -x1937 -x1936 x1935 -x1934 -x1933 x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 
1800.05/1800.07	v -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 x1911 x1910 x1909 x1908 x1907 -x1906 x1905 -x1904 -x1903 -x1902 
1800.05/1800.07	v -x1901 -x1900 x1899 -x1898 x1897 x1896 x1895 x1894 x1893 x1892 x1891 x1890 -x1889 x1888 -x1887 -x1886 x1885 -x1884 -x1883 -x1882 
1800.05/1800.07	v -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 x1864 
1800.05/1800.07	v x1863 x1862 x1861 x1860 x1859 x1858 -x1857 -x1856 x1855 -x1854 -x1853 -x1852 x1851 -x1850 -x1849 x1848 -x1847 -x1846 -x1845 
1800.05/1800.07	v -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 x1830 -x1829 x1828 x1827 
1800.05/1800.07	v x1826 -x1825 -x1824 -x1823 -x1822 x1821 x1820 x1819 x1818 x1817 x1816 x1815 x1814 -x1813 -x1812 -x1811 -x1810 -x1809 x1808 x1807 
1800.05/1800.07	v x1806 -x1805 -x1804 x1803 -x1802 -x1801 -x1800 x1799 -x1798 -x1797 -x1796 -x1795 x1794 -x1793 x1792 x1791 x1790 -x1789 -x1788 
1800.05/1800.07	v -x1787 -x1786 -x1785 -x1784 x1783 -x1782 -x1781 -x1780 x1779 x1778 x1777 -x1776 -x1775 x1774 -x1773 -x1772 -x1771 x1770 
1800.05/1800.07	v -x1769 -x1768 x1767 x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 x1755 x1754 x1753 x1752 x1751 
1800.05/1800.07	v x1750 x1749 x1748 x1747 -x1746 -x1745 -x1744 -x1743 x1742 x1741 x1740 -x1739 -x1738 -x1737 x1736 -x1735 -x1734 x1733 -x1732 
1800.05/1800.07	v -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 x1723 -x1722 x1721 -x1720 -x1719 -x1718 x1717 -x1716 -x1715 -x1714 -x1713 
1800.05/1800.07	v -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 x1706 -x1705 -x1704 x1703 x1702 -x1701 x1700 -x1699 -x1698 -x1697 -x1696 -x1695 
1800.05/1800.07	v -x1694 -x1693 -x1692 x1691 x1690 -x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 -x1682 -x1681 -x1680 x1679 x1678 x1677 x1676 
1800.05/1800.07	v -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 x1669 x1668 x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 x1658 
1800.05/1800.07	v -x1657 -x1656 -x1655 -x1654 -x1653 x1652 x1651 -x1650 -x1649 -x1648 x1647 x1646 x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 
1800.05/1800.07	v -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 
1800.05/1800.07	v -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 x1603 
1800.05/1800.07	v -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 x1591 -x1590 -x1589 -x1588 -x1587 -x1586 x1585 
1800.05/1800.07	v -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 x1577 x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 
1800.05/1800.07	v -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 
1800.05/1800.07	v -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 x1537 x1536 x1535 x1534 x1533 x1532 -x1531 -x1530 
1800.05/1800.07	v -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 x1514 -x1513 -x1512 
1800.05/1800.07	v -x1511 -x1510 x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 
1800.05/1800.07	v -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 
1800.05/1800.07	v -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 
1800.05/1800.07	v -x1457 x1456 x1455 -x1454 -x1453 -x1452 -x1451 x1450 x1449 x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 
1800.05/1800.07	v -x1439 -x1438 -x1437 x1436 x1435 -x1434 -x1433 -x1432 -x1431 x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 
1800.05/1800.07	v -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 
1800.05/1800.07	v -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 x1397 -x1396 -x1395 -x1394 -x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 
1800.05/1800.07	v -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 x1373 x1372 -x1371 -x1370 -x1369 x1368 x1367 
1800.05/1800.07	v x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 x1358 x1357 -x1356 x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 
1800.05/1800.07	v -x1348 x1347 -x1346 -x1345 x1344 -x1343 x1342 x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 
1800.05/1800.07	v -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 
1800.05/1800.07	v -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 x1301 x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 
1800.05/1800.07	v x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 
1800.05/1800.07	v -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 
1800.05/1800.07	v x1257 -x1256 -x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 x1241 x1240 
1800.05/1800.07	v x1239 -x1238 -x1237 x1236 -x1235 x1234 -x1233 -x1232 x1231 -x1230 -x1229 -x1228 x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 
1800.05/1800.07	v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 x1206 -x1205 -x1204 -x1203 
1800.05/1800.07	v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 x1196 x1195 x1194 x1193 x1192 -x1191 -x1190 -x1189 x1188 -x1187 -x1186 x1185 x1184 
1800.05/1800.07	v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 x1170 -x1169 -x1168 -x1167 -x1166 
1800.05/1800.07	v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155 -x1154 x1153 x1152 x1151 -x1150 -x1149 -x1148 -x1147 
1800.05/1800.07	v x1146 x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 
1800.05/1800.07	v -x1128 -x1127 -x1126 -x1125 x1124 x1123 x1122 x1121 x1120 x1119 x1118 x1117 -x1116 -x1115 -x1114 x1113 x1112 x1111 -x1110 
1800.05/1800.07	v -x1109 -x1108 -x1107 x1106 -x1105 x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 x1092 
1800.05/1800.07	v -x1091 -x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 x1078 -x1077 -x1076 -x1075 -x1074 x1073 
1800.05/1800.07	v -x1072 x1071 x1070 -x1069 -x1068 x1067 -x1066 -x1065 -x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 
1800.05/1800.07	v -x1054 -x1053 -x1052 -x1051 -x1050 x1049 -x1048 -x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 
1800.05/1800.07	v -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 x1023 -x1022 -x1021 -x1020 -x1019 
1800.05/1800.07	v -x1018 -x1017 x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 -x1000 
1800.05/1800.07	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 x981 x980 -x979 
1800.05/1800.07	v -x978 x977 -x976 -x975 -x974 x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965 x964 -x963 -x962 -x961 x960 x959 -x958 -x957 
1800.05/1800.07	v -x956 x955 -x954 -x953 -x952 -x951 x950 -x949 -x948 -x947 x946 -x945 -x944 -x943 x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 
1800.05/1800.07	v -x934 -x933 -x932 -x931 -x930 -x929 x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 x920 x919 -x918 -x917 -x916 -x915 x914 
1800.05/1800.07	v -x913 -x912 -x911 x910 x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 x896 x895 x894 x893 x892 
1800.05/1800.07	v x891 x890 -x889 -x888 -x887 x886 x885 x884 x883 x882 x881 x880 x879 -x878 x877 -x876 -x875 x874 x873 -x872 -x871 -x870 x869 -x868 
1800.05/1800.07	v -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 x855 x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 
1800.05/1800.07	v x846 -x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 
1800.05/1800.07	v -x825 -x824 -x823 -x822 -x821 -x820 x819 x818 x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 x806 x805 x804 
1800.05/1800.07	v x803 x802 -x801 -x800 x799 x798 x797 x796 x795 x794 x793 -x792 -x791 -x790 x789 -x788 -x787 x786 -x785 -x784 -x783 x782 -x781 
1800.05/1800.07	v -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 x762 -x761 -x760 
1800.05/1800.07	v -x759 -x758 -x757 x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 x746 x745 x744 x743 -x742 -x741 -x740 -x739 -x738 
1800.05/1800.07	v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 
1800.05/1800.07	v -x716 -x715 -x714 x713 x712 -x711 -x710 -x709 x708 -x707 -x706 -x705 x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 
1800.05/1800.07	v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 
1800.05/1800.07	v x674 -x673 x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 x655 -x654 x653 
1800.05/1800.07	v x652 -x651 -x650 x649 -x648 x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 -x639 x638 x637 -x636 x635 -x634 -x633 x632 -x631 
1800.05/1800.07	v -x630 -x629 x628 x627 x626 x625 x624 x623 -x622 x621 -x620 x619 x618 -x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 x609 -x608 
1800.05/1800.07	v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 
1800.05/1800.07	v -x586 -x585 x584 -x583 -x582 -x581 x580 -x579 -x578 -x577 -x576 x575 -x574 x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 -x565 
1800.05/1800.07	v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 x546 x545 x544 
1800.05/1800.07	v -x543 -x542 -x541 x540 x539 -x538 -x537 -x536 x535 x534 x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 
1800.05/1800.07	v -x521 -x520 -x519 -x518 x517 -x516 x515 x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 x500 
1800.05/1800.07	v -x499 -x498 -x497 x496 -x495 x494 -x493 -x492 -x491 x490 x489 x488 x487 x486 -x485 x484 x483 x482 x481 -x480 x479 -x478 -x477 
1800.05/1800.07	v -x476 x475 x474 x473 -x472 -x471 -x470 -x469 -x468 x467 -x466 -x465 -x464 -x463 x462 x461 x460 -x459 x458 -x457 -x456 -x455 
1800.05/1800.07	v -x454 x453 -x452 -x451 -x450 x449 -x448 x447 x446 x445 x444 x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 x434 -x433 
1800.05/1800.07	v -x432 -x431 x430 -x429 -x428 x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 x415 -x414 -x413 -x412 -x411 
1800.05/1800.07	v x410 x409 x408 x407 x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 x396 x395 x394 -x393 -x392 -x391 -x390 x389 -x388 
1800.05/1800.07	v -x387 -x386 x385 x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 x372 -x371 -x370 -x369 -x368 -x367 
1800.05/1800.07	v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 x353 x352 x351 x350 x349 -x348 -x347 x346 x345 
1800.05/1800.07	v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 x335 x334 x333 -x332 x331 x330 x329 x328 x327 -x326 -x325 -x324 -x323 x322 
1800.05/1800.07	v -x321 -x320 -x319 x318 x317 -x316 -x315 -x314 -x313 x312 x311 x310 x309 x308 -x307 x306 x305 x304 x303 -x302 -x301 x300 x299 
1800.05/1800.07	v x298 x297 x296 x295 x294 x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 
1800.05/1800.07	v -x276 -x275 -x274 x273 -x272 x271 x270 x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 x258 -x257 -x256 -x255 
1800.05/1800.07	v -x254 -x253 x252 -x251 -x250 x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 
1800.05/1800.07	v -x233 -x232 -x231 -x230 x229 -x228 -x227 x226 -x225 -x224 -x223 x222 x221 x220 x219 x218 x217 x216 -x215 x214 -x213 -x212 x211 
1800.05/1800.07	v -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 x199 x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 
1800.05/1800.07	v x188 x187 x186 x185 x184 x183 x182 x181 -x180 -x179 -x178 -x177 x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 
1800.05/1800.07	v -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 x156 -x155 -x154 x153 x152 -x151 -x150 -x149 x148 x147 x146 x145 -x144 
1800.05/1800.07	v x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 
1800.05/1800.07	v -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 x104 x103 x102 x101 
1800.05/1800.07	v x100 x99 -x98 -x97 -x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 -x86 x85 -x84 x83 x82 -x81 -x80 -x79 -x78 -x77 x76 x75 -x74 -x73 
1800.05/1800.07	v -x72 x71 -x70 -x69 x68 -x67 -x66 x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 x54 x53 x52 x51 x50 -x49 x48 x47 x46 -x45 
1800.05/1800.07	v x44 -x43 x42 -x41 x40 -x39 x38 -x37 -x36 -x35 x34 -x33 x32 -x31 x30 x29 x28 -x27 -x26 -x25 -x24 x23 x22 x21 x20 x19 -x18 
1800.05/1800.07	v -x17 x16 x15 -x14 -x13 x12 x11 -x10 -x9 x8 x7 -x6 -x5 x4 x3 -x2 -x1 
1800.05/1800.07	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.07	c Total Time         :    1800.05
1800.05/1800.07	c   solving          :    1800.05
1800.05/1800.07	c   presolving       :       8.36 (included in solving)
1800.05/1800.07	c   reading          :       0.13 (included in solving)
1800.05/1800.07	c Original Problem   :
1800.05/1800.07	c   Problem name     : HOME/instance-3447330-1307899276.wbo
1800.05/1800.07	c   Variables        : 12551 (12551 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.07	c   Constraints      : 18059 initial, 18059 maximal
1800.05/1800.07	c Presolved Problem  :
1800.05/1800.07	c   Problem name     : t_HOME/instance-3447330-1307899276.wbo
1800.05/1800.07	c   Variables        : 18476 (12346 binary, 0 integer, 6130 implicit integer, 0 continuous)
1800.05/1800.07	c   Constraints      : 23789 initial, 30735 maximal
1800.05/1800.07	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.05/1800.07	c   trivial          :       0.01          0          0          0          0          0          0          0          0          0
1800.05/1800.07	c   dualfix          :       0.01         57          0          0          0          0          0          0          0          0
1800.05/1800.07	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.07	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.07	c   implics          :       0.01          0        135          0          0          0          0          0          0          0
1800.05/1800.07	c   probing          :       8.03          3         10          0          0          0          0          0          0          0
1800.05/1800.07	c   varbound         :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.07	c   knapsack         :       0.01          0          0          0          0          0          0          0          0          0
1800.05/1800.07	c   setppc           :       0.01          0          0          0          0          0         19          0          0          0
1800.05/1800.07	c   linear           :       0.15         27          2          0       6158          0        377          0        390        792
1800.05/1800.07	c   indicator        :       0.00          0          0          0          0          0         29          0          0          0
1800.05/1800.07	c   logicor          :       0.03          0          0          0          0          0          4          0          0          0
1800.05/1800.07	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.07	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.05/1800.07	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.07	c   integral         :          0          0          0      24240          0        602          0          0        530          0          0      46996
1800.05/1800.07	c   varbound         :          0+         6     174878        451          0          0          0          0        215       1124          0          0
1800.05/1800.07	c   knapsack         :        528          6     182967          1          0        599       5102        494      60985       1016          0          0
1800.05/1800.07	c   setppc           :       7339          6     182344          1          0        595       1580          0     164734          0          0          0
1800.05/1800.07	c   linear           :       6130          6     182469          1          0        595         95         13      15149          0          0          0
1800.05/1800.07	c   indicator        :       6130          0     182855        451          0        595          0          0       9697          0          0          0
1800.05/1800.07	c   logicor          :       3662+         6      99507          1          0         99       1018         29      30236          0          0          0
1800.05/1800.07	c   bounddisjunction :          0+         0       3985          0          0          0          4          2        246          0          0          0
1800.05/1800.07	c   countsols        :          0          0          0          1          0        101          0          0          0          0          0          0
1800.05/1800.07	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.05/1800.07	c   integral         :     412.56       0.00       0.00     412.50       0.00       0.06       0.00
1800.05/1800.07	c   varbound         :      19.46       0.01      19.30       0.15       0.00       0.00       0.00
1800.05/1800.07	c   knapsack         :       1.99       0.02       1.89       0.00       0.00       0.08       0.01
1800.05/1800.07	c   setppc           :      27.93       0.00      27.50       0.00       0.00       0.42       0.00
1800.05/1800.07	c   linear           :      17.19       0.00      16.42       0.00       0.00       0.77       0.00
1800.05/1800.07	c   indicator        :      42.99       0.00      39.05       0.46       0.00       3.47       0.00
1800.05/1800.07	c   logicor          :       0.73       0.00       0.62       0.00       0.00       0.11       0.00
1800.05/1800.07	c   bounddisjunction :       0.02       0.00       0.02       0.00       0.00       0.00       0.00
1800.05/1800.07	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.05/1800.07	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.05/1800.07	c   vbounds          :        388         70          0         57
1800.05/1800.07	c   rootredcost      :          1          0          0          0
1800.05/1800.07	c   pseudoobj        :     174878          0          0          0
1800.05/1800.07	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.05/1800.07	c   vbounds          :       0.57       0.57       0.00
1800.05/1800.07	c   rootredcost      :       0.06       0.06       0.00
1800.05/1800.07	c   pseudoobj        :      26.24      26.24       0.00
1800.05/1800.07	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.07	c   propagation      :       0.01        538        538       1653       13.2         61        8.2          -
1800.05/1800.07	c   infeasible LP    :       1.16        596        596        666        6.2          3       10.7          0
1800.05/1800.07	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.07	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.07	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.07	c   applied globally :          -          -          -       1852        9.9          -          -          -
1800.05/1800.07	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.07	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.07	c   cut pool         :       0.00          5          -          -        363          -    (maximal pool size: 2741)
1800.05/1800.07	c   redcost          :      18.14      23946          0          0          0          0
1800.05/1800.07	c   impliedbounds    :       0.01          6          0          0        198          0
1800.05/1800.07	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.07	c   gomory           :       3.56          6          0          0       3000          0
1800.05/1800.07	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.07	c   closecuts        :       0.00          0          0          0          0          0
1800.05/1800.07	c   strongcg         :       2.67          6          0          0       3000          0
1800.05/1800.07	c   cmir             :       1.00          6          0          0          0          0
1800.05/1800.07	c   flowcover        :       2.00          6          0          0       1190          0
1800.05/1800.07	c   clique           :       0.17          6          0          0         38          0
1800.05/1800.07	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.07	c   mcf              :       0.11          1          0          0          0          0
1800.05/1800.07	c   oddcycle         :       0.00          0          0          0          0          0
1800.05/1800.07	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.07	c Pricers            :       Time      Calls       Vars
1800.05/1800.07	c   problem variables:       0.00          0          0
1800.05/1800.07	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.07	c   relpscost        :     412.46      23789          0        530          0          0      46996
1800.05/1800.07	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.07	c   inference        :       0.00          0          0          0          0          0          0
1800.05/1800.07	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.07	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.07	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.07	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.07	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.07	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.07	c   LP solutions     :       0.00          -          1
1800.05/1800.07	c   pseudo solutions :       0.00          -          0
1800.05/1800.07	c   oneopt           :       0.36          2          0
1800.05/1800.07	c   crossover        :       1.87          8          0
1800.05/1800.07	c   guideddiving     :     115.10         65          0
1800.05/1800.07	c   linesearchdiving :     127.25        101          0
1800.05/1800.07	c   trivial          :       0.02          2          0
1800.05/1800.07	c   shiftandpropagate:       1.25          1          0
1800.05/1800.07	c   simplerounding   :       0.10      22844          0
1800.05/1800.07	c   zirounding       :       1.15       1000          0
1800.05/1800.07	c   rounding         :       1.67       2095          0
1800.05/1800.07	c   shifting         :       6.58        639          0
1800.05/1800.07	c   intshifting      :       0.00          0          0
1800.05/1800.07	c   twoopt           :       0.00          0          0
1800.05/1800.07	c   fixandinfer      :       0.00          0          0
1800.05/1800.07	c   feaspump         :       4.23          1          0
1800.05/1800.07	c   clique           :       0.00          0          0
1800.05/1800.07	c   coefdiving       :     106.48         38          0
1800.05/1800.07	c   pscostdiving     :      94.26         58          0
1800.05/1800.07	c   fracdiving       :     113.87         56          0
1800.05/1800.07	c   veclendiving     :      74.93         41          0
1800.05/1800.07	c   intdiving        :       0.00          0          0
1800.05/1800.07	c   actconsdiving    :       0.00          0          0
1800.05/1800.07	c   objpscostdiving  :      32.53          1          0
1800.05/1800.07	c   rootsoldiving    :       8.37          5          0
1800.05/1800.07	c   octane           :       0.00          0          0
1800.05/1800.07	c   rens             :       0.25          1          0
1800.05/1800.07	c   rins             :       0.00          0          0
1800.05/1800.07	c   localbranching   :       0.00          0          0
1800.05/1800.07	c   mutation         :       0.00          0          0
1800.05/1800.07	c   dins             :       0.00          0          0
1800.05/1800.07	c   vbounds          :       0.00          0          0
1800.05/1800.07	c   undercover       :       0.00          0          0
1800.05/1800.07	c   subnlp           :       0.01          0          0
1800.05/1800.07	c   trysol           :       1.26        461         99
1800.05/1800.07	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.07	c   primal LP        :       0.02          0          0       0.00       0.00
1800.05/1800.07	c   dual LP          :     493.14      23328     912692      39.12    1850.76
1800.05/1800.07	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.07	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.07	c   diving/probing LP:     440.27      39260     428646      10.92     973.61
1800.05/1800.07	c   strong branching :     406.65       9697     497987      51.35    1224.61
1800.05/1800.07	c     (at root node) :          -         27      11945     442.41          -
1800.05/1800.07	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.07	c B&B Tree           :
1800.05/1800.07	c   number of runs   :          1
1800.05/1800.07	c   nodes            :      23752
1800.05/1800.07	c   nodes (total)    :      23752
1800.05/1800.07	c   nodes left       :      23230
1800.05/1800.07	c   max depth        :        319
1800.05/1800.07	c   max depth (total):        319
1800.05/1800.07	c   backtracks       :        536 (2.3%)
1800.05/1800.07	c   delayed cutoffs  :         15
1800.05/1800.07	c   repropagations   :       4719 (2490 domain reductions, 4 cutoffs)
1800.05/1800.07	c   avg switch length:       3.04
1800.05/1800.07	c   switching time   :      12.55
1800.05/1800.07	c Solution           :
1800.05/1800.07	c   Solutions found  :        100 (2 improvements)
1800.05/1800.07	c   First Solution   : +3.09274000000000e+05   (in run 1, after 1 nodes, 9.73 seconds, depth 2003, found by <trysol>)
1800.05/1800.07	c   Primal Bound     : +5.62800000000000e+03   (in run 1, after 797 nodes, 307.79 seconds, depth 319, found by <relaxation>)
1800.05/1800.07	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.07	c   Gap              :   infinite
1800.05/1800.07	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.07	c   Root Iterations  :      27745
1800.24/1800.23	c Time complete: 1800.28.

Verifier Data 

OK	5626

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447330-1307899276/watcher-3447330-1307899276 -o /var/tmp/evaluation-result-3447330-1307899276/solver-3447330-1307899276 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447330-1307899276.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.00 1.93 2/177 24572
/proc/meminfo: memFree=10756968/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=10132 CPUtime=0 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 1525 0 0 0 0 0 0 0 25 0 1 0 980158208 10375168 1479 33554432000 4194304 9128323 140733879811072 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24572/statm: 2533 1480 399 1205 0 1324 0

[startup+0.015471 s]
/proc/loadavg: 2.06 2.00 1.93 2/177 24572
/proc/meminfo: memFree=10756968/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=11932 CPUtime=0.01 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 1968 0 0 0 1 0 0 0 25 0 1 0 980158208 12218368 1922 33554432000 4194304 9128323 140733879811072 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24572/statm: 2983 1922 399 1205 0 1774 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11932

[startup+0.100461 s]
/proc/loadavg: 2.06 2.00 1.93 2/177 24572
/proc/meminfo: memFree=10756968/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=23148 CPUtime=0.09 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 4776 0 0 0 9 0 0 0 25 0 1 0 980158208 23703552 4728 33554432000 4194304 9128323 140733879811072 18446744073709551615 4337627 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24572/statm: 5787 4728 399 1205 0 4578 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23148

[startup+0.300426 s]
/proc/loadavg: 2.06 2.00 1.93 2/177 24572
/proc/meminfo: memFree=10756968/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=83560 CPUtime=0.29 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 19308 0 0 0 28 1 0 0 25 0 1 0 980158208 85565440 19195 33554432000 4194304 9128323 140733879811072 18446744073709551615 5234236 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 20890 19195 525 1205 0 19681 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83560

[startup+0.700364 s]
/proc/loadavg: 2.06 2.00 1.93 2/177 24572
/proc/meminfo: memFree=10756968/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=93184 CPUtime=0.69 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 22592 0 0 0 68 1 0 0 25 0 1 0 980158208 95420416 21752 33554432000 4194304 9128323 140733879811072 18446744073709551615 5973112 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 23296 21752 569 1205 0 22087 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93184

[startup+1.50021 s]
/proc/loadavg: 2.06 2.00 1.93 3/178 24573
/proc/meminfo: memFree=10670740/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=95672 CPUtime=1.49 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 23214 0 0 0 148 1 0 0 25 0 1 0 980158208 97968128 22372 33554432000 4194304 9128323 140733879811072 18446744073709551615 5973112 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 23918 22372 567 1205 0 22709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95672

[startup+3.10091 s]
/proc/loadavg: 2.05 2.00 1.93 3/178 24573
/proc/meminfo: memFree=10668880/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=97372 CPUtime=3.09 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 23616 0 0 0 308 1 0 0 25 0 1 0 980158208 99708928 22774 33554432000 4194304 9128323 140733879811072 18446744073709551615 4207315 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 24343 22774 567 1205 0 23134 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97372

[startup+6.30033 s]
/proc/loadavg: 2.05 2.00 1.93 3/178 24573
/proc/meminfo: memFree=10663024/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=98336 CPUtime=6.29 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 23859 0 0 0 628 1 0 0 25 0 1 0 980158208 100696064 23017 33554432000 4194304 9128323 140733879811072 18446744073709551615 5973112 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 24584 23017 571 1205 0 23375 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 98336

[startup+12.7002 s]
/proc/loadavg: 2.04 2.00 1.93 3/178 24573
/proc/meminfo: memFree=10604264/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=160776 CPUtime=12.69 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 40786 0 0 0 1262 7 0 0 25 0 1 0 980158208 164634624 38423 33554432000 4194304 9128323 140733879811072 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 40194 38423 711 1205 0 38985 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 160776

[startup+25.5008 s]
/proc/loadavg: 2.04 2.00 1.93 3/178 24573
/proc/meminfo: memFree=10576496/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=176936 CPUtime=25.49 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 45936 0 0 0 2535 14 0 0 25 0 1 0 980158208 181182464 42167 33554432000 4194304 9128323 140733879811072 18446744073709551615 7312758 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 44234 42167 710 1205 0 43025 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 176936

[startup+51.1011 s]
/proc/loadavg: 2.02 2.00 1.93 3/178 24574
/proc/meminfo: memFree=10570936/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=181656 CPUtime=51.09 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 90943 0 0 0 5068 41 0 0 25 0 1 0 980158208 186015744 43263 33554432000 4194304 9128323 140733879811072 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 45414 43263 749 1205 0 44205 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 181656

[startup+102.307 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 24575
/proc/meminfo: memFree=10560428/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=185396 CPUtime=102.3 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 91866 0 0 0 10160 70 0 0 25 0 1 0 980158208 189845504 44186 33554432000 4194304 9128323 140733879811072 18446744073709551615 7315232 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 46349 44186 758 1205 0 45140 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 185396

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 24577
/proc/meminfo: memFree=10558620/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=187128 CPUtime=162.29 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 92330 0 0 0 16126 103 0 0 25 0 1 0 980158208 191619072 44650 33554432000 4194304 9128323 140733879811072 18446744073709551615 6505901 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 46782 44650 758 1205 0 45573 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 187128

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 24579
/proc/meminfo: memFree=10536972/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=192436 CPUtime=222.3 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 93546 0 0 0 22097 133 0 0 25 0 1 0 980158208 197054464 45866 33554432000 4194304 9128323 140733879811072 18446744073709551615 7343074 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 48109 45866 758 1205 0 46900 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 192436

[startup+282.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 24580
/proc/meminfo: memFree=10541620/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=193296 CPUtime=282.3 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 110291 0 0 0 28066 164 0 0 25 0 1 0 980158208 197935104 46230 33554432000 4194304 9128323 140733879811072 18446744073709551615 7267353 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 48324 46230 765 1205 0 47115 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 193296

[startup+342.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 24582
/proc/meminfo: memFree=10514412/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=215896 CPUtime=342.3 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 145062 0 0 0 34034 196 0 0 25 0 1 0 980158208 221077504 51791 33554432000 4194304 9128323 140733879811072 18446744073709551615 7192183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 53974 51791 760 1205 0 52765 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 215896

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24583
/proc/meminfo: memFree=10501308/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=228944 CPUtime=402.31 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 163469 0 0 0 40012 219 0 0 25 0 1 0 980158208 234438656 55026 33554432000 4194304 9128323 140733879811072 18446744073709551615 7184320 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 57236 55026 760 1205 0 56027 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 228944

[startup+462.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 24585
/proc/meminfo: memFree=10479428/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=250696 CPUtime=462.31 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 185708 0 0 0 45987 244 0 0 25 0 1 0 980158208 256712704 60488 33554432000 4194304 9128323 140733879811072 18446744073709551615 4683776 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 62674 60488 761 1205 0 61465 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 250696

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 24587
/proc/meminfo: memFree=10461980/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=268080 CPUtime=522.31 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 205098 0 0 0 51962 269 0 0 25 0 1 0 980158208 274513920 64819 33554432000 4194304 9128323 140733879811072 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 67020 64819 760 1205 0 65811 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 268080

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24588
/proc/meminfo: memFree=10450892/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=278992 CPUtime=582.31 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 207913 0 0 0 57939 292 0 0 25 0 1 0 980158208 285687808 67608 33554432000 4194304 9128323 140733879811072 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 69748 67608 760 1205 0 68539 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 278992

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 24596
/proc/meminfo: memFree=10385068/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=342684 CPUtime=882.32 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 248977 0 0 0 87805 427 0 0 25 0 1 0 980158208 350908416 83604 33554432000 4194304 9128323 140733879811072 18446744073709551615 6856704 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 85671 83604 762 1205 0 84462 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 342684

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24598
/proc/meminfo: memFree=10364784/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=349892 CPUtime=942.32 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 252100 0 0 0 93776 456 0 0 25 0 1 0 980158208 358289408 85420 33554432000 4194304 9128323 140733879811072 18446744073709551615 7363214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 87473 85420 761 1205 0 86264 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 349892

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 24599
/proc/meminfo: memFree=10356152/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=357792 CPUtime=1002.33 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 268909 0 0 0 99748 485 0 0 25 0 1 0 980158208 366379008 87552 33554432000 4194304 9128323 140733879811072 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 89448 87552 761 1205 0 88239 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 357792

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 24603
/proc/meminfo: memFree=10347644/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=364512 CPUtime=1062.32 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 275893 0 0 0 105722 510 0 0 25 0 1 0 980158208 373260288 89049 33554432000 4194304 9128323 140733879811072 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 91128 89049 761 1205 0 89919 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 364512

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24606
/proc/meminfo: memFree=10338328/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=372844 CPUtime=1122.32 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 278183 0 0 0 111698 534 0 0 25 0 1 0 980158208 381792256 91174 33554432000 4194304 9128323 140733879811072 18446744073709551615 6933421 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 93211 91174 810 1205 0 92002 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 372844

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24607
/proc/meminfo: memFree=10334168/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=378080 CPUtime=1182.33 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 281646 0 0 0 117675 558 0 0 25 0 1 0 980158208 387153920 92261 33554432000 4194304 9128323 140733879811072 18446744073709551615 7267311 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 94520 92261 809 1205 0 93311 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 378080

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24609
/proc/meminfo: memFree=10324936/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=385980 CPUtime=1242.33 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 283925 0 0 0 123659 574 0 0 25 0 1 0 980158208 395243520 94472 33554432000 4194304 9128323 140733879811072 18446744073709551615 7207341 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 96495 94472 761 1205 0 95286 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 385980

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24610
/proc/meminfo: memFree=10314216/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=396088 CPUtime=1302.33 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 290307 0 0 0 129634 599 0 0 25 0 1 0 980158208 405594112 97140 33554432000 4194304 9128323 140733879811072 18446744073709551615 7216720 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 99022 97140 761 1205 0 97813 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 396088

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 24612
/proc/meminfo: memFree=10308680/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=402380 CPUtime=1362.33 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 291668 0 0 0 135611 622 0 0 25 0 1 0 980158208 412037120 98501 33554432000 4194304 9128323 140733879811072 18446744073709551615 7184068 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 100595 98501 761 1205 0 99386 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 402380

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 24614
/proc/meminfo: memFree=10296056/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=414352 CPUtime=1422.34 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 297413 0 0 0 141588 646 0 0 25 0 1 0 980158208 424296448 101578 33554432000 4194304 9128323 140733879811072 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 103588 101578 762 1205 0 102379 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 414352

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 24615
/proc/meminfo: memFree=10291768/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=420524 CPUtime=1482.34 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 308603 0 0 0 147564 670 0 0 25 0 1 0 980158208 430616576 102647 33554432000 4194304 9128323 140733879811072 18446744073709551615 7262344 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 105131 102647 761 1205 0 103922 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 420524

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24617
/proc/meminfo: memFree=10283252/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=427592 CPUtime=1542.33 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 314792 0 0 0 153541 692 0 0 25 0 1 0 980158208 437854208 104868 33554432000 4194304 9128323 140733879811072 18446744073709551615 5605727 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 106898 104868 761 1205 0 105689 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 427592

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24618
/proc/meminfo: memFree=10278604/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=432652 CPUtime=1602.34 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 318324 0 0 0 159520 714 0 0 25 0 1 0 980158208 443035648 106130 33554432000 4194304 9128323 140733879811072 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 108163 106130 904 1205 0 106954 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 432652

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24659
/proc/meminfo: memFree=10724416/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=440272 CPUtime=1662.34 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 322758 0 0 0 165499 735 0 0 25 0 1 0 980158208 450838528 108009 33554432000 4194304 9128323 140733879811072 18446744073709551615 6712753 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 110068 108009 771 1205 0 108859 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 440272

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24661
/proc/meminfo: memFree=10699544/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=446476 CPUtime=1722.35 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 330962 0 0 0 171470 765 0 0 25 0 1 0 980158208 457191424 109549 33554432000 4194304 9128323 140733879811072 18446744073709551615 7366223 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 111619 109549 761 1205 0 110410 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 446476

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24662
/proc/meminfo: memFree=10644192/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=455724 CPUtime=1782.35 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 335878 0 0 0 177444 791 0 0 25 0 1 0 980158208 466661376 112055 33554432000 4194304 9128323 140733879811072 18446744073709551615 6651038 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 113931 112055 762 1205 0 112722 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 455724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24663
/proc/meminfo: memFree=10633516/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=457224 CPUtime=1800.05 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 335964 0 0 0 179207 798 0 0 25 0 1 0 980158208 468197376 112141 33554432000 4194304 9128323 140733879811072 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24572/statm: 114306 112141 762 1205 0 113097 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 457224

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24663
/proc/meminfo: memFree=10633516/32951124 swapFree=67056304/67111528
[pid=24572] ppid=24570 vsize=452500 CPUtime=1800.24 cores=1,3,5,7
/proc/24572/stat : 24572 (scip-2.0.1.4.li) R 24570 24572 24181 0 -1 4202496 335968 0 0 0 179226 798 0 0 25 0 1 0 980158208 463360000 110965 33554432000 4194304 9128323 140733879811072 18446744073709551615 6885402 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24572/statm: 113125 110965 766 1205 0 111916 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 452500

Child status: 0
Real time (s): 1800.24
CPU time (s): 1800.3
CPU user time (s): 1792.29
CPU system time (s): 8.00778
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 457224

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

runsolver used 2.91256 second user time and 6.80497 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-12 19:21:16
IDJOB=3447330
IDBENCH=79027
IDSOLVER=1944
FILE ID=node110/3447330-1307899276
RUNJOBID= node110-1307897326-24331
PBS_JOBID= 13559603
Free space on /var/tmp= 2868 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447330-1307899276/watcher-3447330-1307899276 -o /var/tmp/evaluation-result-3447330-1307899276/solver-3447330-1307899276 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447330-1307899276.wbo -t 1800 -m 15500

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

MD5SUM BENCH= d4513e3c50cc84c6f92da90cafb49221
RANDOM SEED=676754367

node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10757520 kB
Buffers:         41484 kB
Cached:       20961560 kB
SwapCached:       9144 kB
Active:        6191116 kB
Inactive:     15288144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10757520 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:           12436 kB
Writeback:           0 kB
AnonPages:      473308 kB
Mapped:          16380 kB
Slab:           649212 kB
PageTables:       5412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   680480 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2860 MiB
End job on node110 at 2011-06-12 19:51:18