Trace number 3717543

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedMSAT 1796.98 1797.28

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	43

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.15 1.75 1.91 3/177 1988
/proc/meminfo: memFree=30943520/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=10800 CPUtime=0 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 1440 0 0 0 0 0 0 0 20 0 1 0 285685243 11059200 1394 33554432000 4194304 10173063 140737451880320 140737451879000 8886411 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 2700 1394 416 1460 0 1231 0

[startup+0.013477 s]
/proc/loadavg: 1.15 1.75 1.91 3/177 1988
/proc/meminfo: memFree=30943520/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=13948 CPUtime=0.01 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 2230 0 0 0 1 0 0 0 20 0 1 0 285685243 14282752 2184 33554432000 4194304 10173063 140737451880320 140737451879000 8886864 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 3487 2184 416 1460 0 2018 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13948

[startup+0.100283 s]
/proc/loadavg: 1.15 1.75 1.91 3/177 1988
/proc/meminfo: memFree=30943520/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=54776 CPUtime=0.09 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 12450 0 0 0 8 1 0 0 20 0 1 0 285685243 56090624 12337 33554432000 4194304 10173063 140737451880320 140737451879000 7395964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 13694 12337 469 1460 0 12225 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54776

[startup+0.300283 s]
/proc/loadavg: 1.15 1.75 1.91 3/177 1988
/proc/meminfo: memFree=30943520/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=125900 CPUtime=0.29 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 29072 0 0 0 26 3 0 0 20 0 1 0 285685243 128921600 28959 33554432000 4194304 10173063 140737451880320 140737451874872 4419739 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 31475 28959 543 1460 0 30006 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 125900

[startup+0.700292 s]
/proc/loadavg: 1.15 1.75 1.91 3/177 1988
/proc/meminfo: memFree=30943520/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=139664 CPUtime=0.69 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 33114 0 0 0 52 17 0 0 20 0 1 0 285685243 143015936 32392 33554432000 4194304 10173063 140737451880320 140737451874872 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 34916 32392 630 1460 0 33447 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 139664

[startup+1.50028 s]
/proc/loadavg: 1.15 1.75 1.91 3/178 1989
/proc/meminfo: memFree=30813860/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=151000 CPUtime=1.49 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 35643 0 0 0 127 22 0 0 20 0 1 0 285685243 154624000 34563 33554432000 4194304 10173063 140737451880320 140737451877176 5760720 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 37750 34563 669 1460 0 36281 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151000

[startup+3.1003 s]
/proc/loadavg: 1.15 1.75 1.91 3/178 1989
/proc/meminfo: memFree=30802824/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=151000 CPUtime=3.09 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 35643 0 0 0 287 22 0 0 20 0 1 0 285685243 154624000 34563 33554432000 4194304 10173063 140737451880320 140737451876616 5762618 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 37750 34563 669 1460 0 36281 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 151000

[startup+6.30028 s]
/proc/loadavg: 1.22 1.76 1.91 3/178 1989
/proc/meminfo: memFree=30721980/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=231992 CPUtime=6.29 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 54647 0 0 0 604 25 0 0 20 0 1 0 285685243 237559808 53971 33554432000 4194304 10173063 140737451880320 140737451870744 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 57998 53971 804 1460 0 56529 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 231992

[startup+12.7003 s]
/proc/loadavg: 1.28 1.76 1.91 3/178 1989
/proc/meminfo: memFree=30716736/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=231992 CPUtime=12.68 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 54765 0 0 0 1242 26 0 0 20 0 1 0 285685243 237559808 54089 33554432000 4194304 10173063 140737451880320 140737451871576 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 57998 54089 807 1460 0 56529 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 231992

[startup+25.5002 s]
/proc/loadavg: 1.44 1.77 1.91 3/178 1989
/proc/meminfo: memFree=30693336/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=245288 CPUtime=25.49 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 58782 0 0 0 2514 35 0 0 20 0 1 0 285685243 251174912 58199 33554432000 4194304 10173063 140737451880320 140737451875480 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 61322 58199 842 1460 0 59853 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 245288

[startup+51.1003 s]
/proc/loadavg: 1.63 1.79 1.91 3/178 2027
/proc/meminfo: memFree=30539996/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=257488 CPUtime=51.08 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 61524 0 0 0 5067 41 0 0 20 0 1 0 285685243 263667712 61772 33554432000 4194304 10173063 140737451880320 140737451873416 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 64372 61772 843 1460 0 62903 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 257488

[startup+102.306 s]
/proc/loadavg: 1.88 1.83 1.92 3/178 2050
/proc/meminfo: memFree=30400912/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=269452 CPUtime=102.26 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 64240 0 0 0 10177 49 0 0 20 0 1 0 285685243 275918848 65030 33554432000 4194304 10173063 140737451880320 140737451873416 8033091 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 67363 65030 849 1460 0 65894 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 269452

[startup+162.3 s]
/proc/loadavg: 1.95 1.86 1.92 3/177 2050
/proc/meminfo: memFree=30468412/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=273192 CPUtime=162.25 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 98348 0 0 0 16144 81 0 0 20 0 1 0 285685243 279748608 67100 33554432000 4194304 10173063 140737451880320 140737451873576 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 68298 67100 875 1460 0 66829 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 273192

[startup+222.3 s]
/proc/loadavg: 1.98 1.88 1.92 3/177 2050
/proc/meminfo: memFree=30458600/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=274424 CPUtime=222.24 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 98387 0 0 0 22131 93 0 0 20 0 1 0 285685243 281010176 67139 33554432000 4194304 10173063 140737451880320 140737451873576 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 68606 67139 875 1460 0 67137 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 274424

[startup+282.3 s]
/proc/loadavg: 1.99 1.90 1.92 3/177 2051
/proc/meminfo: memFree=30449088/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=276572 CPUtime=282.22 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 98880 0 0 0 28118 104 0 0 20 0 1 0 285685243 283209728 67632 33554432000 4194304 10173063 140737451880320 140737451873416 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 69143 67632 875 1460 0 67674 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 276572

[startup+342.3 s]
/proc/loadavg: 1.99 1.92 1.92 3/177 2051
/proc/meminfo: memFree=30434264/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=276572 CPUtime=342.21 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 98882 0 0 0 34104 117 0 0 20 0 1 0 285685243 283209728 67634 33554432000 4194304 10173063 140737451880320 140737451875144 7396603 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 69143 67634 875 1460 0 67674 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 276572

[startup+402.3 s]
/proc/loadavg: 2.05 1.94 1.92 3/177 2051
/proc/meminfo: memFree=30427692/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=277596 CPUtime=402.21 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 99097 0 0 0 40088 133 0 0 20 0 1 0 285685243 284258304 67849 33554432000 4194304 10173063 140737451880320 140737451873576 6817245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 69399 67849 875 1460 0 67930 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 277596

[startup+462.3 s]
/proc/loadavg: 2.02 1.95 1.92 3/177 2051
/proc/meminfo: memFree=30418136/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=280608 CPUtime=462.2 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 99644 0 0 0 46078 142 0 0 20 0 1 0 285685243 287342592 68396 33554432000 4194304 10173063 140737451880320 140737451873864 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 70152 68396 875 1460 0 68683 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 280608

[startup+522.3 s]
/proc/loadavg: 2.00 1.95 1.92 3/177 2051
/proc/meminfo: memFree=30412184/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=280608 CPUtime=522.19 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 99644 0 0 0 52066 153 0 0 20 0 1 0 285685243 287342592 68396 33554432000 4194304 10173063 140737451880320 140737451873480 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 70152 68396 875 1460 0 68683 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 280608

[startup+582.3 s]
/proc/loadavg: 2.04 1.97 1.93 3/177 2052
/proc/meminfo: memFree=30401768/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=280608 CPUtime=582.18 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 100014 0 0 0 58053 165 0 0 20 0 1 0 285685243 287342592 68766 33554432000 4194304 10173063 140737451880320 140737451873720 8046674 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 70152 68766 875 1460 0 68683 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 280608

[startup+642.3 s]

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

/proc/meminfo: memFree=30181420/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=326760 CPUtime=1122.1 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 174928 0 0 0 111906 304 0 0 20 0 1 0 285685243 334602240 79419 33554432000 4194304 10173063 140737451880320 140737451872456 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 81690 79419 883 1460 0 80221 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 326760

[startup+1182.3 s]
/proc/loadavg: 2.02 2.00 1.94 3/177 2095
/proc/meminfo: memFree=30164304/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=333364 CPUtime=1182.09 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 184920 0 0 0 117890 319 0 0 20 0 1 0 285685243 341364736 81763 33554432000 4194304 10173063 140737451880320 140737451877688 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 83341 81763 883 1460 0 81872 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 333364

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 2098
/proc/meminfo: memFree=30151424/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=350156 CPUtime=1242.08 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 227014 0 0 0 123856 352 0 0 20 0 1 0 285685243 358559744 85047 33554432000 4194304 10173063 140737451880320 140737451873576 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 87539 85047 883 1460 0 86070 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 350156

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2098
/proc/meminfo: memFree=30134804/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=361020 CPUtime=1302.08 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 240933 0 0 0 129838 370 0 0 20 0 1 0 285685243 369684480 88836 33554432000 4194304 10173063 140737451880320 140737451873192 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 90255 88836 883 1460 0 88786 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 361020

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2098
/proc/meminfo: memFree=30124636/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=371952 CPUtime=1362.07 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 251981 0 0 0 135822 385 0 0 20 0 1 0 285685243 380878848 91396 33554432000 4194304 10173063 140737451880320 140737451873416 7887637 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 92988 91396 883 1460 0 91519 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 371952

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2098
/proc/meminfo: memFree=30109568/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=386912 CPUtime=1422.06 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 261079 0 0 0 141802 404 0 0 20 0 1 0 285685243 396197888 95036 33554432000 4194304 10173063 140737451880320 140737451873080 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 96728 95036 884 1460 0 95259 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 386912

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2099
/proc/meminfo: memFree=30115152/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=383732 CPUtime=1482.05 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 268496 0 0 0 147790 415 0 0 20 0 1 0 285685243 392941568 94199 33554432000 4194304 10173063 140737451880320 140737451873960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 95933 94199 884 1460 0 94464 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 383732

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2099
/proc/meminfo: memFree=30105340/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=397604 CPUtime=1542.04 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 280407 0 0 0 153770 434 0 0 20 0 1 0 285685243 407146496 97645 33554432000 4194304 10173063 140737451880320 140737451873416 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 99401 97645 884 1460 0 97932 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 397604

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2099
/proc/meminfo: memFree=30100380/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=401580 CPUtime=1602.03 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 283904 0 0 0 159753 450 0 0 20 0 1 0 285685243 411217920 98845 33554432000 4194304 10173063 140737451880320 140737451873992 7888024 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 100395 98845 884 1460 0 98926 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 401580

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2099
/proc/meminfo: memFree=30089840/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=412316 CPUtime=1662.02 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 288766 0 0 0 165737 465 0 0 20 0 1 0 285685243 422211584 101516 33554432000 4194304 10173063 140737451880320 140737451873560 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 103079 101516 884 1460 0 101610 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 412316

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2099
/proc/meminfo: memFree=30085916/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=416304 CPUtime=1722 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 293405 0 0 0 171717 483 0 0 20 0 1 0 285685243 426295296 102553 33554432000 4194304 10173063 140737451880320 140737451873592 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 104076 102553 884 1460 0 102607 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 416304

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2100
/proc/meminfo: memFree=30082764/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=419696 CPUtime=1781.99 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 328624 0 0 0 177693 506 0 0 20 0 1 0 285685243 429768704 103170 33554432000 4194304 10173063 140737451880320 140737451874040 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 104924 103170 884 1460 0 103455 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 419696

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2100
/proc/meminfo: memFree=30080036/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=422984 CPUtime=1785.2 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 329355 0 0 0 178012 508 0 0 20 0 1 0 285685243 433135616 103901 33554432000 4194304 10173063 140737451880320 140737451876792 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 105746 103901 884 1460 0 104277 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 422984

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2100
/proc/meminfo: memFree=30079044/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=424896 CPUtime=1791.6 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 333412 0 0 0 178650 510 0 0 20 0 1 0 285685243 435093504 104092 33554432000 4194304 10173063 140737451880320 140737451875144 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 106224 104092 884 1460 0 104755 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 424896

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2103
/proc/meminfo: memFree=30079252/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=424896 CPUtime=1794.8 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 333450 0 0 0 178969 511 0 0 20 0 1 0 285685243 435093504 104130 33554432000 4194304 10173063 140737451880320 140737451873496 5122959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 106224 104130 884 1460 0 104755 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 424896

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2103
/proc/meminfo: memFree=30079252/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=424896 CPUtime=1795.59 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 333495 0 0 0 179048 511 0 0 20 0 1 0 285685243 435093504 104175 33554432000 4194304 10173063 140737451880320 140737451877144 7662114 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 106224 104175 884 1460 0 104755 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 424896

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2103
/proc/meminfo: memFree=30079004/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=424896 CPUtime=1796.39 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 333509 0 0 0 179128 511 0 0 20 0 1 0 285685243 435093504 104189 33554432000 4194304 10173063 140737451880320 140737451873960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 106224 104189 884 1460 0 104755 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 424896

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2103
/proc/meminfo: memFree=30079004/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=424896 CPUtime=1796.79 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 333514 0 0 0 179168 511 0 0 20 0 1 0 285685243 435093504 104194 33554432000 4194304 10173063 140737451880320 140737451873960 5061270 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 106224 104194 888 1460 0 104755 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 424896

[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2103
/proc/meminfo: memFree=30079004/32873844 swapFree=7620/7620
[pid=1988] ppid=1986 vsize=422280 CPUtime=1796.89 cores=0,2,4,6
/proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 333526 0 0 0 179178 511 0 0 20 0 1 0 285685243 432414720 103552 33554432000 4194304 10173063 140737451880320 140737451873960 4424201 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1988/statm: 105570 103552 888 1460 0 104101 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 422280

Child status: 0
Real time (s): 1797.28
CPU time (s): 1796.98
CPU user time (s): 1791.84
CPU system time (s): 5.13422
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 538992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.84
system time used= 5.13422
maximum resident set size= 530348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333528
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= 42
involuntary context switches= 1848

runsolver used 2.75358 second user time and 7.29289 second system time

The end

Launcher Data

Begin job on node143 at 2012-05-28 11:00:09
IDJOB=3717543
IDBENCH=79032
IDSOLVER=2300
FILE ID=node143/3717543-1338195609
RUNJOBID= node143-1338195608-1922
PBS_JOBID= 14624608
Free space on /tmp= 71648 MiB

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

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

MD5SUM BENCH= 6d82afa4a3cb51b65db40c85a755382b
RANDOM SEED=560664633

node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5298.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30943860 kB
Buffers:          390396 kB
Cached:           638872 kB
SwapCached:            0 kB
Active:           694324 kB
Inactive:         397304 kB
Active(anon):      53496 kB
Inactive(anon):    11300 kB
Active(file):     640828 kB
Inactive(file):   386004 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             28012 kB
Writeback:            12 kB
AnonPages:         69988 kB
Mapped:            18080 kB
Shmem:               200 kB
Slab:             698764 kB
SReclaimable:     140612 kB
SUnreclaim:       558152 kB
KernelStack:        1440 kB
PageTables:         3644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     180320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71632 MiB
End job on node143 at 2012-05-28 11:30:06