Trace number 3690518

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedSAT 307.914 307.983

General information on the benchmark

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

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-3690518-1338016952/watcher-3690518-1338016952 -o /tmp/evaluation-result-3690518-1338016952/solver-3690518-1338016952 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690518-1338016952.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 0.31 0.10 0.02 3/176 3384
/proc/meminfo: memFree=28982480/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=11676 CPUtime=0 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 1606 0 0 0 0 0 0 0 20 0 1 0 267820966 11956224 1560 33554432000 4194304 10173063 140736697404416 140736613247848 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3384/statm: 2919 1574 413 1460 0 1450 0

[startup+0.0264759 s]
/proc/loadavg: 0.31 0.10 0.02 3/176 3384
/proc/meminfo: memFree=28982480/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=17492 CPUtime=0.02 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 3108 0 0 0 2 0 0 0 20 0 1 0 267820966 17911808 3062 33554432000 4194304 10173063 140736697404416 140736613247848 8747200 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3384/statm: 4373 3062 413 1460 0 2904 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17492

[startup+0.100255 s]
/proc/loadavg: 0.31 0.10 0.02 3/176 3384
/proc/meminfo: memFree=28982480/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=36748 CPUtime=0.08 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 7893 0 0 0 8 0 0 0 20 0 1 0 267820966 37629952 7845 33554432000 4194304 10173063 140736697404416 140736697269592 5283330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3384/statm: 9187 7845 466 1460 0 7718 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36748

[startup+0.300238 s]
/proc/loadavg: 0.31 0.10 0.02 3/176 3384
/proc/meminfo: memFree=28982480/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=75260 CPUtime=0.29 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 17912 0 0 0 26 3 0 0 20 0 1 0 267820966 77066240 17277 33554432000 4194304 10173063 140736697404416 140736697269592 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3384/statm: 18815 17277 559 1460 0 17346 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75260

[startup+0.700239 s]
/proc/loadavg: 0.31 0.10 0.02 3/176 3384
/proc/meminfo: memFree=28982480/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=125992 CPUtime=0.69 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 29433 0 0 0 61 8 0 0 20 0 1 0 267820966 129015808 28436 33554432000 4194304 10173063 140736697404416 140736697269592 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3384/statm: 31498 28436 747 1460 0 30029 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 125992

[startup+1.50024 s]
/proc/loadavg: 0.44 0.14 0.03 3/177 3385
/proc/meminfo: memFree=28868880/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=127492 CPUtime=1.49 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 30398 0 0 0 140 9 0 0 20 0 1 0 267820966 130551808 29340 33554432000 4194304 10173063 140736697404416 140736697397672 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3384/statm: 31873 29340 747 1460 0 30404 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127492

[startup+3.10023 s]
/proc/loadavg: 0.44 0.14 0.03 3/177 3385
/proc/meminfo: memFree=28866796/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=128672 CPUtime=3.09 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 30893 0 0 0 300 9 0 0 20 0 1 0 267820966 131760128 29816 33554432000 4194304 10173063 140736697404416 140736697397768 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3384/statm: 32168 29816 747 1460 0 30699 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 128672

[startup+6.30023 s]
/proc/loadavg: 0.44 0.14 0.03 3/177 3385
/proc/meminfo: memFree=28862888/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=127804 CPUtime=6.29 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 31403 0 0 0 620 9 0 0 20 0 1 0 267820966 130871296 29916 33554432000 4194304 10173063 140736697404416 140736697397592 7654641 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3384/statm: 31951 29916 781 1460 0 30482 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 127804

[startup+12.7002 s]
/proc/loadavg: 0.68 0.20 0.06 3/177 3385
/proc/meminfo: memFree=28830432/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=160280 CPUtime=12.68 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 37878 0 0 0 1257 11 0 0 20 0 1 0 267820966 164126720 38111 33554432000 4194304 10173063 140736697404416 140736697396936 8007115 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3384/statm: 40070 38111 793 1460 0 38601 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 160280

[startup+25.5002 s]
/proc/loadavg: 0.89 0.26 0.08 3/177 3385
/proc/meminfo: memFree=28800716/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=190988 CPUtime=25.49 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 43428 0 0 0 2534 15 0 0 20 0 1 0 267820966 195571712 45756 33554432000 4194304 10173063 140736697404416 140736697397864 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3384/statm: 47747 45756 797 1460 0 46278 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 190988

[startup+51.1003 s]
/proc/loadavg: 1.26 0.40 0.13 3/177 3386
/proc/meminfo: memFree=28799308/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=191700 CPUtime=51.07 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 43657 0 0 0 5088 19 0 0 20 0 1 0 267820966 196300800 46034 33554432000 4194304 10173063 140736697404416 140736697397864 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3384/statm: 47925 46034 803 1460 0 46456 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 191700

[startup+102.306 s]
/proc/loadavg: 1.70 0.66 0.23 3/177 3386
/proc/meminfo: memFree=28794808/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=191700 CPUtime=102.26 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 43710 0 0 0 10197 29 0 0 20 0 1 0 267820966 196300800 47055 33554432000 4194304 10173063 140736697404416 140736697397864 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3384/statm: 47925 47055 804 1460 0 46456 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 191700

[startup+162.3 s]
/proc/loadavg: 1.93 0.92 0.34 3/177 3386
/proc/meminfo: memFree=28794588/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=191700 CPUtime=162.24 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 43755 0 0 0 16185 39 0 0 20 0 1 0 267820966 196300800 47100 33554432000 4194304 10173063 140736697404416 140736697397672 8012711 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3384/statm: 47925 47100 804 1460 0 46456 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 191700

[startup+222.3 s]
/proc/loadavg: 1.97 1.11 0.44 3/177 3424
/proc/meminfo: memFree=28809228/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=197416 CPUtime=222.24 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 44922 0 0 0 22173 51 0 0 20 0 1 0 267820966 202153984 48275 33554432000 4194304 10173063 140736697404416 140736697397864 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3384/statm: 49354 48275 809 1460 0 47885 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 197416

[startup+282.3 s]
/proc/loadavg: 1.99 1.27 0.54 3/178 3425
/proc/meminfo: memFree=28800592/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=204656 CPUtime=282.23 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 46771 0 0 0 28158 65 0 0 20 0 1 0 267820966 209567744 50117 33554432000 4194304 10173063 140736697404416 140736697397672 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3384/statm: 51164 50117 809 1460 0 49695 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 204656

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

[startup+294.3 s]
/proc/loadavg: 1.99 1.29 0.55 3/178 3425
/proc/meminfo: memFree=28799228/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=205800 CPUtime=294.23 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 47085 0 0 0 29355 68 0 0 20 0 1 0 267820966 210739200 50431 33554432000 4194304 10173063 140736697404416 140736697398248 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3384/statm: 51450 50431 809 1460 0 49981 0
Current children cumulated CPU time (s) 294.23
Current children cumulated vsize (KiB) 205800

[startup+300.7 s]
/proc/loadavg: 1.99 1.31 0.56 3/178 3425
/proc/meminfo: memFree=28798608/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=208560 CPUtime=300.62 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 47431 0 0 0 29993 69 0 0 20 0 1 0 267820966 213565440 50777 33554432000 4194304 10173063 140736697404416 140736697398056 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3384/statm: 52140 50777 809 1460 0 50671 0
Current children cumulated CPU time (s) 300.62
Current children cumulated vsize (KiB) 208560

[startup+303.9 s]
/proc/loadavg: 1.99 1.32 0.57 3/177 3425
/proc/meminfo: memFree=28796384/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=208560 CPUtime=303.82 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 47688 0 0 0 30312 70 0 0 20 0 1 0 267820966 213565440 51034 33554432000 4194304 10173063 140736697404416 140736697397672 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3384/statm: 52140 51034 809 1460 0 50671 0
Current children cumulated CPU time (s) 303.82
Current children cumulated vsize (KiB) 208560

[startup+305.5 s]
/proc/loadavg: 1.99 1.32 0.57 3/177 3425
/proc/meminfo: memFree=28796880/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=208560 CPUtime=305.42 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 47690 0 0 0 30472 70 0 0 20 0 1 0 267820966 213565440 51036 33554432000 4194304 10173063 140736697404416 140736697397592 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3384/statm: 52140 51036 809 1460 0 50671 0
Current children cumulated CPU time (s) 305.42
Current children cumulated vsize (KiB) 208560

[startup+307.1 s]
/proc/loadavg: 1.99 1.33 0.58 3/177 3425
/proc/meminfo: memFree=28796880/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=208992 CPUtime=307.02 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 47774 0 0 0 30631 71 0 0 20 0 1 0 267820966 214007808 51120 33554432000 4194304 10173063 140736697404416 140736697397864 8047144 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3384/statm: 52248 51120 809 1460 0 50779 0
Current children cumulated CPU time (s) 307.02
Current children cumulated vsize (KiB) 208992

[startup+307.5 s]
/proc/loadavg: 1.99 1.33 0.58 3/177 3425
/proc/meminfo: memFree=28796880/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=208992 CPUtime=307.42 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 47777 0 0 0 30671 71 0 0 20 0 1 0 267820966 214007808 51123 33554432000 4194304 10173063 140736697404416 140736697397864 8047310 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3384/statm: 52248 51123 809 1460 0 50779 0
Current children cumulated CPU time (s) 307.42
Current children cumulated vsize (KiB) 208992

[startup+307.9 s]
/proc/loadavg: 1.99 1.33 0.58 3/177 3425
/proc/meminfo: memFree=28796632/32873660 swapFree=7108/7108
[pid=3384] ppid=3382 vsize=208992 CPUtime=307.83 cores=0,2,4,6
/proc/3384/stat : 3384 (scip-2.1.1.4fix) R 3382 3384 3226 0 -1 4202496 47779 0 0 0 30712 71 0 0 20 0 1 0 267820966 214007808 51125 33554432000 4194304 10173063 140736697404416 140736697401112 4639413 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3384/statm: 52248 51125 811 1460 0 50779 0
Current children cumulated CPU time (s) 307.83
Current children cumulated vsize (KiB) 208992

Child status: 0
Real time (s): 307.983
CPU time (s): 307.914
CPU user time (s): 307.193
CPU system time (s): 0.72089
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 208992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 307.193
system time used= 0.72089
maximum resident set size= 204536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 403

runsolver used 0.45593 second user time and 1.23081 second system time

The end

Launcher Data

Begin job on node117 at 2012-05-26 09:22:32
IDJOB=3690518
IDBENCH=1501
IDSOLVER=2270
FILE ID=node117/3690518-1338016952
RUNJOBID= node117-1338016935-3242
PBS_JOBID= 14624354
Free space on /tmp= 71500 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690518-1338016952/watcher-3690518-1338016952 -o /tmp/evaluation-result-3690518-1338016952/solver-3690518-1338016952 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690518-1338016952.opb -t 1800 -m 15500

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

MD5SUM BENCH= 24c836f3fcb46569dfcfdc2eda4dee98
RANDOM SEED=645046885

node117.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		: 2667.148
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	: 5334.29
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		: 2667.148
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		: 2667.148
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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:       32873660 kB
MemFree:        28983008 kB
Buffers:          247504 kB
Cached:          2810228 kB
SwapCached:            0 kB
Active:           607324 kB
Inactive:        2500696 kB
Active(anon):      53072 kB
Inactive(anon):        0 kB
Active(file):     554252 kB
Inactive(file):  2500696 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             28872 kB
Writeback:             0 kB
AnonPages:         57584 kB
Mapped:            17700 kB
Shmem:               200 kB
Slab:             643776 kB
SReclaimable:      87908 kB
SUnreclaim:       555868 kB
KernelStack:        1432 kB
PageTables:         3920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     167632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71484 MiB
End job on node117 at 2012-05-26 09:27:40