Trace number 2667120

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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT 193.611 193.657

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

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-2667120-1276268855/watcher-2667120-1276268855 -o /tmp/evaluation-result-2667120-1276268855/solver-2667120-1276268855 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667120-1276268855.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.10 1.21 1.04 3/106 3822
/proc/meminfo: memFree=1589668/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=8752 CPUtime=0
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 1294 0 0 0 0 0 0 0 18 0 1 0 2488944 8962048 1214 1992294400 4194304 8223781 140735676461824 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3822/statm: 2188 1224 348 984 0 1201 0

[startup+0.053436 s]
/proc/loadavg: 1.10 1.21 1.04 3/106 3822
/proc/meminfo: memFree=1589668/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=14440 CPUtime=0.04
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 2904 0 0 0 3 1 0 0 20 0 1 0 2488944 14786560 2824 1992294400 4194304 8223781 140735676461824 18446744073709551615 7247627 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3822/statm: 3610 2824 363 984 0 2623 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14440

[startup+0.101442 s]
/proc/loadavg: 1.10 1.21 1.04 3/106 3822
/proc/meminfo: memFree=1589668/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=13948 CPUtime=0.09
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 3131 0 0 0 8 1 0 0 20 0 1 0 2488944 14282752 2697 1992294400 4194304 8223781 140735676461824 18446744073709551615 6206520 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 3487 2697 366 984 0 2500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13948

[startup+0.301468 s]
/proc/loadavg: 1.10 1.21 1.04 3/106 3822
/proc/meminfo: memFree=1589668/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=31084 CPUtime=0.29
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 7482 0 0 0 26 3 0 0 20 0 1 0 2488944 31830016 6524 1992294400 4194304 8223781 140735676461824 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 7771 6539 449 984 0 6784 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31084

[startup+0.701517 s]
/proc/loadavg: 1.10 1.21 1.04 3/106 3822
/proc/meminfo: memFree=1589668/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=39556 CPUtime=0.69
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 11324 0 0 0 64 5 0 0 21 0 1 0 2488944 40505344 8895 1992294400 4194304 8223781 140735676461824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 9889 8895 527 984 0 8902 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39556

[startup+1.50062 s]
/proc/loadavg: 1.09 1.20 1.04 2/107 3823
/proc/meminfo: memFree=1555188/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=65484 CPUtime=1.49
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 18236 0 0 0 141 8 0 0 23 0 1 0 2488944 67055616 14950 1992294400 4194304 8223781 140735676461824 18446744073709551615 4890989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 16371 14950 557 984 0 15384 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65484

[startup+3.10082 s]
/proc/loadavg: 1.09 1.20 1.04 2/107 3823
/proc/meminfo: memFree=1554320/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=40408 CPUtime=3.09
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 21184 0 0 0 297 12 0 0 25 0 1 0 2488944 41377792 9199 1992294400 4194304 8223781 140735676461824 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 10102 9199 576 984 0 9115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40408

[startup+6.30021 s]
/proc/loadavg: 1.08 1.20 1.04 2/107 3823
/proc/meminfo: memFree=1553956/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=41748 CPUtime=6.29
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 25664 0 0 0 614 15 0 0 25 0 1 0 2488944 42749952 9462 1992294400 4194304 8223781 140735676461824 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 10437 9462 576 984 0 9450 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41748

[startup+12.7009 s]
/proc/loadavg: 1.08 1.20 1.04 2/107 3823
/proc/meminfo: memFree=1553584/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=42508 CPUtime=12.68
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 37195 0 0 0 1247 21 0 0 25 0 1 0 2488944 43528192 9535 1992294400 4194304 8223781 140735676461824 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 10627 9535 576 984 0 9640 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42508

[startup+25.5013 s]
/proc/loadavg: 1.06 1.19 1.04 2/107 3825
/proc/meminfo: memFree=1553460/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=41172 CPUtime=25.49
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 58357 0 0 0 2515 34 0 0 25 0 1 0 2488944 42160128 9363 1992294400 4194304 8223781 140735676461824 18446744073709551615 6614693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 10293 9363 576 984 0 9306 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41172

[startup+51.1016 s]
/proc/loadavg: 1.04 1.17 1.04 2/107 3825
/proc/meminfo: memFree=1553088/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=41372 CPUtime=51.08
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 104557 0 0 0 5046 62 0 0 25 0 1 0 2488944 42364928 9390 1992294400 4194304 8223781 140735676461824 18446744073709551615 6567532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 10343 9390 576 984 0 9356 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41372

[startup+102.309 s]
/proc/loadavg: 1.02 1.14 1.03 2/107 3834
/proc/meminfo: memFree=1550236/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=44456 CPUtime=102.27
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 178597 0 0 0 10113 114 0 0 25 0 1 0 2488944 45522944 10193 1992294400 4194304 8223781 140735676461824 18446744073709551615 6559617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 11114 10193 581 984 0 10127 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 44456

[startup+162.302 s]
/proc/loadavg: 1.00 1.11 1.02 2/107 3834
/proc/meminfo: memFree=1548996/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=45692 CPUtime=162.25
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 201646 0 0 0 16061 164 0 0 25 0 1 0 2488944 46788608 10508 1992294400 4194304 8223781 140735676461824 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 11423 10508 581 984 0 10436 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 45692

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

[startup+179.1 s]
/proc/loadavg: 1.00 1.11 1.02 2/107 3836
/proc/meminfo: memFree=1548376/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=46040 CPUtime=179.05
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 206452 0 0 0 17727 178 0 0 25 0 1 0 2488944 47144960 10623 1992294400 4194304 8223781 140735676461824 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 11510 10623 581 984 0 10523 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 46040

[startup+185.501 s]
/proc/loadavg: 1.00 1.10 1.02 2/107 3836
/proc/meminfo: memFree=1548252/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=46396 CPUtime=185.45
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 208070 0 0 0 18363 182 0 0 25 0 1 0 2488944 47509504 10694 1992294400 4194304 8223781 140735676461824 18446744073709551615 6590678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 11599 10694 581 984 0 10612 0
Current children cumulated CPU time (s) 185.45
Current children cumulated vsize (KiB) 46396

[startup+188.702 s]
/proc/loadavg: 1.00 1.10 1.02 2/107 3836
/proc/meminfo: memFree=1548128/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=46260 CPUtime=188.65
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 208796 0 0 0 18681 184 0 0 25 0 1 0 2488944 47370240 10678 1992294400 4194304 8223781 140735676461824 18446744073709551615 6559366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 11565 10678 581 984 0 10578 0
Current children cumulated CPU time (s) 188.65
Current children cumulated vsize (KiB) 46260

[startup+191.901 s]
/proc/loadavg: 1.00 1.10 1.02 2/107 3836
/proc/meminfo: memFree=1548004/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=46608 CPUtime=191.84
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 209659 0 0 0 18998 186 0 0 25 0 1 0 2488944 47726592 10722 1992294400 4194304 8223781 140735676461824 18446744073709551615 6520847 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 11652 10722 581 984 0 10665 0
Current children cumulated CPU time (s) 191.84
Current children cumulated vsize (KiB) 46608

[startup+192.701 s]
/proc/loadavg: 1.00 1.10 1.02 2/107 3836
/proc/meminfo: memFree=1548004/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=46432 CPUtime=192.64
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 209840 0 0 0 19078 186 0 0 25 0 1 0 2488944 47546368 10721 1992294400 4194304 8223781 140735676461824 18446744073709551615 6358880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 11608 10721 581 984 0 10621 0
Current children cumulated CPU time (s) 192.64
Current children cumulated vsize (KiB) 46432

[startup+193.101 s]
/proc/loadavg: 1.00 1.10 1.02 2/107 3836
/proc/meminfo: memFree=1548004/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=46432 CPUtime=193.04
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 209859 0 0 0 19118 186 0 0 25 0 1 0 2488944 47546368 10721 1992294400 4194304 8223781 140735676461824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 11608 10721 581 984 0 10621 0
Current children cumulated CPU time (s) 193.04
Current children cumulated vsize (KiB) 46432

[startup+193.501 s]
/proc/loadavg: 1.00 1.10 1.02 2/107 3836
/proc/meminfo: memFree=1548004/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=46432 CPUtime=193.46
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 209860 0 0 0 19159 187 0 0 25 0 1 0 2488944 47546368 10721 1992294400 4194304 8223781 140735676461824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3822/statm: 11608 10721 581 984 0 10621 0
Current children cumulated CPU time (s) 193.46
Current children cumulated vsize (KiB) 46432

[startup+193.608 s]
/proc/loadavg: 1.00 1.10 1.02 2/107 3836
/proc/meminfo: memFree=1548004/2059040 swapFree=4192956/4192956
[pid=3822] ppid=3820 vsize=46684 CPUtime=193.56
/proc/3822/stat : 3822 (pbscip.linux.x8) R 3820 3822 3356 0 -1 4202496 209872 0 0 0 19169 187 0 0 25 0 1 0 2488944 47804416 10733 1992294400 4194304 8223781 140735676461824 18446744073709551615 4441488 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3822/statm: 11671 10733 582 984 0 10684 0
Current children cumulated CPU time (s) 193.56
Current children cumulated vsize (KiB) 46684

Child status: 0
Real time (s): 193.657
CPU time (s): 193.611
CPU user time (s): 191.735
CPU system time (s): 1.87571
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 69004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 191.735
system time used= 1.87571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2548

runsolver used 0.334949 second user time and 0.91786 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-11 17:07:35
IDJOB=2667120
IDBENCH=1151
IDSOLVER=1169
FILE ID=node007/2667120-1276268855
PBS_JOBID= 11172203
Free space on /tmp= 62444 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 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-2667120-1276268855/watcher-2667120-1276268855 -o /tmp/evaluation-result-2667120-1276268855/solver-2667120-1276268855 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667120-1276268855.opb -t 1800 -m 1800

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

MD5SUM BENCH= 8ef9ab9b1b524024010be24ca1127d40
RANDOM SEED=627649932

node007.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.264
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.52
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.264
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:       1590072 kB
Buffers:         41384 kB
Cached:         301776 kB
SwapCached:          0 kB
Active:         157100 kB
Inactive:       245444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1590072 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5348 kB
Writeback:           0 kB
AnonPages:       59308 kB
Mapped:          15380 kB
Slab:            44600 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179952 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= 62440 MiB
End job on node007 at 2010-06-11 17:10:49