Trace number 3729076

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT 1730.3 1730.57

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17ls.opb
MD5SUMe92d33933b84b1c0ca9ffa19c28f7edc
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.78773
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables370
Total number of constraints557
Number of constraints which are clauses313
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints242
Minimum length of a constraint2
Maximum length of a constraint121
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 138
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3729076-1338678634.opb>
0.00/0.01	c original problem has 370 variables (370 bin, 0 int, 0 impl, 0 cont) and 557 constraints
0.00/0.01	c problem read
0.00/0.01	c No objective function, only one solution is needed.
0.00/0.01	c presolving settings loaded
0.00/0.01	c presolving:
0.00/0.02	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 402 impls, 0 clqs
0.00/0.02	c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.02	c (round 3) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.03	c (round 4) 8 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.03	c presolving (5 rounds):
0.00/0.03	c  8 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03	c  12226 implications, 0 cliques
0.00/0.03	c presolved problem has 362 variables (362 bin, 0 int, 0 impl, 0 cont) and 545 constraints
0.00/0.03	c     244 constraints of type <knapsack>
0.00/0.03	c     181 constraints of type <setppc>
0.00/0.03	c     120 constraints of type <logicor>
0.00/0.03	c transformed objective value is always integral (scale: 1)
0.00/0.03	c Presolving Time: 0.02
0.00/0.03	c - non default parameters ----------------------------------------------------------------------
0.00/0.03	c # SCIP version 1.2.1.3
0.00/0.03	c 
0.00/0.03	c # frequency for displaying node information lines
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03	c display/freq = 10000
0.00/0.03	c 
0.00/0.03	c # maximal time in seconds to run
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/time = 1790
0.00/0.03	c 
0.00/0.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/memory = 13950
0.00/0.03	c 
0.00/0.03	c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03	c limits/solutions = 1
0.00/0.03	c 
0.00/0.03	c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.03	c separating/maxrounds = 1
0.00/0.03	c 
0.00/0.03	c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03	c separating/maxroundsroot = 5
0.00/0.03	c 
0.00/0.03	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03	c # [type: int, range: [1,2], default: 1]
0.00/0.03	c timing/clocktype = 2
0.00/0.03	c 
0.00/0.03	c # should presolving try to simplify inequalities
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c constraints/linear/simplifyinequalities = TRUE
0.00/0.03	c 
0.00/0.03	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c constraints/indicator/addCouplingCons = TRUE
0.00/0.03	c 
0.00/0.03	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03	c constraints/knapsack/disaggregation = FALSE
0.00/0.03	c 
0.00/0.03	c # should presolving try to simplify knapsacks
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03	c 
0.00/0.03	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03	c presolving/probing/maxrounds = 0
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03	c heuristics/coefdiving/freq = -1
0.00/0.03	c 
0.00/0.03	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03	c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.03	c 
0.00/0.03	c # additional number of allowed LP iterations
0.00/0.03	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03	c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.03	c heuristics/crossover/freq = -1
0.00/0.03	c 
0.00/0.03	c # number of nodes added to the contingent of the total nodes
0.00/0.03	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03	c heuristics/crossover/nodesofs = 750
0.00/0.03	c 
0.00/0.03	c # number of nodes without incumbent change that heuristic should wait
0.00/0.03	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.03	c heuristics/crossover/nwaitingnodes = 100
0.00/0.03	c 
0.00/0.03	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.03	c # [type: real, range: [0,1], default: 0.1]
0.00/0.03	c heuristics/crossover/nodesquot = 0.15
0.00/0.03	c 
0.00/0.03	c # minimum percentage of integer variables that have to be fixed 
0.00/0.03	c # [type: real, range: [0,1], default: 0.666]
0.00/0.03	c heuristics/crossover/minfixingrate = 0.5
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03	c heuristics/feaspump/freq = -1
0.00/0.03	c 
0.00/0.03	c # additional number of allowed LP iterations
0.00/0.03	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03	c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03	c heuristics/fracdiving/freq = -1
0.00/0.03	c 
0.00/0.03	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03	c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.03	c 
0.00/0.03	c # additional number of allowed LP iterations
0.00/0.03	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03	c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03	c heuristics/guideddiving/freq = -1
0.00/0.03	c 
0.00/0.03	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03	c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.03	c 
0.00/0.03	c # additional number of allowed LP iterations
0.00/0.03	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03	c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.03	c 
0.00/0.03	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03	c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03	c heuristics/intshifting/freq = -1
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03	c heuristics/linesearchdiving/freq = -1
0.00/0.03	c 
0.00/0.03	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.03	c 
0.00/0.03	c # additional number of allowed LP iterations
0.00/0.03	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03	c heuristics/nlp/freq = -1
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03	c heuristics/objpscostdiving/freq = -1
0.00/0.03	c 
0.00/0.03	c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.03	c # [type: real, range: [0,1], default: 0.01]
0.00/0.03	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.03	c 
0.00/0.03	c # additional number of allowed LP iterations
0.00/0.03	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03	c heuristics/oneopt/freq = -1
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03	c heuristics/pscostdiving/freq = -1
0.00/0.03	c 
0.00/0.03	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.03	c 
0.00/0.03	c # additional number of allowed LP iterations
0.00/0.03	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03	c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03	c heuristics/rens/freq = -1
0.00/0.03	c 
0.00/0.03	c # minimum percentage of integer variables that have to be fixable 
0.00/0.03	c # [type: real, range: [0,1], default: 0.5]
0.00/0.03	c heuristics/rens/minfixingrate = 0.3
0.00/0.03	c 
0.00/0.03	c # number of nodes added to the contingent of the total nodes
0.00/0.03	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03	c heuristics/rens/nodesofs = 2000
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03	c heuristics/rootsoldiving/freq = -1
0.00/0.03	c 
0.00/0.03	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.03	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.03	c 
0.00/0.03	c # additional number of allowed LP iterations
0.00/0.03	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03	c heuristics/rounding/freq = -1
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03	c heuristics/shifting/freq = -1
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03	c heuristics/simplerounding/freq = -1
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03	c heuristics/trivial/freq = -1
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03	c heuristics/trysol/freq = -1
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03	c heuristics/veclendiving/freq = -1
0.00/0.03	c 
0.00/0.03	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03	c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.03	c 
0.00/0.03	c # additional number of allowed LP iterations
0.00/0.03	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03	c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.03	c 
0.00/0.03	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03	c heuristics/zirounding/freq = -1
0.00/0.03	c 
0.00/0.03	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03	c separating/cmir/freq = -1
0.00/0.03	c 
0.00/0.03	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03	c separating/flowcover/freq = -1
0.00/0.03	c 
0.00/0.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03	c separating/rapidlearning/freq = 0
0.00/0.03	c 
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c start solving
0.00/0.03	c 
0.00/0.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.03	c   0.0s|     1 |     0 |   154 |     - |2268k|   0 |  91 | 362 | 545 | 362 | 545 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.13	c   0.1s|     1 |     0 |   362 |     - |2859k|   0 | 155 | 362 | 545 | 362 | 802 | 257 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.18/0.24	c   0.2s|     1 |     0 |   540 |     - |4392k|   0 | 201 | 362 | 545 | 362 | 948 | 403 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.28/0.33	c   0.3s|     1 |     0 |   687 |     - |6211k|   0 | 204 | 362 | 545 | 362 | 975 | 430 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.38/0.48	c   0.5s|     1 |     0 |   922 |     - |8492k|   0 | 201 | 362 | 545 | 362 |1012 | 467 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.62	c   0.6s|     1 |     0 |  1033 |     - |  10M|   0 | 208 | 362 | 545 | 362 |1063 | 518 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.99/1.03	c   1.0s|     1 |     2 |  1033 |     - |  10M|   0 | 208 | 362 | 545 | 362 |1063 | 518 |   0 |  10 | 0.000000e+00 |      --      |    Inf 
11.99/12.04	c  12.0s| 10000 |    97 | 94906 |   9.4 |  11M|  41 |   - | 362 |1137 |   0 |   0 | 518 | 815 |2149 | 0.000000e+00 |      --      |    Inf 
19.69/19.76	c  19.8s| 20000 |   115 |190372 |   9.5 |  11M|  44 |  34 | 362 |1377 | 362 | 687 | 518 |1686 |2315 | 0.000000e+00 |      --      |    Inf 
27.78/27.85	c  27.8s| 30000 |   144 |285657 |   9.5 |  11M|  44 |   - | 362 |1586 |   0 |   0 | 518 |2427 |2825 | 0.000000e+00 |      --      |    Inf 
35.78/35.89	c  35.9s| 40000 |   152 |379535 |   9.5 |  11M|  46 |   - | 362 |1627 | 362 | 687 | 518 |3325 |3350 | 0.000000e+00 |      --      |    Inf 
43.48/43.55	c  43.5s| 50000 |   165 |468951 |   9.4 |  11M|  46 |  48 | 362 |1790 | 362 | 687 | 518 |4034 |3800 | 0.000000e+00 |      --      |    Inf 
51.97/52.06	c  52.1s| 60000 |   173 |572729 |   9.5 |  12M|  46 |  52 | 362 |1931 | 362 | 687 | 518 |4992 |4212 | 0.000000e+00 |      --      |    Inf 
59.47/59.59	c  59.6s| 70000 |   175 |662373 |   9.4 |  12M|  50 |   - | 362 |2091 |   0 |   0 | 518 |5898 |4503 | 0.000000e+00 |      --      |    Inf 
67.47/67.51	c  67.5s| 80000 |   182 |756885 |   9.4 |  12M|  50 |  20 | 362 |2226 | 362 | 687 | 518 |6657 |4878 | 0.000000e+00 |      --      |    Inf 
74.97/75.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
74.97/75.06	c  75.1s| 90000 |   184 |847433 |   9.4 |  12M|  50 |  27 | 362 |2182 | 362 | 687 | 518 |7436 |5209 | 0.000000e+00 |      --      |    Inf 
83.27/83.33	c  83.3s|100000 |   184 |948259 |   9.5 |  12M|  50 |   - | 362 |2385 |   0 |   0 | 518 |8339 |5559 | 0.000000e+00 |      --      |    Inf 
91.77/91.88	c  91.9s|110000 |   207 |  1054k|   9.6 |  12M|  50 |   - | 362 |2191 | 362 | 687 | 518 |9234 |5815 | 0.000000e+00 |      --      |    Inf 
100.37/100.41	c   100s|120000 |   203 |  1159k|   9.7 |  12M|  51 |   - | 362 |2038 |   0 |   0 | 518 |9921 |6143 | 0.000000e+00 |      --      |    Inf 
108.46/108.56	c   109s|130000 |   225 |  1262k|   9.7 |  12M|  51 |  29 | 362 |2124 | 362 | 687 | 518 |  10k|6370 | 0.000000e+00 |      --      |    Inf 
116.86/116.92	c   117s|140000 |   220 |  1365k|   9.7 |  12M|  51 |  48 | 362 |2023 | 362 | 687 | 518 |  11k|6670 | 0.000000e+00 |      --      |    Inf 
123.76/123.89	c   124s|150000 |   226 |  1451k|   9.7 |  12M|  51 |   - | 362 |2146 | 362 | 687 | 518 |  11k|6859 | 0.000000e+00 |      --      |    Inf 
131.76/131.88	c   132s|160000 |   236 |  1551k|   9.7 |  12M|  51 |   - | 362 |2330 |   0 |   0 | 518 |  12k|7073 | 0.000000e+00 |      --      |    Inf 
140.67/140.71	c   141s|170000 |   283 |  1663k|   9.8 |  12M|  51 |   - | 362 |2633 | 362 | 687 | 518 |  13k|7275 | 0.000000e+00 |      --      |    Inf 
148.86/148.95	c   149s|180000 |   311 |  1766k|   9.8 |  12M|  51 |   - | 362 |2770 | 362 | 687 | 518 |  13k|7474 | 0.000000e+00 |      --      |    Inf 
156.96/157.04	c   157s|190000 |   301 |  1866k|   9.8 |  12M|  51 |  40 | 362 |2383 | 362 | 687 | 518 |  14k|7752 | 0.000000e+00 |      --      |    Inf 
165.16/165.29	c   165s|200000 |   316 |  1966k|   9.8 |  12M|  51 |   - | 362 |2662 | 362 | 687 | 518 |  15k|8041 | 0.000000e+00 |      --      |    Inf 
173.66/173.75	c   174s|210000 |   310 |  2072k|   9.9 |  13M|  53 |  39 | 362 |2864 | 362 | 687 | 518 |  16k|8228 | 0.000000e+00 |      --      |    Inf 
182.25/182.39	c   182s|220000 |   347 |  2180k|   9.9 |  13M|  53 |  22 | 362 |2900 | 362 | 687 | 518 |  16k|8408 | 0.000000e+00 |      --      |    Inf 
191.15/191.24	c   191s|230000 |   372 |  2281k|   9.9 |  13M|  57 |   - | 362 |2497 | 362 | 687 | 518 |  17k|9007 | 0.000000e+00 |      --      |    Inf 
199.85/199.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
199.85/199.95	c   200s|240000 |   367 |  2391k|  10.0 |  12M|  57 |  26 | 362 |2100 | 362 | 687 | 518 |  18k|9180 | 0.000000e+00 |      --      |    Inf 
206.85/206.91	c   207s|250000 |   362 |  2477k|   9.9 |  13M|  57 |   - | 362 |2304 |   0 |   0 | 518 |  18k|9338 | 0.000000e+00 |      --      |    Inf 
213.75/213.88	c   214s|260000 |   367 |  2562k|   9.9 |  13M|  57 |  29 | 362 |2321 | 362 | 687 | 518 |  19k|9480 | 0.000000e+00 |      --      |    Inf 
221.35/221.43	c   221s|270000 |   358 |  2659k|   9.8 |  13M|  57 |  35 | 362 |2488 | 362 | 687 | 518 |  20k|9562 | 0.000000e+00 |      --      |    Inf 
230.54/230.60	c   231s|280000 |   353 |  2775k|   9.9 |  12M|  57 |  47 | 362 |1904 | 362 | 687 | 518 |  21k|9813 | 0.000000e+00 |      --      |    Inf 
238.95/239.04	c   239s|290000 |   347 |  2882k|   9.9 |  12M|  57 |  32 | 362 |2013 | 362 | 687 | 518 |  21k|  10k| 0.000000e+00 |      --      |    Inf 
246.94/247.07	c   247s|300000 |   343 |  2983k|   9.9 |  12M|  57 |   - | 362 |2164 | 362 | 687 | 518 |  22k|  10k| 0.000000e+00 |      --      |    Inf 
255.05/255.17	c   255s|310000 |   356 |  3085k|  10.0 |  13M|  57 |   - | 362 |2529 |   0 |   0 | 518 |  23k|  10k| 0.000000e+00 |      --      |    Inf 
264.54/264.60	c   265s|320000 |   355 |  3207k|  10.0 |  13M|  57 |  41 | 362 |2515 | 362 | 687 | 518 |  23k|  10k| 0.000000e+00 |      --      |    Inf 
271.43/271.60	c   272s|330000 |   365 |  3293k|  10.0 |  13M|  57 |  34 | 362 |2809 | 362 | 687 | 518 |  24k|  10k| 0.000000e+00 |      --      |    Inf 
278.94/279.08	c   279s|340000 |   365 |  3387k|  10.0 |  13M|  57 |  40 | 362 |2955 | 362 | 687 | 518 |  25k|  10k| 0.000000e+00 |      --      |    Inf 
286.74/286.89	c   287s|350000 |   375 |  3483k|   9.9 |  13M|  57 |   - | 362 |3037 |   0 |   0 | 518 |  26k|  10k| 0.000000e+00 |      --      |    Inf 
295.23/295.38	c   295s|360000 |   369 |  3584k|  10.0 |  13M|  57 |   - | 362 |2798 | 362 | 687 | 518 |  26k|  11k| 0.000000e+00 |      --      |    Inf 
303.33/303.48	c   303s|370000 |   374 |  3688k|  10.0 |  13M|  59 |   - | 362 |2964 |   0 |   0 | 518 |  27k|  11k| 0.000000e+00 |      --      |    Inf 
311.33/311.40	c   311s|380000 |   380 |  3787k|  10.0 |  13M|  59 |   - | 362 |3219 |   0 |   0 | 518 |  28k|  11k| 0.000000e+00 |      --      |    Inf 
320.04/320.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
320.04/320.15	c   320s|390000 |   366 |  3897k|  10.0 |  13M|  59 |  52 | 362 |2985 | 362 | 687 | 518 |  29k|  11k| 0.000000e+00 |      --      |    Inf 
327.74/327.81	c   328s|400000 |   379 |  3993k|  10.0 |  13M|  59 |  24 | 362 |2926 | 362 | 687 | 518 |  29k|  11k| 0.000000e+00 |      --      |    Inf 
335.44/335.54	c   336s|410000 |   380 |  4090k|  10.0 |  13M|  59 |   - | 362 |2864 |   0 |   0 | 518 |  30k|  11k| 0.000000e+00 |      --      |    Inf 
343.42/343.58	c   344s|420000 |   361 |  4190k|  10.0 |  13M|  59 |  32 | 362 |2669 | 362 | 687 | 518 |  30k|  12k| 0.000000e+00 |      --      |    Inf 
351.73/351.84	c   352s|430000 |   348 |  4292k|  10.0 |  13M|  59 |   - | 362 |2674 | 362 | 687 | 518 |  31k|  12k| 0.000000e+00 |      --      |    Inf 
360.32/360.40	c   360s|440000 |   342 |  4400k|  10.0 |  13M|  62 |  29 | 362 |2706 | 362 | 687 | 518 |  32k|  12k| 0.000000e+00 |      --      |    Inf 
367.82/367.99	c   368s|450000 |   353 |  4496k|  10.0 |  13M|  62 |  39 | 362 |2517 | 362 | 687 | 518 |  33k|  12k| 0.000000e+00 |      --      |    Inf 
375.62/375.75	c   376s|460000 |   351 |  4593k|  10.0 |  13M|  62 |  33 | 362 |2620 | 362 | 687 | 518 |  33k|  12k| 0.000000e+00 |      --      |    Inf 
384.42/384.51	c   385s|470000 |   320 |  4703k|  10.0 |  13M|  62 |  44 | 362 |2330 | 362 | 687 | 518 |  34k|  12k| 0.000000e+00 |      --      |    Inf 
393.12/393.22	c   393s|480000 |   325 |  4813k|  10.0 |  13M|  62 |  51 | 362 |2606 | 362 | 687 | 518 |  35k|  12k| 0.000000e+00 |      --      |    Inf 
400.42/400.54	c   401s|490000 |   313 |  4904k|  10.0 |  13M|  62 |   - | 362 |2712 |   0 |   0 | 518 |  36k|  13k| 0.000000e+00 |      --      |    Inf 
408.03/408.18	c   408s|500000 |   320 |  4998k|  10.0 |  13M|  62 |  28 | 362 |2454 | 362 | 687 | 518 |  36k|  13k| 0.000000e+00 |      --      |    Inf 
417.11/417.23	c   417s|510000 |   321 |  5116k|  10.0 |  13M|  62 |   - | 362 |2441 |   0 |   0 | 518 |  37k|  13k| 0.000000e+00 |      --      |    Inf 
425.92/426.03	c   426s|520000 |   346 |  5229k|  10.1 |  13M|  62 |  40 | 362 |2551 | 362 | 687 | 518 |  37k|  13k| 0.000000e+00 |      --      |    Inf 
431.61/431.74	c   432s|530000 |   355 |  5298k|  10.0 |  13M|  62 |  28 | 362 |2766 | 362 | 687 | 518 |  38k|  13k| 0.000000e+00 |      --      |    Inf 
438.12/438.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
438.12/438.22	c   438s|540000 |   359 |  5377k|  10.0 |  13M|  62 |  16 | 362 |2815 | 362 | 687 | 518 |  39k|  13k| 0.000000e+00 |      --      |    Inf 
445.82/445.96	c   446s|550000 |   339 |  5474k|  10.0 |  13M|  62 |  32 | 362 |2816 | 362 | 687 | 518 |  39k|  13k| 0.000000e+00 |      --      |    Inf 
453.81/453.91	c   454s|560000 |   340 |  5574k|  10.0 |  13M|  62 |  27 | 362 |3185 | 362 | 687 | 518 |  40k|  13k| 0.000000e+00 |      --      |    Inf 
461.92/462.09	c   462s|570000 |   321 |  5676k|  10.0 |  13M|  62 |  23 | 362 |2746 | 362 | 687 | 518 |  41k|  13k| 0.000000e+00 |      --      |    Inf 
470.31/470.46	c   470s|580000 |   303 |  5782k|  10.0 |  13M|  62 |   - | 362 |2692 | 362 | 687 | 518 |  42k|  14k| 0.000000e+00 |      --      |    Inf 
478.32/478.40	c   478s|590000 |   314 |  5884k|  10.0 |  13M|  62 |   - | 362 |2796 |   0 |   0 | 518 |  42k|  14k| 0.000000e+00 |      --      |    Inf 
486.91/487.00	c   487s|600000 |   312 |  5991k|  10.0 |  13M|  62 |  37 | 362 |2765 | 362 | 687 | 518 |  43k|  14k| 0.000000e+00 |      --      |    Inf 
495.80/495.90	c   496s|610000 |   325 |  6106k|  10.0 |  13M|  62 |   - | 362 |3026 |   0 |   0 | 518 |  44k|  14k| 0.000000e+00 |      --      |    Inf 
504.11/504.29	c   504s|620000 |   318 |  6211k|  10.0 |  13M|  62 |  27 | 362 |3016 | 362 | 687 | 518 |  45k|  14k| 0.000000e+00 |      --      |    Inf 
512.20/512.35	c   512s|630000 |   329 |  6314k|  10.0 |  13M|  62 |   - | 362 |3218 | 362 | 687 | 518 |  45k|  14k| 0.000000e+00 |      --      |    Inf 
520.70/520.89	c   521s|640000 |   341 |  6424k|  10.0 |  13M|  62 |   - | 362 |3374 | 362 | 687 | 518 |  46k|  14k| 0.000000e+00 |      --      |    Inf 
528.40/528.58	c   529s|650000 |   336 |  6522k|  10.0 |  13M|  62 |  29 | 362 |3492 | 362 | 687 | 518 |  46k|  14k| 0.000000e+00 |      --      |    Inf 
536.61/536.76	c   537s|660000 |   358 |  6628k|  10.0 |  13M|  62 |   - | 362 |3500 | 362 | 687 | 518 |  47k|  14k| 0.000000e+00 |      --      |    Inf 
545.10/545.21	c   545s|670000 |   355 |  6737k|  10.1 |  13M|  62 |  53 | 362 |3494 | 362 | 687 | 518 |  47k|  14k| 0.000000e+00 |      --      |    Inf 
553.40/553.52	c   554s|680000 |   377 |  6843k|  10.1 |  13M|  62 |  32 | 362 |3328 | 362 | 687 | 518 |  48k|  15k| 0.000000e+00 |      --      |    Inf 
561.29/561.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
561.29/561.41	c   561s|690000 |   375 |  6943k|  10.1 |  13M|  62 |  42 | 362 |3532 | 362 | 687 | 518 |  48k|  15k| 0.000000e+00 |      --      |    Inf 
569.49/569.70	c   570s|700000 |   395 |  7050k|  10.1 |  13M|  62 |   - | 362 |3632 |   0 |   0 | 518 |  48k|  15k| 0.000000e+00 |      --      |    Inf 
577.89/578.01	c   578s|710000 |   393 |  7157k|  10.1 |  13M|  62 |   - | 362 |3673 | 362 | 687 | 518 |  49k|  15k| 0.000000e+00 |      --      |    Inf 
586.10/586.28	c   586s|720000 |   383 |  7262k|  10.1 |  13M|  62 |   - | 362 |3774 |   0 |   0 | 518 |  49k|  15k| 0.000000e+00 |      --      |    Inf 
594.49/594.62	c   595s|730000 |   374 |  7369k|  10.1 |  13M|  62 |  31 | 362 |3708 | 362 | 687 | 518 |  50k|  15k| 0.000000e+00 |      --      |    Inf 
603.59/603.72	c   604s|740000 |   364 |  7483k|  10.1 |  13M|  62 |  32 | 362 |3013 | 362 | 687 | 518 |  50k|  15k| 0.000000e+00 |      --      |    Inf 
611.68/611.82	c   612s|750000 |   364 |  7586k|  10.1 |  13M|  62 |   - | 362 |2948 | 362 | 687 | 518 |  51k|  15k| 0.000000e+00 |      --      |    Inf 
620.30/620.42	c   620s|760000 |   361 |  7698k|  10.1 |  13M|  62 |   - | 362 |2903 |   0 |   0 | 518 |  51k|  15k| 0.000000e+00 |      --      |    Inf 
629.18/629.39	c   629s|770000 |   371 |  7812k|  10.1 |  13M|  62 |  55 | 362 |3005 | 362 | 687 | 518 |  52k|  16k| 0.000000e+00 |      --      |    Inf 
636.79/636.93	c   637s|780000 |   370 |  7905k|  10.1 |  13M|  62 |   - | 362 |3273 |   0 |   0 | 518 |  52k|  16k| 0.000000e+00 |      --      |    Inf 
644.28/644.48	c   644s|790000 |   366 |  7999k|  10.1 |  13M|  62 |   - | 362 |3198 | 362 | 687 | 518 |  53k|  16k| 0.000000e+00 |      --      |    Inf 
653.28/653.45	c   653s|800000 |   372 |  8107k|  10.1 |  13M|  62 |  41 | 362 |2599 | 362 | 687 | 518 |  54k|  16k| 0.000000e+00 |      --      |    Inf 
660.99/661.17	c   661s|810000 |   371 |  8206k|  10.1 |  13M|  62 |  40 | 362 |2832 | 362 | 687 | 518 |  54k|  16k| 0.000000e+00 |      --      |    Inf 
669.07/669.22	c   669s|820000 |   365 |  8310k|  10.1 |  13M|  62 |   - | 362 |2153 |   0 |   0 | 518 |  55k|  16k| 0.000000e+00 |      --      |    Inf 
677.27/677.48	c   677s|830000 |   373 |  8415k|  10.1 |  13M|  62 |   - | 362 |2387 |   0 |   0 | 518 |  55k|  16k| 0.000000e+00 |      --      |    Inf 
685.77/685.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
685.77/685.93	c   686s|840000 |   376 |  8524k|  10.1 |  13M|  62 |   - | 362 |2496 | 362 | 687 | 518 |  56k|  16k| 0.000000e+00 |      --      |    Inf 
694.27/694.45	c   694s|850000 |   364 |  8634k|  10.2 |  13M|  62 |   - | 362 |2361 | 362 | 687 | 518 |  56k|  16k| 0.000000e+00 |      --      |    Inf 
703.58/703.70	c   704s|860000 |   371 |  8753k|  10.2 |  13M|  62 |   - | 362 |2240 |   0 |   0 | 518 |  57k|  17k| 0.000000e+00 |      --      |    Inf 
712.28/712.40	c   712s|870000 |   366 |  8864k|  10.2 |  13M|  62 |  33 | 362 |2186 | 362 | 687 | 518 |  58k|  17k| 0.000000e+00 |      --      |    Inf 
727.07/727.29	c   727s|880000 |   375 |  8966k|  10.2 |  13M|  62 |   - | 362 |2063 |   0 |   0 | 518 |  58k|  21k| 0.000000e+00 |      --      |    Inf 
736.97/737.17	c   737s|890000 |   378 |  9073k|  10.2 |  13M|  62 |   - | 362 |2041 | 362 | 687 | 518 |  58k|  22k| 0.000000e+00 |      --      |    Inf 
745.27/745.47	c   745s|900000 |   376 |  9183k|  10.2 |  13M|  62 |  52 | 362 |2015 | 362 | 687 | 518 |  59k|  22k| 0.000000e+00 |      --      |    Inf 
754.37/754.57	c   755s|910000 |   390 |  9305k|  10.2 |  13M|  62 |   - | 362 |1997 | 362 | 687 | 518 |  59k|  22k| 0.000000e+00 |      --      |    Inf 
761.47/761.60	c   762s|920000 |   389 |  9395k|  10.2 |  13M|  62 |   - | 362 |2199 | 362 | 687 | 518 |  60k|  22k| 0.000000e+00 |      --      |    Inf 
768.57/768.77	c   769s|930000 |   388 |  9487k|  10.2 |  13M|  62 |  36 | 362 |2198 | 362 | 687 | 518 |  60k|  22k| 0.000000e+00 |      --      |    Inf 
776.56/776.72	c   777s|940000 |   372 |  9591k|  10.2 |  13M|  62 |  32 | 362 |2040 | 362 | 687 | 518 |  60k|  22k| 0.000000e+00 |      --      |    Inf 
785.77/785.91	c   786s|950000 |   379 |  9710k|  10.2 |  13M|  62 |   - | 362 |1850 | 362 | 687 | 518 |  61k|  22k| 0.000000e+00 |      --      |    Inf 
794.76/794.94	c   795s|960000 |   385 |  9832k|  10.2 |  13M|  62 |  24 | 362 |1932 | 362 | 687 | 518 |  61k|  22k| 0.000000e+00 |      --      |    Inf 
802.96/803.17	c   803s|970000 |   396 |  9940k|  10.2 |  13M|  62 |   - | 362 |2001 |   0 |   0 | 518 |  61k|  22k| 0.000000e+00 |      --      |    Inf 
811.16/811.35	c   811s|980000 |   388 | 10047k|  10.3 |  13M|  62 |  52 | 362 |1975 | 362 | 687 | 518 |  62k|  22k| 0.000000e+00 |      --      |    Inf 
820.25/820.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
820.25/820.49	c   820s|990000 |   378 | 10169k|  10.3 |  13M|  62 |  36 | 362 |2014 | 362 | 687 | 518 |  62k|  22k| 0.000000e+00 |      --      |    Inf 
828.35/828.56	c   829s|  1000k|   369 | 10274k|  10.3 |  13M|  62 |  46 | 362 |2154 | 362 | 687 | 518 |  63k|  22k| 0.000000e+00 |      --      |    Inf 
835.86/836.09	c   836s|  1010k|   379 | 10371k|  10.3 |  13M|  62 |  43 | 362 |2283 | 362 | 687 | 518 |  63k|  22k| 0.000000e+00 |      --      |    Inf 
843.75/843.98	c   844s|  1020k|   375 | 10473k|  10.3 |  13M|  62 |   - | 362 |2417 | 362 | 687 | 518 |  64k|  22k| 0.000000e+00 |      --      |    Inf 
851.85/852.03	c   852s|  1030k|   374 | 10578k|  10.3 |  13M|  62 |  27 | 362 |2604 | 362 | 687 | 518 |  64k|  22k| 0.000000e+00 |      --      |    Inf 
859.55/859.79	c   860s|  1040k|   370 | 10675k|  10.3 |  13M|  62 |   - | 362 |1935 |   0 |   0 | 518 |  65k|  23k| 0.000000e+00 |      --      |    Inf 
867.05/867.23	c   867s|  1050k|   377 | 10769k|  10.3 |  13M|  62 |  32 | 362 |2090 | 362 | 687 | 518 |  65k|  23k| 0.000000e+00 |      --      |    Inf 
875.75/875.92	c   876s|  1060k|   383 | 10880k|  10.3 |  13M|  62 |  32 | 362 |2038 | 362 | 687 | 518 |  66k|  23k| 0.000000e+00 |      --      |    Inf 
882.45/882.68	c   883s|  1070k|   384 | 10964k|  10.2 |  13M|  62 |   - | 362 |2327 |   0 |   0 | 518 |  66k|  23k| 0.000000e+00 |      --      |    Inf 
889.84/890.05	c   890s|  1080k|   397 | 11055k|  10.2 |  13M|  62 |  29 | 362 |2363 | 362 | 687 | 518 |  67k|  23k| 0.000000e+00 |      --      |    Inf 
896.25/896.49	c   896s|  1090k|   398 | 11135k|  10.2 |  13M|  62 |   - | 362 |2717 |   0 |   0 | 518 |  67k|  23k| 0.000000e+00 |      --      |    Inf 
902.25/902.42	c   902s|  1100k|   401 | 11207k|  10.2 |  13M|  62 |   - | 362 |3019 | 362 | 687 | 518 |  68k|  23k| 0.000000e+00 |      --      |    Inf 
908.74/908.93	c   909s|  1110k|   402 | 11287k|  10.2 |  14M|  62 |   - | 362 |3039 |   0 |   0 | 518 |  68k|  23k| 0.000000e+00 |      --      |    Inf 
915.14/915.37	c   915s|  1120k|   415 | 11365k|  10.1 |  14M|  62 |  25 | 362 |3286 | 362 | 687 | 518 |  69k|  23k| 0.000000e+00 |      --      |    Inf 
922.14/922.35	c   922s|  1130k|   417 | 11452k|  10.1 |  14M|  62 |  21 | 362 |3367 | 362 | 687 | 518 |  70k|  23k| 0.000000e+00 |      --      |    Inf 
929.34/929.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
929.34/929.51	c   930s|  1140k|   401 | 11542k|  10.1 |  14M|  62 |  38 | 362 |3344 | 362 | 687 | 518 |  70k|  23k| 0.000000e+00 |      --      |    Inf 
936.43/936.64	c   937s|  1150k|   400 | 11631k|  10.1 |  14M|  62 |  32 | 362 |3287 | 362 | 687 | 518 |  71k|  23k| 0.000000e+00 |      --      |    Inf 
944.64/944.82	c   945s|  1160k|   399 | 11738k|  10.1 |  14M|  62 |   - | 362 |3406 |   0 |   0 | 518 |  71k|  23k| 0.000000e+00 |      --      |    Inf 
951.64/951.88	c   952s|  1170k|   392 | 11824k|  10.1 |  14M|  62 |   - | 362 |3211 | 362 | 687 | 518 |  72k|  23k| 0.000000e+00 |      --      |    Inf 
959.73/959.94	c   960s|  1180k|   392 | 11927k|  10.1 |  14M|  62 |  37 | 362 |3081 | 362 | 687 | 518 |  73k|  23k| 0.000000e+00 |      --      |    Inf 
967.63/967.81	c   968s|  1190k|   398 | 12028k|  10.1 |  14M|  62 |   - | 362 |2928 |   0 |   0 | 518 |  73k|  23k| 0.000000e+00 |      --      |    Inf 
975.23/975.48	c   975s|  1200k|   401 | 12128k|  10.1 |  14M|  62 |   - | 362 |3047 | 362 | 687 | 518 |  74k|  23k| 0.000000e+00 |      --      |    Inf 
982.93/983.16	c   983s|  1210k|   399 | 12226k|  10.1 |  14M|  62 |  32 | 362 |2917 | 362 | 687 | 518 |  74k|  23k| 0.000000e+00 |      --      |    Inf 
990.73/990.95	c   991s|  1220k|   387 | 12327k|  10.1 |  14M|  62 |  38 | 362 |3069 | 362 | 687 | 518 |  74k|  23k| 0.000000e+00 |      --      |    Inf 
997.92/998.16	c   998s|  1230k|   394 | 12420k|  10.1 |  14M|  62 |  30 | 362 |3239 | 362 | 687 | 518 |  75k|  23k| 0.000000e+00 |      --      |    Inf 
1005.82/1006.07	c  1006s|  1240k|   396 | 12522k|  10.1 |  14M|  62 |  27 | 362 |3259 | 362 | 687 | 518 |  75k|  23k| 0.000000e+00 |      --      |    Inf 
1012.83/1013.10	c  1013s|  1250k|   394 | 12611k|  10.1 |  14M|  62 |   - | 362 |3205 | 362 | 687 | 518 |  76k|  23k| 0.000000e+00 |      --      |    Inf 
1020.63/1020.81	c  1021s|  1260k|   390 | 12712k|  10.1 |  14M|  62 |  36 | 362 |3187 | 362 | 687 | 518 |  76k|  23k| 0.000000e+00 |      --      |    Inf 
1028.33/1028.57	c  1029s|  1270k|   401 | 12812k|  10.1 |  14M|  62 |  40 | 362 |3261 | 362 | 687 | 518 |  77k|  23k| 0.000000e+00 |      --      |    Inf 
1036.72/1036.98	c  1037s|  1280k|   391 | 12922k|  10.1 |  14M|  62 |   - | 362 |3260 |   0 |   0 | 518 |  77k|  23k| 0.000000e+00 |      --      |    Inf 
1045.52/1045.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1045.52/1045.74	c  1046s|  1290k|   394 | 13034k|  10.1 |  14M|  62 |  23 | 362 |3465 | 362 | 687 | 518 |  78k|  23k| 0.000000e+00 |      --      |    Inf 
1053.22/1053.45	c  1053s|  1300k|   394 | 13131k|  10.1 |  14M|  62 |   - | 362 |3885 | 362 | 687 | 518 |  79k|  23k| 0.000000e+00 |      --      |    Inf 
1062.43/1062.63	c  1063s|  1310k|   397 | 13249k|  10.1 |  14M|  62 |   - | 362 |3758 | 362 | 687 | 518 |  79k|  23k| 0.000000e+00 |      --      |    Inf 
1069.62/1069.81	c  1070s|  1320k|   409 | 13334k|  10.1 |  14M|  62 |  22 | 362 |3722 | 362 | 687 | 518 |  80k|  23k| 0.000000e+00 |      --      |    Inf 
1077.11/1077.34	c  1077s|  1330k|   416 | 13430k|  10.1 |  14M|  62 |  30 | 362 |3813 | 362 | 687 | 518 |  80k|  23k| 0.000000e+00 |      --      |    Inf 
1084.61/1084.88	c  1085s|  1340k|   406 | 13527k|  10.1 |  14M|  62 |  32 | 362 |3841 | 362 | 687 | 518 |  81k|  23k| 0.000000e+00 |      --      |    Inf 
1092.12/1092.35	c  1092s|  1350k|   403 | 13622k|  10.1 |  14M|  62 |  38 | 362 |4025 | 362 | 687 | 518 |  81k|  23k| 0.000000e+00 |      --      |    Inf 
1099.31/1099.57	c  1100s|  1360k|   411 | 13713k|  10.1 |  14M|  62 |  42 | 362 |3862 | 362 | 687 | 518 |  82k|  23k| 0.000000e+00 |      --      |    Inf 
1107.82/1108.02	c  1108s|  1370k|   410 | 13822k|  10.1 |  14M|  62 |  43 | 362 |4021 | 362 | 687 | 518 |  82k|  23k| 0.000000e+00 |      --      |    Inf 
1115.31/1115.58	c  1116s|  1380k|   410 | 13918k|  10.1 |  14M|  62 |  39 | 362 |4249 | 362 | 687 | 518 |  83k|  23k| 0.000000e+00 |      --      |    Inf 
1122.81/1123.06	c  1123s|  1390k|   405 | 14012k|  10.1 |  14M|  62 |   - | 362 |4334 |   0 |   0 | 518 |  84k|  23k| 0.000000e+00 |      --      |    Inf 
1130.51/1130.79	c  1131s|  1400k|   405 | 14111k|  10.1 |  14M|  62 |   - | 362 |4390 |   0 |   0 | 518 |  84k|  23k| 0.000000e+00 |      --      |    Inf 
1138.50/1138.74	c  1139s|  1410k|   401 | 14211k|  10.1 |  14M|  62 |   - | 362 |3832 |   0 |   0 | 518 |  85k|  23k| 0.000000e+00 |      --      |    Inf 
1146.21/1146.45	c  1146s|  1420k|   405 | 14308k|  10.1 |  14M|  62 |  34 | 362 |3942 | 362 | 687 | 518 |  85k|  23k| 0.000000e+00 |      --      |    Inf 
1153.61/1153.88	c  1154s|  1430k|   400 | 14403k|  10.1 |  14M|  62 |   - | 362 |4114 |   0 |   0 | 518 |  86k|  24k| 0.000000e+00 |      --      |    Inf 
1162.11/1162.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1162.11/1162.33	c  1162s|  1440k|   398 | 14509k|  10.1 |  14M|  62 |   - | 362 |3915 |   0 |   0 | 518 |  86k|  24k| 0.000000e+00 |      --      |    Inf 
1170.11/1170.32	c  1170s|  1450k|   414 | 14611k|  10.1 |  14M|  62 |  35 | 362 |4218 | 362 | 687 | 518 |  87k|  24k| 0.000000e+00 |      --      |    Inf 
1177.91/1178.18	c  1178s|  1460k|   403 | 14710k|  10.1 |  14M|  62 |   - | 362 |4338 |   0 |   0 | 518 |  88k|  24k| 0.000000e+00 |      --      |    Inf 
1186.70/1186.91	c  1187s|  1470k|   410 | 14821k|  10.1 |  14M|  62 |   - | 362 |4269 |   0 |   0 | 518 |  88k|  24k| 0.000000e+00 |      --      |    Inf 
1194.50/1194.75	c  1195s|  1480k|   415 | 14921k|  10.1 |  14M|  62 |   - | 362 |4059 |   0 |   0 | 518 |  89k|  24k| 0.000000e+00 |      --      |    Inf 
1201.90/1202.12	c  1202s|  1490k|   424 | 15014k|  10.1 |  14M|  62 |   - | 362 |4241 |   0 |   0 | 518 |  89k|  24k| 0.000000e+00 |      --      |    Inf 
1209.50/1209.75	c  1210s|  1500k|   418 | 15109k|  10.1 |  14M|  62 |  38 | 362 |4456 | 362 | 687 | 518 |  90k|  24k| 0.000000e+00 |      --      |    Inf 
1217.99/1218.21	c  1218s|  1510k|   418 | 15217k|  10.1 |  14M|  62 |   - | 362 |4052 | 362 | 687 | 518 |  91k|  24k| 0.000000e+00 |      --      |    Inf 
1226.50/1226.77	c  1227s|  1520k|   410 | 15327k|  10.1 |  14M|  62 |  31 | 362 |4173 | 362 | 687 | 518 |  92k|  24k| 0.000000e+00 |      --      |    Inf 
1235.19/1235.44	c  1235s|  1530k|   395 | 15435k|  10.1 |  14M|  62 |   - | 362 |3840 |   0 |   0 | 518 |  92k|  24k| 0.000000e+00 |      --      |    Inf 
1243.49/1243.72	c  1244s|  1540k|   443 | 15541k|  10.1 |  14M|  62 |  24 | 362 |3921 | 362 | 687 | 518 |  93k|  24k| 0.000000e+00 |      --      |    Inf 
1250.98/1251.23	c  1251s|  1550k|   460 | 15635k|  10.1 |  14M|  62 |   - | 362 |4442 |   0 |   0 | 518 |  94k|  24k| 0.000000e+00 |      --      |    Inf 
1257.49/1257.78	c  1258s|  1560k|   480 | 15714k|  10.1 |  15M|  62 |  26 | 362 |4837 | 362 | 687 | 518 |  95k|  24k| 0.000000e+00 |      --      |    Inf 
1265.19/1265.48	c  1265s|  1570k|   512 | 15810k|  10.1 |  15M|  62 |  33 | 362 |4974 | 362 | 687 | 518 |  96k|  24k| 0.000000e+00 |      --      |    Inf 
1273.69/1273.93	c  1274s|  1580k|   523 | 15914k|  10.1 |  15M|  62 |  37 | 362 |4244 | 362 | 687 | 518 |  96k|  24k| 0.000000e+00 |      --      |    Inf 
1281.89/1282.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1281.89/1282.19	c  1282s|  1590k|   536 | 16018k|  10.1 |  15M|  62 |  37 | 362 |4365 | 362 | 687 | 518 |  97k|  24k| 0.000000e+00 |      --      |    Inf 
1290.18/1290.49	c  1290s|  1600k|   541 | 16121k|  10.1 |  15M|  62 |   - | 362 |4457 | 362 | 687 | 518 |  98k|  24k| 0.000000e+00 |      --      |    Inf 
1298.89/1299.11	c  1299s|  1610k|   548 | 16229k|  10.1 |  15M|  62 |  39 | 362 |4316 | 362 | 687 | 518 |  99k|  24k| 0.000000e+00 |      --      |    Inf 
1307.78/1308.05	c  1308s|  1620k|   563 | 16343k|  10.1 |  15M|  62 |   - | 362 |4135 | 362 | 687 | 518 |  99k|  25k| 0.000000e+00 |      --      |    Inf 
1315.78/1316.05	c  1316s|  1630k|   578 | 16443k|  10.1 |  15M|  62 |  25 | 362 |4244 | 362 | 687 | 518 | 100k|  25k| 0.000000e+00 |      --      |    Inf 
1324.18/1324.49	c  1324s|  1640k|   587 | 16548k|  10.1 |  15M|  62 |   - | 362 |4694 | 362 | 687 | 518 | 101k|  25k| 0.000000e+00 |      --      |    Inf 
1332.38/1332.69	c  1333s|  1650k|   589 | 16650k|  10.1 |  15M|  62 |  24 | 362 |4459 | 362 | 687 | 518 | 102k|  25k| 0.000000e+00 |      --      |    Inf 
1341.37/1341.61	c  1342s|  1660k|   594 | 16764k|  10.1 |  15M|  62 |  45 | 362 |4556 | 362 | 687 | 518 | 103k|  25k| 0.000000e+00 |      --      |    Inf 
1350.07/1350.35	c  1350s|  1670k|   576 | 16873k|  10.1 |  15M|  62 |   - | 362 |4097 |   0 |   0 | 518 | 103k|  25k| 0.000000e+00 |      --      |    Inf 
1358.67/1358.94	c  1359s|  1680k|   584 | 16980k|  10.1 |  15M|  62 |  29 | 362 |3991 | 362 | 687 | 518 | 104k|  25k| 0.000000e+00 |      --      |    Inf 
1366.67/1366.91	c  1367s|  1690k|   601 | 17080k|  10.1 |  15M|  62 |   - | 362 |4224 |   0 |   0 | 518 | 105k|  25k| 0.000000e+00 |      --      |    Inf 
1375.17/1375.42	c  1375s|  1700k|   562 | 17187k|  10.1 |  15M|  62 |   - | 362 |4125 |   0 |   0 | 518 | 105k|  25k| 0.000000e+00 |      --      |    Inf 
1383.67/1383.94	c  1384s|  1710k|   565 | 17294k|  10.1 |  15M|  62 |  42 | 362 |4256 | 362 | 687 | 518 | 106k|  25k| 0.000000e+00 |      --      |    Inf 
1392.77/1393.07	c  1393s|  1720k|   554 | 17410k|  10.1 |  15M|  62 |  36 | 362 |4031 | 362 | 687 | 518 | 107k|  25k| 0.000000e+00 |      --      |    Inf 
1402.07/1402.35	c  1402s|  1730k|   534 | 17527k|  10.1 |  15M|  62 |   - | 362 |3948 |   0 |   0 | 518 | 108k|  25k| 0.000000e+00 |      --      |    Inf 
1411.56/1411.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1411.56/1411.81	c  1412s|  1740k|   546 | 17647k|  10.1 |  15M|  62 |   - | 362 |4248 |   0 |   0 | 518 | 108k|  25k| 0.000000e+00 |      --      |    Inf 
1421.16/1421.44	c  1421s|  1750k|   548 | 17769k|  10.2 |  15M|  62 |  33 | 362 |4066 | 362 | 687 | 518 | 109k|  25k| 0.000000e+00 |      --      |    Inf 
1428.96/1429.22	c  1429s|  1760k|   551 | 17865k|  10.2 |  15M|  62 |  30 | 362 |3955 | 362 | 687 | 518 | 109k|  25k| 0.000000e+00 |      --      |    Inf 
1437.37/1437.68	c  1438s|  1770k|   539 | 17972k|  10.2 |  15M|  62 |   - | 362 |3880 | 362 | 687 | 518 | 110k|  25k| 0.000000e+00 |      --      |    Inf 
1445.56/1445.84	c  1446s|  1780k|   555 | 18074k|  10.2 |  15M|  62 |   - | 362 |4087 |   0 |   0 | 518 | 111k|  26k| 0.000000e+00 |      --      |    Inf 
1453.86/1454.17	c  1454s|  1790k|   568 | 18181k|  10.2 |  15M|  62 |  36 | 362 |4119 | 362 | 687 | 518 | 111k|  26k| 0.000000e+00 |      --      |    Inf 
1462.25/1462.53	c  1463s|  1800k|   584 | 18285k|  10.2 |  15M|  62 |  27 | 362 |4461 | 362 | 687 | 518 | 112k|  26k| 0.000000e+00 |      --      |    Inf 
1470.66/1470.97	c  1471s|  1810k|   585 | 18391k|  10.2 |  15M|  62 |   - | 362 |4235 |   0 |   0 | 518 | 113k|  26k| 0.000000e+00 |      --      |    Inf 
1479.06/1479.35	c  1479s|  1820k|   568 | 18497k|  10.2 |  15M|  62 |  32 | 362 |4293 | 362 | 687 | 518 | 113k|  26k| 0.000000e+00 |      --      |    Inf 
1487.56/1487.86	c  1488s|  1830k|   573 | 18604k|  10.2 |  15M|  62 |  44 | 362 |4344 | 362 | 687 | 518 | 114k|  26k| 0.000000e+00 |      --      |    Inf 
1495.85/1496.13	c  1496s|  1840k|   572 | 18708k|  10.2 |  15M|  66 |   - | 362 |4416 |   0 |   0 | 518 | 115k|  26k| 0.000000e+00 |      --      |    Inf 
1505.05/1505.35	c  1505s|  1850k|   569 | 18825k|  10.2 |  15M|  66 |  37 | 362 |3724 | 362 | 687 | 518 | 115k|  26k| 0.000000e+00 |      --      |    Inf 
1513.85/1514.16	c  1514s|  1860k|   589 | 18938k|  10.2 |  15M|  66 |   - | 362 |3935 |   0 |   0 | 518 | 116k|  26k| 0.000000e+00 |      --      |    Inf 
1522.84/1523.18	c  1523s|  1870k|   626 | 19054k|  10.2 |  15M|  66 |   - | 362 |4018 | 362 | 687 | 518 | 116k|  26k| 0.000000e+00 |      --      |    Inf 
1532.44/1532.71	c  1533s|  1880k|   601 | 19176k|  10.2 |  15M|  66 |   - | 362 |3938 | 362 | 687 | 518 | 117k|  26k| 0.000000e+00 |      --      |    Inf 
1541.35/1541.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1541.35/1541.65	c  1542s|  1890k|   667 | 19290k|  10.2 |  15M|  66 |   - | 362 |4162 | 362 | 687 | 518 | 117k|  26k| 0.000000e+00 |      --      |    Inf 
1549.94/1550.24	c  1550s|  1900k|   653 | 19401k|  10.2 |  15M|  66 |   - | 362 |4115 |   0 |   0 | 518 | 118k|  26k| 0.000000e+00 |      --      |    Inf 
1558.84/1559.14	c  1559s|  1910k|   658 | 19516k|  10.2 |  15M|  66 |  40 | 362 |4280 | 362 | 687 | 518 | 118k|  26k| 0.000000e+00 |      --      |    Inf 
1567.84/1568.12	c  1568s|  1920k|   660 | 19629k|  10.2 |  15M|  66 |  35 | 362 |4266 | 362 | 687 | 518 | 119k|  26k| 0.000000e+00 |      --      |    Inf 
1577.14/1577.42	c  1577s|  1930k|   673 | 19750k|  10.2 |  15M|  66 |   - | 362 |4044 | 362 | 687 | 518 | 119k|  26k| 0.000000e+00 |      --      |    Inf 
1586.44/1586.78	c  1587s|  1940k|   667 | 19872k|  10.2 |  15M|  66 |  47 | 362 |4094 | 362 | 687 | 518 | 119k|  26k| 0.000000e+00 |      --      |    Inf 
1596.24/1596.52	c  1597s|  1950k|   648 | 19998k|  10.3 |  15M|  66 |  45 | 362 |3974 | 362 | 687 | 518 | 120k|  26k| 0.000000e+00 |      --      |    Inf 
1605.44/1605.78	c  1606s|  1960k|   644 | 20118k|  10.3 |  15M|  66 |  32 | 362 |4004 | 362 | 687 | 518 | 120k|  26k| 0.000000e+00 |      --      |    Inf 
1614.84/1615.19	c  1615s|  1970k|   653 | 20242k|  10.3 |  15M|  66 |   - | 362 |4087 |   0 |   0 | 518 | 121k|  26k| 0.000000e+00 |      --      |    Inf 
1624.13/1624.41	c  1624s|  1980k|   656 | 20362k|  10.3 |  15M|  66 |  47 | 362 |4087 | 362 | 687 | 518 | 121k|  27k| 0.000000e+00 |      --      |    Inf 
1633.63/1633.94	c  1634s|  1990k|   651 | 20484k|  10.3 |  15M|  66 |   - | 362 |3994 |   0 |   0 | 518 | 122k|  27k| 0.000000e+00 |      --      |    Inf 
1642.93/1643.20	c  1643s|  2000k|   638 | 20604k|  10.3 |  15M|  66 |   - | 362 |3962 | 362 | 687 | 518 | 122k|  27k| 0.000000e+00 |      --      |    Inf 
1652.13/1652.45	c  1652s|  2010k|   629 | 20722k|  10.3 |  15M|  66 |  23 | 362 |3912 | 362 | 687 | 518 | 123k|  27k| 0.000000e+00 |      --      |    Inf 
1660.53/1660.87	c  1661s|  2020k|   630 | 20827k|  10.3 |  15M|  66 |  18 | 362 |3957 | 362 | 687 | 518 | 123k|  27k| 0.000000e+00 |      --      |    Inf 
1668.43/1668.77	c  1669s|  2030k|   641 | 20928k|  10.3 |  15M|  66 |  34 | 362 |4133 | 362 | 687 | 518 | 124k|  27k| 0.000000e+00 |      --      |    Inf 
1677.13/1677.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1677.13/1677.50	c  1677s|  2040k|   628 | 21039k|  10.3 |  15M|  66 |   - | 362 |4120 |   0 |   0 | 518 | 124k|  27k| 0.000000e+00 |      --      |    Inf 
1685.43/1685.76	c  1686s|  2050k|   633 | 21144k|  10.3 |  15M|  66 |   - | 362 |4178 |   0 |   0 | 518 | 125k|  27k| 0.000000e+00 |      --      |    Inf 
1693.92/1694.29	c  1694s|  2060k|   621 | 21250k|  10.3 |  15M|  66 |  46 | 362 |4330 | 362 | 687 | 518 | 125k|  27k| 0.000000e+00 |      --      |    Inf 
1703.32/1703.62	c  1704s|  2070k|   594 | 21369k|  10.3 |  15M|  66 |   - | 362 |3809 |   0 |   0 | 518 | 126k|  27k| 0.000000e+00 |      --      |    Inf 
1711.72/1712.04	c  1712s|  2080k|   592 | 21475k|  10.3 |  15M|  66 |   - | 362 |3781 | 362 | 687 | 518 | 126k|  27k| 0.000000e+00 |      --      |    Inf 
1720.41/1720.77	c  1721s|  2090k|   594 | 21588k|  10.3 |  15M|  66 |   - | 362 |3897 |   0 |   0 | 518 | 127k|  27k| 0.000000e+00 |      --      |    Inf 
1729.02/1729.31	c  1729s|  2100k|   594 | 21691k|  10.3 |  15M|  66 |   - | 362 |4044 |   0 |   0 | 518 | 128k|  28k| 0.000000e+00 |      --      |    Inf 
1730.22/1730.56	c *1731s|  2102k|     0 | 21705k|  10.3 |  13M|  66 |   - | 362 |4003 | 362 | 687 | 518 | 128k|  28k| 0.000000e+00 | 0.000000e+00 |   0.00%
1730.22/1730.56	c 
1730.22/1730.56	c SCIP Status        : problem is solved [optimal solution found]
1730.22/1730.56	c Solving Time (sec) : 1730.55
1730.22/1730.56	c Solving Nodes      : 2102277
1730.22/1730.56	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
1730.22/1730.56	c Dual Bound         : +0.00000000000000e+00
1730.22/1730.56	c Gap                : 0.00 %
1730.22/1730.56	s SATISFIABLE
1730.22/1730.56	v x369 -x370 -x367 x368 -x365 x366 -x363 x364 -x361 x362 -x359 x360 -x357 x358 -x355 x356 -x353 -x354 -x351 -x352 -x349 -x350 x347 
1730.22/1730.56	v -x348 x345 -x346 x343 -x344 x341 -x342 -x339 x340 -x337 x338 -x335 x336 -x333 x334 x331 -x332 x329 -x330 x327 -x328 -x325 x326 
1730.22/1730.56	v -x323 x324 -x321 x322 -x319 x320 -x317 x318 -x315 -x316 -x313 -x314 -x311 -x312 -x309 -x310 x307 -x308 x305 -x306 x303 -x304 
1730.22/1730.56	v x301 -x302 x299 -x300 x297 -x298 x295 -x296 x293 -x294 x291 -x292 x289 -x290 x287 -x288 -x285 x286 x283 -x284 x281 -x282 
1730.22/1730.56	v -x279 x280 -x277 x278 -x275 x276 -x273 x274 x271 -x272 x269 -x270 x267 -x268 x265 -x266 x263 -x264 x261 -x262 x259 -x260 x257 
1730.22/1730.56	v -x258 x255 -x256 -x253 x254 -x251 x252 -x249 x250 -x247 x248 -x245 x246 -x243 x244 -x242 x240 x238 -x236 -x234 -x232 -x230 -x228 
1730.22/1730.56	v -x226 x224 x222 -x220 x218 x216 -x214 -x212 -x210 -x208 -x206 x204 x202 x200 -x198 x196 x194 -x192 -x190 -x188 -x186 x184 
1730.22/1730.56	v x182 x180 -x178 -x176 -x174 -x172 -x170 -x168 -x166 -x164 x162 x160 -x158 -x156 -x154 -x152 -x150 -x148 -x146 -x144 -x142 x140 
1730.22/1730.56	v -x138 -x136 -x134 -x132 -x130 -x128 -x126 -x124 -x122 -x120 -x118 -x116 -x114 -x112 -x110 -x108 -x106 -x104 -x102 -x100 -x98 
1730.22/1730.56	v -x96 -x94 -x92 -x90 -x88 -x86 -x84 -x82 -x80 -x78 -x76 -x74 -x72 -x70 -x68 -x66 -x64 -x62 -x60 -x58 -x56 -x54 -x52 -x50 -x48 
1730.22/1730.56	v -x46 -x44 -x42 -x40 -x38 -x36 -x34 -x32 -x30 -x28 -x26 -x24 -x22 -x20 -x18 -x16 -x14 -x12 -x10 -x8 -x6 -x4 -x2 -x241 -x239 
1730.22/1730.56	v -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 
1730.22/1730.56	v -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157 -x155 
1730.22/1730.56	v -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135 -x133 x131 -x129 -x127 x125 -x123 -x121 -x119 -x117 -x115 -x113 
1730.22/1730.56	v -x111 x109 -x107 -x105 -x103 -x101 -x99 -x97 -x95 -x93 -x91 -x89 x87 -x85 -x83 -x81 -x79 x77 -x75 -x73 -x71 -x69 -x67 x65 
1730.22/1730.56	v -x63 -x61 -x59 x57 x55 x53 -x51 -x49 -x47 -x45 -x43 -x41 -x39 x37 x35 x33 x31 -x29 -x27 -x25 -x23 -x21 -x19 -x17 x15 x13 x11 
1730.22/1730.56	v x9 -x7 -x5 -x3 -x1 
1730.22/1730.56	c SCIP Status        : problem is solved [optimal solution found]
1730.22/1730.56	c Solving Time       :    1730.55
1730.22/1730.56	c Original Problem   :
1730.22/1730.56	c   Problem name     : HOME/instance-3729076-1338678634.opb
1730.22/1730.56	c   Variables        : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
1730.22/1730.56	c   Constraints      : 557 initial, 557 maximal
1730.22/1730.56	c Presolved Problem  :
1730.22/1730.56	c   Problem name     : t_HOME/instance-3729076-1338678634.opb
1730.22/1730.56	c   Variables        : 362 (362 binary, 0 integer, 0 implicit integer, 0 continuous)
1730.22/1730.56	c   Constraints      : 545 initial, 5055 maximal
1730.22/1730.56	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1730.22/1730.56	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1730.22/1730.56	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1730.22/1730.56	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1730.22/1730.56	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1730.22/1730.56	c   implics          :       0.00          0          8          0          0          0          0          0          0
1730.22/1730.56	c   probing          :       0.00          0          0          0          0          0          0          0          0
1730.22/1730.56	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1730.22/1730.56	c   setppc           :       0.00          0          0          0          0          0         12          0          0
1730.22/1730.56	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1730.22/1730.56	c   root node        :          -          0          -          -          0          -          -          -          -
1730.22/1730.56	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1730.22/1730.56	c   integral         :          0          0          0    1057472          0        748       3987          0          0    2107566
1730.22/1730.56	c   knapsack         :        244          5    5211373          0          0     672561   20065987        535          0          0
1730.22/1730.56	c   setppc           :        181          5    4484747          0          0       2580    5962465          0          0          0
1730.22/1730.56	c   logicor          :        120+         5    3417096          1          0      14001    3511411          0          0          0
1730.22/1730.56	c   countsols        :          0          0          0          1          0          0          0          0          0          0
1730.22/1730.56	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1730.22/1730.56	c   integral         :      50.72       0.00       0.00      50.72       0.00
1730.22/1730.56	c   knapsack         :      65.31       0.01      65.29       0.00       0.00
1730.22/1730.56	c   setppc           :       8.77       0.00       8.77       0.00       0.00
1730.22/1730.56	c   logicor          :      21.83       0.00      21.83       0.00       0.00
1730.22/1730.56	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1730.22/1730.56	c Propagators        :       Time      Calls    Cutoffs    DomReds
1730.22/1730.56	c   vbounds          :       0.63          1          0          0
1730.22/1730.56	c   rootredcost      :       0.60          0          0          0
1730.22/1730.56	c   pseudoobj        :       0.51          0          0          0
1730.22/1730.56	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1730.22/1730.56	c   propagation      :      11.24     100940      91171     639432       76.6        800       81.8          -
1730.22/1730.56	c   infeasible LP    :      27.35     363142          0          0        0.0          0        0.0          0
1730.22/1730.56	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1730.22/1730.56	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1730.22/1730.56	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1730.22/1730.56	c   applied globally :          -          -          -     126302       20.2          -          -          -
1730.22/1730.56	c   applied locally  :          -          -          -       1867       42.4          -          -          -
1730.22/1730.56	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1730.22/1730.56	c   cut pool         :       0.00          4          -          -         86          -    (maximal pool size: 2129)
1730.22/1730.56	c   redcost          :       5.39    1056029          0          0          0          0
1730.22/1730.56	c   impliedbounds    :       0.00          5          0          0        833          0
1730.22/1730.56	c   intobj           :       0.00          0          0          0          0          0
1730.22/1730.56	c   cgmip            :       0.00          0          0          0          0          0
1730.22/1730.56	c   gomory           :       0.18          5          0          0        464          0
1730.22/1730.56	c   strongcg         :       0.19          5          0          0       2243          0
1730.22/1730.56	c   cmir             :       0.00          0          0          0          0          0
1730.22/1730.56	c   flowcover        :       0.00          0          0          0          0          0
1730.22/1730.56	c   clique           :       0.00          1          0          0          0          0
1730.22/1730.56	c   zerohalf         :       0.00          0          0          0          0          0
1730.22/1730.56	c   mcf              :       0.00          1          0          0          0          0
1730.22/1730.56	c   rapidlearning    :       0.05          1          0          0          0          0
1730.22/1730.56	c Pricers            :       Time      Calls       Vars
1730.22/1730.56	c   problem variables:       0.00          0          0
1730.22/1730.56	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1730.22/1730.56	c   relpscost        :      50.26    1057471        748       3987          0          0    2107566
1730.22/1730.56	c   pscost           :       0.00          0          0          0          0          0          0
1730.22/1730.56	c   inference        :       0.00          0          0          0          0          0          0
1730.22/1730.56	c   mostinf          :       0.00          0          0          0          0          0          0
1730.22/1730.56	c   leastinf         :       0.00          0          0          0          0          0          0
1730.22/1730.56	c   fullstrong       :       0.00          0          0          0          0          0          0
1730.22/1730.56	c   allfullstrong    :       0.00          0          0          0          0          0          0
1730.22/1730.56	c   random           :       0.00          0          0          0          0          0          0
1730.22/1730.56	c Primal Heuristics  :       Time      Calls      Found
1730.22/1730.56	c   LP solutions     :       0.00          -          1
1730.22/1730.56	c   pseudo solutions :       0.00          -          0
1730.22/1730.56	c   trivial          :       0.00          1          0
1730.22/1730.56	c   simplerounding   :       0.00          0          0
1730.22/1730.56	c   zirounding       :       0.00          0          0
1730.22/1730.56	c   rounding         :       0.00          0          0
1730.22/1730.56	c   shifting         :       0.00          0          0
1730.22/1730.56	c   intshifting      :       0.00          0          0
1730.22/1730.56	c   oneopt           :       0.00          0          0
1730.22/1730.56	c   twoopt           :       0.00          0          0
1730.22/1730.56	c   fixandinfer      :       0.00          0          0
1730.22/1730.56	c   feaspump         :       0.00          0          0
1730.22/1730.56	c   coefdiving       :       0.00          0          0
1730.22/1730.56	c   pscostdiving     :       0.00          0          0
1730.22/1730.56	c   fracdiving       :       0.00          0          0
1730.22/1730.56	c   veclendiving     :       0.00          0          0
1730.22/1730.56	c   intdiving        :       0.00          0          0
1730.22/1730.56	c   actconsdiving    :       0.00          0          0
1730.22/1730.56	c   objpscostdiving  :       0.00          0          0
1730.22/1730.56	c   rootsoldiving    :       0.00          0          0
1730.22/1730.56	c   linesearchdiving :       0.00          0          0
1730.22/1730.56	c   guideddiving     :       0.00          0          0
1730.22/1730.56	c   octane           :       0.00          0          0
1730.22/1730.56	c   rens             :       0.00          0          0
1730.22/1730.56	c   rins             :       0.00          0          0
1730.22/1730.56	c   localbranching   :       0.00          0          0
1730.22/1730.56	c   mutation         :       0.00          0          0
1730.22/1730.56	c   crossover        :       0.00          0          0
1730.22/1730.56	c   dins             :       0.00          0          0
1730.22/1730.56	c   undercover       :       0.00          0          0
1730.22/1730.56	c   nlp              :       0.00          0          0
1730.22/1730.56	c   trysol           :       0.00          0          0
1730.22/1730.56	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1730.22/1730.56	c   primal LP        :       0.00          0          0       0.00          -
1730.22/1730.56	c   dual LP          :    1366.98    1418799   21705858      15.30   15878.66
1730.22/1730.56	c   lex dual LP      :       0.00          0          0       0.00          -
1730.22/1730.56	c   barrier LP       :       0.00          0          0       0.00          -
1730.22/1730.56	c   diving/probing LP:       0.00          0          0       0.00          -
1730.22/1730.56	c   strong branching :      37.87      28111     449833      16.00   11876.96
1730.22/1730.56	c     (at root node) :          -         10       2735     273.50          -
1730.22/1730.56	c   conflict analysis:       0.00          0          0       0.00          -
1730.22/1730.56	c B&B Tree           :
1730.22/1730.56	c   number of runs   :          1
1730.22/1730.56	c   nodes            :    2102277
1730.22/1730.56	c   nodes (total)    :    2102277
1730.22/1730.56	c   nodes left       :          0
1730.22/1730.56	c   max depth        :         66
1730.22/1730.56	c   max depth (total):         66
1730.22/1730.56	c   backtracks       :     273049 (13.0%)
1730.22/1730.56	c   delayed cutoffs  :       4698
1730.22/1730.56	c   repropagations   :     196939 (438486 domain reductions, 4539 cutoffs)
1730.22/1730.56	c   avg switch length:       2.79
1730.22/1730.56	c   switching time   :      58.49
1730.22/1730.56	c Solution           :
1730.22/1730.56	c   Solutions found  :          1 (1 improvements)
1730.22/1730.56	c   First Solution   : +0.00000000000000e+00   (in run 1, after 2102277 nodes, 1730.55 seconds, depth 24, found by <relaxation>)
1730.22/1730.56	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 2102277 nodes, 1730.55 seconds, depth 24, found by <relaxation>)
1730.22/1730.56	c   Dual Bound       : +0.00000000000000e+00
1730.22/1730.56	c   Gap              :       0.00 %
1730.22/1730.56	c   Root Dual Bound  : +0.00000000000000e+00
1730.22/1730.56	c   Root Iterations  :       1033
1730.22/1730.57	c Time complete: 1730.28.

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

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

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


[startup+0 s]
/proc/loadavg: 0.44 0.10 0.37 3/177 13921
/proc/meminfo: memFree=27178128/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 1436 0 0 0 0 0 0 0 20 0 1 0 333989145 9158656 1383 33554432000 4194304 8395647 140737246702608 140734789481544 7382157 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 2236 1394 374 1026 0 1206 0

[startup+0.0095429 s]
/proc/loadavg: 0.44 0.10 0.37 3/177 13921
/proc/meminfo: memFree=27178128/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=10760 CPUtime=0 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 1928 0 0 0 0 0 0 0 20 0 1 0 333989145 11018240 1875 33554432000 4194304 8395647 140737246702608 140734789481544 6347101 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 2690 1875 390 1026 0 1660 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10760

[startup+0.10015 s]
/proc/loadavg: 0.44 0.10 0.37 3/177 13921
/proc/meminfo: memFree=27178128/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=30064 CPUtime=0.09 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 6706 0 0 0 9 0 0 0 20 0 1 0 333989145 30785536 6292 33554432000 4194304 8395647 140737246702608 140734789481544 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 7516 6292 615 1026 0 6486 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30064

[startup+0.300159 s]
/proc/loadavg: 0.44 0.10 0.37 3/177 13921
/proc/meminfo: memFree=27178128/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=26176 CPUtime=0.28 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 6880 0 0 0 28 0 0 0 20 0 1 0 333989145 26804224 5717 33554432000 4194304 8395647 140737246702608 140737246697800 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 6544 5717 624 1026 0 5514 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 26176

[startup+0.700145 s]
/proc/loadavg: 0.44 0.10 0.37 3/177 13921
/proc/meminfo: memFree=27178128/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=34632 CPUtime=0.69 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 8987 0 0 0 68 1 0 0 20 0 1 0 333989145 35463168 7819 33554432000 4194304 8395647 140737246702608 140737246697800 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 8658 7819 624 1026 0 7628 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34632

[startup+1.5001 s]
/proc/loadavg: 0.44 0.10 0.37 3/178 13922
/proc/meminfo: memFree=27149336/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=34764 CPUtime=1.48 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9019 0 0 0 147 1 0 0 20 0 1 0 333989145 35598336 7851 33554432000 4194304 8395647 140737246702608 140737246697480 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 8691 7851 625 1026 0 7661 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34764

[startup+3.1001 s]
/proc/loadavg: 0.56 0.13 0.37 3/178 13922
/proc/meminfo: memFree=27148592/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=34764 CPUtime=3.09 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9021 0 0 0 306 3 0 0 20 0 1 0 333989145 35598336 7853 33554432000 4194304 8395647 140737246702608 140737246697480 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 8691 7853 627 1026 0 7661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34764

[startup+6.30018 s]
/proc/loadavg: 0.56 0.13 0.37 3/178 13922
/proc/meminfo: memFree=27148848/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=34764 CPUtime=6.29 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9021 0 0 0 620 9 0 0 20 0 1 0 333989145 35598336 7853 33554432000 4194304 8395647 140737246702608 140737246698072 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 8691 7853 627 1026 0 7661 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34764

[startup+12.7002 s]
/proc/loadavg: 0.78 0.19 0.39 3/178 13922
/proc/meminfo: memFree=27147552/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=34764 CPUtime=12.69 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9022 0 0 0 1250 19 0 0 20 0 1 0 333989145 35598336 7854 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 8691 7854 627 1026 0 7661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34764

[startup+25.5002 s]
/proc/loadavg: 0.97 0.25 0.41 3/178 13922
/proc/meminfo: memFree=27147500/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=35092 CPUtime=25.48 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9111 0 0 0 2510 38 0 0 20 0 1 0 333989145 35934208 7943 33554432000 4194304 8395647 140737246702608 140737246698072 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 8773 7943 627 1026 0 7743 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35092

[startup+51.1002 s]
/proc/loadavg: 1.32 0.39 0.45 3/177 13922
/proc/meminfo: memFree=27145924/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=35780 CPUtime=51.07 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9288 0 0 0 5032 75 0 0 20 0 1 0 333989145 36638720 8371 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 8945 8371 627 1026 0 7915 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35780

[startup+102.306 s]
/proc/loadavg: 1.24 0.53 0.49 2/172 14174
/proc/meminfo: memFree=27213056/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=36404 CPUtime=102.27 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9441 0 0 0 10077 150 0 0 20 0 1 0 333989145 37277696 8535 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 9101 8535 627 1026 0 8071 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36404

[startup+162.3 s]
/proc/loadavg: 1.61 0.75 0.57 3/177 14302
/proc/meminfo: memFree=27167272/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=36852 CPUtime=162.25 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9566 0 0 0 15983 242 0 0 20 0 1 0 333989145 37736448 8660 33554432000 4194304 8395647 140737246702608 140737246698072 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 9213 8660 627 1026 0 8183 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 36852

[startup+222.3 s]
/proc/loadavg: 1.86 0.98 0.66 3/177 14302
/proc/meminfo: memFree=27167384/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=37208 CPUtime=222.25 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9650 0 0 0 21896 329 0 0 20 0 1 0 333989145 38100992 8744 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 9302 8744 627 1026 0 8272 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 37208

[startup+282.3 s]
/proc/loadavg: 1.95 1.16 0.74 3/177 14303
/proc/meminfo: memFree=27167136/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=37356 CPUtime=282.24 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9706 0 0 0 27807 417 0 0 20 0 1 0 333989145 38252544 8800 33554432000 4194304 8395647 140737246702608 140737246698168 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 9339 8800 627 1026 0 8309 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 37356

[startup+342.3 s]
/proc/loadavg: 1.98 1.31 0.81 3/177 14303
/proc/meminfo: memFree=27166080/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=38092 CPUtime=342.23 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9882 0 0 0 33719 504 0 0 20 0 1 0 333989145 39006208 8975 33554432000 4194304 8395647 140737246702608 140737246698072 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 9523 8975 627 1026 0 8493 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 38092

[startup+402.3 s]
/proc/loadavg: 2.06 1.44 0.88 3/177 14303
/proc/meminfo: memFree=27166080/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=38236 CPUtime=402.22 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9900 0 0 0 39625 597 0 0 20 0 1 0 333989145 39153664 8993 33554432000 4194304 8395647 140737246702608 140737246698072 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 9559 8993 627 1026 0 8529 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 38236

[startup+462.3 s]
/proc/loadavg: 2.02 1.55 0.96 3/177 14303
/proc/meminfo: memFree=27166208/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=38236 CPUtime=462.21 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9910 0 0 0 45539 682 0 0 20 0 1 0 333989145 39153664 9003 33554432000 4194304 8395647 140737246702608 140737246697400 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 9559 9003 627 1026 0 8529 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 38236

[startup+522.3 s]
/proc/loadavg: 2.07 1.64 1.02 3/177 14303
/proc/meminfo: memFree=27165960/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=38528 CPUtime=522.2 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 9974 0 0 0 51451 769 0 0 20 0 1 0 333989145 39452672 9067 33554432000 4194304 8395647 140737246702608 140737246697160 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 9632 9067 627 1026 0 8602 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 38528

[startup+582.3 s]
/proc/loadavg: 2.02 1.70 1.08 3/178 14307
/proc/meminfo: memFree=27165236/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=39292 CPUtime=582.19 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10162 0 0 0 57358 861 0 0 20 0 1 0 333989145 40235008 9255 33554432000 4194304 8395647 140737246702608 140737246698072 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 9823 9255 627 1026 0 8793 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 39292

[startup+642.3 s]

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

/proc/meminfo: memFree=27165196/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=39784 CPUtime=942.14 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10320 0 0 0 92816 1398 0 0 20 0 1 0 333989145 40738816 9413 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 9946 9413 627 1026 0 8916 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 39784

[startup+1002.3 s]
/proc/loadavg: 2.06 1.94 1.41 3/178 14385
/proc/meminfo: memFree=27166836/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=39928 CPUtime=1002.13 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10328 0 0 0 98727 1486 0 0 20 0 1 0 333989145 40886272 9420 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 9982 9420 627 1026 0 8952 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 39928

[startup+1062.3 s]
/proc/loadavg: 2.06 1.96 1.45 3/177 14423
/proc/meminfo: memFree=27166204/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=39928 CPUtime=1062.12 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10341 0 0 0 104640 1572 0 0 20 0 1 0 333989145 40886272 9433 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 9982 9433 627 1026 0 8952 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 39928

[startup+1122.3 s]
/proc/loadavg: 2.02 1.97 1.48 3/177 14423
/proc/meminfo: memFree=27165712/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=40064 CPUtime=1122.11 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10371 0 0 0 110545 1666 0 0 20 0 1 0 333989145 41025536 9463 33554432000 4194304 8395647 140737246702608 140737246698216 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10016 9463 627 1026 0 8986 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 40064

[startup+1182.3 s]
/proc/loadavg: 2.01 1.97 1.51 3/178 14426
/proc/meminfo: memFree=27164852/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=40220 CPUtime=1182.1 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10418 0 0 0 116454 1756 0 0 20 0 1 0 333989145 41185280 9510 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10055 9510 627 1026 0 9025 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 40220

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/177 14427
/proc/meminfo: memFree=27165356/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=40448 CPUtime=1242.09 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10442 0 0 0 122365 1844 0 0 20 0 1 0 333989145 41418752 9534 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10112 9534 627 1026 0 9082 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 40448

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/177 14427
/proc/meminfo: memFree=27163120/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=40640 CPUtime=1302.09 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10492 0 0 0 128276 1933 0 0 20 0 1 0 333989145 41615360 9584 33554432000 4194304 8395647 140737246702608 140737246697752 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10160 9584 627 1026 0 9130 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 40640

[startup+1362.3 s]
/proc/loadavg: 2.06 1.99 1.59 3/177 14427
/proc/meminfo: memFree=27162872/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=40640 CPUtime=1362.07 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10505 0 0 0 134182 2025 0 0 20 0 1 0 333989145 41615360 9597 33554432000 4194304 8395647 140737246702608 140737246698072 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10160 9597 627 1026 0 9130 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 40640

[startup+1422.31 s]
/proc/loadavg: 2.02 1.99 1.62 3/177 14427
/proc/meminfo: memFree=27162872/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=40828 CPUtime=1422.07 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10527 0 0 0 140091 2116 0 0 20 0 1 0 333989145 41807872 9619 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10207 9619 627 1026 0 9177 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 40828

[startup+1482.3 s]
/proc/loadavg: 2.01 1.99 1.64 3/177 14427
/proc/meminfo: memFree=27162628/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=40828 CPUtime=1482.05 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10530 0 0 0 145997 2208 0 0 20 0 1 0 333989145 41807872 9622 33554432000 4194304 8395647 140737246702608 140737246697416 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10207 9622 627 1026 0 9177 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 40828

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/177 14428
/proc/meminfo: memFree=27161764/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=40828 CPUtime=1542.04 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10556 0 0 0 151907 2297 0 0 20 0 1 0 333989145 41807872 9648 33554432000 4194304 8395647 140737246702608 140737246698216 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10207 9648 627 1026 0 9177 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 40828

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/177 14428
/proc/meminfo: memFree=27160524/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=40964 CPUtime=1602.03 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10592 0 0 0 157818 2385 0 0 20 0 1 0 333989145 41947136 9684 33554432000 4194304 8395647 140737246702608 140737246698168 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10241 9684 627 1026 0 9211 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 40964

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.69 3/177 14428
/proc/meminfo: memFree=27159780/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=41104 CPUtime=1662.03 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10612 0 0 0 163717 2486 0 0 20 0 1 0 333989145 42090496 9704 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10276 9704 627 1026 0 9246 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 41104

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.71 3/177 14428
/proc/meminfo: memFree=27160156/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=41104 CPUtime=1722.02 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10612 0 0 0 169630 2572 0 0 20 0 1 0 333989145 42090496 9704 33554432000 4194304 8395647 140737246702608 140737246697464 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10276 9704 627 1026 0 9246 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 41104

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

[startup+1724.7 s]
/proc/loadavg: 2.00 1.99 1.71 3/177 14428
/proc/meminfo: memFree=27159908/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=41104 CPUtime=1724.42 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10612 0 0 0 169865 2577 0 0 20 0 1 0 333989145 42090496 9704 33554432000 4194304 8395647 140737246702608 140737246697464 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10276 9704 627 1026 0 9246 0
Current children cumulated CPU time (s) 1724.42
Current children cumulated vsize (KiB) 41104

[startup+1727.9 s]
/proc/loadavg: 2.00 1.99 1.71 3/177 14428
/proc/meminfo: memFree=27159908/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=41104 CPUtime=1727.62 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10612 0 0 0 170180 2582 0 0 20 0 1 0 333989145 42090496 9704 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10276 9704 627 1026 0 9246 0
Current children cumulated CPU time (s) 1727.62
Current children cumulated vsize (KiB) 41104

[startup+1729.5 s]
/proc/loadavg: 2.00 1.99 1.71 3/177 14428
/proc/meminfo: memFree=27159908/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=41104 CPUtime=1729.21 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10612 0 0 0 170337 2584 0 0 20 0 1 0 333989145 42090496 9704 33554432000 4194304 8395647 140737246702608 140737246697736 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10276 9704 627 1026 0 9246 0
Current children cumulated CPU time (s) 1729.21
Current children cumulated vsize (KiB) 41104

[startup+1730.31 s]
/proc/loadavg: 2.00 1.99 1.71 3/177 14428
/proc/meminfo: memFree=27159908/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=41104 CPUtime=1730.02 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10612 0 0 0 170416 2586 0 0 20 0 1 0 333989145 42090496 9704 33554432000 4194304 8395647 140737246702608 140737246698216 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10276 9704 627 1026 0 9246 0
Current children cumulated CPU time (s) 1730.02
Current children cumulated vsize (KiB) 41104

[startup+1730.5 s]
/proc/loadavg: 2.00 1.99 1.71 3/177 14428
/proc/meminfo: memFree=27159908/32873660 swapFree=7120/7120
[pid=13921] ppid=13919 vsize=41104 CPUtime=1730.22 cores=1,3,5,7
/proc/13921/stat : 13921 (pbscip.linux.x8) R 13919 13921 13836 0 -1 4202496 10612 0 0 0 170436 2586 0 0 20 0 1 0 333989145 42090496 9704 33554432000 4194304 8395647 140737246702608 140737246698216 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13921/statm: 10276 9704 627 1026 0 9246 0
Current children cumulated CPU time (s) 1730.22
Current children cumulated vsize (KiB) 41104

Child status: 0
Real time (s): 1730.57
CPU time (s): 1730.3
CPU user time (s): 1704.43
CPU system time (s): 25.8691
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 41104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1704.43
system time used= 25.8691
maximum resident set size= 38828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10618
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= 17
involuntary context switches= 1783

runsolver used 2.57061 second user time and 6.89495 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-03 01:10:34
IDJOB=3729076
IDBENCH=1165
IDSOLVER=2326
FILE ID=node117/3729076-1338678634
RUNJOBID= node117-1338678620-13856
PBS_JOBID= 14636696
Free space on /tmp= 69112 MiB

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

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

MD5SUM BENCH= e92d33933b84b1c0ca9ffa19c28f7edc
RANDOM SEED=1692564633

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:        27178508 kB
Buffers:          601836 kB
Cached:          4108376 kB
SwapCached:          776 kB
Active:          2351692 kB
Inactive:        2431484 kB
Active(anon):      58976 kB
Inactive(anon):     9984 kB
Active(file):    2292716 kB
Inactive(file):  2421500 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:             21456 kB
Writeback:             0 kB
AnonPages:         72840 kB
Mapped:            14636 kB
Shmem:                80 kB
Slab:             775896 kB
SReclaimable:     219952 kB
SUnreclaim:       555944 kB
KernelStack:        1456 kB
PageTables:         4188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     183688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 69104 MiB
End job on node117 at 2012-06-03 01:39:25