Trace number 3690484

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedSAT 1674.24 1674.52

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin14.opb
MD5SUM321349c7a7114538010c83c600c72ae9
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 benchmark9.64253
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables8281
Total number of constraints826
Number of constraints which are clauses364
Number of constraints which are cardinality constraints (but not clauses)462
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint91
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 171
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3690484-1338016919.opb>
0.00/0.03	c original problem has 8281 variables (8281 bin, 0 int, 0 impl, 0 cont) and 826 constraints
0.00/0.03	c problem read in 0.04
0.00/0.04	c No objective function, only one solution is needed.
0.00/0.04	c presolving settings loaded
0.03/0.08	c presolving:
0.09/0.17	c (round 1) 0 del vars, 364 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 98 upgd conss, 0 impls, 364 clqs
0.18/0.26	c (round 2) 0 del vars, 364 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 462 upgd conss, 0 impls, 364 clqs
0.18/0.28	c presolving (3 rounds):
0.18/0.28	c  0 deleted vars, 364 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.18/0.28	c  0 implications, 364 cliques
0.18/0.28	c presolved problem has 8281 variables (8281 bin, 0 int, 0 impl, 0 cont) and 462 constraints
0.18/0.28	c      98 constraints of type <knapsack>
0.18/0.28	c     364 constraints of type <setppc>
0.18/0.28	c transformed objective value is always integral (scale: 1)
0.18/0.28	c Presolving Time: 0.23
0.18/0.28	c - non default parameters ----------------------------------------------------------------------
0.18/0.28	c # SCIP version 2.1.1.4
0.18/0.28	c 
0.18/0.28	c # maximal time in seconds to run
0.18/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.28	c limits/time = 1797
0.18/0.28	c 
0.18/0.28	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.28	c limits/memory = 13950
0.18/0.28	c 
0.18/0.28	c # solving stops, if the given number of solutions were found (-1: no limit)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.28	c limits/solutions = 1
0.18/0.28	c 
0.18/0.28	c # maximal number of separation rounds per node (-1: unlimited)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 5]
0.18/0.28	c separating/maxrounds = 1
0.18/0.28	c 
0.18/0.28	c # maximal number of separation rounds in the root node (-1: unlimited)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.28	c separating/maxroundsroot = 5
0.18/0.28	c 
0.18/0.28	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.18/0.28	c # [type: int, range: [1,2], default: 1]
0.18/0.28	c timing/clocktype = 2
0.18/0.28	c 
0.18/0.28	c # belongs reading time to solving time?
0.18/0.28	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.28	c timing/reading = TRUE
0.18/0.28	c 
0.18/0.28	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.18/0.28	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.18/0.28	c constraints/knapsack/disaggregation = FALSE
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 10]
0.18/0.28	c heuristics/coefdiving/freq = -1
0.18/0.28	c 
0.18/0.28	c # maximal fraction of diving LP iterations compared to node LP iterations
0.18/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.18/0.28	c heuristics/coefdiving/maxlpiterquot = 0.075
0.18/0.28	c 
0.18/0.28	c # additional number of allowed LP iterations
0.18/0.28	c # [type: int, range: [0,2147483647], default: 1000]
0.18/0.28	c heuristics/coefdiving/maxlpiterofs = 1500
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 30]
0.18/0.28	c heuristics/crossover/freq = -1
0.18/0.28	c 
0.18/0.28	c # number of nodes added to the contingent of the total nodes
0.18/0.28	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.18/0.28	c heuristics/crossover/nodesofs = 750
0.18/0.28	c 
0.18/0.28	c # number of nodes without incumbent change that heuristic should wait
0.18/0.28	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.18/0.28	c heuristics/crossover/nwaitingnodes = 100
0.18/0.28	c 
0.18/0.28	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.18/0.28	c # [type: real, range: [0,1], default: 0.1]
0.18/0.28	c heuristics/crossover/nodesquot = 0.15
0.18/0.28	c 
0.18/0.28	c # minimum percentage of integer variables that have to be fixed 
0.18/0.28	c # [type: real, range: [0,1], default: 0.666]
0.18/0.28	c heuristics/crossover/minfixingrate = 0.5
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 20]
0.18/0.28	c heuristics/feaspump/freq = -1
0.18/0.28	c 
0.18/0.28	c # additional number of allowed LP iterations
0.18/0.28	c # [type: int, range: [0,2147483647], default: 1000]
0.18/0.28	c heuristics/feaspump/maxlpiterofs = 2000
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 10]
0.18/0.28	c heuristics/fracdiving/freq = -1
0.18/0.28	c 
0.18/0.28	c # maximal fraction of diving LP iterations compared to node LP iterations
0.18/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.18/0.28	c heuristics/fracdiving/maxlpiterquot = 0.075
0.18/0.28	c 
0.18/0.28	c # additional number of allowed LP iterations
0.18/0.28	c # [type: int, range: [0,2147483647], default: 1000]
0.18/0.28	c heuristics/fracdiving/maxlpiterofs = 1500
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 10]
0.18/0.28	c heuristics/guideddiving/freq = -1
0.18/0.28	c 
0.18/0.28	c # maximal fraction of diving LP iterations compared to node LP iterations
0.18/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.18/0.28	c heuristics/guideddiving/maxlpiterquot = 0.075
0.18/0.28	c 
0.18/0.28	c # additional number of allowed LP iterations
0.18/0.28	c # [type: int, range: [0,2147483647], default: 1000]
0.18/0.28	c heuristics/guideddiving/maxlpiterofs = 1500
0.18/0.28	c 
0.18/0.28	c # maximal fraction of diving LP iterations compared to node LP iterations
0.18/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.18/0.28	c heuristics/intdiving/maxlpiterquot = 0.075
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 10]
0.18/0.28	c heuristics/intshifting/freq = -1
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 10]
0.18/0.28	c heuristics/linesearchdiving/freq = -1
0.18/0.28	c 
0.18/0.28	c # maximal fraction of diving LP iterations compared to node LP iterations
0.18/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.18/0.28	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.18/0.28	c 
0.18/0.28	c # additional number of allowed LP iterations
0.18/0.28	c # [type: int, range: [0,2147483647], default: 1000]
0.18/0.28	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 20]
0.18/0.28	c heuristics/objpscostdiving/freq = -1
0.18/0.28	c 
0.18/0.28	c # maximal fraction of diving LP iterations compared to total iteration number
0.18/0.28	c # [type: real, range: [0,1], default: 0.01]
0.18/0.28	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.18/0.28	c 
0.18/0.28	c # additional number of allowed LP iterations
0.18/0.28	c # [type: int, range: [0,2147483647], default: 1000]
0.18/0.28	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 1]
0.18/0.28	c heuristics/oneopt/freq = -1
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 10]
0.18/0.28	c heuristics/pscostdiving/freq = -1
0.18/0.28	c 
0.18/0.28	c # maximal fraction of diving LP iterations compared to node LP iterations
0.18/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.18/0.28	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.18/0.28	c 
0.18/0.28	c # additional number of allowed LP iterations
0.18/0.28	c # [type: int, range: [0,2147483647], default: 1000]
0.18/0.28	c heuristics/pscostdiving/maxlpiterofs = 1500
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 0]
0.18/0.28	c heuristics/rens/freq = -1
0.18/0.28	c 
0.18/0.28	c # minimum percentage of integer variables that have to be fixable 
0.18/0.28	c # [type: real, range: [0,1], default: 0.5]
0.18/0.28	c heuristics/rens/minfixingrate = 0.3
0.18/0.28	c 
0.18/0.28	c # number of nodes added to the contingent of the total nodes
0.18/0.28	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.18/0.28	c heuristics/rens/nodesofs = 2000
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 20]
0.18/0.28	c heuristics/rootsoldiving/freq = -1
0.18/0.28	c 
0.18/0.28	c # maximal fraction of diving LP iterations compared to node LP iterations
0.18/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.18/0.28	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.18/0.28	c 
0.18/0.28	c # additional number of allowed LP iterations
0.18/0.28	c # [type: int, range: [0,2147483647], default: 1000]
0.18/0.28	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 1]
0.18/0.28	c heuristics/rounding/freq = -1
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 0]
0.18/0.28	c heuristics/shiftandpropagate/freq = -1
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 10]
0.18/0.28	c heuristics/shifting/freq = -1
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 1]
0.18/0.28	c heuristics/simplerounding/freq = -1
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 1]
0.18/0.28	c heuristics/subnlp/freq = -1
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 0]
0.18/0.28	c heuristics/trivial/freq = -1
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 1]
0.18/0.28	c heuristics/trysol/freq = -1
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 0]
0.18/0.28	c heuristics/undercover/freq = -1
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 10]
0.18/0.28	c heuristics/veclendiving/freq = -1
0.18/0.28	c 
0.18/0.28	c # maximal fraction of diving LP iterations compared to node LP iterations
0.18/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.18/0.28	c heuristics/veclendiving/maxlpiterquot = 0.075
0.18/0.28	c 
0.18/0.28	c # additional number of allowed LP iterations
0.18/0.28	c # [type: int, range: [0,2147483647], default: 1000]
0.18/0.28	c heuristics/veclendiving/maxlpiterofs = 1500
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 1]
0.18/0.28	c heuristics/zirounding/freq = -1
0.18/0.28	c 
0.18/0.28	c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.28	c propagating/probing/maxprerounds = 0
0.18/0.28	c 
0.18/0.28	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 0]
0.18/0.28	c separating/cmir/freq = -1
0.18/0.28	c 
0.18/0.28	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 0]
0.18/0.28	c separating/flowcover/freq = -1
0.18/0.28	c 
0.18/0.28	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.28	c separating/rapidlearning/freq = 0
0.18/0.28	c 
0.18/0.28	c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 1]
0.18/0.28	c heuristics/indoneopt/freq = -1
0.18/0.28	c 
0.18/0.28	c -----------------------------------------------------------------------------------------------
0.18/0.28	c start solving
0.18/0.28	c 
3.88/3.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.88/3.91	c   3.9s|     1 |     0 | 13781 |     - |  31M|   0 | 392 |8281 | 462 |8281 | 462 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.99/5.06	c   5.1s|     1 |     0 | 14001 |     - |  39M|   0 | 415 |8281 |1383 |8281 | 469 |   7 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.19/5.22	c   5.1s|     1 |     0 | 14052 |     - |  39M|   0 | 419 |8281 |1383 |8281 | 476 |  14 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.19/5.23	c   5.2s|     1 |     0 | 14116 |     - |  39M|   0 | 430 |8281 |1383 |8281 | 485 |  23 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.29/5.32	c   5.3s|     1 |     0 | 14171 |     - |  39M|   0 | 437 |8281 |1383 |8281 | 495 |  33 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.39/5.41	c   5.4s|     1 |     0 | 14203 |     - |  39M|   0 | 448 |8281 |1383 |8281 | 504 |  42 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.38/7.44	c   7.4s|     1 |     2 | 14203 |     - |  39M|   0 | 448 |8281 |1383 |8281 | 504 |  42 |   0 |  11 | 0.000000e+00 |      --      |    Inf 
81.88/81.94	c  81.9s|   100 |   101 | 24103 | 100.0 |  41M|  63 | 208 |8281 |1383 |8281 | 501 |  42 |   0 | 487 | 0.000000e+00 |      --      |    Inf 
89.58/89.68	c  89.7s|   200 |   147 | 36844 | 113.8 |  42M|  76 | 132 |8281 |1403 |8281 | 501 |  42 |  20 | 512 | 0.000000e+00 |      --      |    Inf 
98.17/98.20	c  98.2s|   300 |   163 | 53676 | 132.0 |  42M|  76 |   - |8281 |1421 |8281 | 501 |  42 |  38 | 548 | 0.000000e+00 |      --      |    Inf 
104.48/104.58	c   105s|   400 |   181 | 65491 | 128.5 |  43M|  82 | 136 |8281 |1441 |8281 | 501 |  42 |  58 | 573 | 0.000000e+00 |      --      |    Inf 
109.27/109.33	c   109s|   500 |   191 | 74463 | 120.8 |  43M|  83 | 119 |8281 |1450 |8281 | 501 |  42 |  67 | 595 | 0.000000e+00 |      --      |    Inf 
114.46/114.50	c   114s|   600 |   191 | 84779 | 117.8 |  43M|  85 | 156 |8281 |1456 |8281 | 501 |  42 |  77 | 616 | 0.000000e+00 |      --      |    Inf 
120.56/120.62	c   121s|   700 |   193 | 96243 | 117.4 |  43M|  85 |   - |8281 |1470 |8281 | 501 |  42 |  91 | 642 | 0.000000e+00 |      --      |    Inf 
125.56/125.64	c   126s|   800 |   199 |105494 | 114.3 |  43M|  85 | 144 |8281 |1502 |8281 | 501 |  42 | 123 | 664 | 0.000000e+00 |      --      |    Inf 
130.66/130.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
130.66/130.74	c   131s|   900 |   205 |114346 | 111.4 |  43M|  85 | 148 |8281 |1509 |8281 | 501 |  42 | 132 | 685 | 0.000000e+00 |      --      |    Inf 
136.15/136.29	c   136s|  1000 |   203 |125038 | 110.9 |  43M|  85 |   - |8281 |1531 |8281 | 501 |  42 | 155 | 709 | 0.000000e+00 |      --      |    Inf 
141.66/141.75	c   142s|  1100 |   205 |134906 | 109.8 |  43M|  85 | 154 |8281 |1550 |8281 | 501 |  42 | 174 | 733 | 0.000000e+00 |      --      |    Inf 
147.36/147.44	c   147s|  1200 |   209 |146033 | 109.9 |  43M|  85 |   - |8281 |1563 |8281 | 501 |  42 | 189 | 757 | 0.000000e+00 |      --      |    Inf 
153.36/153.42	c   153s|  1300 |   209 |157243 | 110.1 |  43M|  85 | 144 |8281 |1604 |8281 | 501 |  42 | 231 | 783 | 0.000000e+00 |      --      |    Inf 
160.75/160.82	c   161s|  1400 |   237 |172373 | 113.1 |  43M|  85 | 156 |8281 |1611 |8281 | 501 |  42 | 239 | 813 | 0.000000e+00 |      --      |    Inf 
166.95/167.05	c   167s|  1500 |   269 |184710 | 113.7 |  43M|  85 | 178 |8281 |1599 |8281 | 501 |  42 | 239 | 838 | 0.000000e+00 |      --      |    Inf 
174.76/174.83	c   175s|  1600 |   289 |199171 | 115.7 |  44M|  85 | 186 |8281 |1591 |8281 | 501 |  42 | 251 | 871 | 0.000000e+00 |      --      |    Inf 
182.75/182.87	c   183s|  1700 |   297 |216091 | 118.8 |  44M|  85 |   - |8281 |1591 |8281 | 501 |  42 | 261 | 901 | 0.000000e+00 |      --      |    Inf 
190.35/190.48	c   190s|  1800 |   303 |231132 | 120.6 |  44M|  85 |   - |8281 |1584 |8281 | 501 |  42 | 261 | 936 | 0.000000e+00 |      --      |    Inf 
195.66/195.70	c   196s|  1900 |   307 |240093 | 119.0 |  44M|  85 | 218 |8281 |1622 |8281 | 501 |  42 | 301 | 963 | 0.000000e+00 |      --      |    Inf 
203.15/203.20	c   203s|  2000 |   317 |256491 | 121.2 |  44M|  85 | 153 |8281 |1634 |8281 | 501 |  42 | 323 | 987 | 0.000000e+00 |      --      |    Inf 
208.65/208.78	c   209s|  2100 |   315 |267640 | 120.7 |  44M|  85 |   - |8281 |1658 |8281 | 501 |  42 | 348 |1006 | 0.000000e+00 |      --      |    Inf 
214.45/214.54	c   215s|  2200 |   317 |277588 | 119.8 |  44M|  85 |   - |8281 |1715 |8281 | 501 |  42 | 412 |1036 | 0.000000e+00 |      --      |    Inf 
222.05/222.20	c   222s|  2300 |   339 |292942 | 121.2 |  44M|  85 | 186 |8281 |1718 |8281 | 501 |  42 | 438 |1068 | 0.000000e+00 |      --      |    Inf 
228.34/228.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
228.34/228.42	c   228s|  2400 |   357 |305431 | 121.4 |  44M|  85 |   - |8281 |1724 |8281 | 501 |  42 | 461 |1092 | 0.000000e+00 |      --      |    Inf 
235.84/235.99	c   236s|  2500 |   385 |319546 | 122.2 |  44M|  85 | 188 |8281 |1736 |8281 | 501 |  42 | 503 |1124 | 0.000000e+00 |      --      |    Inf 
241.54/241.69	c   242s|  2600 |   401 |331717 | 122.2 |  44M|  85 | 127 |8281 |1745 |8281 | 501 |  42 | 513 |1140 | 0.000000e+00 |      --      |    Inf 
247.64/247.79	c   248s|  2700 |   409 |343900 | 122.2 |  45M|  85 | 119 |8281 |1762 |8281 | 501 |  42 | 532 |1165 | 0.000000e+00 |      --      |    Inf 
253.54/253.65	c   254s|  2800 |   417 |354760 | 121.7 |  45M|  85 |   - |8281 |1781 |8281 | 501 |  42 | 552 |1191 | 0.000000e+00 |      --      |    Inf 
260.55/260.68	c   261s|  2900 |   417 |368127 | 122.1 |  45M|  85 |   - |8281 |1791 |8281 | 501 |  42 | 566 |1219 | 0.000000e+00 |      --      |    Inf 
266.14/266.27	c   266s|  3000 |   411 |378882 | 121.6 |  45M|  88 |   - |8281 |1820 |8281 | 501 |  42 | 596 |1242 | 0.000000e+00 |      --      |    Inf 
274.33/274.40	c   274s|  3100 |   435 |395440 | 123.0 |  45M|  88 | 137 |8281 |1821 |8281 | 501 |  42 | 612 |1274 | 0.000000e+00 |      --      |    Inf 
280.64/280.77	c   281s|  3200 |   447 |408951 | 123.4 |  45M|  88 |   - |8281 |1852 |8281 | 501 |  42 | 663 |1294 | 0.000000e+00 |      --      |    Inf 
287.34/287.46	c   287s|  3300 |   455 |421858 | 123.6 |  45M|  88 |   - |8281 |1874 |8281 | 501 |  42 | 697 |1320 | 0.000000e+00 |      --      |    Inf 
293.34/293.43	c   293s|  3400 |   457 |432653 | 123.1 |  45M|  88 |   - |8281 |1870 |8281 | 501 |  42 | 732 |1344 | 0.000000e+00 |      --      |    Inf 
299.04/299.13	c   299s|  3500 |   465 |443444 | 122.7 |  45M|  88 | 141 |8281 |1887 |8281 | 501 |  42 | 758 |1368 | 0.000000e+00 |      --      |    Inf 
304.13/304.25	c   304s|  3600 |   465 |453788 | 122.1 |  45M|  88 | 119 |8281 |1897 |8281 | 501 |  42 | 768 |1387 | 0.000000e+00 |      --      |    Inf 
310.04/310.18	c   310s|  3700 |   469 |464832 | 121.8 |  45M|  88 | 190 |8281 |1909 |8281 | 501 |  42 | 790 |1414 | 0.000000e+00 |      --      |    Inf 
316.74/316.88	c   317s|  3800 |   473 |478529 | 122.2 |  45M|  88 |   - |8281 |1917 |8281 | 501 |  42 | 810 |1445 | 0.000000e+00 |      --      |    Inf 
323.03/323.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
323.03/323.10	c   323s|  3900 |   487 |489798 | 122.0 |  45M|  89 | 160 |8281 |1919 |8281 | 501 |  42 | 826 |1470 | 0.000000e+00 |      --      |    Inf 
329.63/329.74	c   330s|  4000 |   499 |503136 | 122.3 |  45M|  89 |   - |8281 |1923 |8281 | 501 |  42 | 850 |1500 | 0.000000e+00 |      --      |    Inf 
335.63/335.78	c   336s|  4100 |   501 |514624 | 122.1 |  45M|  89 | 172 |8281 |1936 |8281 | 501 |  42 | 870 |1524 | 0.000000e+00 |      --      |    Inf 
341.53/341.65	c   342s|  4200 |   515 |526370 | 122.0 |  45M|  89 | 161 |8281 |1962 |8281 | 501 |  42 | 910 |1550 | 0.000000e+00 |      --      |    Inf 
347.63/347.77	c   348s|  4300 |   525 |537867 | 121.8 |  46M|  95 | 116 |8281 |1988 |8281 | 501 |  42 | 944 |1574 | 0.000000e+00 |      --      |    Inf 
352.32/352.48	c   352s|  4400 |   531 |546817 | 121.1 |  46M|  95 | 106 |8281 |2000 |8281 | 501 |  42 | 963 |1590 | 0.000000e+00 |      --      |    Inf 
357.82/357.90	c   358s|  4500 |   525 |557152 | 120.7 |  46M|  95 |   - |8281 |2028 |8281 | 501 |  42 | 993 |1619 | 0.000000e+00 |      --      |    Inf 
364.52/364.63	c   365s|  4600 |   533 |570167 | 120.9 |  46M|  95 | 158 |8281 |2022 |8281 | 501 |  42 |1005 |1650 | 0.000000e+00 |      --      |    Inf 
371.52/371.66	c   372s|  4700 |   543 |584552 | 121.4 |  46M|  95 | 155 |8281 |2029 |8281 | 501 |  42 |1026 |1675 | 0.000000e+00 |      --      |    Inf 
378.93/379.08	c   379s|  4800 |   545 |598952 | 121.8 |  46M|  95 | 112 |8281 |2028 |8281 | 501 |  42 |1046 |1707 | 0.000000e+00 |      --      |    Inf 
385.22/385.31	c   385s|  4900 |   553 |612120 | 122.0 |  46M|  95 | 138 |8281 |2049 |8281 | 501 |  42 |1090 |1732 | 0.000000e+00 |      --      |    Inf 
392.12/392.30	c   392s|  5000 |   583 |625035 | 122.2 |  46M|  95 | 271 |8281 |2020 |8281 | 501 |  42 |1097 |1764 | 0.000000e+00 |      --      |    Inf 
398.81/398.94	c   399s|  5100 |   623 |637826 | 122.3 |  46M|  95 | 163 |8281 |2027 |8281 | 501 |  42 |1109 |1788 | 0.000000e+00 |      --      |    Inf 
406.52/406.60	c   407s|  5200 |   635 |653699 | 123.0 |  46M|  95 |   - |8281 |2028 |8281 | 501 |  42 |1119 |1821 | 0.000000e+00 |      --      |    Inf 
414.02/414.15	c   414s|  5300 |   657 |668624 | 123.5 |  47M|  95 | 160 |8281 |2035 |8281 | 501 |  42 |1144 |1845 | 0.000000e+00 |      --      |    Inf 
421.61/421.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
421.61/421.73	c   422s|  5400 |   663 |683531 | 124.0 |  47M|  95 |   - |8281 |2073 |8281 | 501 |  42 |1194 |1876 | 0.000000e+00 |      --      |    Inf 
427.72/427.82	c   428s|  5500 |   665 |695888 | 124.0 |  47M|  95 |   - |8281 |2050 |8281 | 501 |  42 |1195 |1900 | 0.000000e+00 |      --      |    Inf 
434.41/434.52	c   435s|  5600 |   683 |709850 | 124.2 |  47M|  95 | 134 |8281 |2046 |8281 | 501 |  42 |1209 |1927 | 0.000000e+00 |      --      |    Inf 
440.31/440.43	c   440s|  5700 |   690 |721049 | 124.0 |  47M|  95 | 144 |8281 |2053 |8281 | 501 |  42 |1229 |1951 | 0.000000e+00 |      --      |    Inf 
447.12/447.26	c   447s|  5800 |   702 |734565 | 124.2 |  47M|  95 | 172 |8281 |2046 |8281 | 501 |  42 |1229 |1979 | 0.000000e+00 |      --      |    Inf 
454.01/454.18	c   454s|  5900 |   710 |747620 | 124.3 |  47M|  95 | 186 |8281 |2045 |8281 | 501 |  42 |1239 |2009 | 0.000000e+00 |      --      |    Inf 
460.11/460.23	c   460s|  6000 |   718 |760100 | 124.3 |  47M|  95 |   - |8281 |2048 |8281 | 501 |  42 |1266 |2033 | 0.000000e+00 |      --      |    Inf 
465.81/465.99	c   466s|  6100 |   750 |770326 | 124.0 |  47M|  95 |  76 |8281 |2044 |8281 | 501 |  42 |1280 |2059 | 0.000000e+00 |      --      |    Inf 
469.81/469.95	c   470s|  6200 |   748 |777374 | 123.1 |  47M|  95 |   - |8281 |2088 |8281 | 501 |  42 |1325 |2072 | 0.000000e+00 |      --      |    Inf 
477.10/477.27	c   477s|  6300 |   766 |792372 | 123.5 |  47M|  95 | 184 |8281 |2070 |8281 | 501 |  42 |1325 |2103 | 0.000000e+00 |      --      |    Inf 
483.91/484.06	c   484s|  6400 |   804 |806296 | 123.8 |  47M|  95 | 149 |8281 |2085 |8281 | 501 |  42 |1358 |2128 | 0.000000e+00 |      --      |    Inf 
491.00/491.13	c   491s|  6500 |   856 |819260 | 123.9 |  48M|  95 |   - |8281 |2073 |8281 | 501 |  42 |1368 |2158 | 0.000000e+00 |      --      |    Inf 
500.21/500.34	c   500s|  6600 |   888 |835954 | 124.5 |  48M|  95 | 266 |8281 |2068 |8281 | 501 |  42 |1373 |2196 | 0.000000e+00 |      --      |    Inf 
507.40/507.52	c   508s|  6700 |   918 |850991 | 124.9 |  48M|  95 | 167 |8281 |2068 |8281 | 501 |  42 |1385 |2221 | 0.000000e+00 |      --      |    Inf 
514.50/514.64	c   515s|  6800 |   932 |865211 | 125.2 |  48M|  95 |   - |8281 |2080 |8281 | 501 |  42 |1409 |2250 | 0.000000e+00 |      --      |    Inf 
522.40/522.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
522.40/522.57	c   523s|  6900 |   940 |880713 | 125.6 |  48M|  95 |   - |8281 |2087 |8281 | 501 |  42 |1429 |2286 | 0.000000e+00 |      --      |    Inf 
529.90/530.01	c   530s|  7000 |   960 |895595 | 125.9 |  49M|  95 | 144 |8281 |2096 |8281 | 501 |  42 |1449 |2318 | 0.000000e+00 |      --      |    Inf 
537.00/537.16	c   537s|  7100 |   958 |910531 | 126.3 |  49M|  95 |   - |8281 |2126 |8281 | 501 |  42 |1481 |2341 | 0.000000e+00 |      --      |    Inf 
543.00/543.18	c   543s|  7200 |   962 |922232 | 126.1 |  49M|  95 | 156 |8281 |2177 |8281 | 501 |  42 |1534 |2361 | 0.000000e+00 |      --      |    Inf 
549.20/549.38	c   549s|  7300 |   956 |934668 | 126.1 |  49M|  95 | 199 |8281 |2242 |8281 | 501 |  42 |1604 |2382 | 0.000000e+00 |      --      |    Inf 
557.50/557.61	c   558s|  7400 |   962 |952016 | 126.7 |  49M|  95 |   - |8281 |2246 |8281 | 501 |  42 |1614 |2410 | 0.000000e+00 |      --      |    Inf 
562.79/562.96	c   563s|  7500 |   968 |962062 | 126.4 |  49M|  95 |   - |8281 |2304 |8281 | 501 |  42 |1681 |2433 | 0.000000e+00 |      --      |    Inf 
568.79/568.97	c   569s|  7600 |   970 |972007 | 126.0 |  49M|  95 | 162 |8281 |2317 |8281 | 501 |  42 |1705 |2459 | 0.000000e+00 |      --      |    Inf 
574.00/574.11	c   574s|  7700 |   972 |983158 | 125.9 |  49M|  95 |   - |8281 |2358 |   0 |   0 |  42 |1755 |2475 | 0.000000e+00 |      --      |    Inf 
579.39/579.54	c   580s|  7800 |   976 |992783 | 125.5 |  49M|  95 | 168 |8281 |2405 |8281 | 501 |  42 |1813 |2501 | 0.000000e+00 |      --      |    Inf 
584.49/584.69	c   585s|  7900 |   982 |  1002k| 125.1 |  50M|  95 |   - |8281 |2437 |   0 |   0 |  42 |1854 |2523 | 0.000000e+00 |      --      |    Inf 
588.49/588.62	c   589s|  8000 |   978 |  1008k| 124.3 |  50M|  95 | 141 |8281 |2488 |8281 | 501 |  42 |1935 |2541 | 0.000000e+00 |      --      |    Inf 
593.48/593.66	c   594s|  8100 |   984 |  1018k| 124.0 |  50M|  95 | 143 |8281 |2521 |8281 | 501 |  42 |1997 |2557 | 0.000000e+00 |      --      |    Inf 
599.99/600.18	c   600s|  8200 |   980 |  1031k| 124.1 |  50M|  95 | 172 |8281 |2538 |8281 | 501 |  42 |2046 |2587 | 0.000000e+00 |      --      |    Inf 
605.99/606.11	c   606s|  8300 |   978 |  1042k| 124.0 |  50M|  95 |   - |8281 |2568 |8281 | 501 |  42 |2094 |2615 | 0.000000e+00 |      --      |    Inf 
611.89/612.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
611.89/612.06	c   612s|  8400 |   984 |  1054k| 123.8 |  50M|  95 |   - |8281 |2576 |8281 | 501 |  42 |2128 |2640 | 0.000000e+00 |      --      |    Inf 
619.09/619.26	c   619s|  8500 |   986 |  1068k| 124.1 |  50M|  95 | 201 |8281 |2593 |8281 | 501 |  42 |2202 |2670 | 0.000000e+00 |      --      |    Inf 
627.99/628.19	c   628s|  8600 |  1006 |  1086k| 124.7 |  50M|  95 | 133 |8281 |2547 |8281 | 501 |  42 |2228 |2701 | 0.000000e+00 |      --      |    Inf 
634.88/635.03	c   635s|  8700 |  1010 |  1100k| 124.8 |  50M|  95 | 142 |8281 |2546 |8281 | 501 |  42 |2241 |2730 | 0.000000e+00 |      --      |    Inf 
643.18/643.31	c   643s|  8800 |  1026 |  1117k| 125.3 |  50M|  95 | 166 |8281 |2563 |8281 | 501 |  42 |2299 |2764 | 0.000000e+00 |      --      |    Inf 
650.58/650.79	c   651s|  8900 |  1042 |  1132k| 125.7 |  50M|  95 |   - |8281 |2580 |8281 | 501 |  42 |2334 |2788 | 0.000000e+00 |      --      |    Inf 
657.47/657.61	c   658s|  9000 |  1048 |  1147k| 125.9 |  50M|  95 |   - |8281 |2569 |8281 | 501 |  42 |2339 |2810 | 0.000000e+00 |      --      |    Inf 
664.18/664.33	c   664s|  9100 |  1064 |  1160k| 126.0 |  50M|  95 | 202 |8281 |2623 |8281 | 501 |  42 |2427 |2834 | 0.000000e+00 |      --      |    Inf 
669.97/670.15	c   670s|  9200 |  1064 |  1171k| 125.8 |  50M|  95 |   - |8281 |2629 |8281 | 501 |  42 |2448 |2858 | 0.000000e+00 |      --      |    Inf 
677.78/677.96	c   678s|  9300 |  1082 |  1186k| 126.0 |  51M|  95 | 143 |8281 |2666 |8281 | 501 |  42 |2510 |2893 | 0.000000e+00 |      --      |    Inf 
685.08/685.20	c   685s|  9400 |  1090 |  1201k| 126.3 |  51M|  95 | 130 |8281 |2655 |8281 | 501 |  42 |2520 |2915 | 0.000000e+00 |      --      |    Inf 
693.68/693.89	c   694s|  9500 |  1098 |  1217k| 126.7 |  51M|  95 |   - |8281 |2644 |8281 | 501 |  42 |2535 |2946 | 0.000000e+00 |      --      |    Inf 
701.37/701.53	c   702s|  9600 |  1102 |  1232k| 126.9 |  51M|  95 | 184 |8281 |2644 |8281 | 501 |  42 |2556 |2978 | 0.000000e+00 |      --      |    Inf 
708.67/708.84	c   709s|  9700 |  1102 |  1247k| 127.1 |  51M|  95 |   - |8281 |2613 |8281 | 501 |  42 |2579 |3001 | 0.000000e+00 |      --      |    Inf 
713.87/714.06	c   714s|  9800 |  1110 |  1257k| 126.9 |  51M|  95 |   - |8281 |2668 |8281 | 501 |  42 |2649 |3022 | 0.000000e+00 |      --      |    Inf 
721.27/721.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
721.27/721.44	c   721s|  9900 |  1136 |  1272k| 127.1 |  51M|  95 |   - |8281 |2635 |8281 | 501 |  42 |2669 |3051 | 0.000000e+00 |      --      |    Inf 
726.77/726.90	c   727s| 10000 |  1152 |  1283k| 126.9 |  51M|  95 | 129 |8281 |2653 |8281 | 501 |  42 |2709 |3075 | 0.000000e+00 |      --      |    Inf 
732.76/732.95	c   733s| 10100 |  1154 |  1294k| 126.7 |  51M|  95 |   - |8281 |2658 |8281 | 501 |  42 |2719 |3101 | 0.000000e+00 |      --      |    Inf 
739.47/739.66	c   740s| 10200 |  1182 |  1307k| 126.8 |  51M|  95 | 123 |8281 |2658 |8281 | 501 |  42 |2763 |3126 | 0.000000e+00 |      --      |    Inf 
745.97/746.14	c   746s| 10300 |  1192 |  1320k| 126.9 |  51M|  95 | 165 |8281 |2647 |8281 | 501 |  42 |2794 |3150 | 0.000000e+00 |      --      |    Inf 
751.27/751.46	c   751s| 10400 |  1202 |  1331k| 126.6 |  51M|  95 |   - |8281 |2677 |8281 | 501 |  42 |2839 |3168 | 0.000000e+00 |      --      |    Inf 
759.66/759.83	c   760s| 10500 |  1208 |  1347k| 127.0 |  51M|  95 |   - |8281 |2653 |8281 | 501 |  42 |2851 |3198 | 0.000000e+00 |      --      |    Inf 
766.26/766.49	c   766s| 10600 |  1224 |  1361k| 127.1 |  52M|  95 |   - |8281 |2648 |8281 | 501 |  42 |2876 |3219 | 0.000000e+00 |      --      |    Inf 
771.16/771.33	c   771s| 10700 |  1222 |  1370k| 126.8 |  52M|  95 |   - |8281 |2720 |   0 |   0 |  42 |2956 |3235 | 0.000000e+00 |      --      |    Inf 
777.16/777.35	c   777s| 10800 |  1228 |  1381k| 126.6 |  52M|  95 | 171 |8281 |2759 |8281 | 501 |  42 |3012 |3259 | 0.000000e+00 |      --      |    Inf 
781.75/781.92	c   782s| 10900 |  1232 |  1389k| 126.2 |  52M|  95 | 149 |8281 |2822 |8281 | 501 |  42 |3122 |3280 | 0.000000e+00 |      --      |    Inf 
788.46/788.68	c   789s| 11000 |  1242 |  1403k| 126.3 |  52M|  95 | 291 |8281 |2797 |8281 | 501 |  42 |3163 |3306 | 0.000000e+00 |      --      |    Inf 
793.56/793.70	c   794s| 11100 |  1262 |  1412k| 126.0 |  52M|  95 |   - |8281 |2797 |8281 | 501 |  42 |3173 |3328 | 0.000000e+00 |      --      |    Inf 
799.56/799.78	c   800s| 11200 |  1262 |  1424k| 125.9 |  52M|  95 |   - |8281 |2836 |8281 | 501 |  42 |3232 |3355 | 0.000000e+00 |      --      |    Inf 
806.25/806.44	c   806s| 11300 |  1282 |  1435k| 125.8 |  52M|  95 | 182 |8281 |2765 |8281 | 501 |  42 |3237 |3388 | 0.000000e+00 |      --      |    Inf 
812.36/812.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
812.36/812.56	c   813s| 11400 |  1298 |  1447k| 125.7 |  52M|  95 | 159 |8281 |2758 |8281 | 501 |  42 |3257 |3413 | 0.000000e+00 |      --      |    Inf 
818.75/818.98	c   819s| 11500 |  1328 |  1459k| 125.7 |  52M|  95 | 198 |8281 |2723 |8281 | 501 |  42 |3267 |3436 | 0.000000e+00 |      --      |    Inf 
826.65/826.89	c   827s| 11600 |  1350 |  1475k| 126.0 |  52M|  95 | 275 |8281 |2686 |8281 | 501 |  42 |3301 |3471 | 0.000000e+00 |      --      |    Inf 
834.25/834.48	c   834s| 11700 |  1372 |  1490k| 126.2 |  53M|  95 | 222 |8281 |2669 |8281 | 501 |  42 |3335 |3505 | 0.000000e+00 |      --      |    Inf 
842.36/842.55	c   843s| 11800 |  1410 |  1507k| 126.5 |  53M|  95 |   - |8281 |2646 |8281 | 501 |  42 |3355 |3534 | 0.000000e+00 |      --      |    Inf 
849.55/849.72	c   850s| 11900 |  1418 |  1521k| 126.7 |  53M|  95 | 159 |8281 |2626 |8281 | 501 |  42 |3365 |3562 | 0.000000e+00 |      --      |    Inf 
857.54/857.72	c   858s| 12000 |  1452 |  1538k| 127.1 |  53M|  95 |   - |8281 |2595 |8281 | 501 |  42 |3375 |3588 | 0.000000e+00 |      --      |    Inf 
865.55/865.77	c   866s| 12100 |  1454 |  1554k| 127.3 |  53M|  95 | 157 |8281 |2621 |8281 | 501 |  42 |3415 |3620 | 0.000000e+00 |      --      |    Inf 
871.24/871.49	c   871s| 12200 |  1456 |  1565k| 127.2 |  53M|  95 |  60 |8281 |2669 |8281 | 501 |  42 |3470 |3641 | 0.000000e+00 |      --      |    Inf 
877.84/878.02	c   878s| 12300 |  1460 |  1578k| 127.2 |  53M|  95 |   - |8281 |2708 |8281 | 501 |  42 |3516 |3671 | 0.000000e+00 |      --      |    Inf 
884.34/884.51	c   885s| 12400 |  1482 |  1592k| 127.3 |  53M|  95 |  68 |8281 |2689 |8281 | 501 |  42 |3534 |3694 | 0.000000e+00 |      --      |    Inf 
890.54/890.79	c   891s| 12500 |  1521 |  1602k| 127.1 |  54M|  95 | 190 |8281 |2682 |8281 | 501 |  42 |3588 |3721 | 0.000000e+00 |      --      |    Inf 
897.84/898.05	c   898s| 12600 |  1533 |  1616k| 127.2 |  54M|  95 | 134 |8281 |2694 |8281 | 501 |  42 |3637 |3749 | 0.000000e+00 |      --      |    Inf 
904.74/904.92	c   905s| 12700 |  1575 |  1630k| 127.3 |  54M|  95 | 275 |8281 |2666 |8281 | 501 |  42 |3672 |3773 | 0.000000e+00 |      --      |    Inf 
912.14/912.32	c   912s| 12800 |  1591 |  1643k| 127.3 |  54M|  95 | 171 |8281 |2661 |8281 | 501 |  42 |3696 |3810 | 0.000000e+00 |      --      |    Inf 
918.94/919.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
918.94/919.11	c   919s| 12900 |  1627 |  1656k| 127.3 |  54M|  95 |   - |8281 |2612 |8281 | 501 |  42 |3727 |3832 | 0.000000e+00 |      --      |    Inf 
925.73/925.98	c   926s| 13000 |  1651 |  1669k| 127.4 |  55M|  95 | 313 |8281 |2572 |8281 | 501 |  42 |3769 |3856 | 0.000000e+00 |      --      |    Inf 
934.14/934.32	c   934s| 13100 |  1697 |  1685k| 127.6 |  55M|  95 | 153 |8281 |2553 |8281 | 501 |  42 |3784 |3890 | 0.000000e+00 |      --      |    Inf 
940.34/940.54	c   941s| 13200 |  1722 |  1696k| 127.4 |  55M|  95 | 148 |8281 |2541 |8281 | 501 |  42 |3847 |3919 | 0.000000e+00 |      --      |    Inf 
946.03/946.27	c   946s| 13300 |  1768 |  1705k| 127.2 |  55M|  95 | 226 |8281 |2517 |8281 | 501 |  42 |3877 |3939 | 0.000000e+00 |      --      |    Inf 
952.93/953.15	c   953s| 13400 |  1816 |  1718k| 127.2 |  56M|  95 | 157 |8281 |2488 |8281 | 501 |  42 |3897 |3963 | 0.000000e+00 |      --      |    Inf 
960.93/961.11	c   961s| 13500 |  1826 |  1733k| 127.4 |  56M|  95 |   - |8281 |2486 |8281 | 501 |  42 |3917 |3995 | 0.000000e+00 |      --      |    Inf 
967.93/968.18	c   968s| 13600 |  1868 |  1746k| 127.4 |  56M|  95 | 318 |8281 |2405 |8281 | 501 |  42 |3927 |4017 | 0.000000e+00 |      --      |    Inf 
975.83/976.09	c   976s| 13700 |  1914 |  1761k| 127.5 |  56M|  95 |   - |8281 |2380 |8281 | 501 |  42 |3941 |4050 | 0.000000e+00 |      --      |    Inf 
983.82/984.08	c   984s| 13800 |  1932 |  1776k| 127.7 |  57M|  95 |   - |8281 |2383 |8281 | 501 |  42 |3978 |4084 | 0.000000e+00 |      --      |    Inf 
990.94/991.17	c   991s| 13900 |  1948 |  1789k| 127.7 |  57M|  95 |   - |8281 |2386 |8281 | 501 |  42 |4012 |4116 | 0.000000e+00 |      --      |    Inf 
999.22/999.44	c   999s| 14000 |  1986 |  1804k| 127.9 |  57M|  95 | 154 |8281 |2339 |8281 | 501 |  42 |4012 |4150 | 0.000000e+00 |      --      |    Inf 
1005.92/1006.15	c  1006s| 14100 |  2002 |  1817k| 127.9 |  57M|  95 | 186 |8281 |2335 |8281 | 501 |  42 |4035 |4172 | 0.000000e+00 |      --      |    Inf 
1013.02/1013.20	c  1013s| 14200 |  2016 |  1832k| 128.1 |  57M|  95 |   - |8281 |2330 |8281 | 501 |  42 |4074 |4194 | 0.000000e+00 |      --      |    Inf 
1018.52/1018.79	c  1019s| 14300 |  2048 |  1842k| 127.9 |  57M|  95 | 133 |8281 |2170 |8281 | 501 |  42 |4127 |4218 | 0.000000e+00 |      --      |    Inf 
1025.42/1025.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1025.42/1025.62	c  1026s| 14400 |  2060 |  1855k| 127.9 |  58M|  95 | 172 |8281 |2167 |8281 | 501 |  42 |4134 |4249 | 0.000000e+00 |      --      |    Inf 
1031.02/1031.29	c  1031s| 14500 |  2080 |  1866k| 127.8 |  58M|  95 |   - |8281 |2168 |8281 | 501 |  42 |4156 |4269 | 0.000000e+00 |      --      |    Inf 
1037.21/1037.40	c  1037s| 14600 |  2094 |  1877k| 127.7 |  58M|  95 | 120 |8281 |2186 |8281 | 501 |  42 |4201 |4293 | 0.000000e+00 |      --      |    Inf 
1045.92/1046.18	c  1046s| 14700 |  2106 |  1895k| 128.0 |  58M|  95 | 141 |8281 |2202 |8281 | 501 |  42 |4238 |4333 | 0.000000e+00 |      --      |    Inf 
1052.21/1052.43	c  1052s| 14800 |  2129 |  1906k| 127.9 |  58M|  95 | 232 |8281 |2221 |8281 | 501 |  42 |4299 |4357 | 0.000000e+00 |      --      |    Inf 
1058.91/1059.13	c  1059s| 14900 |  2143 |  1919k| 127.9 |  58M|  95 | 171 |8281 |2222 |8281 | 501 |  42 |4320 |4381 | 0.000000e+00 |      --      |    Inf 
1065.21/1065.47	c  1065s| 15000 |  2145 |  1932k| 127.9 |  58M|  95 |   - |8281 |2240 |8281 | 501 |  42 |4358 |4407 | 0.000000e+00 |      --      |    Inf 
1073.81/1074.08	c  1074s| 15100 |  2199 |  1946k| 128.0 |  59M|  95 |   - |8281 |2190 |8281 | 501 |  42 |4382 |4443 | 0.000000e+00 |      --      |    Inf 
1079.51/1079.74	c  1080s| 15200 |  2213 |  1958k| 127.9 |  59M|  95 | 151 |8281 |2206 |8281 | 501 |  42 |4409 |4463 | 0.000000e+00 |      --      |    Inf 
1088.01/1088.29	c  1088s| 15300 |  2245 |  1974k| 128.1 |  59M|  95 |   - |8281 |2179 |8281 | 501 |  42 |4409 |4498 | 0.000000e+00 |      --      |    Inf 
1097.41/1097.65	c  1098s| 15400 |  2263 |  1992k| 128.5 |  59M|  95 | 305 |8281 |2168 |8281 | 501 |  42 |4439 |4536 | 0.000000e+00 |      --      |    Inf 
1105.41/1105.67	c  1106s| 15500 |  2293 |  2005k| 128.5 |  59M|  95 | 151 |8281 |2173 |8281 | 501 |  42 |4469 |4573 | 0.000000e+00 |      --      |    Inf 
1110.71/1110.93	c  1111s| 15600 |  2315 |  2016k| 128.4 |  60M|  95 | 223 |8281 |2168 |8281 | 501 |  42 |4519 |4588 | 0.000000e+00 |      --      |    Inf 
1117.51/1117.76	c  1118s| 15700 |  2339 |  2030k| 128.4 |  60M|  95 |   - |8281 |2201 |8281 | 501 |  42 |4572 |4612 | 0.000000e+00 |      --      |    Inf 
1125.90/1126.18	c  1126s| 15800 |  2367 |  2047k| 128.7 |  60M|  95 | 282 |8281 |2189 |8281 | 501 |  42 |4588 |4649 | 0.000000e+00 |      --      |    Inf 
1133.20/1133.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1133.20/1133.47	c  1133s| 15900 |  2393 |  2060k| 128.7 |  60M|  95 |   - |8281 |2149 |8281 | 501 |  42 |4591 |4683 | 0.000000e+00 |      --      |    Inf 
1140.31/1140.52	c  1141s| 16000 |  2419 |  2074k| 128.8 |  60M|  95 |   - |8281 |2128 |8281 | 501 |  42 |4620 |4710 | 0.000000e+00 |      --      |    Inf 
1147.50/1147.75	c  1148s| 16100 |  2445 |  2087k| 128.8 |  60M|  95 |   - |8281 |2128 |8281 | 501 |  42 |4642 |4739 | 0.000000e+00 |      --      |    Inf 
1156.70/1156.93	c  1157s| 16200 |  2467 |  2107k| 129.2 |  61M|  95 | 133 |8281 |2052 |8281 | 501 |  42 |4677 |4774 | 0.000000e+00 |      --      |    Inf 
1163.30/1163.59	c  1164s| 16300 |  2485 |  2120k| 129.2 |  61M|  95 | 138 |8281 |2087 |8281 | 501 |  42 |4735 |4801 | 0.000000e+00 |      --      |    Inf 
1168.50/1168.76	c  1169s| 16400 |  2497 |  2130k| 129.0 |  61M|  95 |   - |8281 |2176 |8281 | 501 |  42 |4845 |4823 | 0.000000e+00 |      --      |    Inf 
1175.80/1176.08	c  1176s| 16500 |  2507 |  2143k| 129.1 |  61M|  95 | 122 |8281 |2169 |8281 | 501 |  42 |4866 |4853 | 0.000000e+00 |      --      |    Inf 
1180.40/1180.61	c  1181s| 16600 |  2517 |  2151k| 128.8 |  61M|  95 | 125 |8281 |2225 |8281 | 501 |  42 |4938 |4874 | 0.000000e+00 |      --      |    Inf 
1184.90/1185.18	c  1185s| 16700 |  2517 |  2159k| 128.5 |  62M|  95 |   - |8281 |2265 |8281 | 501 |  42 |4979 |4892 | 0.000000e+00 |      --      |    Inf 
1190.19/1190.41	c  1190s| 16800 |  2515 |  2169k| 128.3 |  62M|  95 |   - |8281 |2279 |8281 | 501 |  42 |5002 |4912 | 0.000000e+00 |      --      |    Inf 
1195.89/1196.13	c  1196s| 16900 |  2521 |  2179k| 128.1 |  62M|  95 | 261 |8281 |2267 |8281 | 501 |  42 |5032 |4937 | 0.000000e+00 |      --      |    Inf 
1200.49/1200.71	c  1201s| 17000 |  2539 |  2188k| 127.9 |  62M|  95 |   - |8281 |2301 |8281 | 501 |  42 |5091 |4954 | 0.000000e+00 |      --      |    Inf 
1206.89/1207.15	c  1207s| 17100 |  2545 |  2199k| 127.8 |  62M|  95 | 166 |8281 |2281 |8281 | 501 |  42 |5134 |4982 | 0.000000e+00 |      --      |    Inf 
1212.79/1213.08	c  1213s| 17200 |  2561 |  2211k| 127.7 |  62M|  95 | 129 |8281 |2247 |8281 | 501 |  42 |5174 |4998 | 0.000000e+00 |      --      |    Inf 
1219.69/1219.99	c  1220s| 17300 |  2557 |  2224k| 127.8 |  62M|  95 |   - |8281 |2221 |8281 | 501 |  42 |5178 |5023 | 0.000000e+00 |      --      |    Inf 
1227.79/1228.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1227.79/1228.01	c  1228s| 17400 |  2559 |  2241k| 128.0 |  62M|  95 | 155 |8281 |2239 |8281 | 501 |  42 |5222 |5057 | 0.000000e+00 |      --      |    Inf 
1235.49/1235.79	c  1236s| 17500 |  2575 |  2256k| 128.1 |  62M|  95 | 151 |8281 |2222 |8281 | 501 |  42 |5232 |5092 | 0.000000e+00 |      --      |    Inf 
1243.19/1243.43	c  1243s| 17600 |  2606 |  2269k| 128.2 |  62M|  95 | 119 |8281 |2177 |8281 | 501 |  42 |5277 |5123 | 0.000000e+00 |      --      |    Inf 
1247.88/1248.10	c  1248s| 17700 |  2612 |  2278k| 127.9 |  62M|  95 |   - |8281 |2214 |8281 | 501 |  42 |5321 |5142 | 0.000000e+00 |      --      |    Inf 
1254.38/1254.68	c  1255s| 17800 |  2616 |  2291k| 127.9 |  62M|  95 | 163 |8281 |2255 |8281 | 501 |  42 |5371 |5173 | 0.000000e+00 |      --      |    Inf 
1262.49/1262.70	c  1263s| 17900 |  2624 |  2302k| 127.8 |  62M|  95 | 323 |8281 |2260 |8281 | 501 |  42 |5432 |5211 | 0.000000e+00 |      --      |    Inf 
1266.89/1267.19	c  1267s| 18000 |  2646 |  2313k| 127.7 |  62M|  95 |  89 |8281 |2302 |8281 | 501 |  42 |5498 |5221 | 0.000000e+00 |      --      |    Inf 
1276.79/1277.09	c  1277s| 18100 |  2684 |  2329k| 127.9 |  63M|  95 | 307 |8281 |2210 |8281 | 501 |  42 |5501 |5266 | 0.000000e+00 |      --      |    Inf 
1282.68/1282.92	c  1283s| 18200 |  2702 |  2341k| 127.9 |  63M|  95 |   - |8281 |2226 |8281 | 501 |  42 |5544 |5287 | 0.000000e+00 |      --      |    Inf 
1290.48/1290.73	c  1291s| 18300 |  2728 |  2354k| 127.9 |  63M|  95 | 147 |8281 |2167 |8281 | 501 |  42 |5544 |5325 | 0.000000e+00 |      --      |    Inf 
1294.97/1295.24	c  1295s| 18400 |  2732 |  2364k| 127.8 |  63M|  96 |   - |8281 |2171 |8281 | 501 |  42 |5578 |5335 | 0.000000e+00 |      --      |    Inf 
1300.28/1300.58	c  1301s| 18500 |  2750 |  2377k| 127.7 |  63M|  96 | 166 |8281 |2161 |8281 | 501 |  42 |5598 |5349 | 0.000000e+00 |      --      |    Inf 
1310.37/1310.65	c  1311s| 18600 |  2764 |  2393k| 127.9 |  63M|  96 |   - |8281 |2132 |   0 |   0 |  42 |5619 |5400 | 0.000000e+00 |      --      |    Inf 
1317.08/1317.34	c  1317s| 18700 |  2774 |  2404k| 127.8 |  63M|  96 |   - |8281 |2113 |8281 | 501 |  42 |5635 |5430 | 0.000000e+00 |      --      |    Inf 
1325.57/1325.80	c  1326s| 18800 |  2798 |  2417k| 127.8 |  63M|  96 | 157 |8281 |2074 |8281 | 501 |  42 |5668 |5461 | 0.000000e+00 |      --      |    Inf 
1332.98/1333.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1332.98/1333.27	c  1333s| 18900 |  2822 |  2429k| 127.8 |  63M|  96 | 126 |8281 |2078 |8281 | 501 |  42 |5698 |5505 | 0.000000e+00 |      --      |    Inf 
1336.68/1336.91	c  1337s| 19000 |  2820 |  2435k| 127.4 |  63M|  96 | 133 |8281 |2097 |8281 | 501 |  42 |5721 |5516 | 0.000000e+00 |      --      |    Inf 
1340.47/1340.76	c  1341s| 19100 |  2818 |  2441k| 127.1 |  63M|  96 | 135 |8281 |2181 |8281 | 501 |  42 |5822 |5538 | 0.000000e+00 |      --      |    Inf 
1346.17/1346.41	c  1346s| 19200 |  2820 |  2451k| 127.0 |  63M|  96 | 114 |8281 |2172 |8281 | 501 |  42 |5832 |5565 | 0.000000e+00 |      --      |    Inf 
1351.37/1351.63	c  1352s| 19300 |  2818 |  2460k| 126.8 |  63M|  96 |   - |8281 |2156 |8281 | 501 |  42 |5832 |5586 | 0.000000e+00 |      --      |    Inf 
1355.07/1355.31	c  1355s| 19400 |  2818 |  2467k| 126.4 |  63M|  96 | 134 |8281 |2205 |8281 | 501 |  42 |5902 |5602 | 0.000000e+00 |      --      |    Inf 
1358.76/1359.04	c  1359s| 19500 |  2818 |  2472k| 126.1 |  63M|  96 |   - |8281 |2231 |8281 | 501 |  42 |5939 |5625 | 0.000000e+00 |      --      |    Inf 
1361.87/1362.15	c  1362s| 19600 |  2821 |  2477k| 125.7 |  64M|  96 | 120 |8281 |2295 |8281 | 501 |  42 |6021 |5641 | 0.000000e+00 |      --      |    Inf 
1365.56/1365.80	c  1366s| 19700 |  2818 |  2483k| 125.3 |  64M|  96 | 178 |8281 |2348 |8281 | 501 |  42 |6091 |5656 | 0.000000e+00 |      --      |    Inf 
1371.96/1372.24	c  1372s| 19800 |  2860 |  2495k| 125.3 |  64M|  96 | 191 |8281 |2284 |8281 | 501 |  42 |6101 |5679 | 0.000000e+00 |      --      |    Inf 
1378.47/1378.75	c  1379s| 19900 |  2888 |  2507k| 125.3 |  64M|  96 | 136 |8281 |2282 |8281 | 501 |  42 |6160 |5716 | 0.000000e+00 |      --      |    Inf 
1383.86/1384.18	c  1384s| 20000 |  2902 |  2522k| 125.4 |  64M|  96 |   - |8281 |2233 |8281 | 501 |  42 |6195 |5722 | 0.000000e+00 |      --      |    Inf 
1388.36/1388.68	c  1389s| 20100 |  2918 |  2531k| 125.2 |  64M|  96 | 174 |8281 |2217 |8281 | 501 |  42 |6207 |5731 | 0.000000e+00 |      --      |    Inf 
1397.66/1397.93	c  1398s| 20200 |  2926 |  2550k| 125.5 |  64M|  96 |   - |8281 |2219 |8281 | 501 |  42 |6236 |5769 | 0.000000e+00 |      --      |    Inf 
1403.45/1403.71	c  1404s| 20300 |  2937 |  2563k| 125.6 |  64M|  96 |   - |8281 |2258 |8281 | 501 |  42 |6297 |5785 | 0.000000e+00 |      --      |    Inf 
1417.86/1418.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1417.86/1418.12	c  1418s| 20400 |  2961 |  2579k| 125.7 |  65M|  96 |   - |8281 |2228 |8281 | 501 |  42 |6311 |5861 | 0.000000e+00 |      --      |    Inf 
1422.96/1423.26	c  1423s| 20500 |  2969 |  2591k| 125.7 |  65M|  96 |   - |8281 |2256 |8281 | 501 |  42 |6359 |5867 | 0.000000e+00 |      --      |    Inf 
1428.76/1429.03	c  1429s| 20600 |  2999 |  2603k| 125.7 |  65M|  96 | 108 |8281 |2196 |8281 | 501 |  42 |6359 |5885 | 0.000000e+00 |      --      |    Inf 
1440.25/1440.59	c  1441s| 20700 |  3003 |  2614k| 125.6 |  65M|  96 |   - |8281 |2213 |8281 | 501 |  42 |6409 |5945 | 0.000000e+00 |      --      |    Inf 
1449.05/1449.34	c  1449s| 20800 |  3029 |  2628k| 125.7 |  65M|  96 | 158 |8281 |2198 |8281 | 501 |  42 |6433 |5985 | 0.000000e+00 |      --      |    Inf 
1455.35/1455.63	c  1456s| 20900 |  3037 |  2643k| 125.8 |  65M|  96 |   - |8281 |2201 |8281 | 501 |  42 |6453 |5998 | 0.000000e+00 |      --      |    Inf 
1461.25/1461.53	c  1462s| 21000 |  3047 |  2658k| 125.9 |  65M|  96 |   - |8281 |2194 |8281 | 501 |  42 |6470 |6010 | 0.000000e+00 |      --      |    Inf 
1466.95/1467.22	c  1467s| 21100 |  3045 |  2672k| 126.0 |  65M|  96 |   - |8281 |2197 |8281 | 501 |  42 |6491 |6019 | 0.000000e+00 |      --      |    Inf 
1474.95/1475.25	c  1475s| 21200 |  3067 |  2684k| 126.0 |  65M|  96 | 107 |8281 |2203 |8281 | 501 |  42 |6511 |6067 | 0.000000e+00 |      --      |    Inf 
1482.64/1482.93	c  1483s| 21300 |  3089 |  2694k| 125.8 |  66M|  96 |   - |8281 |2212 |8281 | 501 |  42 |6562 |6116 | 0.000000e+00 |      --      |    Inf 
1491.85/1492.10	c  1492s| 21400 |  3117 |  2707k| 125.9 |  66M|  96 | 210 |8281 |2199 |8281 | 501 |  42 |6601 |6151 | 0.000000e+00 |      --      |    Inf 
1499.24/1499.51	c  1500s| 21500 |  3147 |  2723k| 126.0 |  66M|  96 |   - |8281 |2221 |8281 | 501 |  42 |6661 |6178 | 0.000000e+00 |      --      |    Inf 
1503.05/1503.37	c  1503s| 21600 |  3153 |  2731k| 125.8 |  66M|  96 | 133 |8281 |2245 |8281 | 501 |  42 |6704 |6182 | 0.000000e+00 |      --      |    Inf 
1507.14/1507.40	c  1507s| 21700 |  3151 |  2741k| 125.7 |  66M|  96 |   - |8281 |2259 |8281 | 501 |  42 |6745 |6184 | 0.000000e+00 |      --      |    Inf 
1511.05/1511.32	c  1511s| 21800 |  3161 |  2751k| 125.6 |  66M|  96 |   - |8281 |2240 |8281 | 501 |  42 |6754 |6186 | 0.000000e+00 |      --      |    Inf 
1526.04/1526.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1526.04/1526.30	c  1526s| 21900 |  3179 |  2762k| 125.5 |  66M|  96 | 127 |8281 |2243 |8281 | 501 |  42 |6787 |6277 | 0.000000e+00 |      --      |    Inf 
1532.05/1532.32	c  1532s| 22000 |  3187 |  2774k| 125.5 |  66M|  96 | 123 |8281 |2261 |8281 | 501 |  42 |6830 |6295 | 0.000000e+00 |      --      |    Inf 
1539.53/1539.86	c  1540s| 22100 |  3197 |  2783k| 125.3 |  66M|  96 |   - |8281 |2251 |8281 | 501 |  42 |6874 |6330 | 0.000000e+00 |      --      |    Inf 
1543.53/1543.80	c  1544s| 22200 |  3213 |  2794k| 125.2 |  67M|  96 | 100 |8281 |2257 |8281 | 501 |  42 |6914 |6330 | 0.000000e+00 |      --      |    Inf 
1547.23/1547.55	c  1548s| 22300 |  3209 |  2803k| 125.1 |  67M|  96 |   - |8281 |2244 |8281 | 501 |  42 |6929 |6330 | 0.000000e+00 |      --      |    Inf 
1550.84/1551.12	c  1551s| 22400 |  3227 |  2811k| 124.9 |  67M|  96 | 121 |8281 |2225 |8281 | 501 |  42 |6972 |6334 | 0.000000e+00 |      --      |    Inf 
1554.93/1555.27	c  1555s| 22500 |  3237 |  2822k| 124.8 |  67M|  96 | 130 |8281 |2266 |8281 | 501 |  42 |7041 |6335 | 0.000000e+00 |      --      |    Inf 
1558.04/1558.31	c  1558s| 22600 |  3239 |  2829k| 124.6 |  67M|  96 |   - |8281 |2290 |8281 | 501 |  42 |7073 |6335 | 0.000000e+00 |      --      |    Inf 
1562.74/1563.08	c  1563s| 22700 |  3243 |  2841k| 124.6 |  67M|  96 | 164 |8281 |2336 |8281 | 501 |  42 |7159 |6342 | 0.000000e+00 |      --      |    Inf 
1584.13/1584.45	c  1584s| 22800 |  3259 |  2857k| 124.7 |  67M|  96 | 128 |8281 |2278 |8281 | 501 |  42 |7191 |6478 | 0.000000e+00 |      --      |    Inf 
1595.93/1596.24	c  1596s| 22900 |  3283 |  2868k| 124.7 |  67M|  96 |   - |8281 |2240 |8281 | 501 |  42 |7211 |6571 | 0.000000e+00 |      --      |    Inf 
1600.23/1600.56	c  1601s| 23000 |  3291 |  2880k| 124.6 |  67M|  96 |   - |8281 |2250 |8281 | 501 |  42 |7230 |6572 | 0.000000e+00 |      --      |    Inf 
1604.33/1604.61	c  1605s| 23100 |  3303 |  2891k| 124.6 |  67M|  96 | 164 |8281 |2243 |8281 | 501 |  42 |7270 |6572 | 0.000000e+00 |      --      |    Inf 
1607.84/1608.17	c  1608s| 23200 |  3307 |  2899k| 124.4 |  67M|  96 |   - |8281 |2244 |   0 |   0 |  42 |7305 |6576 | 0.000000e+00 |      --      |    Inf 
1612.13/1612.40	c  1612s| 23300 |  3313 |  2910k| 124.3 |  67M|  96 | 170 |8281 |2247 |8281 | 501 |  42 |7363 |6577 | 0.000000e+00 |      --      |    Inf 
1618.42/1618.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1618.42/1618.72	c  1619s| 23400 |  3339 |  2925k| 124.4 |  67M|  96 |   - |8281 |2179 |8281 | 501 |  42 |7398 |6588 | 0.000000e+00 |      --      |    Inf 
1623.53/1623.90	c  1624s| 23500 |  3357 |  2939k| 124.5 |  67M|  96 |   - |8281 |2163 |8281 | 501 |  42 |7435 |6591 | 0.000000e+00 |      --      |    Inf 
1627.93/1628.23	c  1628s| 23600 |  3363 |  2950k| 124.4 |  68M|  96 |   - |8281 |2196 |8281 | 501 |  42 |7488 |6592 | 0.000000e+00 |      --      |    Inf 
1631.63/1631.95	c  1632s| 23700 |  3365 |  2959k| 124.3 |  68M|  96 |   - |8281 |2246 |8281 | 501 |  42 |7564 |6592 | 0.000000e+00 |      --      |    Inf 
1658.32/1658.65	c  1659s| 23800 |  3387 |  2972k| 124.3 |  68M|  96 | 119 |8281 |2239 |8281 | 501 |  42 |7612 |6770 | 0.000000e+00 |      --      |    Inf 
1661.62/1661.97	c  1662s| 23900 |  3383 |  2980k| 124.1 |  68M|  96 | 141 |8281 |2271 |8281 | 501 |  42 |7675 |6770 | 0.000000e+00 |      --      |    Inf 
1668.42/1668.79	c  1669s| 24000 |  3405 |  2998k| 124.3 |  68M|  96 | 137 |8281 |2267 |8281 | 501 |  42 |7725 |6778 | 0.000000e+00 |      --      |    Inf 
1671.41/1671.78	c  1672s| 24100 |  3401 |  3005k| 124.1 |  68M|  96 | 140 |8281 |2393 |8281 | 501 |  42 |7862 |6778 | 0.000000e+00 |      --      |    Inf 
1674.12/1674.42	c *1674s| 24171 |     0 |  3012k| 124.1 |  43M|  96 |   - |8281 |2418 |8281 | 501 |  42 |7920 |6778 | 0.000000e+00 | 0.000000e+00 |   0.00%
1674.12/1674.44	c 
1674.12/1674.44	c SCIP Status        : problem is solved [optimal solution found]
1674.12/1674.44	c Solving Time (sec) : 1674.44
1674.12/1674.44	c Solving Nodes      : 24171
1674.12/1674.44	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
1674.12/1674.44	c Dual Bound         : +0.00000000000000e+00
1674.12/1674.44	c Gap                : 0.00 %
1674.12/1674.45	s SATISFIABLE
1674.12/1674.45	v -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 
1674.12/1674.45	v -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 
1674.12/1674.45	v -x8245 -x8244 -x8243 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 x8230 -x8229 -x8228 
1674.12/1674.45	v -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 
1674.12/1674.45	v -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 
1674.12/1674.45	v -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 
1674.12/1674.45	v -x8173 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 
1674.12/1674.45	v -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 
1674.12/1674.45	v -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8120 
1674.12/1674.45	v -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 
1674.12/1674.45	v -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 x8093 -x8092 -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 
1674.12/1674.45	v -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 
1674.12/1674.45	v -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056 -x8055 -x8054 -x8053 -x8052 -x8051 -x8050 -x8049 
1674.12/1674.45	v -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 
1674.12/1674.45	v -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 
1674.12/1674.45	v -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 
1674.12/1674.45	v -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 
1674.12/1674.45	v -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 
1674.12/1674.45	v -x7958 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 
1674.12/1674.45	v -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 x7925 -x7924 
1674.12/1674.45	v -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 
1674.12/1674.45	v -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 -x7897 -x7896 -x7895 x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 
1674.12/1674.45	v -x7887 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879 -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 
1674.12/1674.45	v -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 
1674.12/1674.45	v -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 
1674.12/1674.45	v -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825 -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7816 
1674.12/1674.45	v -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 
1674.12/1674.45	v x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 
1674.12/1674.45	v -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 
1674.12/1674.45	v -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 
1674.12/1674.45	v -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 
1674.12/1674.45	v -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 
1674.12/1674.45	v -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7697 x7696 -x7695 -x7694 -x7693 -x7692 -x7691 
1674.12/1674.45	v -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673 
1674.12/1674.45	v -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 
1674.12/1674.45	v -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 x7642 -x7641 -x7640 -x7639 -x7638 -x7637 
1674.12/1674.45	v -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 
1674.12/1674.45	v -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 
1674.12/1674.45	v -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 
1674.12/1674.45	v -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 
1674.12/1674.45	v -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 
1674.12/1674.45	v -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 
1674.12/1674.45	v -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 -x7512 
1674.12/1674.45	v -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 
1674.12/1674.45	v -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 
1674.12/1674.45	v -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 
1674.12/1674.45	v -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 
1674.12/1674.45	v -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423 
1674.12/1674.45	v -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 -x7405 
1674.12/1674.45	v -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 
1674.12/1674.45	v -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 x7373 -x7372 -x7371 -x7370 -x7369 
1674.12/1674.45	v -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7351 
1674.12/1674.45	v -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 
1674.12/1674.45	v -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 
1674.12/1674.45	v -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 
1674.12/1674.45	v -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 
1674.12/1674.45	v -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 
1674.12/1674.45	v -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 
1674.12/1674.45	v -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 x7227 -x7226 
1674.12/1674.45	v -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 
1674.12/1674.45	v -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 
1674.12/1674.45	v -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 
1674.12/1674.45	v -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 
1674.12/1674.45	v -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 
1674.12/1674.45	v -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 
1674.12/1674.45	v -x7118 -x7117 -x7116 -x7115 x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 
1674.12/1674.45	v -x7100 -x7099 -x7098 -x7097 -x7096 x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 
1674.12/1674.45	v -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 
1674.12/1674.45	v -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 
1674.12/1674.45	v -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 
1674.12/1674.45	v -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 
1674.12/1674.45	v -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 
1674.12/1674.45	v -x6993 -x6992 -x6991 x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 
1674.12/1674.45	v -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 
1674.12/1674.45	v -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 
1674.12/1674.45	v -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 
1674.12/1674.45	v -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 
1674.12/1674.45	v -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 
1674.12/1674.45	v -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 
1674.12/1674.45	v -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 
1674.12/1674.45	v -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 
1674.12/1674.45	v -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 
1674.12/1674.45	v -x6814 -x6813 x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 
1674.12/1674.45	v -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 
1674.12/1674.45	v -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 
1674.12/1674.45	v -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 
1674.12/1674.45	v -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 
1674.12/1674.45	v -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 
1674.12/1674.45	v -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 
1674.12/1674.45	v -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 
1674.12/1674.45	v -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 
1674.12/1674.45	v -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 
1674.12/1674.45	v -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 
1674.12/1674.45	v -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 x6603 -x6602 -x6601 -x6600 
1674.12/1674.45	v -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 
1674.12/1674.45	v -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 
1674.12/1674.45	v -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 
1674.12/1674.45	v -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 
1674.12/1674.45	v -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 
1674.12/1674.45	v -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 
1674.12/1674.45	v -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 
1674.12/1674.45	v -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 
1674.12/1674.45	v -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 x6439 
1674.12/1674.45	v -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 
1674.12/1674.45	v -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 
1674.12/1674.45	v -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 
1674.12/1674.45	v -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 
1674.12/1674.45	v -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 
1674.12/1674.45	v -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 
1674.12/1674.45	v -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 
1674.12/1674.45	v -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 
1674.12/1674.45	v -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 
1674.12/1674.45	v -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 
1674.12/1674.45	v -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 
1674.12/1674.45	v -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 
1674.12/1674.45	v -x6224 x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 
1674.12/1674.45	v -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 
1674.12/1674.45	v -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 
1674.12/1674.45	v -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 
1674.12/1674.45	v -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 
1674.12/1674.45	v -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 
1674.12/1674.45	v -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 
1674.12/1674.45	v -x6098 -x6097 x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 
1674.12/1674.45	v -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 
1674.12/1674.45	v -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 
1674.12/1674.45	v -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 
1674.12/1674.45	v -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 
1674.12/1674.45	v -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 
1674.12/1674.45	v -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 
1674.12/1674.45	v -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 
1674.12/1674.45	v -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 
1674.12/1674.45	v -x5937 -x5936 -x5935 -x5934 x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 
1674.12/1674.45	v -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 
1674.12/1674.45	v -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 
1674.12/1674.45	v -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 
1674.12/1674.45	v -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 
1674.12/1674.45	v -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 
1674.12/1674.45	v -x5830 -x5829 -x5828 x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 
1674.12/1674.45	v -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 
1674.12/1674.45	v -x5794 -x5793 -x5792 x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 
1674.12/1674.45	v -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 
1674.12/1674.45	v -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 
1674.12/1674.45	v -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 
1674.12/1674.45	v -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 
1674.12/1674.45	v -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 
1674.12/1674.45	v -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 
1674.12/1674.45	v -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 
1674.12/1674.45	v -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 
1674.12/1674.45	v -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 
1674.12/1674.45	v -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 
1674.12/1674.45	v -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 
1674.12/1674.45	v -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 
1674.12/1674.45	v -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 
1674.12/1674.45	v x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 
1674.12/1674.45	v -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 
1674.12/1674.45	v -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 
1674.12/1674.45	v -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 
1674.12/1674.45	v -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 
1674.12/1674.45	v -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 
1674.12/1674.45	v -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 
1674.12/1674.45	v -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 
1674.12/1674.45	v -x5401 -x5400 -x5399 -x5398 -x5397 x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 
1674.12/1674.45	v -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 
1674.12/1674.45	v -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 
1674.12/1674.45	v -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 
1674.12/1674.45	v -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 
1674.12/1674.45	v -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 
1674.12/1674.45	v -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 
1674.12/1674.45	v -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 
1674.12/1674.45	v -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 
1674.12/1674.45	v -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 
1674.12/1674.45	v -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 
1674.12/1674.45	v -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 
1674.12/1674.45	v -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 
1674.12/1674.45	v -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 
1674.12/1674.45	v -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 
1674.12/1674.45	v -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 
1674.12/1674.45	v -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 
1674.12/1674.45	v x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 
1674.12/1674.45	v -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 
1674.12/1674.45	v -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 
1674.12/1674.45	v -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 
1674.12/1674.45	v -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 
1674.12/1674.45	v -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 
1674.12/1674.45	v -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 
1674.12/1674.45	v -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 x4960 -x4959 -x4958 -x4957 -x4956 -x4955 
1674.12/1674.45	v -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 
1674.12/1674.45	v -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 
1674.12/1674.45	v -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 
1674.12/1674.45	v -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 x4884 -x4883 
1674.12/1674.45	v -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 
1674.12/1674.45	v -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 
1674.12/1674.45	v -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 
1674.12/1674.45	v -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 
1674.12/1674.45	v -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 
1674.12/1674.45	v -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 
1674.12/1674.45	v -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 
1674.12/1674.45	v -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 
1674.12/1674.45	v -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 
1674.12/1674.45	v -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 
1674.12/1674.45	v -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 
1674.12/1674.45	v -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 
1674.12/1674.45	v -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 
1674.12/1674.45	v -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 
1674.12/1674.45	v -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 
1674.12/1674.45	v -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 
1674.12/1674.45	v -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 
1674.12/1674.45	v -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 
1674.12/1674.45	v -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 
1674.12/1674.45	v -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 
1674.12/1674.45	v -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 
1674.12/1674.45	v -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 
1674.12/1674.45	v -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 
1674.12/1674.45	v -x4471 -x4470 -x4469 -x4468 -x4467 x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 
1674.12/1674.45	v -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 
1674.12/1674.45	v -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 
1674.12/1674.45	v -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 
1674.12/1674.45	v -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 
1674.12/1674.45	v -x4381 -x4380 -x4379 -x4378 x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 
1674.12/1674.45	v -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 
1674.12/1674.45	v -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 
1674.12/1674.45	v -x4328 x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 
1674.12/1674.45	v -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 
1674.12/1674.45	v -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 
1674.12/1674.45	v -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 
1674.12/1674.45	v -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 
1674.12/1674.45	v -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 
1674.12/1674.45	v -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 
1674.12/1674.45	v -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 
1674.12/1674.45	v -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 
1674.12/1674.45	v -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 
1674.12/1674.45	v -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 
1674.12/1674.45	v -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 x4118 -x4117 -x4116 -x4115 -x4114 
1674.12/1674.45	v -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 
1674.12/1674.45	v -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 
1674.12/1674.45	v -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 
1674.12/1674.45	v -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 
1674.12/1674.45	v -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 
1674.12/1674.45	v -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 
1674.12/1674.45	v -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 
1674.12/1674.45	v -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 
1674.12/1674.45	v -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 
1674.12/1674.45	v -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 
1674.12/1674.45	v -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 
1674.12/1674.45	v -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 
1674.12/1674.45	v -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 x3885 -x3884 -x3883 -x3882 -x3881 
1674.12/1674.45	v -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 
1674.12/1674.45	v -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 
1674.12/1674.45	v -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 
1674.12/1674.45	v -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 
1674.12/1674.45	v -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 
1674.12/1674.45	v -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 x3774 
1674.12/1674.45	v -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 
1674.12/1674.45	v -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 
1674.12/1674.45	v -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 
1674.12/1674.45	v -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 
1674.12/1674.45	v -x3702 -x3701 -x3700 x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 
1674.12/1674.45	v -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 
1674.12/1674.45	v -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 
1674.12/1674.45	v -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 
1674.12/1674.45	v -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 
1674.12/1674.45	v -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 
1674.12/1674.45	v -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 x3578 -x3577 
1674.12/1674.45	v -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 
1674.12/1674.45	v -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 
1674.12/1674.45	v -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 
1674.12/1674.45	v -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 
1674.12/1674.45	v -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 
1674.12/1674.45	v -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 x3470 
1674.12/1674.45	v -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 
1674.12/1674.45	v -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 
1674.12/1674.45	v -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 
1674.12/1674.45	v -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 
1674.12/1674.45	v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 
1674.12/1674.45	v -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 
1674.12/1674.45	v -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 
1674.12/1674.45	v -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 
1674.12/1674.45	v -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 
1674.12/1674.45	v -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 
1674.12/1674.45	v -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 
1674.12/1674.45	v -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 
1674.12/1674.45	v -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 x3238 
1674.12/1674.45	v -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 
1674.12/1674.45	v -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 
1674.12/1674.45	v -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 
1674.12/1674.45	v -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 
1674.12/1674.45	v -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 
1674.12/1674.45	v -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 
1674.12/1674.45	v -x3129 -x3128 -x3127 -x3126 x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 
1674.12/1674.45	v -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 
1674.12/1674.45	v -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 
1674.12/1674.45	v -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 x3060 -x3059 
1674.12/1674.45	v -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 
1674.12/1674.45	v -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 
1674.12/1674.45	v -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 
1674.12/1674.45	v -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 
1674.12/1674.45	v -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 
1674.12/1674.45	v -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 
1674.12/1674.45	v -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 
1674.12/1674.45	v -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 x2918 -x2917 -x2916 
1674.12/1674.45	v -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 
1674.12/1674.45	v -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 
1674.12/1674.45	v -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 
1674.12/1674.45	v -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 
1674.12/1674.45	v x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 
1674.12/1674.45	v -x2825 -x2824 -x2823 -x2822 x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 
1674.12/1674.45	v -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 
1674.12/1674.45	v -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 
1674.12/1674.45	v -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 
1674.12/1674.45	v -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 
1674.12/1674.45	v -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 
1674.12/1674.45	v -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 
1674.12/1674.45	v -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 
1674.12/1674.45	v -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 
1674.12/1674.45	v -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 
1674.12/1674.45	v -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 x2631 -x2630 -x2629 
1674.12/1674.45	v -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 
1674.12/1674.45	v -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 
1674.12/1674.45	v -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 
1674.12/1674.45	v -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 
1674.12/1674.45	v -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 
1674.12/1674.45	v -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 
1674.12/1674.45	v -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 
1674.12/1674.45	v -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 
1674.12/1674.45	v -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 
1674.12/1674.45	v -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 
1674.12/1674.45	v -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 x2436 -x2435 -x2434 -x2433 
1674.12/1674.45	v -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 
1674.12/1674.45	v -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 
1674.12/1674.45	v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 
1674.12/1674.45	v -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 
1674.12/1674.45	v -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 
1674.12/1674.45	v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 
1674.12/1674.45	v -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 
1674.12/1674.45	v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 x2292 -x2291 -x2290 
1674.12/1674.45	v -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 
1674.12/1674.45	v -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 
1674.12/1674.45	v -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 
1674.12/1674.45	v -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 
1674.12/1674.45	v -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 
1674.12/1674.45	v -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 
1674.12/1674.45	v -x2181 x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 
1674.12/1674.45	v -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 
1674.12/1674.45	v -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 
1674.12/1674.45	v -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 
1674.12/1674.45	v -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 
1674.12/1674.45	v -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 
1674.12/1674.45	v -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 
1674.12/1674.45	v -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 
1674.12/1674.45	v -x2038 -x2037 x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 
1674.12/1674.45	v -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 
1674.12/1674.45	v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 
1674.12/1674.45	v -x1985 -x1984 x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 
1674.12/1674.45	v -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 
1674.12/1674.45	v -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 
1674.12/1674.45	v -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 
1674.12/1674.45	v -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 
1674.12/1674.45	v -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 
1674.12/1674.45	v -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 
1674.12/1674.45	v -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 x1848 -x1847 -x1846 -x1845 -x1844 -x1843 
1674.12/1674.45	v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 
1674.12/1674.45	v -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 
1674.12/1674.45	v -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 
1674.12/1674.45	v -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 
1674.12/1674.45	v -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 
1674.12/1674.45	v -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 
1674.12/1674.45	v -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 
1674.12/1674.45	v -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 
1674.12/1674.45	v -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 
1674.12/1674.45	v -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 
1674.12/1674.45	v -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 
1674.12/1674.45	v -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 
1674.12/1674.45	v -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 
1674.12/1674.45	v -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 
1674.12/1674.45	v -x1591 -x1590 x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 
1674.12/1674.45	v -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 
1674.12/1674.45	v -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 
1674.12/1674.45	v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 
1674.12/1674.45	v -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 
1674.12/1674.45	v -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 
1674.12/1674.45	v -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 x1469 -x1468 -x1467 
1674.12/1674.45	v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 x1451 -x1450 -x1449 
1674.12/1674.45	v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 
1674.12/1674.45	v -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 
1674.12/1674.45	v -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 
1674.12/1674.45	v -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 
1674.12/1674.45	v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 
1674.12/1674.45	v -x1359 -x1358 -x1357 -x1356 -x1355 x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 
1674.12/1674.45	v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 
1674.12/1674.45	v -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 
1674.12/1674.45	v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 
1674.12/1674.45	v -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 
1674.12/1674.45	v -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 
1674.12/1674.45	v -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 
1674.12/1674.45	v -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 
1674.12/1674.45	v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 
1674.12/1674.45	v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 
1674.12/1674.45	v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 
1674.12/1674.45	v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 
1674.12/1674.45	v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 
1674.12/1674.45	v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 
1674.12/1674.45	v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 
1674.12/1674.45	v -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 
1674.12/1674.45	v -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 
1674.12/1674.45	v -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 
1674.12/1674.45	v -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 
1674.12/1674.45	v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 
1674.12/1674.45	v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 
1674.12/1674.45	v -x981 -x980 -x979 -x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 
1674.12/1674.45	v -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 
1674.12/1674.45	v -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 
1674.12/1674.45	v -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 
1674.12/1674.45	v -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 
1674.12/1674.45	v -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 
1674.12/1674.45	v -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 
1674.12/1674.45	v -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 
1674.12/1674.45	v -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 
1674.12/1674.45	v -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 
1674.12/1674.45	v -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 
1674.12/1674.45	v -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 
1674.12/1674.45	v -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 
1674.12/1674.45	v -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 
1674.12/1674.45	v -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 
1674.12/1674.45	v -x668 -x667 -x666 -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 
1674.12/1674.45	v -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 
1674.12/1674.45	v -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 
1674.12/1674.45	v -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 
1674.12/1674.45	v -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 
1674.12/1674.45	v -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 
1674.12/1674.45	v -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 
1674.12/1674.45	v -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 
1674.12/1674.45	v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 
1674.12/1674.45	v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 
1674.12/1674.45	v -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 
1674.12/1674.45	v -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 
1674.12/1674.45	v -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 
1674.12/1674.45	v -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 
1674.12/1674.45	v -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 
1674.12/1674.45	v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 
1674.12/1674.45	v -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 
1674.12/1674.45	v -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 
1674.12/1674.45	v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 
1674.12/1674.45	v -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 
1674.12/1674.45	v -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 
1674.12/1674.45	v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 
1674.12/1674.45	v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 
1674.12/1674.45	v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1674.12/1674.45	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1674.12/1674.45	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1674.12/1674.45	v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1674.12/1674.45	v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 
1674.12/1674.45	v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 
1674.12/1674.45	v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 
1674.12/1674.45	v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 
1674.12/1674.45	v -x4 -x3 -x2 -x1 
1674.12/1674.45	c SCIP Status        : problem is solved [optimal solution found]
1674.12/1674.45	c Total Time         :    1674.44
1674.12/1674.45	c   solving          :    1674.44
1674.12/1674.45	c   presolving       :       0.23 (included in solving)
1674.12/1674.45	c   reading          :       0.04 (included in solving)
1674.12/1674.45	c   copying          :       0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1674.12/1674.45	c Original Problem   :
1674.12/1674.45	c   Problem name     : HOME/instance-3690484-1338016919.opb
1674.12/1674.45	c   Variables        : 8281 (8281 binary, 0 integer, 0 implicit integer, 0 continuous)
1674.12/1674.45	c   Constraints      : 826 initial, 826 maximal
1674.12/1674.45	c   Objective sense  : minimize
1674.12/1674.45	c Presolved Problem  :
1674.12/1674.45	c   Problem name     : t_HOME/instance-3690484-1338016919.opb
1674.12/1674.45	c   Variables        : 8281 (8281 binary, 0 integer, 0 implicit integer, 0 continuous)
1674.12/1674.45	c   Constraints      : 462 initial, 2841 maximal
1674.12/1674.45	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1674.12/1674.45	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   components       :       0.01       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   probing          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   knapsack         :       0.07       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   setppc           :       0.02       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   linear           :       0.09       0.00          0          0          0          0          0        364          0          0          0
1674.12/1674.45	c   logicor          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1674.12/1674.45	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1674.12/1674.45	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1674.12/1674.45	c   integral         :          0          0          0          0      14502          0          3          0        128       1372          0          0      27586
1674.12/1674.45	c   knapsack         :         98         98          5      56514          1          0          0     133844         41     356530          0          0          0
1674.12/1674.45	c   setppc           :        364        364          5      56473          1          0          0     767471        674     757503          0          0          0
1674.12/1674.45	c   linear           :          0+       921          5      54523          0          0          0         23          2        113          0          0          0
1674.12/1674.45	c   logicor          :          0+      1459          0      24857          0          0          0       1176         39       4396          0          0          0
1674.12/1674.45	c   countsols        :          0          0          0          0          1          0          2          0          0          0          0          0          0
1674.12/1674.45	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1674.12/1674.45	c   integral         :     566.82       0.00       0.00       0.00     566.82       0.00       0.00       0.00
1674.12/1674.45	c   knapsack         :       3.91       0.00       0.01       3.61       0.00       0.00       0.00       0.28
1674.12/1674.45	c   setppc           :       9.53       0.00       0.00       8.33       0.00       0.00       0.00       1.19
1674.12/1674.45	c   linear           :       0.47       0.00       0.02       0.45       0.00       0.00       0.00       0.00
1674.12/1674.45	c   logicor          :       0.70       0.00       0.00       0.68       0.00       0.00       0.00       0.02
1674.12/1674.45	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1674.12/1674.45	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1674.12/1674.45	c   rootredcost      :          0          0          0          0
1674.12/1674.45	c   pseudoobj        :          0          0          0          0
1674.12/1674.45	c   vbounds          :          0          0          0          0
1674.12/1674.45	c   redcost          :      14507          0          0          0
1674.12/1674.45	c   probing          :          0          0          0          0
1674.12/1674.45	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1674.12/1674.45	c   rootredcost      :       0.07       0.00       0.00       0.07       0.00
1674.12/1674.45	c   pseudoobj        :       0.07       0.00       0.00       0.07       0.00
1674.12/1674.45	c   vbounds          :       0.06       0.00       0.00       0.06       0.00
1674.12/1674.45	c   redcost          :       1.68       0.00       0.00       1.68       0.00
1674.12/1674.45	c   probing          :       0.00       0.00       0.00       0.00       0.00
1674.12/1674.45	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1674.12/1674.45	c   propagation      :       5.39        756        756      25162      414.4        510      116.1          -
1674.12/1674.45	c   infeasible LP    :     151.25       9503        239       9733      970.7        105      123.8          0
1674.12/1674.45	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1674.12/1674.45	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1674.12/1674.45	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1674.12/1674.45	c   applied globally :          -          -          -       7920      244.9          -          -          -
1674.12/1674.45	c   applied locally  :          -          -          -          0        0.0          -          -          -
1674.12/1674.45	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1674.12/1674.45	c   cut pool         :       0.00                     4          -          -          0          -    (maximal pool size: 44)
1674.12/1674.45	c   closecuts        :       0.00       0.00          0          0          0          0          0
1674.12/1674.45	c   impliedbounds    :       0.00       0.00          5          0          0          0          0
1674.12/1674.45	c   intobj           :       0.00       0.00          0          0          0          0          0
1674.12/1674.45	c   gomory           :       0.06       0.00          5          0          0          0          0
1674.12/1674.45	c   cgmip            :       0.00       0.00          0          0          0          0          0
1674.12/1674.45	c   strongcg         :       0.06       0.00          5          0          0          0          0
1674.12/1674.45	c   cmir             :       0.00       0.00          0          0          0          0          0
1674.12/1674.45	c   flowcover        :       0.00       0.00          0          0          0          0          0
1674.12/1674.45	c   clique           :       0.06       0.00          5          0          0         44          0
1674.12/1674.45	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1674.12/1674.45	c   mcf              :       0.00       0.00          1          0          0          0          0
1674.12/1674.45	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1674.12/1674.45	c   rapidlearning    :       1.00       0.00          1          0          0          0        921
1674.12/1674.45	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1674.12/1674.45	c   problem variables:       0.00          -          0          0
1674.12/1674.45	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1674.12/1674.45	c   relpscost        :     566.75       0.00      14501        128       1372          0          0      27586
1674.12/1674.45	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1674.12/1674.45	c   inference        :       0.00       0.00          0          0          0          0          0          0
1674.12/1674.45	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1674.12/1674.45	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1674.12/1674.45	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1674.12/1674.45	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1674.12/1674.45	c   random           :       0.00       0.00          0          0          0          0          0          0
1674.12/1674.45	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1674.12/1674.45	c   LP solutions     :       0.01          -          -          1
1674.12/1674.45	c   pseudo solutions :       0.00          -          -          0
1674.12/1674.45	c   smallcard        :       0.00       0.00          0          0
1674.12/1674.45	c   trivial          :       0.00       0.00          1          0
1674.12/1674.45	c   shiftandpropagate:       0.00       0.00          0          0
1674.12/1674.45	c   simplerounding   :       0.00       0.00          0          0
1674.12/1674.45	c   zirounding       :       0.00       0.00          0          0
1674.12/1674.45	c   rounding         :       0.00       0.00          0          0
1674.12/1674.45	c   shifting         :       0.00       0.00          0          0
1674.12/1674.45	c   intshifting      :       0.00       0.00          0          0
1674.12/1674.45	c   oneopt           :       0.00       0.00          0          0
1674.12/1674.45	c   twoopt           :       0.00       0.00          0          0
1674.12/1674.45	c   indtwoopt        :       0.00       0.00          0          0
1674.12/1674.45	c   indoneopt        :       0.00       0.00          0          0
1674.12/1674.45	c   fixandinfer      :       0.00       0.00          0          0
1674.12/1674.45	c   feaspump         :       0.00       0.00          0          0
1674.12/1674.45	c   clique           :       0.00       0.00          0          0
1674.12/1674.45	c   indrounding      :       0.00       0.00          0          0
1674.12/1674.45	c   indcoefdiving    :       0.00       0.00          0          0
1674.12/1674.45	c   coefdiving       :       0.00       0.00          0          0
1674.12/1674.45	c   pscostdiving     :       0.00       0.00          0          0
1674.12/1674.45	c   nlpdiving        :       0.00       0.00          0          0
1674.12/1674.45	c   fracdiving       :       0.00       0.00          0          0
1674.12/1674.45	c   veclendiving     :       0.00       0.00          0          0
1674.12/1674.45	c   intdiving        :       0.00       0.00          0          0
1674.12/1674.45	c   actconsdiving    :       0.00       0.00          0          0
1674.12/1674.45	c   objpscostdiving  :       0.00       0.00          0          0
1674.12/1674.45	c   rootsoldiving    :       0.00       0.00          0          0
1674.12/1674.45	c   linesearchdiving :       0.00       0.00          0          0
1674.12/1674.45	c   guideddiving     :       0.00       0.00          0          0
1674.12/1674.45	c   octane           :       0.00       0.00          0          0
1674.12/1674.45	c   rens             :       0.00       0.00          0          0
1674.12/1674.45	c   rins             :       0.00       0.00          0          0
1674.12/1674.45	c   localbranching   :       0.00       0.00          0          0
1674.12/1674.45	c   mutation         :       0.00       0.00          0          0
1674.12/1674.45	c   crossover        :       0.00       0.00          0          0
1674.12/1674.45	c   dins             :       0.00       0.00          0          0
1674.12/1674.45	c   vbounds          :       0.00       0.00          0          0
1674.12/1674.45	c   undercover       :       0.00       0.00          0          0
1674.12/1674.45	c   subnlp           :       0.00       0.00          0          0
1674.12/1674.45	c   trysol           :       0.00       0.00          0          0
1674.12/1674.45	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1674.12/1674.45	c   primal LP        :       0.02          1          0       0.00       0.00       0.02          1
1674.12/1674.45	c   dual LP          :     899.93      24010    3012502     125.74    3347.47       0.06         51
1674.12/1674.45	c   lex dual LP      :       0.00          0          0       0.00          -
1674.12/1674.45	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1674.12/1674.45	c   diving/probing LP:       0.00          0          0       0.00          -
1674.12/1674.45	c   strong branching :     565.65       6778    1580667     233.21    2794.44
1674.12/1674.45	c     (at root node) :          -         11       3260     296.36          -
1674.12/1674.45	c   conflict analysis:       0.00          0          0       0.00          -
1674.12/1674.45	c B&B Tree           :
1674.12/1674.45	c   number of runs   :          1
1674.12/1674.45	c   nodes            :      24171
1674.12/1674.45	c   nodes (total)    :      24171
1674.12/1674.45	c   nodes left       :          0
1674.12/1674.45	c   max depth        :         96
1674.12/1674.45	c   max depth (total):         96
1674.12/1674.45	c   backtracks       :       3270 (13.5%)
1674.12/1674.45	c   delayed cutoffs  :         14
1674.12/1674.45	c   repropagations   :       4979 (6385 domain reductions, 11 cutoffs)
1674.12/1674.45	c   avg switch length:       8.07
1674.12/1674.45	c   switching time   :      22.52
1674.12/1674.45	c Solution           :
1674.12/1674.45	c   Solutions found  :          1 (1 improvements)
1674.12/1674.45	c   First Solution   : +0.00000000000000e+00   (in run 1, after 24171 nodes, 1674.41 seconds, depth 58, found by <relaxation>)
1674.12/1674.45	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 24171 nodes, 1674.41 seconds, depth 58, found by <relaxation>)
1674.12/1674.45	c   Dual Bound       : +0.00000000000000e+00
1674.12/1674.45	c   Gap              :       0.00 %
1674.12/1674.45	c   Root Dual Bound  : +0.00000000000000e+00
1674.12/1674.45	c   Root Iterations  :      14203
1674.22/1674.51	c Time complete: 1674.23.

Verifier Data

OK	0

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.00 0.21 0.81 3/176 22993
/proc/meminfo: memFree=28657068/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=10504 CPUtime=0 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 1368 0 0 0 0 0 0 0 20 0 1 0 267816792 10756096 1323 33554432000 4194304 10173063 140737391191968 140735522985336 8886411 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 2626 1323 413 1460 0 1157 0

[startup+0.0488659 s]
/proc/loadavg: 0.00 0.21 0.81 3/176 22993
/proc/meminfo: memFree=28657068/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=28480 CPUtime=0.03 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 5828 0 0 0 3 0 0 0 20 0 1 0 267816792 29163520 5783 33554432000 4194304 10173063 140737391191968 140735522985336 5572624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 7120 5783 466 1460 0 5651 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28480

[startup+0.100338 s]
/proc/loadavg: 0.00 0.21 0.81 3/176 22993
/proc/meminfo: memFree=28657068/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=43332 CPUtime=0.09 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 9361 0 0 0 8 1 0 0 20 0 1 0 267816792 44371968 9316 33554432000 4194304 10173063 140737391191968 140735522985336 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 10833 9316 544 1460 0 9364 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43332

[startup+0.300265 s]
/proc/loadavg: 0.00 0.21 0.81 3/176 22993
/proc/meminfo: memFree=28657068/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=58580 CPUtime=0.28 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 13723 0 0 0 26 2 0 0 20 0 1 0 267816792 59985920 13326 33554432000 4194304 10173063 140737391191968 140735522985336 5044670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 14741 13337 664 1460 0 13272 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 58580

[startup+0.700179 s]
/proc/loadavg: 0.00 0.21 0.81 3/176 22993
/proc/meminfo: memFree=28657068/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=67100 CPUtime=0.69 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 16113 0 0 0 66 3 0 0 20 0 1 0 267816792 68710400 15309 33554432000 4194304 10173063 140737391191968 140735522985336 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 16775 15309 732 1460 0 15306 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67100

[startup+1.50018 s]
/proc/loadavg: 0.00 0.21 0.81 3/177 22994
/proc/meminfo: memFree=28503680/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=67100 CPUtime=1.48 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 16113 0 0 0 145 3 0 0 20 0 1 0 267816792 68710400 15309 33554432000 4194304 10173063 140737391191968 140737391185224 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 16775 15309 732 1460 0 15306 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 67100

[startup+3.10018 s]
/proc/loadavg: 0.00 0.21 0.81 3/177 22994
/proc/meminfo: memFree=28463620/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=67556 CPUtime=3.09 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 16231 0 0 0 305 4 0 0 20 0 1 0 267816792 69177344 15427 33554432000 4194304 10173063 140737391191968 140737391185640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 16889 15427 736 1460 0 15420 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67556

[startup+6.30024 s]
/proc/loadavg: 0.16 0.24 0.82 3/177 22994
/proc/meminfo: memFree=28401496/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=130416 CPUtime=6.29 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32048 0 0 0 612 17 0 0 20 0 1 0 267816792 133545984 30978 33554432000 4194304 10173063 140737391191968 140737391185096 8054704 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 32604 30978 822 1460 0 31135 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 130416

[startup+12.7002 s]
/proc/loadavg: 0.31 0.26 0.82 3/177 22994
/proc/meminfo: memFree=28399916/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=130416 CPUtime=12.69 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32050 0 0 0 1250 19 0 0 20 0 1 0 267816792 133545984 30980 33554432000 4194304 10173063 140737391191968 140737391185512 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 32604 30980 824 1460 0 31135 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 130416

[startup+25.5002 s]
/proc/loadavg: 0.68 0.35 0.84 3/177 22994
/proc/meminfo: memFree=28400164/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=130416 CPUtime=25.48 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32146 0 0 0 2527 21 0 0 20 0 1 0 267816792 133545984 31076 33554432000 4194304 10173063 140737391191968 140737391185416 8054496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 32604 31076 824 1460 0 31135 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 130416

[startup+51.1002 s]
/proc/loadavg: 1.13 0.48 0.87 3/177 22994
/proc/meminfo: memFree=28397336/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=130416 CPUtime=51.08 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32271 0 0 0 5082 26 0 0 20 0 1 0 267816792 133545984 31201 33554432000 4194304 10173063 140737391191968 140737391185144 8054514 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 32604 31201 824 1460 0 31135 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 130416

[startup+102.307 s]
/proc/loadavg: 1.62 0.71 0.93 3/177 22994
/proc/meminfo: memFree=28394840/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=130416 CPUtime=102.28 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32346 0 0 0 10185 43 0 0 20 0 1 0 267816792 133545984 31351 33554432000 4194304 10173063 140737391191968 140737391185320 7986142 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 32604 31351 827 1460 0 31135 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 130416

[startup+162.3 s]
/proc/loadavg: 1.86 0.94 0.99 3/177 22994
/proc/meminfo: memFree=28392900/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=130416 CPUtime=162.26 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32354 0 0 0 16154 72 0 0 20 0 1 0 267816792 133545984 31883 33554432000 4194304 10173063 140737391191968 140737391185320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 32604 31883 828 1460 0 31135 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 130416

[startup+222.3 s]
/proc/loadavg: 1.95 1.13 1.05 3/177 22994
/proc/meminfo: memFree=28392708/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=130416 CPUtime=222.24 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32354 0 0 0 22125 99 0 0 20 0 1 0 267816792 133545984 31883 33554432000 4194304 10173063 140737391191968 140737391185096 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 32604 31883 828 1460 0 31135 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 130416

[startup+282.3 s]
/proc/loadavg: 2.05 1.31 1.11 3/176 22994
/proc/meminfo: memFree=28392964/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=130416 CPUtime=282.24 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32355 0 0 0 28095 129 0 0 20 0 1 0 267816792 133545984 31884 33554432000 4194304 10173063 140737391191968 140737391185224 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 32604 31884 829 1460 0 31135 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 130416

[startup+342.3 s]
/proc/loadavg: 2.02 1.43 1.16 3/177 22995
/proc/meminfo: memFree=28389120/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=130416 CPUtime=342.22 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32355 0 0 0 34065 157 0 0 20 0 1 0 267816792 133545984 31884 33554432000 4194304 10173063 140737391191968 140737391185608 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 32604 31884 829 1460 0 31135 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 130416

[startup+402.3 s]
/proc/loadavg: 2.07 1.55 1.22 3/177 22995
/proc/meminfo: memFree=28376216/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=130416 CPUtime=402.22 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32355 0 0 0 40034 188 0 0 20 0 1 0 267816792 133545984 31884 33554432000 4194304 10173063 140737391191968 140737391185512 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 32604 31884 829 1460 0 31135 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 130416

[startup+462.3 s]
/proc/loadavg: 2.06 1.64 1.27 3/177 22995
/proc/meminfo: memFree=28376216/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=130416 CPUtime=462.21 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32355 0 0 0 46007 214 0 0 20 0 1 0 267816792 133545984 31884 33554432000 4194304 10173063 140737391191968 140737391188488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 32604 31884 829 1460 0 31135 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 130416

[startup+522.3 s]
/proc/loadavg: 2.02 1.70 1.31 3/178 22998
/proc/meminfo: memFree=28376084/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=130416 CPUtime=522.2 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32355 0 0 0 51979 241 0 0 20 0 1 0 267816792 133545984 31884 33554432000 4194304 10173063 140737391191968 140737391185608 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 32604 31884 829 1460 0 31135 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 130416

[startup+582.3 s]
/proc/loadavg: 2.01 1.75 1.35 3/177 22998
/proc/meminfo: memFree=28374100/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=132212 CPUtime=582.19 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 32787 0 0 0 57943 276 0 0 20 0 1 0 267816792 135385088 32316 33554432000 4194304 10173063 140737391191968 140737391185512 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 33053 32316 829 1460 0 31584 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 132212

[startup+642.3 s]

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

/proc/meminfo: memFree=28350088/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=149332 CPUtime=942.13 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 37013 0 0 0 93753 460 0 0 20 0 1 0 267816792 152915968 36558 33554432000 4194304 10173063 140737391191968 140737391185320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 37333 36558 829 1460 0 35864 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 149332

[startup+1002.3 s]
/proc/loadavg: 2.05 1.99 1.60 3/177 23001
/proc/meminfo: memFree=28348592/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=150744 CPUtime=1002.12 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 37354 0 0 0 99723 489 0 0 20 0 1 0 267816792 154361856 36921 33554432000 4194304 10173063 140737391191968 140737391185320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 37686 36921 829 1460 0 36217 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 150744

[startup+1062.3 s]
/proc/loadavg: 2.02 1.99 1.62 3/177 23001
/proc/meminfo: memFree=28346112/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=153236 CPUtime=1062.11 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 37990 0 0 0 105693 518 0 0 20 0 1 0 267816792 156913664 37556 33554432000 4194304 10173063 140737391191968 140737391185512 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 38309 37556 829 1460 0 36840 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 153236

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 1.65 3/178 23004
/proc/meminfo: memFree=28342260/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=155588 CPUtime=1122.1 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 38577 0 0 0 111663 547 0 0 20 0 1 0 267816792 159322112 38143 33554432000 4194304 10173063 140737391191968 140737391184904 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 38897 38143 829 1460 0 37428 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 155588

[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 1.67 3/177 23004
/proc/meminfo: memFree=28332836/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=158452 CPUtime=1182.1 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 39285 0 0 0 117630 580 0 0 20 0 1 0 267816792 162254848 38848 33554432000 4194304 10173063 140737391191968 140737391185320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 39613 38848 829 1460 0 38144 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 158452

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.69 3/177 23005
/proc/meminfo: memFree=28330852/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=160616 CPUtime=1242.08 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 39858 0 0 0 123597 611 0 0 20 0 1 0 267816792 164470784 39421 33554432000 4194304 10173063 140737391191968 140737391185144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 40154 39421 829 1460 0 38685 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 160616

[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 1.71 3/177 23005
/proc/meminfo: memFree=28326876/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=162916 CPUtime=1302.09 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 40428 0 0 0 129567 642 0 0 20 0 1 0 267816792 166825984 39991 33554432000 4194304 10173063 140737391191968 140737391188552 4218456 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 40729 39991 829 1460 0 39260 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 162916

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.73 3/177 23005
/proc/meminfo: memFree=28321668/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=164016 CPUtime=1362.07 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 40690 0 0 0 135538 669 0 0 20 0 1 0 267816792 167952384 40253 33554432000 4194304 10173063 140737391191968 140737391185416 4218477 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 41004 40253 829 1460 0 39535 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 164016

[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 1.75 3/177 23005
/proc/meminfo: memFree=28308828/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=168420 CPUtime=1422.06 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 41758 0 0 0 141509 697 0 0 20 0 1 0 267816792 172462080 41320 33554432000 4194304 10173063 140737391191968 140737391185320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 42105 41320 829 1460 0 40636 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 168420

[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 1.76 3/177 23005
/proc/meminfo: memFree=28289824/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=168796 CPUtime=1482.04 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 41908 0 0 0 147479 725 0 0 20 0 1 0 267816792 172847104 41470 33554432000 4194304 10173063 140737391191968 140737391185320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 42199 41470 829 1460 0 40730 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 168796

[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 1.78 3/177 23006
/proc/meminfo: memFree=28285484/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=171148 CPUtime=1542.04 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 42497 0 0 0 153453 751 0 0 20 0 1 0 267816792 175255552 42059 33554432000 4194304 10173063 140737391191968 140737391185320 4218456 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 42787 42059 829 1460 0 41318 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 171148

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.79 3/177 23006
/proc/meminfo: memFree=28280020/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=172172 CPUtime=1602.03 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 42742 0 0 0 159425 778 0 0 20 0 1 0 267816792 176304128 42302 33554432000 4194304 10173063 140737391191968 140737391185320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 43043 42302 829 1460 0 41574 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 172172

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.80 3/177 23006
/proc/meminfo: memFree=28278780/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=172852 CPUtime=1662.01 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 42943 0 0 0 165390 811 0 0 20 0 1 0 267816792 177000448 42503 33554432000 4194304 10173063 140737391191968 140737391185608 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 43213 42503 829 1460 0 41744 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 172852

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

[startup+1663.9 s]
/proc/loadavg: 2.01 2.02 1.80 3/177 23006
/proc/meminfo: memFree=28278532/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=172852 CPUtime=1663.62 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 42943 0 0 0 165549 813 0 0 20 0 1 0 267816792 177000448 42503 33554432000 4194304 10173063 140737391191968 140737391185320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 43213 42503 829 1460 0 41744 0
Current children cumulated CPU time (s) 1663.62
Current children cumulated vsize (KiB) 172852

[startup+1670.3 s]
/proc/loadavg: 2.00 2.02 1.81 3/177 23006
/proc/meminfo: memFree=28278656/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=172852 CPUtime=1670.02 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 42943 0 0 0 166185 817 0 0 20 0 1 0 267816792 177000448 42503 33554432000 4194304 10173063 140737391191968 140737391185272 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 43213 42503 829 1460 0 41744 0
Current children cumulated CPU time (s) 1670.02
Current children cumulated vsize (KiB) 172852

[startup+1671.9 s]
/proc/loadavg: 2.00 2.02 1.81 3/177 23006
/proc/meminfo: memFree=28278656/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=172852 CPUtime=1671.62 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 42943 0 0 0 166344 818 0 0 20 0 1 0 267816792 177000448 42503 33554432000 4194304 10173063 140737391191968 140737391188552 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 43213 42503 829 1460 0 41744 0
Current children cumulated CPU time (s) 1671.62
Current children cumulated vsize (KiB) 172852

[startup+1673.5 s]
/proc/loadavg: 2.00 2.02 1.81 3/177 23006
/proc/meminfo: memFree=28278656/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=172852 CPUtime=1673.22 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 42943 0 0 0 166501 821 0 0 20 0 1 0 267816792 177000448 42503 33554432000 4194304 10173063 140737391191968 140737391185272 4218452 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 43213 42503 829 1460 0 41744 0
Current children cumulated CPU time (s) 1673.22
Current children cumulated vsize (KiB) 172852

[startup+1674.3 s]
/proc/loadavg: 2.00 2.02 1.81 3/177 23006
/proc/meminfo: memFree=28278656/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=172852 CPUtime=1674.02 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 42943 0 0 0 166581 821 0 0 20 0 1 0 267816792 177000448 42503 33554432000 4194304 10173063 140737391191968 140737391189336 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 43213 42503 829 1460 0 41744 0
Current children cumulated CPU time (s) 1674.02
Current children cumulated vsize (KiB) 172852

[startup+1674.5 s]
/proc/loadavg: 2.00 2.02 1.81 3/177 23006
/proc/meminfo: memFree=28278656/32873844 swapFree=7104/7104
[pid=22993] ppid=22991 vsize=169360 CPUtime=1674.22 cores=1,3,5,7
/proc/22993/stat : 22993 (scip-2.1.1.4fix) R 22991 22993 22949 0 -1 4202496 42947 0 0 0 166601 821 0 0 20 0 1 0 267816792 173424640 41634 33554432000 4194304 10173063 140737391191968 140737391189336 7544969 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22993/statm: 42340 41634 833 1460 0 40871 0
Current children cumulated CPU time (s) 1674.22
Current children cumulated vsize (KiB) 169360

Child status: 0
Real time (s): 1674.52
CPU time (s): 1674.24
CPU user time (s): 1666.03
CPU system time (s): 8.21775
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 172852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1666.03
system time used= 8.21775
maximum resident set size= 170028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42949
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= 28
involuntary context switches= 1732

runsolver used 2.98955 second user time and 7.07992 second system time

The end

Launcher Data

Begin job on node142 at 2012-05-26 09:21:59
IDJOB=3690484
IDBENCH=1156
IDSOLVER=2270
FILE ID=node142/3690484-1338016919
RUNJOBID= node142-1338016919-22966
PBS_JOBID= 14624333
Free space on /tmp= 71604 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690484-1338016919/watcher-3690484-1338016919 -o /tmp/evaluation-result-3690484-1338016919/solver-3690484-1338016919 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690484-1338016919.opb -t 1800 -m 15500

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

MD5SUM BENCH= 321349c7a7114538010c83c600c72ae9
RANDOM SEED=1023222646

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28666536 kB
Buffers:          243712 kB
Cached:          3181444 kB
SwapCached:            0 kB
Active:           570044 kB
Inactive:        2866432 kB
Active(anon):      13620 kB
Inactive(anon):        0 kB
Active(file):     556424 kB
Inactive(file):  2866432 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             30308 kB
Writeback:             0 kB
AnonPages:         18092 kB
Mapped:            13616 kB
Shmem:               200 kB
Slab:             632668 kB
SReclaimable:      75208 kB
SUnreclaim:       557460 kB
KernelStack:        1400 kB
PageTables:         3844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71588 MiB
End job on node142 at 2012-05-26 09:49:54