Trace number 3485591

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 2 2011-06-10 (fixed)SAT 1542.54 1542.51

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin14.opb
MD5SUM321349c7a7114538010c83c600c72ae9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark10.7004
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables8281
Total number of constraints826
Number of constraints which are clauses364
Number of constraints which are cardinality constraints (but not clauses)462
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint91
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 171
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

OK	0

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3485591-1307750177/watcher-3485591-1307750177 -o /tmp/evaluation-result-3485591-1307750177/solver-3485591-1307750177 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485591-1307750177.opb -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: 0.00 0.00 0.00 2/172 32563
/proc/meminfo: memFree=31402172/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=6312 CPUtime=0 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 622 0 0 0 0 0 0 0 21 0 1 0 965248540 6463488 576 33554432000 4194304 8979876 140735211506448 18446744073709551615 5998976 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32563/statm: 1578 585 237 1169 0 405 0

[startup+0.0397571 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 32563
/proc/meminfo: memFree=31402172/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=18524 CPUtime=0.03 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 3615 0 0 0 3 0 0 0 21 0 1 0 965248540 18968576 3569 33554432000 4194304 8979876 140735211506448 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32563/statm: 4631 3569 363 1169 0 3458 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18524

[startup+0.100747 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 32563
/proc/meminfo: memFree=31402172/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=42868 CPUtime=0.09 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 9487 0 0 0 8 1 0 0 21 0 1 0 965248540 43896832 9441 33554432000 4194304 8979876 140735211506448 18446744073709551615 5272426 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32563/statm: 10717 9441 480 1169 0 9544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42868

[startup+0.300711 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 32563
/proc/meminfo: memFree=31402172/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=51464 CPUtime=0.28 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 11977 0 0 0 27 1 0 0 22 0 1 0 965248540 52699136 11674 33554432000 4194304 8979876 140735211506448 18446744073709551615 6498630 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32563/statm: 12866 11674 543 1169 0 11693 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 51464

[startup+0.700639 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 32563
/proc/meminfo: memFree=31402172/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=66228 CPUtime=0.68 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 16221 0 0 0 66 2 0 0 18 0 1 0 965248540 67817472 15422 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32563/statm: 16557 15422 824 1169 0 15384 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 66228

[startup+1.50048 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 32573
/proc/meminfo: memFree=31317668/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=66228 CPUtime=1.48 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 16222 0 0 0 146 2 0 0 19 0 1 0 965248540 67817472 15423 33554432000 4194304 8979876 140735211506448 18446744073709551615 7123823 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32563/statm: 16557 15423 824 1169 0 15384 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 66228

[startup+3.10118 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 32573
/proc/meminfo: memFree=31316924/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=66228 CPUtime=3.09 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 16293 0 0 0 306 3 0 0 23 0 1 0 965248540 67817472 15494 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32563/statm: 16557 15494 828 1169 0 15384 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66228

[startup+6.30057 s]
/proc/loadavg: 0.24 0.05 0.02 3/178 32573
/proc/meminfo: memFree=31270384/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=6.28 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 29972 0 0 0 623 5 0 0 25 0 1 0 965248540 122896384 28790 33554432000 4194304 8979876 140735211506448 18446744073709551615 7185260 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32563/statm: 30004 28790 755 1169 0 28831 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 120016

[startup+12.7004 s]
/proc/loadavg: 0.38 0.08 0.03 3/178 32573
/proc/meminfo: memFree=31262404/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=12.69 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 29972 0 0 0 1262 7 0 0 25 0 1 0 965248540 122896384 28790 33554432000 4194304 8979876 140735211506448 18446744073709551615 7163824 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32563/statm: 30004 28790 755 1169 0 28831 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 120016

[startup+25.5009 s]
/proc/loadavg: 0.74 0.18 0.06 3/178 32574
/proc/meminfo: memFree=31262888/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=25.48 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 29972 0 0 0 2539 9 0 0 25 0 1 0 965248540 122896384 28790 33554432000 4194304 8979876 140735211506448 18446744073709551615 7184764 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32563/statm: 30004 28790 755 1169 0 28831 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 120016

[startup+51.1011 s]
/proc/loadavg: 1.17 0.32 0.11 3/178 32574
/proc/meminfo: memFree=31262924/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=51.09 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 29972 0 0 0 5093 16 0 0 25 0 1 0 965248540 122896384 28790 33554432000 4194304 8979876 140735211506448 18446744073709551615 7123823 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 28790 755 1169 0 28831 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 120016

[startup+102.306 s]
/proc/loadavg: 1.64 0.58 0.20 3/178 32576
/proc/meminfo: memFree=31262068/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=102.29 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30000 0 0 0 10195 34 0 0 25 0 1 0 965248540 122896384 28818 33554432000 4194304 8979876 140735211506448 18446744073709551615 7123808 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32563/statm: 30004 28818 758 1169 0 28831 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 120016

[startup+162.301 s]
/proc/loadavg: 1.87 0.83 0.31 3/178 32577
/proc/meminfo: memFree=31260988/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=162.28 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30076 0 0 0 16171 57 0 0 25 0 1 0 965248540 122896384 28894 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 28894 758 1169 0 28831 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 120016

[startup+222.301 s]
/proc/loadavg: 1.95 1.04 0.42 3/178 32579
/proc/meminfo: memFree=31260800/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=222.29 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30076 0 0 0 22147 82 0 0 25 0 1 0 965248540 122896384 28894 33554432000 4194304 8979876 140735211506448 18446744073709551615 6546155 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 28894 758 1169 0 28831 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 120016

[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/178 32580
/proc/meminfo: memFree=31260384/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=282.29 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30076 0 0 0 28125 104 0 0 25 0 1 0 965248540 122896384 28894 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 28894 758 1169 0 28831 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 120016

[startup+342.301 s]
/proc/loadavg: 1.99 1.36 0.60 3/178 32591
/proc/meminfo: memFree=31260704/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=342.29 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30076 0 0 0 34100 129 0 0 25 0 1 0 965248540 122896384 28894 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 28894 758 1169 0 28831 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 120016

[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.69 3/178 32593
/proc/meminfo: memFree=31260396/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=402.29 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30076 0 0 0 40076 153 0 0 25 0 1 0 965248540 122896384 28894 33554432000 4194304 8979876 140735211506448 18446744073709551615 4291248 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 28894 758 1169 0 28831 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 120016

[startup+462.301 s]
/proc/loadavg: 1.99 1.56 0.77 3/178 32594
/proc/meminfo: memFree=31259960/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=462.3 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30079 0 0 0 46054 176 0 0 25 0 1 0 965248540 122896384 28897 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 28897 758 1169 0 28831 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 120016

[startup+522.301 s]
/proc/loadavg: 1.99 1.64 0.84 3/178 32596
/proc/meminfo: memFree=31259896/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=522.29 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30079 0 0 0 52031 198 0 0 25 0 1 0 965248540 122896384 28897 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 28897 758 1169 0 28831 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 120016

[startup+582.301 s]
/proc/loadavg: 2.04 1.72 0.92 3/178 32597
/proc/meminfo: memFree=31259708/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=582.31 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30079 0 0 0 58007 224 0 0 25 0 1 0 965248540 122896384 28897 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 28897 758 1169 0 28831 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 120016

[startup+642.301 s]
/proc/loadavg: 2.01 1.77 0.98 3/178 32599
/proc/meminfo: memFree=31258524/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=642.31 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30335 0 0 0 63984 247 0 0 25 0 1 0 965248540 122896384 29153 33554432000 4194304 8979876 140735211506448 18446744073709551615 4291258 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29153 758 1169 0 28831 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 120016

[startup+702.3 s]
/proc/loadavg: 2.00 1.81 1.04 3/178 32601
/proc/meminfo: memFree=31258092/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=702.31 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30335 0 0 0 69963 268 0 0 25 0 1 0 965248540 122896384 29153 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29153 758 1169 0 28831 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 120016

[startup+762.307 s]
/proc/loadavg: 2.13 1.88 1.11 3/178 32678
/proc/meminfo: memFree=31254088/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=762.31 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30335 0 0 0 75938 293 0 0 25 0 1 0 965248540 122896384 29153 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29153 758 1169 0 28831 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 120016

[startup+822.301 s]
/proc/loadavg: 2.04 1.90 1.17 3/178 32718
/proc/meminfo: memFree=31254696/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=822.31 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30335 0 0 0 81915 316 0 0 25 0 1 0 965248540 122896384 29153 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29153 758 1169 0 28831 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 120016

[startup+882.301 s]
/proc/loadavg: 2.01 1.92 1.22 3/178 336
/proc/meminfo: memFree=31253848/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=882.31 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30335 0 0 0 87891 340 0 0 25 0 1 0 965248540 122896384 29153 33554432000 4194304 8979876 140735211506448 18446744073709551615 7123808 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29153 758 1169 0 28831 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 120016

[startup+942.301 s]
/proc/loadavg: 2.00 1.93 1.26 3/178 338
/proc/meminfo: memFree=31252248/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=942.31 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30335 0 0 0 93867 364 0 0 25 0 1 0 965248540 122896384 29153 33554432000 4194304 8979876 140735211506448 18446744073709551615 4291248 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29153 758 1169 0 28831 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 120016

[startup+1002.3 s]
/proc/loadavg: 2.00 1.94 1.31 3/178 340
/proc/meminfo: memFree=31250584/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=1002.31 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30335 0 0 0 99844 387 0 0 25 0 1 0 965248540 122896384 29153 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29153 758 1169 0 28831 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 120016

[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.35 3/178 341
/proc/meminfo: memFree=31250048/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=1062.31 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30335 0 0 0 105823 408 0 0 25 0 1 0 965248540 122896384 29153 33554432000 4194304 8979876 140735211506448 18446744073709551615 7118958 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29153 758 1169 0 28831 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 120016

[startup+1122.3 s]
/proc/loadavg: 1.93 1.94 1.38 3/178 381
/proc/meminfo: memFree=31253720/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=1122.32 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30338 0 0 0 111798 434 0 0 25 0 1 0 965248540 122896384 29156 33554432000 4194304 8979876 140735211506448 18446744073709551615 7123808 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29156 758 1169 0 28831 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 120016

[startup+1182.3 s]
/proc/loadavg: 1.97 1.94 1.41 3/178 382
/proc/meminfo: memFree=31252688/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=1182.31 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30338 0 0 0 117775 456 0 0 25 0 1 0 965248540 122896384 29156 33554432000 4194304 8979876 140735211506448 18446744073709551615 4291184 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29156 758 1169 0 28831 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 120016

[startup+1242.3 s]
/proc/loadavg: 1.99 1.95 1.45 3/178 384
/proc/meminfo: memFree=31251652/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=1242.31 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30338 0 0 0 123748 483 0 0 25 0 1 0 965248540 122896384 29156 33554432000 4194304 8979876 140735211506448 18446744073709551615 7183631 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29156 758 1169 0 28831 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 120016

[startup+1302.3 s]
/proc/loadavg: 2.03 1.97 1.48 3/178 386
/proc/meminfo: memFree=31249748/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=1302.32 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30338 0 0 0 129726 506 0 0 25 0 1 0 965248540 122896384 29156 33554432000 4194304 8979876 140735211506448 18446744073709551615 4291199 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29156 758 1169 0 28831 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 120016

[startup+1362.3 s]
/proc/loadavg: 2.01 1.97 1.51 3/178 387
/proc/meminfo: memFree=31248580/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=1362.32 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30341 0 0 0 135705 527 0 0 25 0 1 0 965248540 122896384 29159 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29159 758 1169 0 28831 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 120016

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/178 389
/proc/meminfo: memFree=31248292/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=1422.33 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30356 0 0 0 141687 546 0 0 25 0 1 0 965248540 122896384 29174 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32563/statm: 30004 29174 758 1169 0 28831 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 120016

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/178 428
/proc/meminfo: memFree=31253188/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=1482.32 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30356 0 0 0 147664 568 0 0 25 0 1 0 965248540 122896384 29174 33554432000 4194304 8979876 140735211506448 18446744073709551615 4291248 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32563/statm: 30004 29174 758 1169 0 28831 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 120016

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/178 430
/proc/meminfo: memFree=31251868/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=120016 CPUtime=1542.32 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30373 0 0 0 153643 589 0 0 25 0 1 0 965248540 122896384 29191 33554432000 4194304 8979876 140735211506448 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32563/statm: 30004 29191 758 1169 0 28831 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 120016

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

[startup+1542.5 s]
/proc/loadavg: 2.00 1.97 1.59 3/178 430
/proc/meminfo: memFree=31251868/32950928 swapFree=67054844/67111528
[pid=32563] ppid=32561 vsize=101236 CPUtime=1542.52 cores=0,2,4,6
/proc/32563/stat : 32563 (scip-2.0.1.4_2.) R 32561 32563 32526 0 -1 4202496 30378 0 0 0 153663 589 0 0 25 0 1 0 965248540 103665664 24687 33554432000 4194304 8979876 140735211506448 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32563/statm: 25002 24445 763 1169 0 23829 0
Current children cumulated CPU time (s) 1542.52
Current children cumulated vsize (KiB) 101236

Child status: 0
Real time (s): 1542.51
CPU time (s): 1542.54
CPU user time (s): 1536.64
CPU system time (s): 5.9021
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 120016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1536.64
system time used= 5.9021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30383
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= 5
involuntary context switches= 3377

runsolver used 2.34964 second user time and 4.70129 second system time

The end

Launcher Data

Begin job on node114 at 2011-06-11 01:56:18
IDJOB=3485591
IDBENCH=1156
IDSOLVER=1977
FILE ID=node114/3485591-1307750177
RUNJOBID= node114-1307750177-32544
PBS_JOBID= 13550848
Free space on /tmp= 74112 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485591-1307750177/watcher-3485591-1307750177 -o /tmp/evaluation-result-3485591-1307750177/solver-3485591-1307750177 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485591-1307750177.opb -t 1800 -m 15500

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

MD5SUM BENCH= 321349c7a7114538010c83c600c72ae9
RANDOM SEED=1514239143

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31402708 kB
Buffers:        237136 kB
Cached:        1086564 kB
SwapCached:      10540 kB
Active:         398340 kB
Inactive:       944516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31402708 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:           34580 kB
Writeback:           0 kB
AnonPages:       16120 kB
Mapped:          12112 kB
Slab:           139376 kB
PageTables:       4492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189716 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74080 MiB
End job on node114 at 2011-06-11 02:22:01