Trace number 2703793

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 NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT114 1789.25 1790.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUMcca57c347e264f92fb70010109aa24c5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark110
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint172
Number of terms in the objective function 6139
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6139
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6139
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	114

Watcher Data 

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

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

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 3/106 31166
/proc/meminfo: memFree=1551152/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=7904 CPUtime=0
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 1049 0 0 0 0 0 0 0 20 0 1 0 23570271 8093696 960 1992294400 4194304 8395647 140734132093552 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31166/statm: 1976 969 365 1026 0 946 0

[startup+0.0714939 s]
/proc/loadavg: 0.93 0.98 0.99 3/106 31166
/proc/meminfo: memFree=1551152/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=15660 CPUtime=0.06
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 3222 0 0 0 6 0 0 0 20 0 1 0 23570271 16035840 3132 1992294400 4194304 8395647 140734132093552 18446744073709551615 4572751 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31166/statm: 3915 3133 393 1026 0 2885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15660

[startup+0.101497 s]
/proc/loadavg: 0.93 0.98 0.99 3/106 31166
/proc/meminfo: memFree=1551152/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=16060 CPUtime=0.09
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 3341 0 0 0 9 0 0 0 20 0 1 0 23570271 16445440 3251 1992294400 4194304 8395647 140734132093552 18446744073709551615 7370160 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31166/statm: 4015 3251 393 1026 0 2985 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16060

[startup+0.300516 s]
/proc/loadavg: 0.93 0.98 0.99 3/106 31166
/proc/meminfo: memFree=1551152/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=35688 CPUtime=0.29
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 8549 0 0 0 27 2 0 0 20 0 1 0 23570271 36544512 8105 1992294400 4194304 8395647 140734132093552 18446744073709551615 4601561 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 8922 8105 430 1026 0 7892 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35688

[startup+0.700554 s]
/proc/loadavg: 0.93 0.98 0.99 3/106 31166
/proc/meminfo: memFree=1551152/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=61148 CPUtime=0.69
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 14234 0 0 0 65 4 0 0 21 0 1 0 23570271 62615552 13772 1992294400 4194304 8395647 140734132093552 18446744073709551615 6325219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 15287 13772 732 1026 0 14257 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61148

[startup+1.50063 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 31167
/proc/meminfo: memFree=1495220/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=65008 CPUtime=1.49
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 15823 0 0 0 144 5 0 0 23 0 1 0 23570271 66568192 14690 1992294400 4194304 8395647 140734132093552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 16252 14690 560 1026 0 15222 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65008

[startup+3.10178 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 31167
/proc/meminfo: memFree=1492616/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=67704 CPUtime=3.09
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 16299 0 0 0 303 6 0 0 25 0 1 0 23570271 69328896 15157 1992294400 4194304 8395647 140734132093552 18446744073709551615 6701797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 16926 15157 558 1026 0 15896 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67704

[startup+6.30109 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31167
/proc/meminfo: memFree=1491376/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=67704 CPUtime=6.29
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 16469 0 0 0 623 6 0 0 25 0 1 0 23570271 69328896 15327 1992294400 4194304 8395647 140734132093552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 16926 15327 558 1026 0 15896 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67704

[startup+12.7017 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31167
/proc/meminfo: memFree=1489392/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=69964 CPUtime=12.69
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 17011 0 0 0 1261 8 0 0 25 0 1 0 23570271 71643136 15868 1992294400 4194304 8395647 140734132093552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 17491 15868 558 1026 0 16461 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69964

[startup+25.5009 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31167
/proc/meminfo: memFree=1449216/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=112432 CPUtime=25.48
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 27258 0 0 0 2530 18 0 0 25 0 1 0 23570271 115130368 26066 1992294400 4194304 8395647 140734132093552 18446744073709551615 6652555 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 28108 26066 601 1026 0 27078 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 112432

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31169
/proc/meminfo: memFree=1442272/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=118812 CPUtime=51.07
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 28870 0 0 0 5069 38 0 0 25 0 1 0 23570271 121663488 27678 1992294400 4194304 8395647 140734132093552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 29703 27678 603 1026 0 28673 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 118812

[startup+102.308 s]
/proc/loadavg: 1.10 1.03 1.01 2/107 31169
/proc/meminfo: memFree=1442024/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=118812 CPUtime=102.27
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 28948 0 0 0 10147 80 0 0 25 0 1 0 23570271 121663488 27756 1992294400 4194304 8395647 140734132093552 18446744073709551615 6697298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 29703 27756 603 1026 0 28673 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 118812

[startup+162.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 31171
/proc/meminfo: memFree=1441280/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=119576 CPUtime=162.25
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 29122 0 0 0 16094 131 0 0 25 0 1 0 23570271 122445824 27930 1992294400 4194304 8395647 140734132093552 18446744073709551615 6693794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 29894 27930 603 1026 0 28864 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 119576

[startup+222.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 31173
/proc/meminfo: memFree=1441156/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=119576 CPUtime=222.23
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 29122 0 0 0 22039 184 0 0 25 0 1 0 23570271 122445824 27930 1992294400 4194304 8395647 140734132093552 18446744073709551615 6701833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 29894 27930 603 1026 0 28864 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 119576

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31175
/proc/meminfo: memFree=1441156/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=119576 CPUtime=282.21
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 29122 0 0 0 27980 241 0 0 25 0 1 0 23570271 122445824 27930 1992294400 4194304 8395647 140734132093552 18446744073709551615 6701850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 29894 27930 603 1026 0 28864 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 119576

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31177
/proc/meminfo: memFree=1487904/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=69872 CPUtime=342.19
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 29147 0 0 0 33940 279 0 0 25 0 1 0 23570271 71548928 16124 1992294400 4194304 8395647 140734132093552 18446744073709551615 6693039 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 17468 16124 612 1026 0 16438 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 69872

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31177
/proc/meminfo: memFree=1476000/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=84348 CPUtime=402.18
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 32360 0 0 0 39930 288 0 0 25 0 1 0 23570271 86372352 19337 1992294400 4194304 8395647 140734132093552 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 21087 19337 616 1026 0 20057 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 84348

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31179
/proc/meminfo: memFree=1464592/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=96792 CPUtime=462.17
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 35106 0 0 0 45927 290 0 0 25 0 1 0 23570271 99115008 22076 1992294400 4194304 8395647 140734132093552 18446744073709551615 4785947 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 24198 22076 617 1026 0 23168 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 96792

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31181
/proc/meminfo: memFree=1459012/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=103864 CPUtime=522.15
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 36498 0 0 0 51924 291 0 0 25 0 1 0 23570271 106356736 23468 1992294400 4194304 8395647 140734132093552 18446744073709551615 5084201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 25966 23468 617 1026 0 24936 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 103864

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31183
/proc/meminfo: memFree=1454424/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=109540 CPUtime=582.13
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 37636 0 0 0 57921 292 0 0 25 0 1 0 23570271 112168960 24606 1992294400 4194304 8395647 140734132093552 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 27385 24606 617 1026 0 26355 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 109540

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31185
/proc/meminfo: memFree=1450084/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=114704 CPUtime=642.12
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 38678 0 0 0 63920 292 0 0 25 0 1 0 23570271 117456896 25648 1992294400 4194304 8395647 140734132093552 18446744073709551615 4796505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 28676 25648 617 1026 0 27646 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 114704

[startup+702.301 s]

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

/proc/meminfo: memFree=1439908/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=125556 CPUtime=1001.65
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 40997 0 0 0 99870 295 0 0 25 0 1 0 23570271 128569344 27967 1992294400 4194304 8395647 140734132093552 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 31389 27967 617 1026 0 30359 0
Current children cumulated CPU time (s) 1001.65
Current children cumulated vsize (KiB) 125556

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 31670
/proc/meminfo: memFree=1437676/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=128124 CPUtime=1061.63
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 41587 0 0 0 105868 295 0 0 25 0 1 0 23570271 131198976 28557 1992294400 4194304 8395647 140734132093552 18446744073709551615 4715374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32031 28557 617 1026 0 31001 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 128124

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31672
/proc/meminfo: memFree=1437304/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=128424 CPUtime=1121.61
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 41668 0 0 0 111866 295 0 0 25 0 1 0 23570271 131506176 28638 1992294400 4194304 8395647 140734132093552 18446744073709551615 4245807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32106 28638 617 1026 0 31076 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 128424

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31674
/proc/meminfo: memFree=1436932/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=128712 CPUtime=1181.6
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 41742 0 0 0 117864 296 0 0 25 0 1 0 23570271 131801088 28712 1992294400 4194304 8395647 140734132093552 18446744073709551615 4474005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32178 28712 617 1026 0 31148 0
Current children cumulated CPU time (s) 1181.6
Current children cumulated vsize (KiB) 128712

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31676
/proc/meminfo: memFree=1436808/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=128988 CPUtime=1241.58
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 41819 0 0 0 123862 296 0 0 25 0 1 0 23570271 132083712 28789 1992294400 4194304 8395647 140734132093552 18446744073709551615 4786004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32247 28789 617 1026 0 31217 0
Current children cumulated CPU time (s) 1241.58
Current children cumulated vsize (KiB) 128988

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31676
/proc/meminfo: memFree=1436444/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=129124 CPUtime=1301.56
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 41916 0 0 0 129860 296 0 0 25 0 1 0 23570271 132222976 28886 1992294400 4194304 8395647 140734132093552 18446744073709551615 4767002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32281 28886 617 1026 0 31251 0
Current children cumulated CPU time (s) 1301.56
Current children cumulated vsize (KiB) 129124

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31678
/proc/meminfo: memFree=1435948/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=129588 CPUtime=1361.53
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42019 0 0 0 135857 296 0 0 25 0 1 0 23570271 132698112 28989 1992294400 4194304 8395647 140734132093552 18446744073709551615 5613525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32397 28989 617 1026 0 31367 0
Current children cumulated CPU time (s) 1361.53
Current children cumulated vsize (KiB) 129588

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31680
/proc/meminfo: memFree=1435700/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=129724 CPUtime=1421.52
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42069 0 0 0 141856 296 0 0 25 0 1 0 23570271 132837376 29039 1992294400 4194304 8395647 140734132093552 18446744073709551615 4697930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32431 29039 617 1026 0 31401 0
Current children cumulated CPU time (s) 1421.52
Current children cumulated vsize (KiB) 129724

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31682
/proc/meminfo: memFree=1435576/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=129864 CPUtime=1481.49
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42095 0 0 0 147853 296 0 0 25 0 1 0 23570271 132980736 29065 1992294400 4194304 8395647 140734132093552 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32466 29065 617 1026 0 31436 0
Current children cumulated CPU time (s) 1481.49
Current children cumulated vsize (KiB) 129864

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31684
/proc/meminfo: memFree=1435452/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=129996 CPUtime=1541.48
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42143 0 0 0 153851 297 0 0 25 0 1 0 23570271 133115904 29113 1992294400 4194304 8395647 140734132093552 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32499 29113 617 1026 0 31469 0
Current children cumulated CPU time (s) 1541.48
Current children cumulated vsize (KiB) 129996

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 31684
/proc/meminfo: memFree=1435080/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=130196 CPUtime=1601.46
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42227 0 0 0 159849 297 0 0 25 0 1 0 23570271 133320704 29197 1992294400 4194304 8395647 140734132093552 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32549 29197 617 1026 0 31519 0
Current children cumulated CPU time (s) 1601.46
Current children cumulated vsize (KiB) 130196

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31686
/proc/meminfo: memFree=1434584/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=130776 CPUtime=1661.44
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42339 0 0 0 165847 297 0 0 25 0 1 0 23570271 133914624 29309 1992294400 4194304 8395647 140734132093552 18446744073709551615 4693236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32694 29309 617 1026 0 31664 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 130776

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31688
/proc/meminfo: memFree=1434460/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=130776 CPUtime=1721.42
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42367 0 0 0 171845 297 0 0 25 0 1 0 23570271 133914624 29337 1992294400 4194304 8395647 140734132093552 18446744073709551615 4474026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32694 29337 617 1026 0 31664 0
Current children cumulated CPU time (s) 1721.42
Current children cumulated vsize (KiB) 130776

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31690
/proc/meminfo: memFree=1434336/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=130912 CPUtime=1781.41
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42394 0 0 0 177844 297 0 0 25 0 1 0 23570271 134053888 29364 1992294400 4194304 8395647 140734132093552 18446744073709551615 4766987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32728 29364 617 1026 0 31698 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (KiB) 130912

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31690
/proc/meminfo: memFree=1434336/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=130912 CPUtime=1784.61
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42397 0 0 0 178164 297 0 0 25 0 1 0 23570271 134053888 29367 1992294400 4194304 8395647 140734132093552 18446744073709551615 5613480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32728 29367 617 1026 0 31698 0
Current children cumulated CPU time (s) 1784.61
Current children cumulated vsize (KiB) 130912

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31690
/proc/meminfo: memFree=1434336/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=130912 CPUtime=1787.81
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42397 0 0 0 178484 297 0 0 25 0 1 0 23570271 134053888 29367 1992294400 4194304 8395647 140734132093552 18446744073709551615 5614841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32728 29367 617 1026 0 31698 0
Current children cumulated CPU time (s) 1787.81
Current children cumulated vsize (KiB) 130912

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31690
/proc/meminfo: memFree=1434336/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=130912 CPUtime=1788.61
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42400 0 0 0 178564 297 0 0 25 0 1 0 23570271 134053888 29370 1992294400 4194304 8395647 140734132093552 18446744073709551615 6017649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32728 29370 617 1026 0 31698 0
Current children cumulated CPU time (s) 1788.61
Current children cumulated vsize (KiB) 130912

[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31690
/proc/meminfo: memFree=1434336/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=130912 CPUtime=1789.01
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42400 0 0 0 178604 297 0 0 25 0 1 0 23570271 134053888 29370 1992294400 4194304 8395647 140734132093552 18446744073709551615 4245871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31166/statm: 32728 29370 617 1026 0 31698 0
Current children cumulated CPU time (s) 1789.01
Current children cumulated vsize (KiB) 130912

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31690
/proc/meminfo: memFree=1434336/2059040 swapFree=4192956/4192956
[pid=31166] ppid=31164 vsize=131248 CPUtime=1789.21
/proc/31166/stat : 31166 (pbscip.linux.x8) R 31164 31166 29671 0 -1 4202496 42510 0 0 0 178624 297 0 0 25 0 1 0 23570271 134397952 29480 1992294400 4194304 8395647 140734132093552 18446744073709551615 6345224 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31166/statm: 32812 29480 618 1026 0 31782 0
Current children cumulated CPU time (s) 1789.21
Current children cumulated vsize (KiB) 131248

Child status: 0
Real time (s): 1790.14
CPU time (s): 1789.25
CPU user time (s): 1786.26
CPU system time (s): 2.98754
CPU usage (%): 99.9504
Max. virtual memory (cumulated for all children) (KiB): 131248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.26
system time used= 2.98754
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42513
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= 6
involuntary context switches= 16761

runsolver used 2.91056 second user time and 8.50671 second system time

The end

Launcher Data 

Begin job on node004 at 2010-07-08 03:46:06
IDJOB=2703793
IDBENCH=2042
IDSOLVER=1213
FILE ID=node004/2703793-1278553566
PBS_JOBID= 11239526
Free space on /tmp= 62436 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703793-1278553566/watcher-2703793-1278553566 -o /tmp/evaluation-result-2703793-1278553566/solver-2703793-1278553566 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703793-1278553566.opb -t 1800 -m 1800

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

MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5
RANDOM SEED=1130179540

node004.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1551680 kB
Buffers:         68136 kB
Cached:         288796 kB
SwapCached:          0 kB
Active:         158648 kB
Inactive:       258124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1551680 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           11824 kB
Writeback:           0 kB
AnonPages:       59812 kB
Mapped:          14396 kB
Slab:            68740 kB
PageTables:       4244 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182860 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62468 MiB
End job on node004 at 2010-07-08 04:15:56