Trace number 3730948

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT 1740.56 1740.84

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
MD5SUM28d827e98d8e81c3ff9d9e47a6238269
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 benchmark1.3388
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4644
Total number of constraints31254
Number of constraints which are clauses30228
Number of constraints which are cardinality constraints (but not clauses)948
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 104
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

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-3730948-1338683703/watcher-3730948-1338683703 -o /tmp/evaluation-result-3730948-1338683703/solver-3730948-1338683703 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3730948-1338683703.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: 2.00 2.00 1.93 3/177 22287
/proc/meminfo: memFree=26996024/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=7912 CPUtime=0 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 1203 0 0 0 0 0 0 0 20 0 1 0 334498829 8101888 1150 33554432000 4194304 8395647 140737325389504 140737325321560 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 1978 1159 365 1026 0 948 0

[startup+0.0920671 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 22287
/proc/meminfo: memFree=26996024/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=20796 CPUtime=0.08 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 4442 0 0 0 7 1 0 0 20 0 1 0 334498829 21295104 4389 33554432000 4194304 8395647 140737325389504 140737325321560 7384811 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 5199 4389 390 1026 0 4169 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20796

[startup+0.100353 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 22287
/proc/meminfo: memFree=26996024/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=20952 CPUtime=0.09 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 4470 0 0 0 8 1 0 0 20 0 1 0 334498829 21454848 4417 33554432000 4194304 8395647 140737325389504 140737325321560 4423932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 5238 4417 390 1026 0 4208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20952

[startup+0.300271 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 22287
/proc/meminfo: memFree=26996024/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=55820 CPUtime=0.29 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 13285 0 0 0 27 2 0 0 20 0 1 0 334498829 57159680 12878 33554432000 4194304 8395647 140737325389504 140737325321560 4964732 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 13955 12878 458 1026 0 12925 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55820

[startup+0.700314 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 22287
/proc/meminfo: memFree=26996024/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=98348 CPUtime=0.69 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 23218 0 0 0 64 5 0 0 20 0 1 0 334498829 100708352 23575 33554432000 4194304 8395647 140737325389504 140737325386264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 24587 23575 560 1026 0 23557 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 98348

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 22288
/proc/meminfo: memFree=26899536/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=107560 CPUtime=1.48 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 24949 0 0 0 143 5 0 0 20 0 1 0 334498829 110141440 25175 33554432000 4194304 8395647 140737325389504 140737325385064 6697250 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 26890 25175 567 1026 0 25860 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 107560

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 22288
/proc/meminfo: memFree=26896436/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=108380 CPUtime=3.09 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 25564 0 0 0 303 6 0 0 20 0 1 0 334498829 110981120 25766 33554432000 4194304 8395647 140737325389504 140737325384632 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 27095 25766 567 1026 0 26065 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108380

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 22288
/proc/meminfo: memFree=26893816/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=108380 CPUtime=6.29 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 25618 0 0 0 623 6 0 0 20 0 1 0 334498829 110981120 25820 33554432000 4194304 8395647 140737325389504 140737325384744 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 27095 25820 588 1026 0 26065 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 108380

[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 1.94 3/178 22288
/proc/meminfo: memFree=26869288/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=134188 CPUtime=12.69 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 30879 0 0 0 1261 8 0 0 20 0 1 0 334498829 137408512 32082 33554432000 4194304 8395647 140737325389504 140737325384632 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 33547 32082 602 1026 0 32517 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 134188

[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 1.94 3/178 22288
/proc/meminfo: memFree=26848700/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=155668 CPUtime=25.49 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 35217 0 0 0 2539 10 0 0 20 0 1 0 334498829 159404032 37442 33554432000 4194304 8395647 140737325389504 140737325384792 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 38917 37442 602 1026 0 37887 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 155668

[startup+51.1003 s]
/proc/loadavg: 2.11 2.03 1.94 3/178 22288
/proc/meminfo: memFree=26809660/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=193384 CPUtime=51.07 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 43958 0 0 0 5092 15 0 0 20 0 1 0 334498829 198025216 46956 33554432000 4194304 8395647 140737325389504 140737325385016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 48346 46956 602 1026 0 47316 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 193384

[startup+102.307 s]
/proc/loadavg: 2.04 2.02 1.94 3/177 22289
/proc/meminfo: memFree=26808980/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=193384 CPUtime=102.27 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 43987 0 0 0 10206 21 0 0 20 0 1 0 334498829 198025216 47234 33554432000 4194304 8395647 140737325389504 140737325384808 6698068 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 48346 47234 606 1026 0 47316 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 193384

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/177 22289
/proc/meminfo: memFree=26805956/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=193384 CPUtime=162.25 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 43992 0 0 0 16194 31 0 0 20 0 1 0 334498829 198025216 47515 33554432000 4194304 8395647 140737325389504 140737325384808 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 48346 47515 606 1026 0 47316 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 193384

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 22289
/proc/meminfo: memFree=26807504/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=193384 CPUtime=222.24 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 43992 0 0 0 22182 42 0 0 20 0 1 0 334498829 198025216 47515 33554432000 4194304 8395647 140737325389504 140737325383656 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 48346 47515 606 1026 0 47316 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 193384

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 22289
/proc/meminfo: memFree=26803164/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=193384 CPUtime=282.24 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 43993 0 0 0 28172 52 0 0 20 0 1 0 334498829 198025216 47516 33554432000 4194304 8395647 140737325389504 140737325385064 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 48346 47516 606 1026 0 47316 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 193384

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 22444
/proc/meminfo: memFree=24873708/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=193992 CPUtime=342.22 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 44132 0 0 0 34161 61 0 0 20 0 1 0 334498829 198647808 47655 33554432000 4194304 8395647 140737325389504 140737325385016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 48498 47655 606 1026 0 47468 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 193992

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 22445
/proc/meminfo: memFree=23778972/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=193992 CPUtime=402.22 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 44132 0 0 0 40154 68 0 0 20 0 1 0 334498829 198647808 47655 33554432000 4194304 8395647 140737325389504 140737325384632 6697092 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 48498 47655 606 1026 0 47468 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 193992

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 22445
/proc/meminfo: memFree=23764812/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=193992 CPUtime=462.2 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 44132 0 0 0 46146 74 0 0 20 0 1 0 334498829 198647808 47655 33554432000 4194304 8395647 140737325389504 140737325384632 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 48498 47655 606 1026 0 47468 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 193992

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 22445
/proc/meminfo: memFree=23748348/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=194972 CPUtime=522.19 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 44274 0 0 0 52137 82 0 0 20 0 1 0 334498829 199651328 47797 33554432000 4194304 8395647 140737325389504 140737325384632 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 48743 47797 606 1026 0 47713 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 194972

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 22445
/proc/meminfo: memFree=22970436/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=194972 CPUtime=582.19 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 44274 0 0 0 58130 89 0 0 20 0 1 0 334498829 199651328 47797 33554432000 4194304 8395647 140737325389504 140737325384632 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 48743 47797 606 1026 0 47713 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 194972

[startup+642.3 s]

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

/proc/meminfo: memFree=22930192/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=208040 CPUtime=1122.1 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 47614 0 0 0 112048 162 0 0 20 0 1 0 334498829 213032960 51137 33554432000 4194304 8395647 140737325389504 140737325384632 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 52010 51137 611 1026 0 50980 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 208040

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/177 22450
/proc/meminfo: memFree=22927616/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=211268 CPUtime=1182.09 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 48136 0 0 0 118038 171 0 0 20 0 1 0 334498829 216338432 51659 33554432000 4194304 8395647 140737325389504 140737325384968 6696785 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 52817 51659 611 1026 0 51787 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 211268

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 22450
/proc/meminfo: memFree=22921472/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=212836 CPUtime=1242.09 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 48912 0 0 0 124030 179 0 0 20 0 1 0 334498829 217944064 52435 33554432000 4194304 8395647 140737325389504 140737325385112 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 53209 52435 613 1026 0 52179 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 212836

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 22450
/proc/meminfo: memFree=22921376/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=212836 CPUtime=1302.09 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 48920 0 0 0 130022 187 0 0 20 0 1 0 334498829 217944064 52443 33554432000 4194304 8395647 140737325389504 140737325384632 6698396 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 53209 52443 613 1026 0 52179 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 212836

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 22451
/proc/meminfo: memFree=22921280/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=212836 CPUtime=1362.07 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 48947 0 0 0 136014 193 0 0 20 0 1 0 334498829 217944064 52470 33554432000 4194304 8395647 140737325389504 140737325384632 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 53209 52470 613 1026 0 52179 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 212836

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 22451
/proc/meminfo: memFree=22920440/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=213672 CPUtime=1422.07 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 49092 0 0 0 142005 202 0 0 20 0 1 0 334498829 218800128 52615 33554432000 4194304 8395647 140737325389504 140737325384632 6698377 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 53418 52615 613 1026 0 52388 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 213672

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 22451
/proc/meminfo: memFree=22918608/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=215388 CPUtime=1482.05 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 49456 0 0 0 147994 211 0 0 20 0 1 0 334498829 220557312 52979 33554432000 4194304 8395647 140737325389504 140737325385112 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 53847 52979 613 1026 0 52817 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 215388

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 22454
/proc/meminfo: memFree=22918752/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=215388 CPUtime=1542.04 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 49518 0 0 0 153984 220 0 0 20 0 1 0 334498829 220557312 53041 33554432000 4194304 8395647 140737325389504 140737325384968 6696666 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 53847 53041 613 1026 0 52817 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 215388

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22477
/proc/meminfo: memFree=22913936/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=215388 CPUtime=1602.03 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 49544 0 0 0 159976 227 0 0 20 0 1 0 334498829 220557312 53067 33554432000 4194304 8395647 140737325389504 140737325384712 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 53847 53067 613 1026 0 52817 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 215388

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 22478
/proc/meminfo: memFree=22912112/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=217744 CPUtime=1662.02 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 49908 0 0 0 165969 233 0 0 20 0 1 0 334498829 222969856 53431 33554432000 4194304 8395647 140737325389504 140737325384632 6023234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 54436 53431 613 1026 0 53406 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 217744

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 22478
/proc/meminfo: memFree=22910156/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=219124 CPUtime=1722.01 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 50381 0 0 0 171960 241 0 0 20 0 1 0 334498829 224382976 53904 33554432000 4194304 8395647 140737325389504 140737325384632 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 54781 53904 613 1026 0 53751 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 219124

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

[startup+1727.9 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 22478
/proc/meminfo: memFree=22909908/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=219124 CPUtime=1727.61 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 50405 0 0 0 172519 242 0 0 20 0 1 0 334498829 224382976 53928 33554432000 4194304 8395647 140737325389504 140737325384632 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 54781 53928 613 1026 0 53751 0
Current children cumulated CPU time (s) 1727.61
Current children cumulated vsize (KiB) 219124

[startup+1734.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 22478
/proc/meminfo: memFree=22909892/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=219124 CPUtime=1734.01 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 50455 0 0 0 173158 243 0 0 20 0 1 0 334498829 224382976 53978 33554432000 4194304 8395647 140737325389504 140737325385064 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 54781 53978 613 1026 0 53751 0
Current children cumulated CPU time (s) 1734.01
Current children cumulated vsize (KiB) 219124

[startup+1737.5 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 22478
/proc/meminfo: memFree=22909644/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=219316 CPUtime=1737.22 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 50477 0 0 0 173478 244 0 0 20 0 1 0 334498829 224579584 54000 33554432000 4194304 8395647 140737325389504 140737325384632 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 54829 54000 613 1026 0 53799 0
Current children cumulated CPU time (s) 1737.22
Current children cumulated vsize (KiB) 219316

[startup+1739.11 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 22478
/proc/meminfo: memFree=22909520/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=219316 CPUtime=1738.82 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 50487 0 0 0 173638 244 0 0 20 0 1 0 334498829 224579584 54010 33554432000 4194304 8395647 140737325389504 140737325384968 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 54829 54010 613 1026 0 53799 0
Current children cumulated CPU time (s) 1738.82
Current children cumulated vsize (KiB) 219316

[startup+1739.9 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 22478
/proc/meminfo: memFree=22909520/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=219316 CPUtime=1739.61 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 50489 0 0 0 173717 244 0 0 20 0 1 0 334498829 224579584 54012 33554432000 4194304 8395647 140737325389504 140737325384376 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 54829 54012 613 1026 0 53799 0
Current children cumulated CPU time (s) 1739.61
Current children cumulated vsize (KiB) 219316

[startup+1740.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 22478
/proc/meminfo: memFree=22909320/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=219316 CPUtime=1740.01 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 50489 0 0 0 173757 244 0 0 20 0 1 0 334498829 224579584 54012 33554432000 4194304 8395647 140737325389504 140737325384376 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 54829 54012 613 1026 0 53799 0
Current children cumulated CPU time (s) 1740.01
Current children cumulated vsize (KiB) 219316

[startup+1740.7 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 22478
/proc/meminfo: memFree=22909320/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=219316 CPUtime=1740.41 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 50489 0 0 0 173797 244 0 0 20 0 1 0 334498829 224579584 54012 33554432000 4194304 8395647 140737325389504 140737325385016 6003041 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 54829 54012 613 1026 0 53799 0
Current children cumulated CPU time (s) 1740.41
Current children cumulated vsize (KiB) 219316

[startup+1740.8 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 22478
/proc/meminfo: memFree=22909320/32873844 swapFree=7628/7628
[pid=22287] ppid=22285 vsize=219316 CPUtime=1740.51 cores=1,3,5,7
/proc/22287/stat : 22287 (pbscip.linux.x8) R 22285 22287 20882 0 -1 4202496 50497 0 0 0 173807 244 0 0 20 0 1 0 334498829 224579584 54020 33554432000 4194304 8395647 140737325389504 140737325385016 5084071 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22287/statm: 54829 54020 621 1026 0 53799 0
Current children cumulated CPU time (s) 1740.51
Current children cumulated vsize (KiB) 219316

Child status: 0
Real time (s): 1740.84
CPU time (s): 1740.56
CPU user time (s): 1738.11
CPU system time (s): 2.45063
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 219316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738.11
system time used= 2.45063
maximum resident set size= 216080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50504
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= 25
involuntary context switches= 1792

runsolver used 3.17352 second user time and 8.33773 second system time

The end

Launcher Data

Begin job on node107 at 2012-06-03 02:35:03
IDJOB=3730948
IDBENCH=1496
IDSOLVER=2326
FILE ID=node107/3730948-1338683703
RUNJOBID= node107-1338678628-20902
PBS_JOBID= 14636706
Free space on /tmp= 70772 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730948-1338683703/watcher-3730948-1338683703 -o /tmp/evaluation-result-3730948-1338683703/solver-3730948-1338683703 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3730948-1338683703.opb -t 1800 -m 15500

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

MD5SUM BENCH= 28d827e98d8e81c3ff9d9e47a6238269
RANDOM SEED=544664406

node107.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.760
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.52
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.760
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.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
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.91
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.760
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.760
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.86
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.760
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:        26996296 kB
Buffers:          468808 kB
Cached:          4422872 kB
SwapCached:           76 kB
Active:          1999784 kB
Inactive:        3001052 kB
Active(anon):     100868 kB
Inactive(anon):    11072 kB
Active(file):    1898916 kB
Inactive(file):  2989980 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:             11284 kB
Writeback:             0 kB
AnonPages:        133124 kB
Mapped:            16836 kB
Shmem:               184 kB
Slab:             734688 kB
SReclaimable:     177232 kB
SUnreclaim:       557456 kB
KernelStack:        1488 kB
PageTables:         4116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     223796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 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= 70728 MiB
End job on node107 at 2012-06-03 03:04:04