Trace number 2692370

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1801.03 1800.99

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.153976
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

Solver Data 

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

Verifier Data 

OK	12632

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692370-1277914184/watcher-2692370-1277914184 -o /tmp/evaluation-result-2692370-1277914184/solver-2692370-1277914184 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692370-1277914184.wbo -t 1800 -m 3800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24884
/proc/meminfo: memFree=31279932/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=9316 CPUtime=0
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 1654 0 0 0 0 0 0 0 23 0 1 0 165010125 9539584 1573 4089446400 4194304 8223781 140736351769968 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24884/statm: 2329 1573 369 984 0 1342 0

[startup+0.0723669 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24884
/proc/meminfo: memFree=31279932/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=23220 CPUtime=0.06
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 5100 0 0 0 6 0 0 0 23 0 1 0 165010125 23777280 5019 4089446400 4194304 8223781 140736351769968 18446744073709551615 4680862 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24884/statm: 5805 5019 369 984 0 4818 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23220

[startup+0.10036 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24884
/proc/meminfo: memFree=31279932/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=27872 CPUtime=0.09
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 6291 0 0 0 9 0 0 0 23 0 1 0 165010125 28540928 6210 4089446400 4194304 8223781 140736351769968 18446744073709551615 5650616 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24884/statm: 6968 6210 369 984 0 5981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27872

[startup+0.300327 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24884
/proc/meminfo: memFree=31279932/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=84232 CPUtime=0.29
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 20145 0 0 0 27 2 0 0 23 0 1 0 165010125 86253568 19675 4089446400 4194304 8223781 140736351769968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 21058 19675 460 984 0 20071 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84232

[startup+0.700259 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24884
/proc/meminfo: memFree=31279932/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=98348 CPUtime=0.69
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 26692 0 0 0 60 9 0 0 25 0 1 0 165010125 100708352 23194 4089446400 4194304 8223781 140736351769968 18446744073709551615 6207138 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 24587 23194 501 984 0 23600 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 98348

[startup+1.50018 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 24886
/proc/meminfo: memFree=31187296/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=101060 CPUtime=1.49
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 27353 0 0 0 138 11 0 0 25 0 1 0 165010125 103485440 23855 4089446400 4194304 8223781 140736351769968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 25265 23855 501 984 0 24278 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101060

[startup+3.10084 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 24886
/proc/meminfo: memFree=31184568/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=102496 CPUtime=3.09
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 27716 0 0 0 295 14 0 0 25 0 1 0 165010125 104955904 24218 4089446400 4194304 8223781 140736351769968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 25624 24218 506 984 0 24637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102496

[startup+6.30027 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 24886
/proc/meminfo: memFree=31180700/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=104340 CPUtime=6.29
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 28189 0 0 0 609 20 0 0 25 0 1 0 165010125 106844160 24691 4089446400 4194304 8223781 140736351769968 18446744073709551615 5496930 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 26085 24691 506 984 0 25098 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104340

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 24886
/proc/meminfo: memFree=31148040/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=140428 CPUtime=12.69
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 47453 0 0 0 1219 50 0 0 25 0 1 0 165010125 143798272 32757 4089446400 4194304 8223781 140736351769968 18446744073709551615 5743084 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 35107 32757 625 984 0 34120 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 140428

[startup+25.5009 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 24886
/proc/meminfo: memFree=31146120/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=143828 CPUtime=25.49
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 93821 0 0 0 2475 74 0 0 25 0 1 0 165010125 147279872 33369 4089446400 4194304 8223781 140736351769968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 35957 33369 627 984 0 34970 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 143828

[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 24886
/proc/meminfo: memFree=31138804/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=142936 CPUtime=51.09
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 244696 0 0 0 4997 112 0 0 25 0 1 0 165010125 146366464 33204 4089446400 4194304 8223781 140736351769968 18446744073709551615 6569335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 35734 33204 627 984 0 34747 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 142936

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 24888
/proc/meminfo: memFree=31121060/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=147064 CPUtime=102.3
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 659840 0 0 0 10028 202 0 0 25 0 1 0 165010125 150593536 34151 4089446400 4194304 8223781 140736351769968 18446744073709551615 6569282 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 36766 34151 630 984 0 35779 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 147064

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24890
/proc/meminfo: memFree=31103048/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=147176 CPUtime=162.29
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 1165234 0 0 0 15922 307 0 0 25 0 1 0 165010125 150708224 34388 4089446400 4194304 8223781 140736351769968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 36794 34388 630 984 0 35807 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 147176

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24891
/proc/meminfo: memFree=31082820/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=150512 CPUtime=222.3
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 1615323 0 0 0 21815 415 0 0 25 0 1 0 165010125 154124288 35092 4089446400 4194304 8223781 140736351769968 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 37628 35092 631 984 0 36641 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 150512

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24892
/proc/meminfo: memFree=31066296/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=151624 CPUtime=282.29
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 2046176 0 0 0 27709 520 0 0 25 0 1 0 165010125 155262976 35397 4089446400 4194304 8223781 140736351769968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 37906 35397 631 984 0 36919 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 151624

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24894
/proc/meminfo: memFree=31043452/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=156640 CPUtime=342.3
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 2541343 0 0 0 33591 639 0 0 25 0 1 0 165010125 160399360 36659 4089446400 4194304 8223781 140736351769968 18446744073709551615 6448670 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 39160 36659 631 984 0 38173 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 156640

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24896
/proc/meminfo: memFree=30987512/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=195540 CPUtime=402.3
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 3537324 0 0 0 39418 812 0 0 25 0 1 0 165010125 200232960 46494 4089446400 4194304 8223781 140736351769968 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 48885 46494 632 984 0 47898 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 195540

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24898
/proc/meminfo: memFree=30943836/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=220676 CPUtime=462.3
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 4431114 0 0 0 45252 978 0 0 25 0 1 0 165010125 225972224 52770 4089446400 4194304 8223781 140736351769968 18446744073709551615 4965945 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 55169 52770 632 984 0 54182 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 220676

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24899
/proc/meminfo: memFree=30890488/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=252700 CPUtime=522.3
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 5158032 0 0 0 51111 1119 0 0 25 0 1 0 165010125 258764800 60606 4089446400 4194304 8223781 140736351769968 18446744073709551615 6568222 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 63175 60606 632 984 0 62188 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 252700

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24900
/proc/meminfo: memFree=30854996/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=263784 CPUtime=582.3
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 5959991 0 0 0 56961 1269 0 0 25 0 1 0 165010125 270114816 63578 4089446400 4194304 8223781 140736351769968 18446744073709551615 6505971 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 65946 63578 632 984 0 64959 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 263784

[startup+642.301 s]
/proc/loadavg: 2.06 2.00 2.00 3/179 24902
/proc/meminfo: memFree=30818496/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=278628 CPUtime=642.32
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 6631362 0 0 0 62821 1411 0 0 25 0 1 0 165010125 285315072 67311 4089446400 4194304 8223781 140736351769968 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24884/statm: 69657 67311 632 984 0 68670 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 278628

[startup+702.3 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25113
/proc/meminfo: memFree=31083996/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=413816 CPUtime=1002.31
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 10538555 0 0 0 98054 2177 0 0 25 0 1 0 165010125 423747584 101130 4089446400 4194304 8223781 140736351769968 18446744073709551615 6483747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 103454 101130 632 984 0 102467 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 413816

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25115
/proc/meminfo: memFree=31029756/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=438456 CPUtime=1062.32
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 11196578 0 0 0 103932 2300 0 0 25 0 1 0 165010125 448978944 107312 4089446400 4194304 8223781 140736351769968 18446744073709551615 6436781 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 109614 107312 632 984 0 108627 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 438456

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25116
/proc/meminfo: memFree=30967352/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=465392 CPUtime=1122.32
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 11835059 0 0 0 109810 2422 0 0 25 0 1 0 165010125 476561408 114071 4089446400 4194304 8223781 140736351769968 18446744073709551615 6514495 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 116348 114071 632 984 0 115361 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 465392

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25117
/proc/meminfo: memFree=30912748/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=489768 CPUtime=1182.32
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 12373509 0 0 0 115694 2538 0 0 25 0 1 0 165010125 501522432 120147 4089446400 4194304 8223781 140736351769968 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 122442 120147 632 984 0 121455 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 489768

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25119
/proc/meminfo: memFree=30853212/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=513136 CPUtime=1242.32
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 12923875 0 0 0 121577 2655 0 0 25 0 1 0 165010125 525451264 125959 4089446400 4194304 8223781 140736351769968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 128284 125959 632 984 0 127297 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 513136

[startup+1302.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 25121
/proc/meminfo: memFree=30797136/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=535364 CPUtime=1302.33
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 13647396 0 0 0 127436 2797 0 0 25 0 1 0 165010125 548212736 131561 4089446400 4194304 8223781 140736351769968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 133841 131561 632 984 0 132854 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 535364

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 25123
/proc/meminfo: memFree=30746880/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=555084 CPUtime=1362.32
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 14404810 0 0 0 133294 2938 0 0 25 0 1 0 165010125 568406016 136536 4089446400 4194304 8223781 140736351769968 18446744073709551615 6329774 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 138771 136536 632 984 0 137784 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 555084

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25124
/proc/meminfo: memFree=30693396/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=575884 CPUtime=1422.33
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 15152373 0 0 0 139152 3081 0 0 25 0 1 0 165010125 589705216 141728 4089446400 4194304 8223781 140736351769968 18446744073709551615 6162909 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 143971 141728 632 984 0 142984 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 575884

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25125
/proc/meminfo: memFree=30640020/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=595068 CPUtime=1482.32
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 15805403 0 0 0 145021 3211 0 0 25 0 1 0 165010125 609349632 146528 4089446400 4194304 8223781 140736351769968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 148767 146528 632 984 0 147780 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 595068

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25127
/proc/meminfo: memFree=30585804/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=616428 CPUtime=1542.33
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 16413489 0 0 0 150896 3337 0 0 25 0 1 0 165010125 631222272 151912 4089446400 4194304 8223781 140736351769968 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 154107 151912 632 984 0 153120 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 616428

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25129
/proc/meminfo: memFree=30525640/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=645468 CPUtime=1602.33
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 16949561 0 0 0 156776 3457 0 0 25 0 1 0 165010125 660959232 159087 4089446400 4194304 8223781 140736351769968 18446744073709551615 6592233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 161367 159087 632 984 0 160380 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 645468

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25131
/proc/meminfo: memFree=30464480/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=674104 CPUtime=1662.32
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 17463253 0 0 0 162658 3574 0 0 25 0 1 0 165010125 690282496 166343 4089446400 4194304 8223781 140736351769968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 168526 166343 632 984 0 167539 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 674104

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25132
/proc/meminfo: memFree=30411880/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=694140 CPUtime=1722.33
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 18046935 0 0 0 168534 3699 0 0 25 0 1 0 165010125 710799360 171307 4089446400 4194304 8223781 140736351769968 18446744073709551615 6446955 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 173535 171307 632 984 0 172548 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 694140

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25133
/proc/meminfo: memFree=30354800/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=718172 CPUtime=1782.33
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 18782661 0 0 0 174397 3836 0 0 25 0 1 0 165010125 735408128 177294 4089446400 4194304 8223781 140736351769968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 179543 177294 632 984 0 178556 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 718172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25134
/proc/meminfo: memFree=30336196/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=725028 CPUtime=1800.04
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 18989492 0 0 0 176132 3872 0 0 25 0 1 0 165010125 742428672 179112 4089446400 4194304 8223781 140736351769968 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24884/statm: 181257 179112 632 984 0 180270 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 725028

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

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25135
/proc/meminfo: memFree=30336188/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=725028 CPUtime=1800.64
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 18989492 0 0 0 176192 3872 0 0 25 0 1 0 165010125 742428672 179112 4089446400 4194304 8223781 140736351769968 18446744073709551615 4241122 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24884/statm: 181257 179112 632 984 0 180270 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 725028

[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25135
/proc/meminfo: memFree=30336188/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=723892 CPUtime=1800.83
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 18989526 0 0 0 176211 3872 0 0 25 0 1 0 165010125 741265408 178915 4089446400 4194304 8223781 140736351769968 18446744073709551615 4609312 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24884/statm: 180973 178915 634 984 0 179986 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 723892

[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25135
/proc/meminfo: memFree=30336188/32950940 swapFree=67111528/67111528
[pid=24884] ppid=24882 vsize=266824 CPUtime=1800.94
/proc/24884/stat : 24884 (pbscip.linux.x8) R 24882 24884 24697 0 -1 4202496 18989526 0 0 0 176220 3874 0 0 25 0 1 0 165010125 273227776 64654 4089446400 4194304 8223781 140736351769968 18446744073709551615 5950410 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24884/statm: 66706 64654 634 984 0 65719 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 266824

Child status: 0
Real time (s): 1800.99
CPU time (s): 1801.03
CPU user time (s): 1762.28
CPU system time (s): 38.7521
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 725232

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

runsolver used 2.57061 second user time and 5.9261 second system time

The end

Launcher Data 

Begin job on node117 at 2010-06-30 18:09:44
IDJOB=2692370
IDBENCH=79027
IDSOLVER=1204
FILE ID=node117/2692370-1277914184
PBS_JOBID= 11197292
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692370-1277914184/watcher-2692370-1277914184 -o /tmp/evaluation-result-2692370-1277914184/solver-2692370-1277914184 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692370-1277914184.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d4513e3c50cc84c6f92da90cafb49221
RANDOM SEED=1568446651

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      31280584 kB
Buffers:        198048 kB
Cached:         856780 kB
SwapCached:          0 kB
Active:         933964 kB
Inactive:       592508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      31280584 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5084 kB
Writeback:           0 kB
AnonPages:      471932 kB
Mapped:          17040 kB
Slab:            78256 kB
PageTables:       6384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   628028 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node117 at 2010-06-30 18:39:46