Trace number 2703959

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT 184.457 184.509

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin12.opb
MD5SUM8ef9ab9b1b524024010be24ca1127d40
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark13.7839
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4356
Total number of constraints600
Number of constraints which are clauses264
Number of constraints which are cardinality constraints (but not clauses)336
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint66
Maximum length of a constraint121
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 123
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2703959-1278548114.opb>
0.00/0.09	c original problem has 4356 variables (4356 bin, 0 int, 0 impl, 0 cont) and 600 constraints
0.00/0.09	c problem read
0.00/0.09	c No objective function, only one solution is needed.
0.00/0.09	c presolving settings loaded
0.09/0.16	c presolving:
0.19/0.24	c (round 1) 0 del vars, 264 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 72 upgd conss, 0 impls, 264 clqs
0.29/0.37	c (round 2) 0 del vars, 264 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 336 upgd conss, 0 impls, 264 clqs
0.29/0.39	c presolving (3 rounds):
0.29/0.39	c  0 deleted vars, 264 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.39	c  0 implications, 264 cliques
0.29/0.39	c presolved problem has 4356 variables (4356 bin, 0 int, 0 impl, 0 cont) and 336 constraints
0.29/0.39	c      72 constraints of type <knapsack>
0.29/0.39	c     264 constraints of type <setppc>
0.29/0.39	c transformed objective value is always integral (scale: 1)
0.29/0.39	c Presolving Time: 0.25
0.29/0.39	c - non default parameters ----------------------------------------------------------------------
0.29/0.39	c # SCIP version 1.2.1.3
0.29/0.39	c 
0.29/0.39	c # frequency for displaying node information lines
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.39	c display/freq = 10000
0.29/0.39	c 
0.29/0.39	c # maximal time in seconds to run
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39	c limits/time = 1789.91
0.29/0.39	c 
0.29/0.39	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39	c limits/memory = 1620
0.29/0.39	c 
0.29/0.39	c # solving stops, if the given number of solutions were found (-1: no limit)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39	c limits/solutions = 1
0.29/0.39	c 
0.29/0.39	c # maximal number of separation rounds per node (-1: unlimited)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 5]
0.29/0.39	c separating/maxrounds = 1
0.29/0.39	c 
0.29/0.39	c # maximal number of separation rounds in the root node (-1: unlimited)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39	c separating/maxroundsroot = 5
0.29/0.39	c 
0.29/0.39	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.39	c # [type: int, range: [1,2], default: 1]
0.29/0.39	c timing/clocktype = 2
0.29/0.39	c 
0.29/0.39	c # should presolving try to simplify inequalities
0.29/0.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39	c constraints/linear/simplifyinequalities = TRUE
0.29/0.39	c 
0.29/0.39	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39	c constraints/indicator/addCouplingCons = TRUE
0.29/0.39	c 
0.29/0.39	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.29/0.39	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.29/0.39	c constraints/knapsack/disaggregation = FALSE
0.29/0.39	c 
0.29/0.39	c # should presolving try to simplify knapsacks
0.29/0.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39	c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.39	c 
0.29/0.39	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39	c presolving/probing/maxrounds = 0
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39	c heuristics/coefdiving/freq = -1
0.29/0.39	c 
0.29/0.39	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39	c heuristics/coefdiving/maxlpiterquot = 0.075
0.29/0.39	c 
0.29/0.39	c # additional number of allowed LP iterations
0.29/0.39	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39	c heuristics/coefdiving/maxlpiterofs = 1500
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 30]
0.29/0.39	c heuristics/crossover/freq = -1
0.29/0.39	c 
0.29/0.39	c # number of nodes added to the contingent of the total nodes
0.29/0.39	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.39	c heuristics/crossover/nodesofs = 750
0.29/0.39	c 
0.29/0.39	c # number of nodes without incumbent change that heuristic should wait
0.29/0.39	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.29/0.39	c heuristics/crossover/nwaitingnodes = 100
0.29/0.39	c 
0.29/0.39	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.29/0.39	c # [type: real, range: [0,1], default: 0.1]
0.29/0.39	c heuristics/crossover/nodesquot = 0.15
0.29/0.39	c 
0.29/0.39	c # minimum percentage of integer variables that have to be fixed 
0.29/0.39	c # [type: real, range: [0,1], default: 0.666]
0.29/0.39	c heuristics/crossover/minfixingrate = 0.5
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.39	c heuristics/feaspump/freq = -1
0.29/0.39	c 
0.29/0.39	c # additional number of allowed LP iterations
0.29/0.39	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39	c heuristics/feaspump/maxlpiterofs = 2000
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39	c heuristics/fracdiving/freq = -1
0.29/0.39	c 
0.29/0.39	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39	c heuristics/fracdiving/maxlpiterquot = 0.075
0.29/0.39	c 
0.29/0.39	c # additional number of allowed LP iterations
0.29/0.39	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39	c heuristics/fracdiving/maxlpiterofs = 1500
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39	c heuristics/guideddiving/freq = -1
0.29/0.39	c 
0.29/0.39	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39	c heuristics/guideddiving/maxlpiterquot = 0.075
0.29/0.39	c 
0.29/0.39	c # additional number of allowed LP iterations
0.29/0.39	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39	c heuristics/guideddiving/maxlpiterofs = 1500
0.29/0.39	c 
0.29/0.39	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39	c heuristics/intdiving/maxlpiterquot = 0.075
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39	c heuristics/intshifting/freq = -1
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39	c heuristics/linesearchdiving/freq = -1
0.29/0.39	c 
0.29/0.39	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.29/0.39	c 
0.29/0.39	c # additional number of allowed LP iterations
0.29/0.39	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39	c heuristics/nlp/freq = -1
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.39	c heuristics/objpscostdiving/freq = -1
0.29/0.39	c 
0.29/0.39	c # maximal fraction of diving LP iterations compared to total iteration number
0.29/0.39	c # [type: real, range: [0,1], default: 0.01]
0.29/0.39	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.29/0.39	c 
0.29/0.39	c # additional number of allowed LP iterations
0.29/0.39	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39	c heuristics/oneopt/freq = -1
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39	c heuristics/pscostdiving/freq = -1
0.29/0.39	c 
0.29/0.39	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.29/0.39	c 
0.29/0.39	c # additional number of allowed LP iterations
0.29/0.39	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39	c heuristics/pscostdiving/maxlpiterofs = 1500
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.39	c heuristics/rens/freq = -1
0.29/0.39	c 
0.29/0.39	c # minimum percentage of integer variables that have to be fixable 
0.29/0.39	c # [type: real, range: [0,1], default: 0.5]
0.29/0.39	c heuristics/rens/minfixingrate = 0.3
0.29/0.39	c 
0.29/0.39	c # number of nodes added to the contingent of the total nodes
0.29/0.39	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.39	c heuristics/rens/nodesofs = 2000
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.39	c heuristics/rootsoldiving/freq = -1
0.29/0.39	c 
0.29/0.39	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.29/0.39	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.29/0.39	c 
0.29/0.39	c # additional number of allowed LP iterations
0.29/0.39	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39	c heuristics/rounding/freq = -1
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39	c heuristics/shifting/freq = -1
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39	c heuristics/simplerounding/freq = -1
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.39	c heuristics/trivial/freq = -1
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39	c heuristics/trysol/freq = -1
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39	c heuristics/veclendiving/freq = -1
0.29/0.39	c 
0.29/0.39	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39	c heuristics/veclendiving/maxlpiterquot = 0.075
0.29/0.39	c 
0.29/0.39	c # additional number of allowed LP iterations
0.29/0.39	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39	c heuristics/veclendiving/maxlpiterofs = 1500
0.29/0.39	c 
0.29/0.39	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39	c heuristics/zirounding/freq = -1
0.29/0.39	c 
0.29/0.39	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.39	c separating/cmir/freq = -1
0.29/0.39	c 
0.29/0.39	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.39	c separating/flowcover/freq = -1
0.29/0.39	c 
0.29/0.39	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.39	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39	c separating/rapidlearning/freq = 0
0.29/0.39	c 
0.29/0.39	c -----------------------------------------------------------------------------------------------
0.29/0.39	c start solving
0.29/0.39	c 
1.20/1.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.20/1.24	c   1.1s|     1 |     0 |  1989 |     - |  15M|   0 | 254 |4356 | 336 |4356 | 336 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.99/2.02	c   1.9s|     1 |     0 |  2073 |     - |  15M|   0 | 294 |4356 | 336 |4356 | 344 |   8 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.99/2.09	c   2.0s|     1 |     0 |  2111 |     - |  15M|   0 | 302 |4356 | 336 |4356 | 351 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.09/2.18	c   2.1s|     1 |     0 |  2166 |     - |  15M|   0 | 307 |4356 | 336 |4356 | 359 |  23 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.20/2.25	c   2.2s|     1 |     0 |  2202 |     - |  15M|   0 | 311 |4356 | 336 |4356 | 366 |  30 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.30/2.32	c   2.2s|     1 |     0 |  2232 |     - |  15M|   0 | 316 |4356 | 336 |4356 | 376 |  40 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.89/6.97	c   6.9s|     1 |     2 |  2232 |     - |  15M|   0 | 316 |4356 | 336 |4356 | 376 |  40 |   0 |  19 | 0.000000e+00 |      --      |    Inf 
184.34/184.43	c * 184s|  1068 |     0 |128917 | 118.7 |  18M|  53 |   - |4356 | 869 |4356 | 370 |  40 | 535 | 723 | 0.000000e+00 | 0.000000e+00 |   0.00%
184.34/184.44	c 
184.34/184.44	c SCIP Status        : problem is solved [optimal solution found]
184.34/184.44	c Solving Time (sec) : 184.34
184.34/184.44	c Solving Nodes      : 1068
184.34/184.44	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
184.34/184.44	c Dual Bound         : +0.00000000000000e+00
184.34/184.44	c Gap                : 0.00 %
184.34/184.45	s SATISFIABLE
184.34/184.45	v -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 
184.34/184.45	v -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 
184.34/184.45	v -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 
184.34/184.45	v -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 
184.34/184.45	v -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 
184.34/184.45	v -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 
184.34/184.45	v -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 
184.34/184.45	v -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 
184.34/184.45	v -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 
184.34/184.45	v -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 
184.34/184.45	v x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 
184.34/184.45	v -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 
184.34/184.45	v -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 
184.34/184.45	v -x4123 x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 
184.34/184.45	v -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 
184.34/184.45	v -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 
184.34/184.45	v -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 
184.34/184.45	v -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 
184.34/184.45	v -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 
184.34/184.45	v -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 
184.34/184.45	v -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 
184.34/184.45	v -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 x3966 -x3965 -x3964 -x3963 
184.34/184.45	v -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 
184.34/184.45	v -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 
184.34/184.45	v -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 
184.34/184.45	v -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 
184.34/184.45	v -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 
184.34/184.45	v -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 
184.34/184.45	v -x3854 -x3853 x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 
184.34/184.45	v -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 
184.34/184.45	v -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 
184.34/184.45	v -x3801 x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 
184.34/184.45	v -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 
184.34/184.45	v -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 
184.34/184.45	v -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 
184.34/184.45	v -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 x3715 -x3714 -x3713 -x3712 
184.34/184.45	v -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 
184.34/184.45	v -x3693 x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 
184.34/184.45	v -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 
184.34/184.45	v -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 
184.34/184.45	v -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 
184.34/184.45	v -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 
184.34/184.45	v -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 
184.34/184.45	v -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 
184.34/184.45	v -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 
184.34/184.45	v -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 
184.34/184.45	v -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 
184.34/184.45	v x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 
184.34/184.45	v -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 
184.34/184.45	v -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 
184.34/184.45	v -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 
184.34/184.45	v -x3443 -x3442 -x3441 x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 
184.34/184.45	v -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 
184.34/184.45	v -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 x3392 -x3391 -x3390 
184.34/184.45	v -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 
184.34/184.45	v -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 
184.34/184.45	v -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 x3337 -x3336 
184.34/184.45	v -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 
184.34/184.45	v -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 
184.34/184.45	v x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 
184.34/184.45	v -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 
184.34/184.45	v -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 
184.34/184.45	v -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 
184.34/184.45	v -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 
184.34/184.45	v -x3210 -x3209 -x3208 x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 
184.34/184.45	v -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 
184.34/184.45	v -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 x3158 -x3157 
184.34/184.45	v -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 
184.34/184.45	v -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 
184.34/184.45	v -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 
184.34/184.45	v -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 
184.34/184.45	v -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 
184.34/184.45	v -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 
184.34/184.45	v -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 
184.34/184.45	v -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 
184.34/184.45	v -x3013 -x3012 x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 
184.34/184.45	v -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 
184.34/184.45	v -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 
184.34/184.45	v -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 
184.34/184.45	v -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 
184.34/184.45	v -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 x2909 -x2908 -x2907 
184.34/184.45	v -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 
184.34/184.45	v -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 x2873 -x2872 -x2871 
184.34/184.45	v -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 
184.34/184.45	v -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 
184.34/184.45	v -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 
184.34/184.45	v -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 x2800 -x2799 
184.34/184.45	v -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 
184.34/184.45	v -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 
184.34/184.45	v -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 
184.34/184.45	v -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 
184.34/184.45	v -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 
184.34/184.45	v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 
184.34/184.45	v -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 
184.34/184.45	v -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 
184.34/184.45	v -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 x2642 -x2641 -x2640 -x2639 -x2638 
184.34/184.45	v -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 
184.34/184.45	v -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 
184.34/184.45	v -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 
184.34/184.45	v -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 
184.34/184.45	v -x2566 x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 
184.34/184.45	v -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 
184.34/184.45	v -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 
184.34/184.45	v -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 
184.34/184.45	v -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 
184.34/184.45	v -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 
184.34/184.45	v -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 
184.34/184.45	v -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 
184.34/184.45	v -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 
184.34/184.45	v -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 
184.34/184.45	v -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 x2374 -x2373 -x2372 -x2371 -x2370 
184.34/184.45	v -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 
184.34/184.45	v -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 
184.34/184.45	v -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 
184.34/184.45	v -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 
184.34/184.45	v -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 
184.34/184.45	v -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 
184.34/184.45	v -x2262 -x2261 -x2260 -x2259 x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 
184.34/184.45	v -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 x2229 -x2228 -x2227 
184.34/184.45	v -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 
184.34/184.45	v -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 
184.34/184.45	v -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 
184.34/184.45	v -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 
184.34/184.45	v -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 
184.34/184.45	v -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 
184.34/184.45	v -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 
184.34/184.45	v -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 
184.34/184.45	v -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 
184.34/184.45	v -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 x2053 -x2052 -x2051 -x2050 -x2049 -x2048 
184.34/184.45	v -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 
184.34/184.45	v -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 
184.34/184.45	v -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 
184.34/184.45	v -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 
184.34/184.45	v -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 
184.34/184.45	v -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 x1941 -x1940 
184.34/184.45	v -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 
184.34/184.45	v -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 
184.34/184.45	v -x1904 -x1903 x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 
184.34/184.45	v -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 
184.34/184.45	v -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 
184.34/184.45	v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 
184.34/184.45	v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 
184.34/184.45	v -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 x1797 
184.34/184.45	v -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 
184.34/184.45	v -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 x1761 
184.34/184.45	v -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 
184.34/184.45	v -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 
184.34/184.45	v -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 
184.34/184.45	v -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 
184.34/184.45	v -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 
184.34/184.45	v -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 
184.34/184.45	v x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 
184.34/184.46	v -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 
184.34/184.46	v -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 
184.34/184.46	v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 
184.34/184.46	v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 x1566 -x1565 -x1564 
184.34/184.46	v -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 
184.34/184.46	v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 
184.34/184.46	v -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 x1512 -x1511 
184.34/184.46	v -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 
184.34/184.46	v -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 
184.34/184.46	v -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 
184.34/184.46	v -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 
184.34/184.46	v -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 x1426 -x1425 -x1424 -x1423 -x1422 -x1421 
184.34/184.46	v -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 
184.34/184.46	v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 
184.34/184.46	v -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 
184.34/184.46	v -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 
184.34/184.46	v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 
184.34/184.46	v -x1331 x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 
184.34/184.46	v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 
184.34/184.46	v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 
184.34/184.46	v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 
184.34/184.46	v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 
184.34/184.46	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 
184.34/184.46	v x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 
184.34/184.46	v -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 
184.34/184.46	v -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 
184.34/184.46	v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 
184.34/184.46	v -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 
184.34/184.46	v -x1134 x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 
184.34/184.46	v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 
184.34/184.46	v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 
184.34/184.46	v -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 
184.34/184.46	v -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 
184.34/184.46	v -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 
184.34/184.46	v -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 
184.34/184.46	v -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 
184.34/184.46	v -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 x973 -x972 -x971 -x970 
184.34/184.46	v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 
184.34/184.46	v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 
184.34/184.46	v -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 
184.34/184.46	v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 
184.34/184.46	v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 
184.34/184.46	v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 
184.34/184.46	v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 
184.34/184.46	v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 
184.34/184.46	v -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 
184.34/184.46	v -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 
184.34/184.46	v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 
184.34/184.46	v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 
184.34/184.46	v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 
184.34/184.46	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 
184.34/184.46	v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 
184.34/184.46	v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 
184.34/184.46	v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 
184.34/184.46	v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 
184.34/184.46	v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 
184.34/184.46	v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 
184.34/184.46	v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 
184.34/184.46	v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 
184.34/184.46	v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 
184.34/184.46	v -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 
184.34/184.46	v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 
184.34/184.46	v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 
184.34/184.46	v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 
184.34/184.46	v -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 
184.34/184.46	v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 
184.34/184.46	v -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 
184.34/184.46	v -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 
184.34/184.46	v -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 
184.34/184.46	v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 
184.34/184.46	v -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 
184.34/184.46	v x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 
184.34/184.46	v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 
184.34/184.46	v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 
184.34/184.46	v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 
184.34/184.46	v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 
184.34/184.46	v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 
184.34/184.46	v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 
184.34/184.46	v x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 
184.34/184.46	v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 
184.34/184.46	v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 
184.34/184.46	v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 
184.34/184.46	v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 
184.34/184.46	c SCIP Status        : problem is solved [optimal solution found]
184.34/184.46	c Solving Time       :     184.34
184.34/184.46	c Original Problem   :
184.34/184.46	c   Problem name     : HOME/instance-2703959-1278548114.opb
184.34/184.46	c   Variables        : 4356 (4356 binary, 0 integer, 0 implicit integer, 0 continuous)
184.34/184.46	c   Constraints      : 600 initial, 600 maximal
184.34/184.46	c Presolved Problem  :
184.34/184.46	c   Problem name     : t_HOME/instance-2703959-1278548114.opb
184.34/184.46	c   Variables        : 4356 (4356 binary, 0 integer, 0 implicit integer, 0 continuous)
184.34/184.46	c   Constraints      : 336 initial, 870 maximal
184.34/184.46	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
184.34/184.46	c   trivial          :       0.00          0          0          0          0          0          0          0          0
184.34/184.46	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
184.34/184.46	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
184.34/184.46	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
184.34/184.46	c   implics          :       0.00          0          0          0          0          0          0          0          0
184.34/184.46	c   probing          :       0.00          0          0          0          0          0          0          0          0
184.34/184.46	c   knapsack         :       0.11          0          0          0          0          0          0          0          0
184.34/184.46	c   setppc           :       0.01          0          0          0          0          0          0          0          0
184.34/184.46	c   linear           :       0.08          0          0          0          0          0        264          0          0
184.34/184.46	c   logicor          :       0.00          0          0          0          0          0          0          0          0
184.34/184.46	c   root node        :          -          0          -          -          0          -          -          -          -
184.34/184.46	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
184.34/184.46	c   integral         :          0          0          0        622          0         19         76          0          0       1164
184.34/184.46	c   knapsack         :         72          5       2371          1          0          5      10844          0          0          0
184.34/184.46	c   setppc           :        264          5       2366          1          0         42      27352          0          0          0
184.34/184.46	c   logicor          :          0+         0        760          0          0          5        143          0          0          0
184.34/184.46	c   countsols        :          0          0          0          1          0          0          0          0          0          0
184.34/184.46	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
184.34/184.46	c   integral         :     115.46       0.00       0.00     115.46       0.00
184.34/184.46	c   knapsack         :       1.35       0.01       1.33       0.00       0.00
184.34/184.46	c   setppc           :       0.19       0.00       0.19       0.00       0.00
184.34/184.46	c   logicor          :       0.02       0.00       0.02       0.00       0.00
184.34/184.46	c   countsols        :       0.00       0.00       0.00       0.00       0.00
184.34/184.46	c Propagators        :       Time      Calls    Cutoffs    DomReds
184.34/184.46	c   vbounds          :       0.00          1          0          0
184.34/184.46	c   rootredcost      :       0.00          0          0          0
184.34/184.46	c   pseudoobj        :       0.00          0          0          0
184.34/184.46	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
184.34/184.46	c   propagation      :       0.07         52         52       1059      130.0         11       73.1          -
184.34/184.46	c   infeasible LP    :       3.76        414         18        536      483.0          3       82.0          0
184.34/184.46	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
184.34/184.46	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
184.34/184.46	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
184.34/184.46	c   applied globally :          -          -          -        535      111.7          -          -          -
184.34/184.46	c   applied locally  :          -          -          -          0        0.0          -          -          -
184.34/184.46	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
184.34/184.46	c   cut pool         :       0.00          4          -          -          0          -    (maximal pool size: 41)
184.34/184.46	c   redcost          :       0.28        612          0          0          0          0
184.34/184.46	c   impliedbounds    :       0.00          5          0          0          0          0
184.34/184.46	c   intobj           :       0.00          0          0          0          0          0
184.34/184.46	c   cgmip            :       0.00          0          0          0          0          0
184.34/184.46	c   gomory           :       0.05          5          0          0          0          0
184.34/184.46	c   strongcg         :       0.05          5          0          0          0          0
184.34/184.46	c   cmir             :       0.00          0          0          0          0          0
184.34/184.46	c   flowcover        :       0.00          0          0          0          0          0
184.34/184.46	c   clique           :       0.04          5          0          0         41          0
184.34/184.46	c   zerohalf         :       0.00          0          0          0          0          0
184.34/184.46	c   mcf              :       0.00          1          0          0          0          0
184.34/184.46	c   rapidlearning    :       0.68          1          0          0          0          0
184.34/184.46	c Pricers            :       Time      Calls       Vars
184.34/184.46	c   problem variables:       0.00          0          0
184.34/184.46	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
184.34/184.46	c   relpscost        :     115.46        621         19         76          0          0       1164
184.34/184.46	c   pscost           :       0.00          0          0          0          0          0          0
184.34/184.46	c   inference        :       0.00          0          0          0          0          0          0
184.34/184.46	c   mostinf          :       0.00          0          0          0          0          0          0
184.34/184.46	c   leastinf         :       0.00          0          0          0          0          0          0
184.34/184.46	c   fullstrong       :       0.00          0          0          0          0          0          0
184.34/184.46	c   allfullstrong    :       0.00          0          0          0          0          0          0
184.34/184.46	c   random           :       0.00          0          0          0          0          0          0
184.34/184.46	c Primal Heuristics  :       Time      Calls      Found
184.34/184.46	c   LP solutions     :       0.00          -          1
184.34/184.46	c   pseudo solutions :       0.00          -          0
184.34/184.46	c   trivial          :       0.01          1          0
184.34/184.46	c   simplerounding   :       0.00          0          0
184.34/184.46	c   zirounding       :       0.00          0          0
184.34/184.46	c   rounding         :       0.00          0          0
184.34/184.46	c   shifting         :       0.00          0          0
184.34/184.46	c   intshifting      :       0.00          0          0
184.34/184.46	c   oneopt           :       0.00          0          0
184.34/184.46	c   twoopt           :       0.00          0          0
184.34/184.46	c   fixandinfer      :       0.00          0          0
184.34/184.46	c   feaspump         :       0.00          0          0
184.34/184.46	c   coefdiving       :       0.00          0          0
184.34/184.46	c   pscostdiving     :       0.00          0          0
184.34/184.46	c   fracdiving       :       0.00          0          0
184.34/184.46	c   veclendiving     :       0.00          0          0
184.34/184.46	c   intdiving        :       0.00          0          0
184.34/184.46	c   actconsdiving    :       0.00          0          0
184.34/184.46	c   objpscostdiving  :       0.00          0          0
184.34/184.46	c   rootsoldiving    :       0.00          0          0
184.34/184.46	c   linesearchdiving :       0.00          0          0
184.34/184.46	c   guideddiving     :       0.00          0          0
184.34/184.46	c   octane           :       0.00          0          0
184.34/184.46	c   rens             :       0.00          0          0
184.34/184.46	c   rins             :       0.00          0          0
184.34/184.46	c   localbranching   :       0.00          0          0
184.34/184.46	c   mutation         :       0.00          0          0
184.34/184.46	c   crossover        :       0.00          0          0
184.34/184.46	c   dins             :       0.00          0          0
184.34/184.46	c   undercover       :       0.00          0          0
184.34/184.46	c   nlp              :       0.00          0          0
184.34/184.46	c   trysol           :       0.00          0          0
184.34/184.46	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
184.34/184.46	c   primal LP        :       0.01          0          0       0.00          -
184.34/184.46	c   dual LP          :      60.41       1041     128917     123.84    2134.11
184.34/184.46	c   lex dual LP      :       0.00          0          0       0.00          -
184.34/184.46	c   barrier LP       :       0.00          0          0       0.00          -
184.34/184.46	c   diving/probing LP:       0.00          0          0       0.00          -
184.34/184.46	c   strong branching :     115.39        723     170627     236.00    1478.71
184.34/184.46	c     (at root node) :          -         19       5415     285.00          -
184.34/184.46	c   conflict analysis:       0.00          0          0       0.00          -
184.34/184.46	c B&B Tree           :
184.34/184.46	c   number of runs   :          1
184.34/184.46	c   nodes            :       1068
184.34/184.46	c   nodes (total)    :       1068
184.34/184.46	c   nodes left       :          0
184.34/184.46	c   max depth        :         53
184.34/184.46	c   max depth (total):         53
184.34/184.46	c   backtracks       :        121 (11.3%)
184.34/184.46	c   delayed cutoffs  :          0
184.34/184.46	c   repropagations   :        303 (99 domain reductions, 0 cutoffs)
184.34/184.46	c   avg switch length:       4.81
184.34/184.46	c   switching time   :       0.59
184.34/184.46	c Solution           :
184.34/184.46	c   Solutions found  :          1 (1 improvements)
184.34/184.46	c   First Solution   : +0.00000000000000e+00   (in run 1, after 1068 nodes, 184.33 seconds, depth 45, found by <relaxation>)
184.34/184.46	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 1068 nodes, 184.33 seconds, depth 45, found by <relaxation>)
184.34/184.46	c   Dual Bound       : +0.00000000000000e+00
184.34/184.46	c   Gap              :       0.00 %
184.34/184.46	c   Root Dual Bound  : +0.00000000000000e+00
184.34/184.46	c   Root Iterations  :       2232
184.44/184.50	c Time complete: 184.44.

Verifier Data 

OK	0

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.84 3/106 26390
/proc/meminfo: memFree=1698444/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=7904 CPUtime=0
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 1071 0 0 0 0 0 0 0 20 0 1 0 23025168 8093696 984 1992294400 4194304 8395647 140733340926032 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26390/statm: 1976 992 365 1026 0 946 0

[startup+0.100613 s]
/proc/loadavg: 1.00 1.00 0.84 3/106 26390
/proc/meminfo: memFree=1698444/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=16492 CPUtime=0.09
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 3636 0 0 0 8 1 0 0 20 0 1 0 23025168 16887808 3194 1992294400 4194304 8395647 140733340926032 18446744073709551615 7382137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 4123 3206 405 1026 0 3093 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16492

[startup+0.201621 s]
/proc/loadavg: 1.00 1.00 0.84 3/106 26390
/proc/meminfo: memFree=1698444/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=31052 CPUtime=0.19
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 7132 0 0 0 17 2 0 0 20 0 1 0 23025168 31797248 6690 1992294400 4194304 8395647 140733340926032 18446744073709551615 4684105 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 7763 6690 460 1026 0 6733 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31052

[startup+0.301629 s]
/proc/loadavg: 1.00 1.00 0.84 3/106 26390
/proc/meminfo: memFree=1698444/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=32232 CPUtime=0.29
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 7464 0 0 0 27 2 0 0 20 0 1 0 23025168 33005568 7022 1992294400 4194304 8395647 140733340926032 18446744073709551615 4914304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 8058 7022 473 1026 0 7028 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32232

[startup+0.70166 s]
/proc/loadavg: 1.00 1.00 0.84 3/106 26390
/proc/meminfo: memFree=1698444/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=41608 CPUtime=0.69
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 9743 0 0 0 66 3 0 0 20 0 1 0 23025168 42606592 9275 1992294400 4194304 8395647 140733340926032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 10402 9275 560 1026 0 9372 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41608

[startup+1.50173 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 26391
/proc/meminfo: memFree=1662724/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=70040 CPUtime=1.49
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 16688 0 0 0 143 6 0 0 23 0 1 0 23025168 71720960 16220 1992294400 4194304 8395647 140733340926032 18446744073709551615 6074144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 17510 16220 592 1026 0 16480 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70040

[startup+3.10186 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 26391
/proc/meminfo: memFree=1642264/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=3.09
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17061 0 0 0 302 7 0 0 25 0 1 0 23025168 63045632 14415 1992294400 4194304 8395647 140733340926032 18446744073709551615 6670396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14415 609 1026 0 14362 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61568

[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 26391
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=6.29
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17061 0 0 0 621 8 0 0 25 0 1 0 23025168 63045632 14415 1992294400 4194304 8395647 140733340926032 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14415 609 1026 0 14362 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61568

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 26391
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=12.69
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17062 0 0 0 1258 11 0 0 25 0 1 0 23025168 63045632 14416 1992294400 4194304 8395647 140733340926032 18446744073709551615 6693129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14416 610 1026 0 14362 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61568

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 26391
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=25.49
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17062 0 0 0 2534 15 0 0 25 0 1 0 23025168 63045632 14416 1992294400 4194304 8395647 140733340926032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14416 610 1026 0 14362 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61568

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.85 2/107 26392
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=51.07
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17062 0 0 0 5081 26 0 0 25 0 1 0 23025168 63045632 14416 1992294400 4194304 8395647 140733340926032 18446744073709551615 6663845 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14416 610 1026 0 14362 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 61568

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.85 2/107 26393
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=102.27
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17074 0 0 0 10174 53 0 0 25 0 1 0 23025168 63045632 14428 1992294400 4194304 8395647 140733340926032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14428 615 1026 0 14362 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 61568

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 26395
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=162.25
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17074 0 0 0 16132 93 0 0 25 0 1 0 23025168 63045632 14428 1992294400 4194304 8395647 140733340926032 18446744073709551615 6586864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14428 615 1026 0 14362 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 61568

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

[startup+166.401 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 26395
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=166.34
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17075 0 0 0 16539 95 0 0 25 0 1 0 23025168 63045632 14429 1992294400 4194304 8395647 140733340926032 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14429 616 1026 0 14362 0
Current children cumulated CPU time (s) 166.34
Current children cumulated vsize (KiB) 61568

[startup+172.809 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 26395
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=172.75
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17075 0 0 0 17175 100 0 0 25 0 1 0 23025168 63045632 14429 1992294400 4194304 8395647 140733340926032 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14429 616 1026 0 14362 0
Current children cumulated CPU time (s) 172.75
Current children cumulated vsize (KiB) 61568

[startup+179.201 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 26395
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=179.14
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17075 0 0 0 17811 103 0 0 25 0 1 0 23025168 63045632 14429 1992294400 4194304 8395647 140733340926032 18446744073709551615 6701850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14429 616 1026 0 14362 0
Current children cumulated CPU time (s) 179.14
Current children cumulated vsize (KiB) 61568

[startup+182.401 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 26395
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=182.34
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17075 0 0 0 18128 106 0 0 25 0 1 0 23025168 63045632 14429 1992294400 4194304 8395647 140733340926032 18446744073709551615 6652555 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14429 616 1026 0 14362 0
Current children cumulated CPU time (s) 182.34
Current children cumulated vsize (KiB) 61568

[startup+183.2 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 26395
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=183.14
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17075 0 0 0 18207 107 0 0 25 0 1 0 23025168 63045632 14429 1992294400 4194304 8395647 140733340926032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14429 616 1026 0 14362 0
Current children cumulated CPU time (s) 183.14
Current children cumulated vsize (KiB) 61568

[startup+184.001 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 26395
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=183.93
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17075 0 0 0 18286 107 0 0 25 0 1 0 23025168 63045632 14429 1992294400 4194304 8395647 140733340926032 18446744073709551615 6663837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14429 616 1026 0 14362 0
Current children cumulated CPU time (s) 183.93
Current children cumulated vsize (KiB) 61568

[startup+184.401 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 26395
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=61568 CPUtime=184.34
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17075 0 0 0 18326 108 0 0 25 0 1 0 23025168 63045632 14429 1992294400 4194304 8395647 140733340926032 18446744073709551615 6663860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26390/statm: 15392 14429 616 1026 0 14362 0
Current children cumulated CPU time (s) 184.34
Current children cumulated vsize (KiB) 61568

[startup+184.501 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 26395
/proc/meminfo: memFree=1641892/2059040 swapFree=4139412/4192956
[pid=26390] ppid=26388 vsize=46648 CPUtime=184.44
/proc/26390/stat : 26390 (pbscip.linux.x8) R 26388 26390 25904 0 -1 4202496 17078 0 0 0 18336 108 0 0 25 0 1 0 23025168 47767552 10801 1992294400 4194304 8395647 140733340926032 18446744073709551615 4750673 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26390/statm: 11662 10801 619 1026 0 10632 0
Current children cumulated CPU time (s) 184.44
Current children cumulated vsize (KiB) 46648

Child status: 0
Real time (s): 184.509
CPU time (s): 184.457
CPU user time (s): 183.369
CPU system time (s): 1.08783
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 71068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.369
system time used= 1.08783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17081
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= 3
involuntary context switches= 578

runsolver used 0.306953 second user time and 0.880866 second system time

The end

Launcher Data 

Begin job on node003 at 2010-07-08 02:15:14
IDJOB=2703959
IDBENCH=1151
IDSOLVER=1213
FILE ID=node003/2703959-1278548114
PBS_JOBID= 11239527
Free space on /tmp= 62572 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin12.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703959-1278548114/watcher-2703959-1278548114 -o /tmp/evaluation-result-2703959-1278548114/solver-2703959-1278548114 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703959-1278548114.opb -t 1800 -m 1800

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

MD5SUM BENCH= 8ef9ab9b1b524024010be24ca1127d40
RANDOM SEED=1454453319

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1698972 kB
Buffers:         58984 kB
Cached:         210984 kB
SwapCached:       9064 kB
Active:         145204 kB
Inactive:       140596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1698972 kB
SwapTotal:     4192956 kB
SwapFree:      4139412 kB
Dirty:           10708 kB
Writeback:           0 kB
AnonPages:       11344 kB
Mapped:          11908 kB
Slab:            52300 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179392 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62560 MiB
End job on node003 at 2010-07-08 02:18:19