Trace number 2705086

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
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1793.28 1793.24

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo
MD5SUM6d82afa4a3cb51b65db40c85a755382b
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.254961
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7578
Total number of constraints21401
Number of soft constraints14255
Number of constraints which are clauses20501
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints900
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 718356
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 718355
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705086-1278574757.wbo>
0.19/0.21	c original problem has 36088 variables (21833 bin, 0 int, 14255 impl, 0 cont) and 35657 constraints
0.19/0.21	c problem read
0.19/0.21	c presolving settings loaded
0.29/0.39	c presolving:
0.39/0.44	c (round 1) 40 del vars, 3 del conss, 0 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 21356 impls, 0 clqs
0.39/0.45	c (round 2) 40 del vars, 81 del conss, 0 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 21356 impls, 0 clqs
0.39/0.49	c (round 3) 40 del vars, 81 del conss, 14255 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 21356 impls, 0 clqs
0.49/0.56	c (round 4) 40 del vars, 81 del conss, 14255 chg bounds, 450 chg sides, 900 chg coeffs, 7067 upgd conss, 49280 impls, 0 clqs
1.10/1.10	c    (0.9s) probing: 125/21793 (0.6%) - 0 fixings, 1 aggregations, 1 implications, 0 bound changes
1.10/1.10	c    (0.9s) probing aborted: 100/100 successive totally useless probings
1.10/1.11	c presolving (5 rounds):
1.10/1.11	c  41 deleted vars, 81 deleted constraints, 14255 tightened bounds, 0 added holes, 450 changed sides, 900 changed coefficients
1.10/1.11	c  49348 implications, 0 cliques
1.10/1.11	c presolved problem has 36047 variables (21792 bin, 0 int, 14255 impl, 0 cont) and 35576 constraints
1.10/1.11	c       1 constraints of type <varbound>
1.10/1.11	c     314 constraints of type <knapsack>
1.10/1.11	c    4553 constraints of type <setppc>
1.10/1.11	c   14254 constraints of type <linear>
1.10/1.11	c   14255 constraints of type <indicator>
1.10/1.11	c    2199 constraints of type <logicor>
1.10/1.11	c transformed objective value is always integral (scale: 1)
1.10/1.11	c Presolving Time: 0.79
1.10/1.11	c - non default parameters ----------------------------------------------------------------------
1.10/1.11	c # SCIP version 1.2.1.3
1.10/1.11	c 
1.10/1.11	c # frequency for displaying node information lines
1.10/1.11	c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.11	c display/freq = 10000
1.10/1.11	c 
1.10/1.11	c # maximal time in seconds to run
1.10/1.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11	c limits/time = 1789.8
1.10/1.11	c 
1.10/1.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11	c limits/memory = 3420
1.10/1.11	c 
1.10/1.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.11	c # [type: int, range: [1,2], default: 1]
1.10/1.11	c timing/clocktype = 2
1.10/1.11	c 
1.10/1.11	c # should presolving try to simplify inequalities
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c constraints/linear/simplifyinequalities = TRUE
1.10/1.11	c 
1.10/1.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c constraints/indicator/addCouplingCons = TRUE
1.10/1.11	c 
1.10/1.11	c # should presolving try to simplify knapsacks
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.11	c 
1.10/1.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.11	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.11	c separating/rapidlearning/freq = 0
1.10/1.11	c 
1.10/1.11	c -----------------------------------------------------------------------------------------------
1.10/1.11	c start solving
1.10/1.12	c 
1.10/1.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.10/1.18	c   1.0s|     1 |     0 |   290 |     - | 124M|   0 | 139 |  36k|  35k|  36k|7064 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.89/1.90	c   1.7s|     1 |     0 |   572 |     - | 125M|   0 | 314 |  36k|  35k|  36k|7322 | 258 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.69/2.79	c   2.6s|     1 |     0 |  1053 |     - | 125M|   0 | 550 |  36k|  35k|  36k|7701 | 637 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.69/3.73	c   3.5s|     1 |     0 |  1853 |     - | 126M|   0 | 727 |  36k|  35k|  36k|8184 |1120 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.09/5.17	c   5.0s|     1 |     0 |  2668 |     - | 126M|   0 | 866 |  36k|  35k|  36k|8578 |1514 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.99/7.00	c   6.8s|     1 |     0 |  3878 |     - | 127M|   0 |1198 |  36k|  35k|  36k|8962 |1898 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.89/8.94	c   8.7s|     1 |     0 |  4961 |     - | 127M|   0 |1255 |  36k|  35k|  36k|9340 |2276 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.79/13.87	c  13.7s|     1 |     2 |  4961 |     - | 127M|   0 |1255 |  36k|  35k|  36k|9340 |2276 |   0 |  18 | 0.000000e+00 |      --      |    Inf 
466.91/466.97	o 718344
466.91/466.97	c y 467s|  9747 |  9702 |324467 |  32.8 | 243M| 297 |   - |  36k|  35k|   0 |   0 |3769 | 172 |3893 | 0.000000e+00 | 7.183440e+05 |    Inf 
471.81/471.87	c   472s| 10000 |  9957 |326509 |  32.2 | 246M| 301 |  16 |  36k|  35k|  36k|8714 |4169 | 172 |3935 | 0.000000e+00 | 7.183440e+05 |    Inf 
704.70/704.72	c   705s| 20000 | 19953 |394104 |  19.5 | 386M| 425 |   9 |  36k|  35k|  36k|8714 |  29k| 175 |4716 | 0.000000e+00 | 7.183440e+05 |    Inf 
950.71/950.79	c   951s| 30000 | 29951 |453712 |  15.0 | 526M| 449 |   0 |  36k|  35k|  36k|9250 |  55k| 176 |6144 | 0.000000e+00 | 7.183440e+05 |    Inf 
1213.12/1213.18	c  1213s| 40000 | 39947 |496803 |  12.3 | 650M| 533 |   0 |  36k|  35k|  36k|9329 |  76k| 178 |6672 | 0.000000e+00 | 7.183440e+05 |    Inf 
1485.12/1485.13	c  1485s| 50000 | 49992 |523986 |  10.4 | 770M| 555 |  11 |  36k|  35k|  36k|9201 |  89k| 179 |6985 | 0.000000e+00 | 7.183440e+05 |    Inf 
1764.93/1764.92	c  1765s| 60000 | 59992 |538812 |   8.9 | 891M| 607 |   0 |  36k|  35k|  36k|9238 |  95k| 179 |7649 | 0.000000e+00 | 7.183440e+05 |    Inf 
1790.03/1790.02	c 
1790.03/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.02	c Solving Time (sec) : 1789.82
1790.03/1790.02	c Solving Nodes      : 60911
1790.03/1790.02	c Primal Bound       : +7.18344000000000e+05 (100 solutions)
1790.03/1790.02	c Dual Bound         : +0.00000000000000e+00
1790.03/1790.02	c Gap                : infinite
1792.93/1792.96	s SATISFIABLE
1792.93/1792.96	v x7578 x7577 x7576 -x7575 x7574 x7573 x7572 x7571 x7570 -x7569 x7568 x7567 x7566 -x7565 x7564 x7563 -x7562 x7561 x7560 x7559 x7558 
1792.93/1792.96	v -x7557 -x7556 -x7555 x7554 -x7553 -x7552 -x7551 -x7550 x7549 -x7548 x7547 -x7546 x7545 x7544 -x7543 x7542 x7541 x7540 x7539 
1792.93/1792.96	v x7538 x7537 x7536 x7535 x7534 x7533 x7532 x7531 x7530 x7529 -x7528 x7527 -x7526 -x7525 x7524 x7523 x7522 -x7521 -x7520 x7519 
1792.93/1792.96	v x7518 x7517 x7516 x7515 -x7514 x7513 x7512 -x7511 -x7510 -x7509 x7508 x7507 -x7506 x7505 x7504 x7503 x7502 -x7501 -x7500 -x7499 
1792.93/1792.96	v x7498 x7497 -x7496 -x7495 -x7494 x7493 -x7492 x7491 x7490 x7489 x7488 x7487 -x7486 x7485 -x7484 -x7483 -x7482 x7481 x7480 
1792.93/1792.96	v x7479 -x7478 -x7477 -x7476 x7475 -x7474 -x7473 -x7472 x7471 x7470 -x7469 -x7468 -x7467 -x7466 x7465 x7464 -x7463 -x7462 x7461 
1792.93/1792.96	v x7460 -x7459 -x7458 x7457 x7456 x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 x7447 x7446 x7445 x7444 -x7443 x7442 
1792.93/1792.96	v -x7441 -x7440 -x7439 x7438 x7437 -x7436 x7435 x7434 x7433 -x7432 x7431 -x7430 x7429 -x7428 x7427 x7426 x7425 -x7424 x7423 x7422 
1792.93/1792.96	v x7421 x7420 x7419 x7418 x7417 x7416 -x7415 x7414 x7413 x7412 x7411 -x7410 -x7409 x7408 x7407 -x7406 x7405 -x7404 x7403 -x7402 
1792.93/1792.96	v x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 
1792.93/1792.96	v -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 -x7368 -x7367 
1792.93/1792.96	v -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7351 -x7350 -x7349 
1792.93/1792.96	v -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 
1792.93/1792.96	v -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 
1792.93/1792.96	v -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 
1792.93/1792.96	v -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 
1792.93/1792.96	v -x7276 -x7275 -x7274 x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 
1792.93/1792.96	v -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 
1792.93/1792.96	v -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 
1792.93/1792.96	v -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 
1792.93/1792.96	v -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 
1792.93/1792.96	v -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 
1792.93/1792.96	v -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 
1792.93/1792.96	v -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 
1792.93/1792.96	v -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 
1792.93/1792.96	v -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 
1792.93/1792.96	v -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 
1792.93/1792.96	v -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 
1792.93/1792.96	v -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 
1792.93/1792.96	v -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7027 
1792.93/1792.96	v -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 
1792.93/1792.96	v -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 x6999 x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 
1792.93/1792.96	v -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 
1792.93/1792.96	v -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 
1792.93/1792.96	v -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 
1792.93/1792.96	v -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 x6930 -x6929 -x6928 x6927 -x6926 -x6925 x6924 -x6923 x6922 x6921 -x6920 -x6919 
1792.93/1792.96	v -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 
1792.93/1792.96	v -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 x6887 -x6886 -x6885 x6884 x6883 
1792.93/1792.96	v -x6882 -x6881 -x6880 x6879 x6878 x6877 x6876 x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 x6867 x6866 -x6865 -x6864 
1792.93/1792.96	v -x6863 -x6862 -x6861 x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 x6852 x6851 -x6850 x6849 x6848 x6847 -x6846 -x6845 
1792.93/1792.96	v -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 
1792.93/1792.96	v x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 
1792.93/1792.96	v -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 
1792.93/1792.96	v -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 x6777 -x6776 -x6775 -x6774 
1792.93/1792.96	v -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 
1792.93/1792.96	v -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 
1792.93/1792.96	v -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 
1792.93/1792.96	v -x6719 -x6718 x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 
1792.93/1792.96	v -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 
1792.93/1792.96	v -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 
1792.93/1792.96	v -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 x6651 -x6650 x6649 -x6648 
1792.93/1792.96	v -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 
1792.93/1792.96	v -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 
1792.93/1792.96	v -x6611 -x6610 x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 
1792.93/1792.96	v -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 
1792.93/1792.96	v -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 -x6562 -x6561 x6560 x6559 -x6558 
1792.93/1792.96	v x6557 x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 x6543 -x6542 -x6541 -x6540 
1792.93/1792.96	v -x6539 x6538 x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 
1792.93/1792.96	v -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 
1792.93/1792.96	v -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 
1792.93/1792.96	v -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 
1792.93/1792.96	v x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 
1792.93/1792.96	v -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 
1792.93/1792.96	v -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 
1792.93/1792.96	v -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 x6399 x6398 -x6397 -x6396 
1792.93/1792.96	v -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 
1792.93/1792.96	v -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 
1792.93/1792.96	v -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 
1792.93/1792.96	v -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 
1792.93/1792.96	v -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 
1792.93/1792.96	v -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 
1792.93/1792.96	v -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 
1792.93/1792.96	v -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 
1792.93/1792.96	v -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 
1792.93/1792.96	v -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 
1792.93/1792.96	v -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 
1792.93/1792.96	v -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 
1792.93/1792.96	v -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 
1792.93/1792.96	v -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 
1792.93/1792.96	v -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 
1792.93/1792.96	v -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 
1792.93/1792.96	v -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 
1792.93/1792.96	v -x6092 x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 
1792.93/1792.96	v -x6073 -x6072 -x6071 -x6070 x6069 -x6068 -x6067 -x6066 x6065 -x6064 -x6063 -x6062 x6061 -x6060 -x6059 -x6058 -x6057 x6056 
1792.93/1792.96	v x6055 -x6054 -x6053 -x6052 x6051 -x6050 -x6049 -x6048 x6047 -x6046 -x6045 -x6044 x6043 -x6042 -x6041 -x6040 -x6039 -x6038 
1792.93/1792.96	v -x6037 -x6036 x6035 -x6034 -x6033 x6032 -x6031 -x6030 x6029 x6028 -x6027 -x6026 x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 
1792.93/1792.96	v -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 
1792.93/1792.96	v x6000 x5999 -x5998 -x5997 x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 
1792.93/1792.96	v -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 x5967 -x5966 -x5965 
1792.93/1792.96	v -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 
1792.93/1792.96	v -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 
1792.93/1792.96	v -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 
1792.93/1792.96	v -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 
1792.93/1792.96	v -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 
1792.93/1792.96	v -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 
1792.93/1792.96	v -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 
1792.93/1792.96	v -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 
1792.93/1792.96	v -x5821 -x5820 x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 
1792.93/1792.96	v -x5803 x5802 -x5801 x5800 x5799 -x5798 -x5797 -x5796 x5795 -x5794 -x5793 -x5792 x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 
1792.93/1792.96	v -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 
1792.93/1792.96	v -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 x5754 x5753 -x5752 x5751 -x5750 -x5749 
1792.93/1792.96	v -x5748 -x5747 -x5746 x5745 -x5744 x5743 -x5742 -x5741 x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 
1792.93/1792.96	v -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 
1792.93/1792.96	v -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 
1792.93/1792.96	v -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 x5683 -x5682 -x5681 -x5680 -x5679 -x5678 x5677 
1792.93/1792.96	v -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 x5665 -x5664 -x5663 -x5662 -x5661 -x5660 x5659 
1792.93/1792.96	v -x5658 -x5657 -x5656 -x5655 -x5654 x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 
1792.93/1792.96	v -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 
1792.93/1792.96	v x5622 -x5621 -x5620 -x5619 -x5618 x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 
1792.93/1792.96	v -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 x5590 -x5589 -x5588 -x5587 
1792.93/1792.96	v x5586 -x5585 -x5584 -x5583 x5582 -x5581 -x5580 -x5579 -x5578 x5577 -x5576 x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 
1792.93/1792.96	v x5567 -x5566 -x5565 -x5564 -x5563 -x5562 x5561 x5560 -x5559 -x5558 -x5557 -x5556 -x5555 x5554 x5553 -x5552 x5551 x5550 
1792.93/1792.96	v x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 x5533 x5532 x5531 
1792.93/1792.96	v -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 
1792.93/1792.96	v -x5512 -x5511 x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 
1792.93/1792.96	v -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 
1792.93/1792.96	v -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 x5463 x5462 -x5461 -x5460 -x5459 
1792.93/1792.96	v -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 
1792.93/1792.96	v -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 
1792.93/1792.96	v -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 x5414 -x5413 -x5412 x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 
1792.93/1792.96	v -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 
1792.93/1792.96	v -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 
1792.93/1792.96	v -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 x5356 x5355 x5354 x5353 x5352 -x5351 
1792.93/1792.96	v -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 
1792.93/1792.96	v -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 x5318 -x5317 -x5316 -x5315 
1792.93/1792.96	v -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 
1792.93/1792.96	v -x5296 -x5295 -x5294 x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 x5280 -x5279 
1792.93/1792.96	v -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 
1792.93/1792.96	v -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 
1792.93/1792.96	v -x5242 -x5241 -x5240 x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 
1792.93/1792.96	v -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 
1792.93/1792.96	v -x5206 -x5205 -x5204 -x5203 x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 x5192 -x5191 -x5190 -x5189 
1792.93/1792.96	v x5188 x5187 -x5186 -x5185 x5184 -x5183 -x5182 -x5181 x5180 -x5179 -x5178 -x5177 x5176 -x5175 -x5174 -x5173 -x5172 -x5171 
1792.93/1792.96	v -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 x5163 -x5162 -x5161 -x5160 x5159 -x5158 x5157 -x5156 -x5155 -x5154 -x5153 -x5152 
1792.93/1792.96	v -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 x5135 x5134 
1792.93/1792.96	v -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 
1792.93/1792.96	v -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 
1792.93/1792.96	v -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 
1792.93/1792.96	v -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 
1792.93/1792.96	v -x5062 -x5061 x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 
1792.93/1792.96	v -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 
1792.93/1792.96	v -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 x5014 -x5013 -x5012 -x5011 -x5010 -x5009 
1792.93/1792.96	v -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 
1792.93/1792.96	v -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 
1792.93/1792.96	v -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 
1792.93/1792.96	v -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 
1792.93/1792.96	v -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 
1792.93/1792.96	v -x4919 -x4918 x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 x4905 -x4904 -x4903 -x4902 
1792.93/1792.96	v -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 
1792.93/1792.96	v -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 
1792.93/1792.96	v -x4865 -x4864 x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 
1792.93/1792.96	v -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 
1792.93/1792.96	v -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 
1792.93/1792.96	v -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 
1792.93/1792.96	v -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 
1792.93/1792.96	v -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 
1792.93/1792.96	v -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 
1792.93/1792.96	v -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 
1792.93/1792.96	v -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 
1792.93/1792.96	v -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 
1792.93/1792.96	v -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 
1792.93/1792.96	v -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 
1792.93/1792.96	v -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 
1792.93/1792.96	v -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 
1792.93/1792.96	v -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 
1792.93/1792.96	v -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 
1792.93/1792.96	v -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 
1792.93/1792.96	v -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 
1792.93/1792.96	v -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 
1792.93/1792.96	v -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 
1792.93/1792.96	v -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 x4493 -x4492 -x4491 -x4490 
1792.93/1792.96	v -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 
1792.93/1792.96	v -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 
1792.93/1792.96	v -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 
1792.93/1792.96	v -x4436 -x4435 -x4434 x4433 -x4432 x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 
1792.93/1792.96	v -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 
1792.93/1792.96	v -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 
1792.93/1792.96	v -x4382 -x4381 -x4380 -x4379 x4378 x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 x4369 x4368 -x4367 -x4366 -x4365 -x4364 
1792.93/1792.96	v -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 
1792.93/1792.96	v -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 
1792.93/1792.96	v -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 x4315 -x4314 -x4313 -x4312 -x4311 
1792.93/1792.96	v -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 
1792.93/1792.96	v -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 
1792.93/1792.96	v -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 
1792.93/1792.96	v -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 x4240 -x4239 
1792.93/1792.96	v -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 
1792.93/1792.96	v -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 
1792.93/1792.96	v -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 
1792.93/1792.96	v -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 
1792.93/1792.96	v -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 
1792.93/1792.96	v -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 
1792.93/1792.96	v -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 
1792.93/1792.96	v -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 
1792.93/1792.96	v -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 
1792.93/1792.96	v -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 
1792.93/1792.96	v -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 
1792.93/1792.96	v -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 
1792.93/1792.96	v -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 
1792.93/1792.96	v -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 x3994 -x3993 -x3992 -x3991 x3990 -x3989 
1792.93/1792.96	v x3988 x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 
1792.93/1792.96	v -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 
1792.93/1792.96	v -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 
1792.93/1792.96	v -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 x3918 -x3917 
1792.93/1792.96	v -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 
1792.93/1792.96	v -x3898 -x3897 -x3896 x3895 -x3894 -x3893 x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 
1792.93/1792.96	v -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 x3867 -x3866 -x3865 -x3864 -x3863 
1792.93/1792.96	v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 x3854 x3853 x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 
1792.93/1792.96	v -x3844 -x3843 x3842 x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 
1792.93/1792.96	v -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 x3819 -x3818 x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 
1792.93/1792.96	v -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 
1792.93/1792.96	v -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 
1792.93/1792.96	v -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 
1792.93/1792.96	v -x3754 -x3753 -x3752 x3751 -x3750 -x3749 -x3748 -x3747 x3746 x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 
1792.93/1792.96	v -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 
1792.93/1792.96	v -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 
1792.93/1792.96	v x3700 -x3699 x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 
1792.93/1792.96	v -x3681 -x3680 -x3679 -x3678 x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 
1792.93/1792.96	v -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 
1792.93/1792.96	v -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 x3636 -x3635 x3634 -x3633 -x3632 -x3631 -x3630 -x3629 x3628 
1792.93/1792.96	v -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 
1792.93/1792.96	v -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 x3592 
1792.93/1792.96	v -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 
1792.93/1792.96	v -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 
1792.93/1792.96	v -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 
1792.93/1792.96	v -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 x3524 -x3523 -x3522 -x3521 -x3520 
1792.93/1792.96	v -x3519 -x3518 x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 x3503 -x3502 
1792.93/1792.96	v x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 
1792.93/1792.96	v x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 
1792.93/1792.96	v x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 x3450 -x3449 -x3448 
1792.93/1792.96	v -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 x3435 -x3434 -x3433 -x3432 -x3431 -x3430 
1792.93/1792.96	v -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 
1792.93/1792.96	v -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 x3402 -x3401 x3400 x3399 -x3398 -x3397 -x3396 -x3395 -x3394 
1792.93/1792.96	v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 
1792.93/1792.96	v -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 x3361 -x3360 -x3359 -x3358 
1792.93/1792.96	v -x3357 -x3356 -x3355 x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 
1792.93/1792.96	v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 x3327 x3326 -x3325 -x3324 -x3323 -x3322 -x3321 
1792.93/1792.96	v -x3320 -x3319 -x3318 -x3317 -x3316 x3315 -x3314 x3313 x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 
1792.93/1792.96	v -x3302 -x3301 -x3300 x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 
1792.93/1792.96	v -x3284 -x3283 x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 
1792.93/1792.96	v -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 x3254 x3253 -x3252 -x3251 -x3250 -x3249 
1792.93/1792.96	v x3248 -x3247 x3246 -x3245 -x3244 -x3243 x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 
1792.93/1792.96	v -x3230 -x3229 -x3228 -x3227 x3226 -x3225 -x3224 -x3223 x3222 -x3221 x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 
1792.93/1792.96	v -x3211 -x3210 -x3209 -x3208 x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 
1792.93/1792.96	v -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 
1792.93/1792.96	v -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 
1792.93/1792.96	v -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 
1792.93/1792.96	v -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 x3131 x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 
1792.93/1792.96	v -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 x3107 x3106 -x3105 x3104 
1792.93/1792.96	v x3103 x3102 x3101 x3100 -x3099 -x3098 x3097 -x3096 -x3095 -x3094 -x3093 x3092 x3091 x3090 x3089 -x3088 -x3087 -x3086 -x3085 
1792.93/1792.96	v -x3084 x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 
1792.93/1792.96	v -x3066 -x3065 -x3064 -x3063 x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 
1792.93/1792.96	v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 
1792.93/1792.96	v -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 
1792.93/1792.96	v -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 
1792.93/1792.96	v -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 x2982 -x2981 -x2980 -x2979 -x2978 -x2977 
1792.93/1792.96	v -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 
1792.93/1792.96	v -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 
1792.93/1792.96	v -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 
1792.93/1792.96	v -x2922 -x2921 x2920 x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 
1792.93/1792.96	v -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 
1792.93/1792.96	v -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 
1792.93/1792.96	v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 
1792.93/1792.96	v -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 x2838 -x2837 x2836 -x2835 -x2834 -x2833 
1792.93/1792.96	v -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 
1792.93/1792.96	v -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 
1792.93/1792.96	v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 
1792.93/1792.96	v -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 x2766 -x2765 -x2764 -x2763 -x2762 
1792.93/1792.96	v -x2761 -x2760 -x2759 x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 
1792.93/1792.96	v -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 
1792.93/1792.96	v -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 
1792.93/1792.96	v -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 
1792.93/1792.96	v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 x2673 -x2672 
1792.93/1792.96	v -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 x2656 x2655 -x2654 
1792.93/1792.96	v x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 x2641 x2640 x2639 -x2638 -x2637 -x2636 -x2635 
1792.93/1792.96	v -x2634 x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 x2624 x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 
1792.93/1792.96	v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 
1792.93/1792.96	v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 
1792.93/1792.96	v -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 x2565 -x2564 -x2563 
1792.93/1792.96	v -x2562 -x2561 -x2560 -x2559 x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 
1792.93/1792.96	v -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 x2530 -x2529 -x2528 -x2527 
1792.93/1792.96	v -x2526 x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 x2514 -x2513 -x2512 -x2511 -x2510 -x2509 
1792.93/1792.96	v -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 
1792.93/1792.96	v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 x2481 -x2480 -x2479 -x2478 -x2477 -x2476 x2475 -x2474 -x2473 
1792.93/1792.96	v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 
1792.93/1792.96	v -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 
1792.93/1792.96	v -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 
1792.93/1792.96	v -x2418 x2417 x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 
1792.93/1792.96	v -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 x2391 x2390 x2389 x2388 -x2387 -x2386 -x2385 -x2384 -x2383 
1792.93/1792.96	v -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 
1792.93/1792.96	v -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 
1792.93/1792.96	v -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 
1792.93/1792.96	v -x2328 -x2327 x2326 -x2325 -x2324 -x2323 -x2322 -x2321 x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 
1792.93/1792.96	v -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 x2300 x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 
1792.93/1792.96	v -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 
1792.93/1792.96	v -x2274 -x2273 -x2272 -x2271 -x2270 x2269 -x2268 -x2267 -x2266 -x2265 x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 
1792.93/1792.96	v -x2255 -x2254 x2253 x2252 x2251 -x2250 -x2249 -x2248 -x2247 -x2246 x2245 -x2244 -x2243 -x2242 -x2241 x2240 x2239 -x2238 
1792.93/1792.96	v -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 x2225 -x2224 -x2223 -x2222 -x2221 -x2220 
1792.93/1792.96	v -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 
1792.93/1792.96	v -x2201 -x2200 -x2199 -x2198 x2197 x2196 x2195 x2194 -x2193 -x2192 -x2191 x2190 -x2189 -x2188 -x2187 -x2186 -x2185 x2184 -x2183 
1792.93/1792.96	v -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 
1792.93/1792.96	v -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 x2148 x2147 
1792.93/1792.96	v -x2146 -x2145 -x2144 -x2143 -x2142 x2141 -x2140 -x2139 -x2138 -x2137 x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 
1792.93/1792.96	v x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 x2119 -x2118 -x2117 -x2116 -x2115 x2114 x2113 -x2112 -x2111 -x2110 
1792.93/1792.96	v -x2109 x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 x2094 -x2093 -x2092 
1792.93/1792.96	v -x2091 -x2090 -x2089 x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 x2081 -x2080 x2079 x2078 x2077 -x2076 -x2075 -x2074 
1792.93/1792.96	v -x2073 -x2072 -x2071 x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 
1792.93/1792.96	v x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 x2041 -x2040 -x2039 -x2038 -x2037 
1792.93/1792.96	v -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 x2030 -x2029 -x2028 -x2027 -x2026 x2025 -x2024 -x2023 -x2022 -x2021 -x2020 x2019 
1792.93/1792.96	v -x2018 -x2017 -x2016 -x2015 x2014 -x2013 x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 
1792.93/1792.96	v x2000 -x1999 -x1998 -x1997 -x1996 -x1995 x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 
1792.93/1792.96	v -x1982 x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 x1969 x1968 -x1967 -x1966 -x1965 -x1964 
1792.93/1792.96	v -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 
1792.93/1792.96	v -x1945 -x1944 -x1943 -x1942 -x1941 x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 x1933 -x1932 -x1931 -x1930 -x1929 -x1928 
1792.93/1792.96	v -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 
1792.93/1792.96	v x1909 x1908 x1907 -x1906 -x1905 x1904 x1903 x1902 -x1901 -x1900 -x1899 -x1898 -x1897 x1896 -x1895 -x1894 -x1893 -x1892 -x1891 
1792.93/1792.96	v -x1890 x1889 x1888 -x1887 -x1886 -x1885 -x1884 x1883 x1882 x1881 -x1880 -x1879 -x1878 x1877 -x1876 x1875 x1874 -x1873 -x1872 
1792.93/1792.96	v x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 
1792.93/1792.96	v -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 
1792.93/1792.96	v -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 
1792.93/1792.96	v -x1818 -x1817 -x1816 -x1815 -x1814 x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 
1792.93/1792.96	v -x1800 x1799 x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 x1784 -x1783 -x1782 
1792.93/1792.96	v -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 
1792.93/1792.96	v -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 
1792.93/1792.96	v -x1745 -x1744 -x1743 -x1742 -x1741 x1740 x1739 -x1738 -x1737 x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 
1792.93/1792.96	v -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 
1792.93/1792.96	v -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 
1792.93/1792.96	v -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 
1792.93/1792.96	v -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 x1660 -x1659 -x1658 -x1657 
1792.93/1792.96	v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 
1792.93/1792.96	v -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 
1792.93/1792.96	v -x1620 -x1619 -x1618 -x1617 x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 x1607 -x1606 -x1605 -x1604 -x1603 
1792.93/1792.96	v -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 
1792.93/1792.96	v -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 x1570 x1569 -x1568 -x1567 
1792.93/1792.96	v -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 
1792.93/1792.96	v -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 
1792.93/1792.96	v -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 
1792.93/1792.96	v -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 x1504 -x1503 -x1502 -x1501 -x1500 x1499 -x1498 -x1497 -x1496 -x1495 
1792.93/1792.96	v -x1494 -x1493 -x1492 x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 
1792.93/1792.96	v -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 
1792.93/1792.96	v -x1458 x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 
1792.93/1792.96	v -x1440 x1439 x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 
1792.93/1792.96	v -x1422 x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 
1792.93/1792.96	v -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 
1792.93/1792.96	v -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 x1376 x1375 x1374 -x1373 -x1372 x1371 -x1370 -x1369 -x1368 
1792.93/1792.96	v x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 
1792.93/1792.96	v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 
1792.93/1792.96	v -x1331 -x1330 -x1329 x1328 x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 
1792.93/1792.96	v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 x1305 x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 
1792.93/1792.96	v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 x1283 -x1282 -x1281 -x1280 -x1279 -x1278 
1792.93/1792.96	v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 
1792.93/1792.96	v -x1259 -x1258 -x1257 x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 
1792.93/1792.96	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 x1228 -x1227 -x1226 -x1225 x1224 
1792.93/1792.96	v -x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 -x1205 
1792.93/1792.96	v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 
1792.93/1792.96	v -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 x1180 -x1179 -x1178 -x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 
1792.93/1792.96	v -x1168 -x1167 -x1166 x1165 x1164 -x1163 x1162 -x1161 -x1160 x1159 x1158 -x1157 -x1156 -x1155 x1154 -x1153 -x1152 x1151 -x1150 
1792.93/1792.96	v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 
1792.93/1792.96	v -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 x1119 -x1118 -x1117 -x1116 x1115 x1114 
1792.93/1792.96	v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 
1792.93/1792.96	v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 
1792.93/1792.96	v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 
1792.93/1792.96	v -x1059 -x1058 x1057 -x1056 -x1055 -x1054 x1053 -x1052 -x1051 -x1050 x1049 -x1048 -x1047 -x1046 -x1045 x1044 -x1043 -x1042 
1792.93/1792.96	v -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 -x1033 x1032 x1031 x1030 x1029 -x1028 x1027 x1026 -x1025 -x1024 -x1023 
1792.93/1792.96	v x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 
1792.93/1792.96	v x1004 x1003 x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 x985 x984 
1792.93/1792.96	v -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 
1792.93/1792.96	v -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 x946 -x945 -x944 -x943 -x942 
1792.93/1792.96	v -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 -x924 -x923 -x922 -x921 
1792.93/1792.96	v -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 x901 -x900 
1792.93/1792.96	v -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 x881 x880 -x879 
1792.93/1792.96	v -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 
1792.93/1792.96	v -x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 
1792.93/1792.96	v -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 x816 -x815 
1792.93/1792.96	v -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 
1792.93/1792.96	v -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 
1792.93/1792.96	v -x772 x771 x770 -x769 -x768 -x767 x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 
1792.93/1792.96	v x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 x733 -x732 -x731 -x730 
1792.93/1792.96	v -x729 x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 
1792.93/1792.96	v -x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 
1792.93/1792.96	v -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 x667 x666 
1792.93/1792.96	v -x665 x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 
1792.93/1792.96	v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 
1792.93/1792.96	v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 
1792.93/1792.96	v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 
1792.93/1792.96	v x580 -x579 x578 x577 x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 x567 x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 
1792.93/1792.96	v -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 
1792.93/1792.96	v -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 x522 -x521 -x520 x519 -x518 -x517 x516 
1792.93/1792.96	v -x515 x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 
1792.93/1792.96	v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 -x474 
1792.93/1792.96	v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 x461 x460 -x459 -x458 x457 -x456 x455 -x454 -x453 -x452 
1792.93/1792.96	v -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 
1792.93/1792.96	v -x430 -x429 -x428 -x427 -x426 x425 x424 x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 
1792.93/1792.96	v -x409 -x408 x407 x406 -x405 -x404 -x403 x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 -x388 
1792.93/1792.96	v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 
1792.93/1792.96	v -x366 -x365 -x364 -x363 x362 x361 -x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 x346 -x345 
1792.93/1792.96	v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 
1792.93/1792.96	v -x323 x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 x303 -x302 
1792.93/1792.96	v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 x283 x282 x281 
1792.93/1792.96	v -x280 x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 x269 x268 -x267 -x266 -x265 x264 x263 -x262 -x261 -x260 -x259 
1792.93/1792.96	v x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 x238 x237 
1792.93/1792.96	v -x236 -x235 -x234 x233 -x232 -x231 -x230 x229 x228 x227 -x226 x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 x216 -x215 
1792.93/1792.96	v -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 x200 x199 -x198 -x197 -x196 -x195 -x194 
1792.93/1792.96	v -x193 x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 x181 -x180 x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 
1792.93/1792.96	v x171 x170 x169 x168 x167 x166 -x165 -x164 x163 x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 x149 
1792.93/1792.96	v -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 
1792.93/1792.96	v x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 
1792.93/1792.96	v -x106 x105 x104 x103 -x102 -x101 -x100 -x99 x98 x97 -x96 x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 x82 
1792.93/1792.96	v x81 x80 x79 -x78 x77 x76 x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 x59 x58 -x57 -x56 x55 x54 
1792.93/1792.96	v x53 x52 x51 -x50 -x49 x48 -x47 -x46 -x45 x44 x43 x42 -x41 -x40 -x39 x38 -x37 x36 -x35 x34 -x33 -x32 -x31 -x30 x29 -x28 x27 
1792.93/1792.96	v x26 x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 -x13 x12 x11 -x10 -x9 -x8 x7 x6 x5 -x4 x3 -x2 x1 
1792.93/1792.96	c SCIP Status        : solving was interrupted [time limit reached]
1792.93/1792.96	c Solving Time       :    1789.82
1792.93/1792.96	c Original Problem   :
1792.93/1792.96	c   Problem name     : HOME/instance-2705086-1278574757.wbo
1792.93/1792.96	c   Variables        : 36088 (21833 binary, 0 integer, 14255 implicit integer, 0 continuous)
1792.93/1792.96	c   Constraints      : 35657 initial, 35657 maximal
1792.93/1792.96	c Presolved Problem  :
1792.93/1792.96	c   Problem name     : t_HOME/instance-2705086-1278574757.wbo
1792.93/1792.96	c   Variables        : 36047 (21792 binary, 0 integer, 14255 implicit integer, 0 continuous)
1792.93/1792.96	c   Constraints      : 35576 initial, 35750 maximal
1792.93/1792.96	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1792.93/1792.96	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1792.93/1792.96	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1792.93/1792.96	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1792.93/1792.96	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1792.93/1792.96	c   implics          :       0.00          0         39          0          0          0          0          0          0
1792.93/1792.96	c   probing          :       0.51          0          1          0          0          0          0          0          0
1792.93/1792.96	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1792.93/1792.96	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1792.93/1792.96	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1792.93/1792.96	c   linear           :       0.14          0          1          0      14255          0         81        450        900
1792.93/1792.96	c   indicator        :       0.02          0          0          0          0          0          0          0          0
1792.93/1792.96	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1792.93/1792.96	c   root node        :          -          0          -          -          0          -          -          -          -
1792.93/1792.96	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1792.93/1792.96	c   integral         :          0          0          0      62660          0          0         28          0          0      55864
1792.93/1792.96	c   varbound         :          1          6     159466      34703          0          0          0          1          0          0
1792.93/1792.96	c   knapsack         :        314          6     159466      34703          0         65      12313        667          0          0
1792.93/1792.96	c   setppc           :       4553          6     159401      34703          0          0     187703          0          0          0
1792.93/1792.96	c   linear           :      14254          6     159401      34703          0          0      23279      94922          0          0
1792.93/1792.96	c   indicator        :      14255          0     159401      34703          0          0      17464          0          0          0
1792.93/1792.96	c   logicor          :       2199+         6      42805      32951          0          3      10114          0          0          0
1792.93/1792.96	c   countsols        :          0          0          0      32951          0          0          0          0          0          0
1792.93/1792.96	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1792.93/1792.96	c   integral         :     149.81       0.00       0.00     149.81       0.00
1792.93/1792.96	c   varbound         :       0.15       0.00       0.12       0.03       0.00
1792.93/1792.96	c   knapsack         :       1.93       0.01       1.56       0.35       0.00
1792.93/1792.96	c   setppc           :      33.73       0.00      26.07       7.66       0.00
1792.93/1792.96	c   linear           :     210.33       0.02      48.63     161.69       0.00
1792.93/1792.96	c   indicator        :     184.17       0.00      92.30      91.87       0.00
1792.93/1792.96	c   logicor          :       4.87       0.00       0.22       4.65       0.00
1792.93/1792.96	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1792.93/1792.96	c Propagators        :       Time      Calls    Cutoffs    DomReds
1792.93/1792.96	c   vbounds          :       1.55      14956          0          0
1792.93/1792.96	c   rootredcost      :       0.11          1          0          0
1792.93/1792.96	c   pseudoobj        :      89.26     159216          0          0
1792.93/1792.96	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1792.93/1792.96	c   propagation      :       0.00         68         68         94        8.1          2        8.5          -
1792.93/1792.96	c   infeasible LP    :       0.29         99         99        105        4.9          0        0.0          0
1792.93/1792.96	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1792.93/1792.96	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1792.93/1792.96	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1792.93/1792.96	c   applied globally :          -          -          -        179        6.2          -          -          -
1792.93/1792.96	c   applied locally  :          -          -          -          0        0.0          -          -          -
1792.93/1792.96	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1792.93/1792.96	c   cut pool         :       0.00          5          -          -        299          -    (maximal pool size: 2648)
1792.93/1792.96	c   redcost          :     107.54      62657          0          0          0          0
1792.93/1792.96	c   impliedbounds    :       0.01          6          0          0          0          0
1792.93/1792.96	c   intobj           :       0.00          0          0          0          0          0
1792.93/1792.96	c   cgmip            :       0.00          0          0          0          0          0
1792.93/1792.96	c   gomory           :       1.23          6          0          0       1315          0
1792.93/1792.96	c   strongcg         :       0.77          6          0          0       1970          0
1792.93/1792.96	c   cmir             :       1.58          6          0          0        424          0
1792.93/1792.96	c   flowcover        :       2.51          6          0          0       1202          0
1792.93/1792.96	c   clique           :       0.02          6          0          0          0          0
1792.93/1792.96	c   zerohalf         :       0.00          0          0          0          0          0
1792.93/1792.96	c   mcf              :       0.02          1          0          0          0          0
1792.93/1792.96	c   rapidlearning    :       0.00          0          0          0          0          0
1792.93/1792.96	c Pricers            :       Time      Calls       Vars
1792.93/1792.96	c   problem variables:       0.00          0          0
1792.93/1792.96	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1792.93/1792.96	c   relpscost        :     149.71      27957          0         28          0          0      55864
1792.93/1792.96	c   pscost           :       0.00          0          0          0          0          0          0
1792.93/1792.96	c   inference        :     174.44      32951          0          0          0          0      65949
1792.93/1792.96	c   mostinf          :       0.00          0          0          0          0          0          0
1792.93/1792.96	c   leastinf         :       0.00          0          0          0          0          0          0
1792.93/1792.96	c   fullstrong       :       0.00          0          0          0          0          0          0
1792.93/1792.96	c   allfullstrong    :       0.00          0          0          0          0          0          0
1792.93/1792.96	c   random           :       0.00          0          0          0          0          0          0
1792.93/1792.96	c Primal Heuristics  :       Time      Calls      Found
1792.93/1792.96	c   LP solutions     :       0.00          -          0
1792.93/1792.96	c   pseudo solutions :       0.00          -          0
1792.93/1792.96	c   intshifting      :       0.00          0          0
1792.93/1792.96	c   oneopt           :       0.13          1          0
1792.93/1792.96	c   objpscostdiving  :       8.64          1          0
1792.93/1792.96	c   crossover        :       1.64          7          0
1792.93/1792.96	c   rootsoldiving    :       3.88         12          0
1792.93/1792.96	c   pscostdiving     :      25.78         70          0
1792.93/1792.96	c   feaspump         :       9.49         56          0
1792.93/1792.96	c   veclendiving     :      24.62        119          0
1792.93/1792.96	c   coefdiving       :      28.71        121          0
1792.93/1792.96	c   fracdiving       :      35.40        185          0
1792.93/1792.96	c   linesearchdiving :      36.32        210          0
1792.93/1792.96	c   guideddiving     :       4.76        210          0
1792.93/1792.96	c   trivial          :       0.04          2          0
1792.93/1792.96	c   simplerounding   :       0.15      23549          0
1792.93/1792.96	c   zirounding       :       0.42       1000          0
1792.93/1792.96	c   rounding         :       0.97       2111          0
1792.93/1792.96	c   shifting         :       3.01        667          0
1792.93/1792.96	c   twoopt           :       0.00          0          0
1792.93/1792.96	c   fixandinfer      :       0.00          0          0
1792.93/1792.96	c   intdiving        :       0.00          0          0
1792.93/1792.96	c   actconsdiving    :       0.00          0          0
1792.93/1792.96	c   octane           :       0.00          0          0
1792.93/1792.96	c   rens             :       0.25          1          0
1792.93/1792.96	c   rins             :       0.00          0          0
1792.93/1792.96	c   localbranching   :       0.00          0          0
1792.93/1792.96	c   mutation         :       0.00          0          0
1792.93/1792.96	c   dins             :       0.00          0          0
1792.93/1792.96	c   undercover       :       0.00          0          0
1792.93/1792.96	c   nlp              :       0.02          0          0
1792.93/1792.96	c   trysol           :       2.04        206        100
1792.93/1792.96	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1792.93/1792.96	c   primal LP        :       0.01          0          0       0.00       0.00
1792.93/1792.96	c   dual LP          :     386.54      25396     397264      15.64    1027.75
1792.93/1792.96	c   lex dual LP      :       0.00          0          0       0.00          -
1792.93/1792.96	c   barrier LP       :       0.00          0          0       0.00          -
1792.93/1792.96	c   diving/probing LP:      92.79       9024     141566      15.69    1525.69
1792.93/1792.96	c   strong branching :     147.86       7649     240026      31.38    1623.29
1792.93/1792.96	c     (at root node) :          -         18       9693     538.50          -
1792.93/1792.96	c   conflict analysis:       0.00          0          0       0.00          -
1792.93/1792.96	c B&B Tree           :
1792.93/1792.96	c   number of runs   :          1
1792.93/1792.96	c   nodes            :      60911
1792.93/1792.96	c   nodes (total)    :      60911
1792.93/1792.96	c   nodes left       :      60903
1792.93/1792.96	c   max depth        :        607
1792.93/1792.96	c   max depth (total):        607
1792.93/1792.96	c   backtracks       :        322 (0.5%)
1792.93/1792.96	c   delayed cutoffs  :          0
1792.93/1792.96	c   repropagations   :        954 (82 domain reductions, 0 cutoffs)
1792.93/1792.96	c   avg switch length:       2.21
1792.93/1792.96	c   switching time   :      15.94
1792.93/1792.96	c Solution           :
1792.93/1792.96	c   Solutions found  :        100 (1 improvements)
1792.93/1792.96	c   First Solution   : +7.18344000000000e+05   (in run 1, after 9746 nodes, 466.72 seconds, depth 298, found by <trysol>)
1792.93/1792.96	c   Primal Bound     : +7.18344000000000e+05   (in run 1, after 9746 nodes, 466.72 seconds, depth 298, found by <trysol>)
1792.93/1792.96	c   Dual Bound       : +0.00000000000000e+00
1792.93/1792.96	c   Gap              :   infinite
1792.93/1792.96	c   Root Dual Bound  : +0.00000000000000e+00
1792.93/1792.96	c   Root Iterations  :       4961
1793.23/1793.24	c Time complete: 1793.26.

Verifier Data

OK	19102

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705086-1278574757/watcher-2705086-1278574757 -o /tmp/evaluation-result-2705086-1278574757/solver-2705086-1278574757 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705086-1278574757.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: 0.93 0.97 0.82 2/168 24925
/proc/meminfo: memFree=29055288/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=12340 CPUtime=0
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 1922 0 0 0 0 0 0 0 21 0 1 0 25689536 12636160 1841 4089446400 4194304 10345943 140733343704368 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24925/statm: 3085 1841 429 1502 0 1578 0

[startup+0.03219 s]
/proc/loadavg: 0.93 0.97 0.82 2/168 24925
/proc/meminfo: memFree=29055288/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=20788 CPUtime=0.02
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 4029 0 0 0 2 0 0 0 21 0 1 0 25689536 21286912 3948 4089446400 4194304 10345943 140733343704368 18446744073709551615 9134623 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24925/statm: 5197 3948 430 1502 0 3690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20788

[startup+0.101207 s]
/proc/loadavg: 0.93 0.97 0.82 2/168 24925
/proc/meminfo: memFree=29055288/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=37880 CPUtime=0.09
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 8286 0 0 0 9 0 0 0 21 0 1 0 25689536 38789120 8206 4089446400 4194304 10345943 140733343704368 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24925/statm: 9470 8227 430 1502 0 7963 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37880

[startup+0.301173 s]
/proc/loadavg: 0.93 0.97 0.82 2/168 24925
/proc/meminfo: memFree=29055288/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=119452 CPUtime=0.29
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 29057 0 0 0 26 3 0 0 21 0 1 0 25689536 122318848 28549 4089446400 4194304 10345943 140733343704368 18446744073709551615 4501684 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 29863 28549 478 1502 0 28356 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 119452

[startup+0.701101 s]
/proc/loadavg: 0.93 0.97 0.82 2/168 24925
/proc/meminfo: memFree=29055288/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=151976 CPUtime=0.69
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 37158 0 0 0 65 4 0 0 22 0 1 0 25689536 155623424 35870 4089446400 4194304 10345943 140733343704368 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 37994 35870 598 1502 0 36487 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 151976

[startup+1.50097 s]
/proc/loadavg: 0.93 0.97 0.82 2/169 24926
/proc/meminfo: memFree=28913672/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=187604 CPUtime=1.5
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 44577 0 0 0 145 5 0 0 25 0 1 0 25689536 192106496 43268 4089446400 4194304 10345943 140733343704368 18446744073709551615 6197326 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 46901 43272 772 1502 0 45394 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 187604

[startup+3.10068 s]
/proc/loadavg: 0.93 0.97 0.82 2/169 24926
/proc/meminfo: memFree=28879572/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=192708 CPUtime=3.09
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 46223 0 0 0 304 5 0 0 25 0 1 0 25689536 197332992 44877 4089446400 4194304 10345943 140733343704368 18446744073709551615 9138363 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 48177 44877 780 1502 0 46670 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 192708

[startup+6.30111 s]
/proc/loadavg: 1.09 1.00 0.83 2/169 24926
/proc/meminfo: memFree=28873464/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=197108 CPUtime=6.29
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 47440 0 0 0 624 5 0 0 25 0 1 0 25689536 201838592 46082 4089446400 4194304 10345943 140733343704368 18446744073709551615 5834481 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 49277 46082 773 1502 0 47770 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 197108

[startup+12.701 s]
/proc/loadavg: 1.08 1.00 0.83 2/169 24926
/proc/meminfo: memFree=28857692/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=218604 CPUtime=12.69
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 72039 0 0 0 1259 10 0 0 25 0 1 0 25689536 223850496 50135 4089446400 4194304 10345943 140733343704368 18446744073709551615 6566439 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 54651 50135 794 1502 0 53144 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 218604

[startup+25.5008 s]
/proc/loadavg: 1.07 1.00 0.83 2/169 24926
/proc/meminfo: memFree=28861236/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=215300 CPUtime=25.5
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 80568 0 0 0 2536 14 0 0 25 0 1 0 25689536 220467200 49233 4089446400 4194304 10345943 140733343704368 18446744073709551615 6336061 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 53825 49233 795 1502 0 52318 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 215300

[startup+51.1003 s]
/proc/loadavg: 1.04 1.00 0.83 2/169 24927
/proc/meminfo: memFree=28854820/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=220512 CPUtime=51.1
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 96934 0 0 0 5087 23 0 0 25 0 1 0 25689536 225804288 50805 4089446400 4194304 10345943 140733343704368 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 55128 50805 799 1502 0 53621 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 220512

[startup+102.306 s]
/proc/loadavg: 1.02 1.00 0.84 2/169 24928
/proc/meminfo: memFree=28858660/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=210588 CPUtime=102.3
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 119663 0 0 0 10191 39 0 0 25 0 1 0 25689536 215642112 49719 4089446400 4194304 10345943 140733343704368 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 52647 49719 797 1502 0 51140 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 210588

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.84 2/169 24930
/proc/meminfo: memFree=28854792/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=226144 CPUtime=162.29
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 145596 0 0 0 16176 53 0 0 25 0 1 0 25689536 231571456 51257 4089446400 4194304 10345943 140733343704368 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 56536 51257 796 1502 0 55029 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 226144

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 0.85 2/169 24932
/proc/meminfo: memFree=28850068/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=220660 CPUtime=222.3
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 182514 0 0 0 22159 71 0 0 25 0 1 0 25689536 225955840 51848 4089446400 4194304 10345943 140733343704368 18446744073709551615 6803589 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 55165 51848 796 1502 0 53658 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 220660

[startup+282.301 s]
/proc/loadavg: 1.07 1.02 0.86 2/169 24934
/proc/meminfo: memFree=28828968/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=242944 CPUtime=282.3
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 300280 0 0 0 28134 96 0 0 25 0 1 0 25689536 248774656 57157 4089446400 4194304 10345943 140733343704368 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 60736 57157 796 1502 0 59229 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 242944

[startup+342.301 s]
/proc/loadavg: 1.02 1.01 0.87 2/169 24935
/proc/meminfo: memFree=28800432/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=276764 CPUtime=342.3
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 346794 0 0 0 34119 111 0 0 25 0 1 0 25689536 283406336 64411 4089446400 4194304 10345943 140733343704368 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 69191 64411 796 1502 0 67684 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 276764

[startup+402.301 s]
/proc/loadavg: 1.01 1.00 0.87 2/169 24936
/proc/meminfo: memFree=28772520/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=306560 CPUtime=402.3
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 367360 0 0 0 40108 122 0 0 25 0 1 0 25689536 313917440 71394 4089446400 4194304 10345943 140733343704368 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 76640 71394 796 1502 0 75133 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 306560

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.88 2/169 24938
/proc/meminfo: memFree=28750928/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=320612 CPUtime=462.3
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 396975 0 0 0 46094 136 0 0 25 0 1 0 25689536 328306688 76744 4089446400 4194304 10345943 140733343704368 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 80153 76744 796 1502 0 78646 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 320612

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.88 2/169 24940
/proc/meminfo: memFree=28715560/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=357020 CPUtime=522.3
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 479703 0 0 0 52069 161 0 0 25 0 1 0 25689536 365588480 85632 4089446400 4194304 10345943 140733343704368 18446744073709551615 6120357 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 89255 85632 798 1502 0 87748 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 357020

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.89 2/169 24942
/proc/meminfo: memFree=28678336/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=395208 CPUtime=582.31
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 511157 0 0 0 58058 173 0 0 25 0 1 0 25689536 404692992 94912 4089446400 4194304 10345943 140733343704368 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 98802 94912 798 1502 0 97295 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 395208

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 0.90 2/169 24943
/proc/meminfo: memFree=28638512/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=435576 CPUtime=642.31
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 540968 0 0 0 64048 183 0 0 25 0 1 0 25689536 446029824 104827 4089446400 4194304 10345943 140733343704368 18446744073709551615 6105709 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 108894 104827 798 1502 0 107387 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 435576

[startup+702.301 s]

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

/proc/meminfo: memFree=28382532/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=686516 CPUtime=1122.32
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 691970 0 0 0 111989 243 0 0 25 0 1 0 25689536 702992384 168536 4089446400 4194304 10345943 140733343704368 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 171629 168536 798 1502 0 170122 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 686516

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/169 24958
/proc/meminfo: memFree=28355104/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=713816 CPUtime=1182.32
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 729268 0 0 0 117980 252 0 0 25 0 1 0 25689536 730947584 175389 4089446400 4194304 10345943 140733343704368 18446744073709551615 6702881 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 178454 175389 798 1502 0 176947 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 713816

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/169 24959
/proc/meminfo: memFree=28325448/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=743660 CPUtime=1242.32
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 769982 0 0 0 123972 260 0 0 25 0 1 0 25689536 761507840 182692 4089446400 4194304 10345943 140733343704368 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 185915 182692 798 1502 0 184408 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 743660

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/169 24960
/proc/meminfo: memFree=28295668/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=776828 CPUtime=1302.33
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 798770 0 0 0 129965 268 0 0 25 0 1 0 25689536 795471872 190089 4089446400 4194304 10345943 140733343704368 18446744073709551615 6119529 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 194207 190089 798 1502 0 192700 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 776828

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/169 24971
/proc/meminfo: memFree=28270728/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=799388 CPUtime=1362.32
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 805608 0 0 0 135960 272 0 0 25 0 1 0 25689536 818573312 196159 4089446400 4194304 10345943 140733343704368 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 199847 196159 798 1502 0 198340 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 799388

[startup+1422.31 s]
/proc/loadavg: 1.05 1.01 0.92 2/169 24973
/proc/meminfo: memFree=28238592/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=832372 CPUtime=1422.32
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 814116 0 0 0 141957 275 0 0 25 0 1 0 25689536 852348928 204223 4089446400 4194304 10345943 140733343704368 18446744073709551615 4447807 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 208093 204223 798 1502 0 206586 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 832372

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 0.92 2/169 24975
/proc/meminfo: memFree=28214892/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=855284 CPUtime=1482.32
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 820098 0 0 0 147954 278 0 0 25 0 1 0 25689536 875810816 210167 4089446400 4194304 10345943 140733343704368 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 213821 210167 798 1502 0 212314 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 855284

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/169 24976
/proc/meminfo: memFree=28192436/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=879620 CPUtime=1542.32
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 831499 0 0 0 153949 283 0 0 25 0 1 0 25689536 900730880 215756 4089446400 4194304 10345943 140733343704368 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 219905 215756 798 1502 0 218398 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 879620

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/169 24977
/proc/meminfo: memFree=28166008/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=904084 CPUtime=1602.32
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 838711 0 0 0 159945 287 0 0 25 0 1 0 25689536 925782016 222475 4089446400 4194304 10345943 140733343704368 18446744073709551615 4687018 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 226021 222475 798 1502 0 224514 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 904084

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/169 24979
/proc/meminfo: memFree=28140328/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=929512 CPUtime=1662.32
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 846960 0 0 0 165940 292 0 0 25 0 1 0 25689536 951820288 228735 4089446400 4194304 10345943 140733343704368 18446744073709551615 5012556 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 232378 228735 798 1502 0 230871 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 929512

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/169 24981
/proc/meminfo: memFree=28115628/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=955184 CPUtime=1722.33
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 854979 0 0 0 171937 296 0 0 25 0 1 0 25689536 978108416 234925 4089446400 4194304 10345943 140733343704368 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 238796 234925 798 1502 0 237289 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 955184

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/169 24983
/proc/meminfo: memFree=28091920/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=978120 CPUtime=1782.32
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 862414 0 0 0 177932 300 0 0 25 0 1 0 25689536 1001594880 240822 4089446400 4194304 10345943 140733343704368 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 244530 240822 798 1502 0 243023 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 978120

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/169 24983
/proc/meminfo: memFree=28089812/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=980164 CPUtime=1785.53
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 862926 0 0 0 178252 301 0 0 25 0 1 0 25689536 1003687936 241334 4089446400 4194304 10345943 140733343704368 18446744073709551615 4687806 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 245041 241334 798 1502 0 243534 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 980164

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/169 24983
/proc/meminfo: memFree=28088692/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=981184 CPUtime=1788.73
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 863183 0 0 0 178572 301 0 0 25 0 1 0 25689536 1004732416 241591 4089446400 4194304 10345943 140733343704368 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24925/statm: 245296 241591 798 1502 0 243789 0
Current children cumulated CPU time (s) 1788.73
Current children cumulated vsize (KiB) 981184

[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/169 24983
/proc/meminfo: memFree=28088444/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=981184 CPUtime=1790.33
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 863238 0 0 0 178732 301 0 0 25 0 1 0 25689536 1004732416 241646 4089446400 4194304 10345943 140733343704368 18446744073709551615 4246430 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24925/statm: 245296 241646 798 1502 0 243789 0
Current children cumulated CPU time (s) 1790.33
Current children cumulated vsize (KiB) 981184

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.92 2/169 24983
/proc/meminfo: memFree=28088564/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=981184 CPUtime=1791.94
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 863238 0 0 0 178893 301 0 0 25 0 1 0 25689536 1004732416 241646 4089446400 4194304 10345943 140733343704368 18446744073709551615 9137947 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24925/statm: 245296 241646 798 1502 0 243789 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 981184

[startup+1792.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/169 24983
/proc/meminfo: memFree=28088564/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=981184 CPUtime=1792.73
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 863238 0 0 0 178972 301 0 0 25 0 1 0 25689536 1004732416 241646 4089446400 4194304 10345943 140733343704368 18446744073709551615 4246430 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24925/statm: 245296 241646 798 1502 0 243789 0
Current children cumulated CPU time (s) 1792.73
Current children cumulated vsize (KiB) 981184

[startup+1793.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/169 24983
/proc/meminfo: memFree=28088564/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=981184 CPUtime=1793.13
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 863240 0 0 0 179012 301 0 0 25 0 1 0 25689536 1004732416 241648 4089446400 4194304 10345943 140733343704368 18446744073709551615 4214829 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24925/statm: 245296 241648 799 1502 0 243789 0
Current children cumulated CPU time (s) 1793.13
Current children cumulated vsize (KiB) 981184

[startup+1793.2 s]
/proc/loadavg: 1.00 1.00 0.92 2/169 24983
/proc/meminfo: memFree=28088564/32951132 swapFree=67111528/67111528
[pid=24925] ppid=24923 vsize=459708 CPUtime=1793.23
/proc/24925/stat : 24925 (pbscip.linux.x8) R 24923 24925 24738 0 -1 4202496 863240 0 0 0 179020 303 0 0 25 0 1 0 25689536 470740992 112438 4089446400 4194304 10345943 140733343704368 18446744073709551615 6324984 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24925/statm: 114927 112438 799 1502 0 113420 0
Current children cumulated CPU time (s) 1793.23
Current children cumulated vsize (KiB) 459708

Child status: 0
Real time (s): 1793.24
CPU time (s): 1793.28
CPU user time (s): 1790.23
CPU system time (s): 3.04954
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 981184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.23
system time used= 3.04954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 863243
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= 2
involuntary context switches= 1137

runsolver used 2.73158 second user time and 5.43217 second system time

The end

Launcher Data

Begin job on node131 at 2010-07-08 09:39:17
IDJOB=2705086
IDBENCH=79032
IDSOLVER=1214
FILE ID=node131/2705086-1278574757
PBS_JOBID= 11240192
Free space on /tmp= 73624 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705086-1278574757/watcher-2705086-1278574757 -o /tmp/evaluation-result-2705086-1278574757/solver-2705086-1278574757 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705086-1278574757.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6d82afa4a3cb51b65db40c85a755382b
RANDOM SEED=1888268753

node131.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.828
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.65
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.828
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.76
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.828
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.828
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.828
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.82
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.828
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.72
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.828
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.828
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	: 5441.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29055692 kB
Buffers:        159956 kB
Cached:        3509064 kB
SwapCached:          0 kB
Active:        1220288 kB
Inactive:      2509420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29055692 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13684 kB
Writeback:           0 kB
AnonPages:       60268 kB
Mapped:          14640 kB
Slab:           104680 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   183168 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73608 MiB
End job on node131 at 2010-07-08 10:09:11