Trace number 3691558

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixedSAT 1299.79 1300

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
MD5SUMe3c4907f9ed288ddc262ad274eebff0f
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.874866
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1600
Total number of constraints328901
Number of constraints which are clauses327070
Number of constraints which are cardinality constraints (but not clauses)61
Number of constraints which are nor clauses,nor cardinality constraints1770
Minimum length of a constraint2
Maximum length of a constraint700
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 282
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 831
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3691558-1338026088.opb>
0.78/0.86	c original problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 328901 constraints
0.78/0.86	c problem read in 0.86
0.78/0.87	c No objective function, only one solution is needed.
0.78/0.87	c presolving settings loaded
1.39/1.48	c presolving:
3.89/3.94	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 370200 upgd conss, 1400 impls, 60 clqs
4.49/4.55	c (round 2) 0 del vars, 31148 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1819 chg coeffs, 370200 upgd conss, 21702 impls, 60 clqs
5.09/5.11	c (round 3) 0 del vars, 41300 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1930 chg coeffs, 370200 upgd conss, 23442 impls, 60 clqs
5.89/5.97	c presolving (4 rounds):
5.89/5.97	c  0 deleted vars, 41300 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 2056 changed coefficients
5.89/5.97	c  23442 implications, 60 cliques
5.89/5.97	c presolved problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 287601 constraints
5.89/5.97	c    1770 constraints of type <knapsack>
5.89/5.97	c     760 constraints of type <setppc>
5.89/5.97	c       1 constraints of type <linear>
5.89/5.97	c  285070 constraints of type <logicor>
5.89/5.97	c transformed objective value is always integral (scale: 1)
5.89/5.97	c Presolving Time: 4.58
5.89/5.97	c - non default parameters ----------------------------------------------------------------------
5.89/5.97	c # SCIP version 2.1.1.4
5.89/5.97	c 
5.89/5.97	c # maximal time in seconds to run
5.89/5.97	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.89/5.97	c limits/time = 1797
5.89/5.97	c 
5.89/5.97	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.89/5.97	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.89/5.97	c limits/memory = 13950
5.89/5.97	c 
5.89/5.97	c # solving stops, if the given number of solutions were found (-1: no limit)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: -1]
5.89/5.97	c limits/solutions = 1
5.89/5.97	c 
5.89/5.97	c # maximal number of separation rounds per node (-1: unlimited)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 5]
5.89/5.97	c separating/maxrounds = 1
5.89/5.97	c 
5.89/5.97	c # maximal number of separation rounds in the root node (-1: unlimited)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: -1]
5.89/5.97	c separating/maxroundsroot = 5
5.89/5.97	c 
5.89/5.97	c # default clock type (1: CPU user seconds, 2: wall clock time)
5.89/5.97	c # [type: int, range: [1,2], default: 1]
5.89/5.97	c timing/clocktype = 2
5.89/5.97	c 
5.89/5.97	c # belongs reading time to solving time?
5.89/5.97	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.89/5.97	c timing/reading = TRUE
5.89/5.97	c 
5.89/5.97	c # should disaggregation of knapsack constraints be allowed in preprocessing?
5.89/5.97	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
5.89/5.97	c constraints/knapsack/disaggregation = FALSE
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 10]
5.89/5.97	c heuristics/coefdiving/freq = -1
5.89/5.97	c 
5.89/5.97	c # maximal fraction of diving LP iterations compared to node LP iterations
5.89/5.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.89/5.97	c heuristics/coefdiving/maxlpiterquot = 0.075
5.89/5.97	c 
5.89/5.97	c # additional number of allowed LP iterations
5.89/5.97	c # [type: int, range: [0,2147483647], default: 1000]
5.89/5.97	c heuristics/coefdiving/maxlpiterofs = 1500
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 30]
5.89/5.97	c heuristics/crossover/freq = -1
5.89/5.97	c 
5.89/5.97	c # number of nodes added to the contingent of the total nodes
5.89/5.97	c # [type: longint, range: [0,9223372036854775807], default: 500]
5.89/5.97	c heuristics/crossover/nodesofs = 750
5.89/5.97	c 
5.89/5.97	c # number of nodes without incumbent change that heuristic should wait
5.89/5.97	c # [type: longint, range: [0,9223372036854775807], default: 200]
5.89/5.97	c heuristics/crossover/nwaitingnodes = 100
5.89/5.97	c 
5.89/5.97	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
5.89/5.97	c # [type: real, range: [0,1], default: 0.1]
5.89/5.97	c heuristics/crossover/nodesquot = 0.15
5.89/5.97	c 
5.89/5.97	c # minimum percentage of integer variables that have to be fixed 
5.89/5.97	c # [type: real, range: [0,1], default: 0.666]
5.89/5.97	c heuristics/crossover/minfixingrate = 0.5
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 20]
5.89/5.97	c heuristics/feaspump/freq = -1
5.89/5.97	c 
5.89/5.97	c # additional number of allowed LP iterations
5.89/5.97	c # [type: int, range: [0,2147483647], default: 1000]
5.89/5.97	c heuristics/feaspump/maxlpiterofs = 2000
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 10]
5.89/5.97	c heuristics/fracdiving/freq = -1
5.89/5.97	c 
5.89/5.97	c # maximal fraction of diving LP iterations compared to node LP iterations
5.89/5.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.89/5.97	c heuristics/fracdiving/maxlpiterquot = 0.075
5.89/5.97	c 
5.89/5.97	c # additional number of allowed LP iterations
5.89/5.97	c # [type: int, range: [0,2147483647], default: 1000]
5.89/5.97	c heuristics/fracdiving/maxlpiterofs = 1500
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 10]
5.89/5.97	c heuristics/guideddiving/freq = -1
5.89/5.97	c 
5.89/5.97	c # maximal fraction of diving LP iterations compared to node LP iterations
5.89/5.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.89/5.97	c heuristics/guideddiving/maxlpiterquot = 0.075
5.89/5.97	c 
5.89/5.97	c # additional number of allowed LP iterations
5.89/5.97	c # [type: int, range: [0,2147483647], default: 1000]
5.89/5.97	c heuristics/guideddiving/maxlpiterofs = 1500
5.89/5.97	c 
5.89/5.97	c # maximal fraction of diving LP iterations compared to node LP iterations
5.89/5.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.89/5.97	c heuristics/intdiving/maxlpiterquot = 0.075
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 10]
5.89/5.97	c heuristics/intshifting/freq = -1
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 10]
5.89/5.97	c heuristics/linesearchdiving/freq = -1
5.89/5.97	c 
5.89/5.97	c # maximal fraction of diving LP iterations compared to node LP iterations
5.89/5.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.89/5.97	c heuristics/linesearchdiving/maxlpiterquot = 0.075
5.89/5.97	c 
5.89/5.97	c # additional number of allowed LP iterations
5.89/5.97	c # [type: int, range: [0,2147483647], default: 1000]
5.89/5.97	c heuristics/linesearchdiving/maxlpiterofs = 1500
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 20]
5.89/5.97	c heuristics/objpscostdiving/freq = -1
5.89/5.97	c 
5.89/5.97	c # maximal fraction of diving LP iterations compared to total iteration number
5.89/5.97	c # [type: real, range: [0,1], default: 0.01]
5.89/5.97	c heuristics/objpscostdiving/maxlpiterquot = 0.015
5.89/5.97	c 
5.89/5.97	c # additional number of allowed LP iterations
5.89/5.97	c # [type: int, range: [0,2147483647], default: 1000]
5.89/5.97	c heuristics/objpscostdiving/maxlpiterofs = 1500
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 1]
5.89/5.97	c heuristics/oneopt/freq = -1
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 10]
5.89/5.97	c heuristics/pscostdiving/freq = -1
5.89/5.97	c 
5.89/5.97	c # maximal fraction of diving LP iterations compared to node LP iterations
5.89/5.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.89/5.97	c heuristics/pscostdiving/maxlpiterquot = 0.075
5.89/5.97	c 
5.89/5.97	c # additional number of allowed LP iterations
5.89/5.97	c # [type: int, range: [0,2147483647], default: 1000]
5.89/5.97	c heuristics/pscostdiving/maxlpiterofs = 1500
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 0]
5.89/5.97	c heuristics/rens/freq = -1
5.89/5.97	c 
5.89/5.97	c # minimum percentage of integer variables that have to be fixable 
5.89/5.97	c # [type: real, range: [0,1], default: 0.5]
5.89/5.97	c heuristics/rens/minfixingrate = 0.3
5.89/5.97	c 
5.89/5.97	c # number of nodes added to the contingent of the total nodes
5.89/5.97	c # [type: longint, range: [0,9223372036854775807], default: 500]
5.89/5.97	c heuristics/rens/nodesofs = 2000
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 20]
5.89/5.97	c heuristics/rootsoldiving/freq = -1
5.89/5.97	c 
5.89/5.97	c # maximal fraction of diving LP iterations compared to node LP iterations
5.89/5.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
5.89/5.97	c heuristics/rootsoldiving/maxlpiterquot = 0.015
5.89/5.97	c 
5.89/5.97	c # additional number of allowed LP iterations
5.89/5.97	c # [type: int, range: [0,2147483647], default: 1000]
5.89/5.97	c heuristics/rootsoldiving/maxlpiterofs = 1500
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 1]
5.89/5.97	c heuristics/rounding/freq = -1
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 0]
5.89/5.97	c heuristics/shiftandpropagate/freq = -1
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 10]
5.89/5.97	c heuristics/shifting/freq = -1
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 1]
5.89/5.97	c heuristics/simplerounding/freq = -1
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 1]
5.89/5.97	c heuristics/subnlp/freq = -1
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 0]
5.89/5.97	c heuristics/trivial/freq = -1
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 1]
5.89/5.97	c heuristics/trysol/freq = -1
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 0]
5.89/5.97	c heuristics/undercover/freq = -1
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 10]
5.89/5.97	c heuristics/veclendiving/freq = -1
5.89/5.97	c 
5.89/5.97	c # maximal fraction of diving LP iterations compared to node LP iterations
5.89/5.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.89/5.97	c heuristics/veclendiving/maxlpiterquot = 0.075
5.89/5.97	c 
5.89/5.97	c # additional number of allowed LP iterations
5.89/5.97	c # [type: int, range: [0,2147483647], default: 1000]
5.89/5.97	c heuristics/veclendiving/maxlpiterofs = 1500
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 1]
5.89/5.97	c heuristics/zirounding/freq = -1
5.89/5.97	c 
5.89/5.97	c # maximal number of presolving rounds the propagator participates in (-1: no limit)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: -1]
5.89/5.97	c propagating/probing/maxprerounds = 0
5.89/5.97	c 
5.89/5.97	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 0]
5.89/5.97	c separating/cmir/freq = -1
5.89/5.97	c 
5.89/5.97	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 0]
5.89/5.97	c separating/flowcover/freq = -1
5.89/5.97	c 
5.89/5.97	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: -1]
5.89/5.97	c separating/rapidlearning/freq = 0
5.89/5.97	c 
5.89/5.97	c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
5.89/5.97	c # [type: int, range: [-1,2147483647], default: 1]
5.89/5.97	c heuristics/indoneopt/freq = -1
5.89/5.97	c 
5.89/5.97	c -----------------------------------------------------------------------------------------------
5.89/5.97	c start solving
5.89/5.98	c 
11.89/11.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.89/11.92	c  11.9s|     1 |     0 |   892 |     - | 430M|   0 |  87 |1600 | 287k|1600 | 287k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
17.70/17.78	c  17.8s|     1 |     0 |  1284 |     - | 431M|   0 | 136 |1600 | 287k|1600 | 287k|  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
23.28/23.35	c  23.3s|     1 |     0 |  1352 |     - | 432M|   0 | 154 |1600 | 287k|1600 | 287k|  31 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
28.98/29.01	c  29.0s|     1 |     0 |  1625 |     - | 433M|   0 | 152 |1600 | 287k|1600 | 287k|  46 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
35.78/35.87	c  35.9s|     1 |     0 |  1994 |     - | 435M|   0 | 190 |1600 | 287k|1600 | 287k|  65 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
52.79/52.89	c  52.9s|     1 |     0 |  3077 |     - | 436M|   0 | 171 |1600 | 287k|1600 | 287k|  78 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
96.38/96.45	c  96.4s|     1 |     2 |  3077 |     - | 436M|   0 | 171 |1600 | 287k|1600 | 287k|  78 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1278.49/1278.75	c  1279s|   100 |    35 |  5802 |  27.5 | 441M|  58 |   - |1600 | 287k|   0 |   0 |  78 |  68 | 810 | 0.000000e+00 |      --      |    Inf 
1292.18/1292.41	c  1292s|   200 |    51 |  6831 |  18.9 | 442M|  89 |  23 |1600 | 287k|1600 | 287k|  78 | 345 | 810 | 0.000000e+00 |      --      |    Inf 
1298.79/1299.07	c *1299s|   241 |     0 |  7181 |  17.1 | 439M|  97 |   - |1600 | 288k|1600 | 287k|  78 | 437 | 816 | 0.000000e+00 | 0.000000e+00 |   0.00%
1298.89/1299.15	c 
1298.89/1299.15	c SCIP Status        : problem is solved [optimal solution found]
1298.89/1299.15	c Solving Time (sec) : 1299.14
1298.89/1299.15	c Solving Nodes      : 241
1298.89/1299.15	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
1298.89/1299.15	c Dual Bound         : +0.00000000000000e+00
1298.89/1299.15	c Gap                : 0.00 %
1298.99/1299.25	s SATISFIABLE
1298.99/1299.25	v -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 x880 -x879 
1298.99/1299.25	v -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 
1298.99/1299.25	v -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 
1298.99/1299.25	v -x836 -x835 x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 
1298.99/1299.25	v -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 
1298.99/1299.25	v -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 -x775 -x774 
1298.99/1299.25	v -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 
1298.99/1299.25	v -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 
1298.99/1299.25	v -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 
1298.99/1299.25	v -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 
1298.99/1299.25	v -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 
1298.99/1299.25	v -x669 -x668 -x667 -x666 -x665 x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 
1298.99/1299.25	v -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 
1298.99/1299.25	v -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608 -x607 
1298.99/1299.25	v -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 x588 -x587 -x586 
1298.99/1299.25	v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 
1298.99/1299.25	v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 x545 -x544 
1298.99/1299.25	v -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 
1298.99/1299.25	v -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 
1298.99/1299.25	v x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 
1298.99/1299.25	v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 
1298.99/1299.25	v -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 
1298.99/1299.25	v -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 
1298.99/1299.25	v -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 
1298.99/1299.25	v -x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 
1298.99/1299.25	v -x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 
1298.99/1299.25	v -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 
1298.99/1299.25	v -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 
1298.99/1299.25	v -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 
1298.99/1299.25	v -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 
1298.99/1299.25	v -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 
1298.99/1299.25	v -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 
1298.99/1299.25	v x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 
1298.99/1299.25	v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 
1298.99/1299.25	v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 
1298.99/1299.25	v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 
1298.99/1299.25	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1298.99/1299.25	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1298.99/1299.25	v -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1298.99/1299.25	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 
1298.99/1299.25	v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x1600 
1298.99/1299.25	v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 
1298.99/1299.25	v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 
1298.99/1299.25	v -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552 x1551 -x1550 -x1549 -x1548 x1547 -x1546 
1298.99/1299.25	v -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 
1298.99/1299.25	v -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 
1298.99/1299.25	v -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 
1298.99/1299.25	v -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 
1298.99/1299.25	v -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 
1298.99/1299.25	v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 
1298.99/1299.25	v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 
1298.99/1299.25	v -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 
1298.99/1299.25	v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 
1298.99/1299.25	v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 
1298.99/1299.25	v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 
1298.99/1299.25	v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 
1298.99/1299.25	v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 
1298.99/1299.25	v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 
1298.99/1299.25	v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 x1284 -x1283 x1282 -x1281 -x1280 -x1279 -x1278 -x1277 
1298.99/1299.25	v -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 
1298.99/1299.25	v -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 
1298.99/1299.25	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 
1298.99/1299.25	v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 
1298.99/1299.25	v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188 
1298.99/1299.26	v -x1187 x1186 x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 
1298.99/1299.26	v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153 -x1152 
1298.99/1299.26	v x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 
1298.99/1299.26	v -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 
1298.99/1299.26	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 
1298.99/1299.26	v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 x1085 x1084 -x1083 -x1082 -x1081 -x1080 
1298.99/1299.26	v -x1079 x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 
1298.99/1299.26	v -x1061 -x1060 -x1059 x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 x1045 -x1044 -x1043 
1298.99/1299.26	v -x1042 -x1041 x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 x1027 -x1026 -x1025 
1298.99/1299.26	v -x1024 -x1023 -x1022 -x1021 x1020 x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 
1298.99/1299.26	v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 
1298.99/1299.26	v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 
1298.99/1299.26	v -x966 -x965 -x964 -x963 -x962 -x961 -x960 x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 x949 -x948 -x947 -x2 -x946 
1298.99/1299.26	v -x1 -x945 -x944 -x943 x942 -x941 -x940 -x939 -x938 -x937 -x20 -x936 -x935 -x18 -x934 -x933 -x932 -x931 -x930 -x929 -x10 -x928 
1298.99/1299.26	v -x927 x8 -x926 -x7 -x925 -x924 -x5 -x923 -x922 -x30 -x921 -x29 -x920 -x28 -x919 -x27 -x918 -x26 -x917 -x25 x916 -x24 -x915 
1298.99/1299.26	v -x23 -x914 -x22 -x913 -x21 -x912 -x19 -x911 -x17 x910 -x16 -x909 -x15 -x908 -x14 -x907 -x13 -x906 -x12 -x905 -x11 -x904 -x9 
1298.99/1299.26	v -x903 -x6 -x902 -x4 -x901 -x3 
1298.99/1299.26	c SCIP Status        : problem is solved [optimal solution found]
1298.99/1299.26	c Total Time         :    1299.14
1298.99/1299.26	c   solving          :    1299.14
1298.99/1299.26	c   presolving       :       4.58 (included in solving)
1298.99/1299.26	c   reading          :       0.86 (included in solving)
1298.99/1299.26	c   copying          :       0.00 (0 times copied the problem)
1298.99/1299.26	c Original Problem   :
1298.99/1299.26	c   Problem name     : HOME/instance-3691558-1338026088.opb
1298.99/1299.26	c   Variables        : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous)
1298.99/1299.26	c   Constraints      : 328901 initial, 328901 maximal
1298.99/1299.26	c   Objective sense  : minimize
1298.99/1299.26	c Presolved Problem  :
1298.99/1299.26	c   Problem name     : t_HOME/instance-3691558-1338026088.opb
1298.99/1299.26	c   Variables        : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous)
1298.99/1299.26	c   Constraints      : 287601 initial, 288038 maximal
1298.99/1299.26	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1298.99/1299.26	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   gateextraction   :       0.10       0.00          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   components       :       0.11       0.00          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   probing          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   knapsack         :       0.24       0.00          0          0          0          0          0          0          0          0       2056
1298.99/1299.26	c   setppc           :       0.13       0.00          0          0          0          0          0      41300          0          0          0
1298.99/1299.26	c   linear           :       1.57       0.24          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   logicor          :       1.41       0.42          0          0          0          0          0          0          0          0          0
1298.99/1299.26	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1298.99/1299.26	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1298.99/1299.26	c   integral         :          0          0          0          0        162          0          3          0          0         21          0          0        306
1298.99/1299.26	c   knapsack         :       1770       1770          5       1406          1          0          0        646          0       1787        200          0          0
1298.99/1299.26	c   setppc           :        760        760          5       1406          1          0          0       2475         84        983          0          0          0
1298.99/1299.26	c   linear           :          1          1          5       1322          1          0          0          0          0          0          0          0          0
1298.99/1299.26	c   logicor          :     285070+    285507          5        393          1          0          0       2185          6        604          0          0          0
1298.99/1299.26	c   countsols        :          0          0          0          0          1          0          2          0          0          0          0          0          0
1298.99/1299.26	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1298.99/1299.26	c   integral         :    1195.65       0.00       0.00       0.00    1195.65       0.00       0.00       0.00
1298.99/1299.26	c   knapsack         :       0.07       0.00       0.02       0.05       0.00       0.00       0.00       0.00
1298.99/1299.26	c   setppc           :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00
1298.99/1299.26	c   linear           :       0.24       0.24       0.00       0.00       0.00       0.00       0.00       0.00
1298.99/1299.26	c   logicor          :       1.30       0.42       0.08       0.79       0.01       0.00       0.00       0.00
1298.99/1299.26	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1298.99/1299.26	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1298.99/1299.26	c   rootredcost      :          0          0          0          0
1298.99/1299.26	c   pseudoobj        :          0          0          0          0
1298.99/1299.26	c   vbounds          :          0          0          0          0
1298.99/1299.26	c   redcost          :        167          0          0          0
1298.99/1299.26	c   probing          :          0          0          0          0
1298.99/1299.26	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1298.99/1299.26	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00
1298.99/1299.26	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00
1298.99/1299.26	c   vbounds          :       0.00       0.00       0.00       0.00       0.00
1298.99/1299.26	c   redcost          :       0.00       0.00       0.00       0.00       0.00
1298.99/1299.26	c   probing          :       0.00       0.00       0.00       0.00       0.00
1298.99/1299.26	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1298.99/1299.26	c   propagation      :       0.01         90         90        776       39.4         35       19.4          -
1298.99/1299.26	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1298.99/1299.26	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1298.99/1299.26	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1298.99/1299.26	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1298.99/1299.26	c   applied globally :          -          -          -        437       27.4          -          -          -
1298.99/1299.26	c   applied locally  :          -          -          -          0        0.0          -          -          -
1298.99/1299.26	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1298.99/1299.26	c   cut pool         :       0.00                     4          -          -          1          -    (maximal pool size: 314)
1298.99/1299.26	c   closecuts        :       0.00       0.00          0          0          0          0          0
1298.99/1299.26	c   impliedbounds    :       0.00       0.00          5          0          0          0          0
1298.99/1299.26	c   intobj           :       0.00       0.00          0          0          0          0          0
1298.99/1299.26	c   gomory           :       4.77       0.00          5          0          0        250          0
1298.99/1299.26	c   cgmip            :       0.00       0.00          0          0          0          0          0
1298.99/1299.26	c   strongcg         :      14.29       0.00          5          0          0       2500          0
1298.99/1299.26	c   cmir             :       0.00       0.00          0          0          0          0          0
1298.99/1299.26	c   flowcover        :       0.00       0.00          0          0          0          0          0
1298.99/1299.26	c   clique           :       0.01       0.00          5          0          0          0          0
1298.99/1299.26	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1298.99/1299.26	c   mcf              :       0.00       0.00          0          0          0          0          0
1298.99/1299.26	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1298.99/1299.26	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1298.99/1299.26	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1298.99/1299.26	c   problem variables:       0.00          -          0          0
1298.99/1299.26	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1298.99/1299.26	c   relpscost        :    1195.64       0.00        161          0         21          0          0        306
1298.99/1299.26	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1298.99/1299.26	c   inference        :       0.00       0.00          0          0          0          0          0          0
1298.99/1299.26	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1298.99/1299.26	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1298.99/1299.26	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1298.99/1299.26	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1298.99/1299.26	c   random           :       0.00       0.00          0          0          0          0          0          0
1298.99/1299.26	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1298.99/1299.26	c   LP solutions     :       0.00          -          -          1
1298.99/1299.26	c   pseudo solutions :       0.00          -          -          0
1298.99/1299.26	c   smallcard        :       0.00       0.00          0          0
1298.99/1299.26	c   trivial          :       0.09       0.00          1          0
1298.99/1299.26	c   shiftandpropagate:       0.00       0.00          0          0
1298.99/1299.26	c   simplerounding   :       0.00       0.00          0          0
1298.99/1299.26	c   zirounding       :       0.00       0.00          0          0
1298.99/1299.26	c   rounding         :       0.00       0.00          0          0
1298.99/1299.26	c   shifting         :       0.00       0.00          0          0
1298.99/1299.26	c   intshifting      :       0.00       0.00          0          0
1298.99/1299.26	c   oneopt           :       0.00       0.00          0          0
1298.99/1299.26	c   twoopt           :       0.00       0.00          0          0
1298.99/1299.26	c   indtwoopt        :       0.00       0.00          0          0
1298.99/1299.26	c   indoneopt        :       0.00       0.00          0          0
1298.99/1299.26	c   fixandinfer      :       0.00       0.00          0          0
1298.99/1299.26	c   feaspump         :       0.00       0.00          0          0
1298.99/1299.26	c   clique           :       0.00       0.00          0          0
1298.99/1299.26	c   indrounding      :       0.00       0.00          0          0
1298.99/1299.26	c   indcoefdiving    :       0.00       0.00          0          0
1298.99/1299.26	c   coefdiving       :       0.00       0.00          0          0
1298.99/1299.26	c   pscostdiving     :       0.00       0.00          0          0
1298.99/1299.26	c   nlpdiving        :       0.00       0.00          0          0
1298.99/1299.26	c   fracdiving       :       0.00       0.00          0          0
1298.99/1299.26	c   veclendiving     :       0.00       0.00          0          0
1298.99/1299.26	c   intdiving        :       0.00       0.00          0          0
1298.99/1299.26	c   actconsdiving    :       0.00       0.00          0          0
1298.99/1299.26	c   objpscostdiving  :       0.00       0.00          0          0
1298.99/1299.26	c   rootsoldiving    :       0.00       0.00          0          0
1298.99/1299.26	c   linesearchdiving :       0.00       0.00          0          0
1298.99/1299.26	c   guideddiving     :       0.00       0.00          0          0
1298.99/1299.26	c   octane           :       0.00       0.00          0          0
1298.99/1299.26	c   rens             :       0.00       0.00          0          0
1298.99/1299.26	c   rins             :       0.00       0.00          0          0
1298.99/1299.26	c   localbranching   :       0.00       0.00          0          0
1298.99/1299.26	c   mutation         :       0.00       0.00          0          0
1298.99/1299.26	c   crossover        :       0.00       0.00          0          0
1298.99/1299.26	c   dins             :       0.00       0.00          0          0
1298.99/1299.26	c   vbounds          :       0.00       0.00          0          0
1298.99/1299.26	c   undercover       :       0.00       0.00          0          0
1298.99/1299.26	c   subnlp           :       0.00       0.00          0          0
1298.99/1299.26	c   trysol           :       0.00       0.00          0          0
1298.99/1299.26	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1298.99/1299.26	c   primal LP        :       0.09          1          0       0.00       0.00       0.09          1
1298.99/1299.26	c   dual LP          :      69.63        167       7181      43.00     103.13       0.00          0
1298.99/1299.26	c   lex dual LP      :       0.00          0          0       0.00          -
1298.99/1299.26	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1298.99/1299.26	c   diving/probing LP:       0.00          0          0       0.00          -
1298.99/1299.26	c   strong branching :    1195.34        816     106971     131.09      89.49
1298.99/1299.26	c     (at root node) :          -         33       3330     100.91          -
1298.99/1299.26	c   conflict analysis:       0.00          0          0       0.00          -
1298.99/1299.26	c B&B Tree           :
1298.99/1299.26	c   number of runs   :          1
1298.99/1299.26	c   nodes            :        241
1298.99/1299.26	c   nodes (total)    :        241
1298.99/1299.26	c   nodes left       :          0
1298.99/1299.26	c   max depth        :         97
1298.99/1299.26	c   max depth (total):         97
1298.99/1299.26	c   backtracks       :          4 (1.7%)
1298.99/1299.26	c   delayed cutoffs  :         10
1298.99/1299.26	c   repropagations   :        974 (230 domain reductions, 3 cutoffs)
1298.99/1299.26	c   avg switch length:       9.35
1298.99/1299.26	c   switching time   :       1.02
1298.99/1299.26	c Solution           :
1298.99/1299.26	c   Solutions found  :          1 (1 improvements)
1298.99/1299.26	c   First Solution   : +0.00000000000000e+00   (in run 1, after 241 nodes, 1299.06 seconds, depth 73, found by <relaxation>)
1298.99/1299.26	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 241 nodes, 1299.06 seconds, depth 73, found by <relaxation>)
1298.99/1299.26	c   Dual Bound       : +0.00000000000000e+00
1298.99/1299.26	c   Gap              :       0.00 %
1298.99/1299.26	c   Root Dual Bound  : +0.00000000000000e+00
1298.99/1299.26	c   Root Iterations  :       3077
1299.69/1299.99	c Time complete: 1299.78.

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 15364
/proc/meminfo: memFree=22372432/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=12028 CPUtime=0 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 1703 0 0 0 0 0 0 0 20 0 1 0 268734725 12316672 1658 33554432000 4194304 10219143 140735317350080 140734171145608 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 3007 1667 398 1471 0 1527 0

[startup+0.103288 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 15364
/proc/meminfo: memFree=22372432/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=31536 CPUtime=0.09 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 6630 0 0 0 8 1 0 0 20 0 1 0 268734725 32292864 6585 33554432000 4194304 10219143 140735317350080 140734171145608 5541619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 7884 6585 419 1471 0 6404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31536

[startup+0.20034 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 15364
/proc/meminfo: memFree=22372432/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=48924 CPUtime=0.18 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 10988 0 0 0 17 1 0 0 20 0 1 0 268734725 50098176 10943 33554432000 4194304 10219143 140735317350080 140734171145608 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 12231 10943 419 1471 0 10751 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 48924

[startup+0.300359 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 15364
/proc/meminfo: memFree=22372432/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=65752 CPUtime=0.28 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 15162 0 0 0 26 2 0 0 20 0 1 0 268734725 67330048 15117 33554432000 4194304 10219143 140735317350080 140734171145608 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 16438 15117 419 1471 0 14958 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 65752

[startup+0.700323 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 15364
/proc/meminfo: memFree=22372432/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=134628 CPUtime=0.68 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 32330 0 0 0 63 5 0 0 20 0 1 0 268734725 137859072 32287 33554432000 4194304 10219143 140735317350080 140735317215256 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 33657 32328 419 1471 0 32177 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 134628

[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15365
/proc/meminfo: memFree=22087208/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=425380 CPUtime=1.49 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 107799 0 0 0 132 17 0 0 20 0 1 0 268734725 435589120 104564 33554432000 4194304 10219143 140735317350080 140735317347448 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 106345 104564 549 1471 0 104865 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 425380

[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15365
/proc/meminfo: memFree=21949692/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=559716 CPUtime=3.09 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 144087 0 0 0 267 42 0 0 20 0 1 0 268734725 573149184 138070 33554432000 4194304 10219143 140735317350080 140735317347080 4965725 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 139929 138070 565 1471 0 138449 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 559716

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15365
/proc/meminfo: memFree=21904836/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=545548 CPUtime=6.28 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 164091 0 0 0 554 74 0 0 20 0 1 0 268734725 558641152 134597 33554432000 4194304 10219143 140735317350080 140735317347704 5762889 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 136387 134598 655 1471 0 134907 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 545548

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15365
/proc/meminfo: memFree=21523100/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=898220 CPUtime=12.69 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 201455 0 0 0 1183 86 0 0 20 0 1 0 268734725 919777280 212353 33554432000 4194304 10219143 140735317350080 140735317344920 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 224555 212353 770 1471 0 223075 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 898220

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15365
/proc/meminfo: memFree=21486136/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=906640 CPUtime=25.48 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 205701 0 0 0 2460 88 0 0 20 0 1 0 268734725 928399360 220596 33554432000 4194304 10219143 140735317350080 140735317344920 8931182 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 226660 220596 774 1471 0 225180 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 906640

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15365
/proc/meminfo: memFree=21407868/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=944036 CPUtime=51.08 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 206691 0 0 0 5016 92 0 0 20 0 1 0 268734725 966692864 230273 33554432000 4194304 10219143 140735317350080 140735317343336 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 236009 230273 774 1471 0 234529 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 944036

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15404
/proc/meminfo: memFree=26461148/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=102.28 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 206762 0 0 0 10131 97 0 0 20 0 1 0 268734725 975896576 231906 33554432000 4194304 10219143 140735317350080 140735317343528 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 231906 783 1471 0 236776 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 953024

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15405
/proc/meminfo: memFree=26438900/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=162.26 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 206781 0 0 0 16124 102 0 0 20 0 1 0 268734725 975896576 232266 33554432000 4194304 10219143 140735317350080 140735317343528 8108186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 232266 784 1471 0 236776 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 953024

[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15405
/proc/meminfo: memFree=26438504/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=222.27 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 206782 0 0 0 22120 107 0 0 20 0 1 0 268734725 975896576 232335 33554432000 4194304 10219143 140735317350080 140735317343912 8056424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 232335 784 1471 0 236776 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 953024

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15405
/proc/meminfo: memFree=26438488/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=282.24 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 206785 0 0 0 28113 111 0 0 20 0 1 0 268734725 975896576 232350 33554432000 4194304 10219143 140735317350080 140735317343336 8015495 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 232350 784 1471 0 236776 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 953024

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15408
/proc/meminfo: memFree=26432772/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=342.24 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 206877 0 0 0 34108 116 0 0 20 0 1 0 268734725 975896576 233526 33554432000 4194304 10219143 140735317350080 140735317343912 7694218 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 233526 784 1471 0 236776 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 953024

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15431
/proc/meminfo: memFree=26433816/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=402.23 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 206879 0 0 0 40102 121 0 0 20 0 1 0 268734725 975896576 233528 33554432000 4194304 10219143 140735317350080 140735317343528 8056775 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 233528 784 1471 0 236776 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 953024

[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 15432
/proc/meminfo: memFree=26433160/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=462.22 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 206885 0 0 0 46096 126 0 0 20 0 1 0 268734725 975896576 233609 33554432000 4194304 10219143 140735317350080 140735317343528 7931815 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 233609 784 1471 0 236776 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 953024

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 15432
/proc/meminfo: memFree=26430100/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=522.2 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 206902 0 0 0 52090 130 0 0 20 0 1 0 268734725 975896576 234375 33554432000 4194304 10219143 140735317350080 140735317343528 7638782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234375 784 1471 0 236776 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 953024

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15432
/proc/meminfo: memFree=26429828/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=582.2 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 206919 0 0 0 58085 135 0 0 20 0 1 0 268734725 975896576 234392 33554432000 4194304 10219143 140735317350080 140735317343528 8083836 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234392 784 1471 0 236776 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 953024

[startup+642.3 s]

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

/proc/meminfo: memFree=26428148/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=702.18 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 206953 0 0 0 70073 145 0 0 20 0 1 0 268734725 975896576 234426 33554432000 4194304 10219143 140735317350080 140735317343528 7638793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234426 787 1471 0 236776 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 953024

[startup+762.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15433
/proc/meminfo: memFree=26427648/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=762.17 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 206998 0 0 0 76069 148 0 0 20 0 1 0 268734725 975896576 234471 33554432000 4194304 10219143 140735317350080 140735317343528 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234471 787 1471 0 236776 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 953024

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15433
/proc/meminfo: memFree=26427180/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=822.16 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207036 0 0 0 82062 154 0 0 20 0 1 0 268734725 975896576 234509 33554432000 4194304 10219143 140735317350080 140735317343912 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234509 788 1471 0 236776 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 953024

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15433
/proc/meminfo: memFree=26425524/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=882.15 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207075 0 0 0 88057 158 0 0 20 0 1 0 268734725 975896576 234548 33554432000 4194304 10219143 140735317350080 140735317343256 8056480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234548 788 1471 0 236776 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 953024

[startup+942.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 15436
/proc/meminfo: memFree=26425380/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=942.14 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207086 0 0 0 94051 163 0 0 20 0 1 0 268734725 975896576 234559 33554432000 4194304 10219143 140735317350080 140735317343624 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234559 788 1471 0 236776 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 953024

[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 15436
/proc/meminfo: memFree=26424716/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=1002.13 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207152 0 0 0 100045 168 0 0 20 0 1 0 268734725 975896576 234625 33554432000 4194304 10219143 140735317350080 140735317343528 8051319 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234625 788 1471 0 236776 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 953024

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 15437
/proc/meminfo: memFree=26419840/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=1062.12 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207160 0 0 0 106039 173 0 0 20 0 1 0 268734725 975896576 234633 33554432000 4194304 10219143 140735317350080 140735317343624 8056755 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234633 788 1471 0 236776 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 953024

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 15437
/proc/meminfo: memFree=26419744/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=1122.11 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207177 0 0 0 112033 178 0 0 20 0 1 0 268734725 975896576 234650 33554432000 4194304 10219143 140735317350080 140735317343912 8056746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234650 788 1471 0 236776 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 953024

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 15437
/proc/meminfo: memFree=26419620/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=1182.1 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207209 0 0 0 118027 183 0 0 20 0 1 0 268734725 975896576 234682 33554432000 4194304 10219143 140735317350080 140735317343528 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234682 788 1471 0 236776 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 953024

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15437
/proc/meminfo: memFree=26419620/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=1242.09 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207246 0 0 0 124022 187 0 0 20 0 1 0 268734725 975896576 234719 33554432000 4194304 10219143 140735317350080 140735317343912 7956100 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234719 788 1471 0 236776 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 953024

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

[startup+1254.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15475
/proc/meminfo: memFree=26988236/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=1254.2 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207269 0 0 0 125231 189 0 0 20 0 1 0 268734725 975896576 234742 33554432000 4194304 10219143 140735317350080 140735317343912 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234742 788 1471 0 236776 0
Current children cumulated CPU time (s) 1254.2
Current children cumulated vsize (KiB) 953024

[startup+1280 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15475
/proc/meminfo: memFree=24324464/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=1279.78 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207277 0 0 0 127787 191 0 0 20 0 1 0 268734725 975896576 234750 33554432000 4194304 10219143 140735317350080 140735317343752 7554504 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234750 788 1471 0 236776 0
Current children cumulated CPU time (s) 1279.78
Current children cumulated vsize (KiB) 953024

[startup+1292.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15475
/proc/meminfo: memFree=24290084/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=1292.58 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207278 0 0 0 129066 192 0 0 20 0 1 0 268734725 975896576 234751 33554432000 4194304 10219143 140735317350080 140735317346552 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234751 788 1471 0 236776 0
Current children cumulated CPU time (s) 1292.58
Current children cumulated vsize (KiB) 953024

[startup+1296 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15475
/proc/meminfo: memFree=24270600/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=1295.78 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207278 0 0 0 129386 192 0 0 20 0 1 0 268734725 975896576 234751 33554432000 4194304 10219143 140735317350080 140735317343720 7729032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234751 788 1471 0 236776 0
Current children cumulated CPU time (s) 1295.78
Current children cumulated vsize (KiB) 953024

[startup+1297.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15475
/proc/meminfo: memFree=24270600/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=1297.39 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207278 0 0 0 129546 193 0 0 20 0 1 0 268734725 975896576 234751 33554432000 4194304 10219143 140735317350080 140735317343256 7694162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234751 788 1471 0 236776 0
Current children cumulated CPU time (s) 1297.39
Current children cumulated vsize (KiB) 953024

[startup+1299.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15475
/proc/meminfo: memFree=24270724/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=953024 CPUtime=1298.99 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207280 0 0 0 129706 193 0 0 20 0 1 0 268734725 975896576 234753 33554432000 4194304 10219143 140735317350080 140735317342888 4432185 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238256 234753 790 1471 0 236776 0
Current children cumulated CPU time (s) 1298.99
Current children cumulated vsize (KiB) 953024

[startup+1299.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15475
/proc/meminfo: memFree=24270724/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=952760 CPUtime=1299.39 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207290 0 0 0 129746 193 0 0 20 0 1 0 268734725 975626240 234697 33554432000 4194304 10219143 140735317350080 140735317349192 7589212 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 238190 234697 800 1471 0 236710 0
Current children cumulated CPU time (s) 1299.39
Current children cumulated vsize (KiB) 952760

[startup+1299.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15475
/proc/meminfo: memFree=24270724/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=947480 CPUtime=1299.58 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207290 0 0 0 129765 193 0 0 20 0 1 0 268734725 970219520 233377 33554432000 4194304 10219143 140735317350080 140735317349192 7589200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 236870 233377 800 1471 0 235390 0
Current children cumulated CPU time (s) 1299.58
Current children cumulated vsize (KiB) 947480

[startup+1299.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15475
/proc/meminfo: memFree=24270724/32873852 swapFree=6848/6848
[pid=15364] ppid=15362 vsize=799972 CPUtime=1299.69 cores=1,3,5,7
/proc/15364/stat : 15364 (scip-2.1.1.4exp) R 15362 15364 14323 0 -1 4202496 207290 0 0 0 129775 194 0 0 20 0 1 0 268734725 819171328 199115 33554432000 4194304 10219143 140735317350080 140735317349192 7594387 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15364/statm: 199993 199115 800 1471 0 198513 0
Current children cumulated CPU time (s) 1299.69
Current children cumulated vsize (KiB) 799972

Child status: 0
Real time (s): 1300
CPU time (s): 1299.79
CPU user time (s): 1297.83
CPU system time (s): 1.9577
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 953024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1297.83
system time used= 1.9577
maximum resident set size= 939052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207303
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= 9
involuntary context switches= 1353

runsolver used 2.34364 second user time and 6.64099 second system time

The end

Launcher Data 

Begin job on node128 at 2012-05-26 11:54:48
IDJOB=3691558
IDBENCH=1378
IDSOLVER=2271
FILE ID=node128/3691558-1338026088
RUNJOBID= node128-1338017079-14340
PBS_JOBID= 14624370
Free space on /tmp= 71132 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691558-1338026088/watcher-3691558-1338026088 -o /tmp/evaluation-result-3691558-1338026088/solver-3691558-1338026088 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691558-1338026088.opb -t 1800 -m 15500

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

MD5SUM BENCH= e3c4907f9ed288ddc262ad274eebff0f
RANDOM SEED=1300625089

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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	: 5438.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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:       32873852 kB
MemFree:        22372440 kB
Buffers:          278208 kB
Cached:          3585704 kB
SwapCached:            0 kB
Active:          6803984 kB
Inactive:        2895020 kB
Active(anon):    5837684 kB
Inactive(anon):        0 kB
Active(file):     966300 kB
Inactive(file):  2895020 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             24880 kB
Writeback:             0 kB
AnonPages:       5835596 kB
Mapped:            17484 kB
Shmem:               204 kB
Slab:             650316 kB
SReclaimable:      92864 kB
SUnreclaim:       557452 kB
KernelStack:        1448 kB
PageTables:        17520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    6296096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2930688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71120 MiB
End job on node128 at 2012-05-26 12:16:28