Trace number 3691677

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 fixed? 1797.05 1797.35

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl.opb
MD5SUMb2fe1642a1ae97e0b20cfe37f07bcc49
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark60.24
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables21380
Total number of constraints60984
Number of constraints which are clauses58828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2156
Minimum length of a constraint1
Maximum length of a constraint13
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 73
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 262
Number of bits of the biggest sum of numbers9
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-3691677-1338029241.opb>
0.09/0.18	c original problem has 21380 variables (21380 bin, 0 int, 0 impl, 0 cont) and 60984 constraints
0.09/0.18	c problem read in 0.18
0.09/0.18	c No objective function, only one solution is needed.
0.09/0.18	c presolving settings loaded
0.29/0.36	c presolving:
0.89/0.91	c (round 1) 1318 del vars, 807 del conss, 0 add conss, 265 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113375 impls, 0 clqs
0.89/0.97	c (round 2) 1320 del vars, 3047 del conss, 0 add conss, 267 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113375 impls, 0 clqs
0.89/0.99	c (round 3) 1356 del vars, 3137 del conss, 0 add conss, 303 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113553 impls, 0 clqs
1.00/1.02	c (round 4) 1360 del vars, 3143 del conss, 0 add conss, 307 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113553 impls, 0 clqs
1.00/1.04	c (round 5) 1366 del vars, 3154 del conss, 0 add conss, 313 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113567 impls, 0 clqs
1.00/1.07	c (round 6) 1370 del vars, 3168 del conss, 0 add conss, 317 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113603 impls, 0 clqs
1.00/1.09	c (round 7) 1374 del vars, 3178 del conss, 0 add conss, 321 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113631 impls, 0 clqs
1.10/1.12	c (round 8) 1378 del vars, 3188 del conss, 0 add conss, 325 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113663 impls, 0 clqs
1.10/1.14	c (round 9) 1382 del vars, 3198 del conss, 0 add conss, 329 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113699 impls, 0 clqs
1.10/1.16	c (round 10) 1386 del vars, 3208 del conss, 0 add conss, 333 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113739 impls, 0 clqs
1.10/1.19	c (round 11) 1390 del vars, 3218 del conss, 0 add conss, 337 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113783 impls, 0 clqs
1.19/1.21	c (round 12) 1390 del vars, 3226 del conss, 0 add conss, 337 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113823 impls, 0 clqs
1.48/1.53	c (round 13) 1390 del vars, 3235 del conss, 0 add conss, 337 chg bounds, 1078 chg sides, 2254 chg coeffs, 57764 upgd conss, 1113823 impls, 0 clqs
1.78/1.85	c (round 14) 1390 del vars, 58688 del conss, 18482 add conss, 337 chg bounds, 1078 chg sides, 2254 chg coeffs, 57764 upgd conss, 1113823 impls, 0 clqs
1.99/2.01	c (round 15) 1604 del vars, 59908 del conss, 19702 add conss, 337 chg bounds, 1078 chg sides, 2254 chg coeffs, 57764 upgd conss, 1115491 impls, 6 clqs
1.99/2.09	c (round 16) 1612 del vars, 59910 del conss, 19702 add conss, 337 chg bounds, 1078 chg sides, 2254 chg coeffs, 57765 upgd conss, 1115491 impls, 1226 clqs
2.09/2.17	c (round 17) 1614 del vars, 59912 del conss, 19702 add conss, 337 chg bounds, 1078 chg sides, 2256 chg coeffs, 57765 upgd conss, 1115491 impls, 1227 clqs
2.19/2.28	c (round 18) 1652 del vars, 60137 del conss, 19927 add conss, 337 chg bounds, 1078 chg sides, 2256 chg coeffs, 57765 upgd conss, 1118721 impls, 1227 clqs
2.39/2.44	c (round 19) 1696 del vars, 60233 del conss, 19965 add conss, 337 chg bounds, 1078 chg sides, 2256 chg coeffs, 57765 upgd conss, 1123401 impls, 1238 clqs
2.59/2.64	c presolving (20 rounds):
2.59/2.64	c  1696 deleted vars, 60233 deleted constraints, 19965 added constraints, 337 tightened bounds, 0 added holes, 1078 changed sides, 2256 changed coefficients
2.59/2.64	c  1123401 implications, 1238 cliques
2.59/2.64	c presolved problem has 19684 variables (19684 bin, 0 int, 0 impl, 0 cont) and 20709 constraints
2.59/2.64	c    2156 constraints of type <knapsack>
2.59/2.64	c    1608 constraints of type <setppc>
2.59/2.64	c   16938 constraints of type <and>
2.59/2.64	c       7 constraints of type <logicor>
2.59/2.64	c transformed objective value is always integral (scale: 1)
2.59/2.64	c Presolving Time: 2.34
2.59/2.64	c - non default parameters ----------------------------------------------------------------------
2.59/2.64	c # SCIP version 2.1.1.4
2.59/2.64	c 
2.59/2.64	c # maximal time in seconds to run
2.59/2.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.59/2.64	c limits/time = 1797
2.59/2.64	c 
2.59/2.64	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.59/2.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.59/2.64	c limits/memory = 13950
2.59/2.64	c 
2.59/2.64	c # solving stops, if the given number of solutions were found (-1: no limit)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.64	c limits/solutions = 1
2.59/2.64	c 
2.59/2.64	c # maximal number of separation rounds per node (-1: unlimited)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 5]
2.59/2.64	c separating/maxrounds = 1
2.59/2.64	c 
2.59/2.64	c # maximal number of separation rounds in the root node (-1: unlimited)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.64	c separating/maxroundsroot = 5
2.59/2.64	c 
2.59/2.64	c # default clock type (1: CPU user seconds, 2: wall clock time)
2.59/2.64	c # [type: int, range: [1,2], default: 1]
2.59/2.64	c timing/clocktype = 2
2.59/2.64	c 
2.59/2.64	c # belongs reading time to solving time?
2.59/2.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.64	c timing/reading = TRUE
2.59/2.64	c 
2.59/2.64	c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.59/2.64	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.59/2.64	c constraints/knapsack/disaggregation = FALSE
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.64	c heuristics/coefdiving/freq = -1
2.59/2.64	c 
2.59/2.64	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.64	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.64	c heuristics/coefdiving/maxlpiterquot = 0.075
2.59/2.64	c 
2.59/2.64	c # additional number of allowed LP iterations
2.59/2.64	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.64	c heuristics/coefdiving/maxlpiterofs = 1500
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 30]
2.59/2.64	c heuristics/crossover/freq = -1
2.59/2.64	c 
2.59/2.64	c # number of nodes added to the contingent of the total nodes
2.59/2.64	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.59/2.64	c heuristics/crossover/nodesofs = 750
2.59/2.64	c 
2.59/2.64	c # number of nodes without incumbent change that heuristic should wait
2.59/2.64	c # [type: longint, range: [0,9223372036854775807], default: 200]
2.59/2.64	c heuristics/crossover/nwaitingnodes = 100
2.59/2.64	c 
2.59/2.64	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.59/2.64	c # [type: real, range: [0,1], default: 0.1]
2.59/2.64	c heuristics/crossover/nodesquot = 0.15
2.59/2.64	c 
2.59/2.64	c # minimum percentage of integer variables that have to be fixed 
2.59/2.64	c # [type: real, range: [0,1], default: 0.666]
2.59/2.64	c heuristics/crossover/minfixingrate = 0.5
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 20]
2.59/2.64	c heuristics/feaspump/freq = -1
2.59/2.64	c 
2.59/2.64	c # additional number of allowed LP iterations
2.59/2.64	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.64	c heuristics/feaspump/maxlpiterofs = 2000
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.64	c heuristics/fracdiving/freq = -1
2.59/2.64	c 
2.59/2.64	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.64	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.64	c heuristics/fracdiving/maxlpiterquot = 0.075
2.59/2.64	c 
2.59/2.64	c # additional number of allowed LP iterations
2.59/2.64	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.64	c heuristics/fracdiving/maxlpiterofs = 1500
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.64	c heuristics/guideddiving/freq = -1
2.59/2.64	c 
2.59/2.64	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.64	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.64	c heuristics/guideddiving/maxlpiterquot = 0.075
2.59/2.64	c 
2.59/2.64	c # additional number of allowed LP iterations
2.59/2.64	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.64	c heuristics/guideddiving/maxlpiterofs = 1500
2.59/2.64	c 
2.59/2.64	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.64	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.64	c heuristics/intdiving/maxlpiterquot = 0.075
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.64	c heuristics/intshifting/freq = -1
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.64	c heuristics/linesearchdiving/freq = -1
2.59/2.64	c 
2.59/2.64	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.64	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.64	c heuristics/linesearchdiving/maxlpiterquot = 0.075
2.59/2.64	c 
2.59/2.64	c # additional number of allowed LP iterations
2.59/2.64	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.64	c heuristics/linesearchdiving/maxlpiterofs = 1500
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 20]
2.59/2.64	c heuristics/objpscostdiving/freq = -1
2.59/2.64	c 
2.59/2.64	c # maximal fraction of diving LP iterations compared to total iteration number
2.59/2.64	c # [type: real, range: [0,1], default: 0.01]
2.59/2.64	c heuristics/objpscostdiving/maxlpiterquot = 0.015
2.59/2.64	c 
2.59/2.64	c # additional number of allowed LP iterations
2.59/2.64	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.64	c heuristics/objpscostdiving/maxlpiterofs = 1500
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.64	c heuristics/oneopt/freq = -1
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.64	c heuristics/pscostdiving/freq = -1
2.59/2.64	c 
2.59/2.64	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.64	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.64	c heuristics/pscostdiving/maxlpiterquot = 0.075
2.59/2.64	c 
2.59/2.64	c # additional number of allowed LP iterations
2.59/2.64	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.64	c heuristics/pscostdiving/maxlpiterofs = 1500
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.64	c heuristics/rens/freq = -1
2.59/2.64	c 
2.59/2.64	c # minimum percentage of integer variables that have to be fixable 
2.59/2.64	c # [type: real, range: [0,1], default: 0.5]
2.59/2.64	c heuristics/rens/minfixingrate = 0.3
2.59/2.64	c 
2.59/2.64	c # number of nodes added to the contingent of the total nodes
2.59/2.64	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.59/2.64	c heuristics/rens/nodesofs = 2000
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 20]
2.59/2.64	c heuristics/rootsoldiving/freq = -1
2.59/2.64	c 
2.59/2.64	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.64	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.59/2.64	c heuristics/rootsoldiving/maxlpiterquot = 0.015
2.59/2.64	c 
2.59/2.64	c # additional number of allowed LP iterations
2.59/2.64	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.64	c heuristics/rootsoldiving/maxlpiterofs = 1500
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.64	c heuristics/rounding/freq = -1
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.64	c heuristics/shiftandpropagate/freq = -1
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.64	c heuristics/shifting/freq = -1
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.64	c heuristics/simplerounding/freq = -1
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.64	c heuristics/subnlp/freq = -1
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.64	c heuristics/trivial/freq = -1
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.64	c heuristics/trysol/freq = -1
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.64	c heuristics/undercover/freq = -1
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.64	c heuristics/veclendiving/freq = -1
2.59/2.64	c 
2.59/2.64	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.64	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.64	c heuristics/veclendiving/maxlpiterquot = 0.075
2.59/2.64	c 
2.59/2.64	c # additional number of allowed LP iterations
2.59/2.64	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.64	c heuristics/veclendiving/maxlpiterofs = 1500
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.64	c heuristics/zirounding/freq = -1
2.59/2.64	c 
2.59/2.64	c # maximal number of presolving rounds the propagator participates in (-1: no limit)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.64	c propagating/probing/maxprerounds = 0
2.59/2.64	c 
2.59/2.64	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.64	c separating/cmir/freq = -1
2.59/2.64	c 
2.59/2.64	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.64	c separating/flowcover/freq = -1
2.59/2.64	c 
2.59/2.64	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.64	c separating/rapidlearning/freq = 0
2.59/2.64	c 
2.59/2.64	c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
2.59/2.64	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.64	c heuristics/indoneopt/freq = -1
2.59/2.64	c 
2.59/2.64	c -----------------------------------------------------------------------------------------------
2.59/2.64	c start solving
2.59/2.65	c 
3.29/3.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.29/3.32	c   3.3s|     1 |     0 |  2612 |     - | 163M|   0 |1997 |  19k|  20k|  19k|  37k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.79/5.89	c   5.9s|     1 |     0 |  7535 |     - | 165M|   0 |3182 |  19k|  20k|  19k|  39k|1748 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.88/8.95	c   9.0s|     1 |     0 | 14188 |     - | 166M|   0 |4235 |  19k|  20k|  19k|  41k|3748 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.19/18.25	c  18.2s|     1 |     0 | 24885 |     - | 168M|   0 |5513 |  19k|  20k|  19k|  43k|5748 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
30.69/30.77	c  30.8s|     1 |     0 | 36258 |     - | 170M|   0 |6570 |  19k|  20k|  19k|  45k|7748 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
38.99/39.06	c  39.1s|     1 |     0 | 45823 |     - | 173M|   0 |6992 |  19k|  20k|  19k|  47k|9748 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
67.78/67.88	c  67.9s|     1 |     2 | 45823 |     - | 173M|   0 |6992 |  19k|  20k|  19k|  47k|9748 |   0 |  29 | 0.000000e+00 |      --      |    Inf 
386.73/386.86	c   387s|   100 |    95 |145280 |1004.6 | 178M|  67 |1236 |  19k|  19k|  19k|  43k|  14k|   2 | 327 | 0.000000e+00 |      --      |    Inf 
407.23/407.36	c   407s|   200 |    44 |156715 | 557.2 | 178M| 104 |1672 |  19k|  19k|  19k|  42k|  15k|  15 | 356 | 0.000000e+00 |      --      |    Inf 
420.72/420.82	c   421s|   300 |   138 |165365 | 399.8 | 180M| 104 |1319 |  19k|  19k|  19k|  42k|  16k|  20 | 372 | 0.000000e+00 |      --      |    Inf 
472.62/472.77	c   473s|   400 |   208 |197872 | 381.1 | 182M| 104 | 652 |  19k|  19k|  19k|  42k|  18k|  54 | 412 | 0.000000e+00 |      --      |    Inf 
526.10/526.21	c   526s|   500 |   247 |231618 | 372.3 | 183M| 138 | 651 |  19k|  20k|  19k|  42k|  19k| 159 | 499 | 0.000000e+00 |      --      |    Inf 
578.60/578.77	c   579s|   600 |   248 |264117 | 364.4 | 183M| 138 | 611 |  19k|  20k|  19k|  42k|  21k| 288 | 563 | 0.000000e+00 |      --      |    Inf 
590.10/590.29	c   590s|   700 |   184 |271379 | 322.7 | 182M| 138 | 974 |  19k|  20k|  19k|  42k|  21k| 408 | 579 | 0.000000e+00 |      --      |    Inf 
640.10/640.21	c   640s|   800 |   210 |301435 | 319.9 | 183M| 138 | 973 |  19k|  20k|  19k|  42k|  23k| 478 | 659 | 0.000000e+00 |      --      |    Inf 
734.16/734.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
734.16/734.31	c   734s|   900 |   230 |357477 | 346.7 | 183M| 138 | 910 |  19k|  20k|  19k|  42k|  25k| 585 | 771 | 0.000000e+00 |      --      |    Inf 
752.16/752.40	c   752s|  1000 |   265 |370748 | 325.3 | 184M| 138 | 938 |  19k|  20k|  19k|  42k|  27k| 654 | 817 | 0.000000e+00 |      --      |    Inf 
776.36/776.57	c   777s|  1100 |   314 |385977 | 309.5 | 185M| 138 | 845 |  19k|  20k|  19k|  42k|  28k| 713 | 903 | 0.000000e+00 |      --      |    Inf 
817.75/817.95	c   818s|  1200 |   343 |410326 | 304.0 | 186M| 138 | 916 |  19k|  20k|  19k|  42k|  29k| 835 | 979 | 0.000000e+00 |      --      |    Inf 
851.05/851.25	c   851s|  1300 |   390 |433644 | 298.6 | 187M| 138 |   - |  19k|  20k|   0 |   0 |  31k| 894 |1025 | 0.000000e+00 |      --      |    Inf 
875.94/876.16	c   876s|  1400 |   429 |451215 | 289.8 | 189M| 138 |1257 |  19k|  20k|  19k|  42k|  32k| 971 |1041 | 0.000000e+00 |      --      |    Inf 
886.24/886.43	c   886s|  1500 |   415 |459172 | 275.7 | 188M| 138 |1449 |  19k|  20k|  19k|  42k|  33k|1083 |1041 | 0.000000e+00 |      --      |    Inf 
907.03/907.20	c   907s|  1600 |   430 |471094 | 266.0 | 189M| 138 | 912 |  19k|  21k|  19k|  42k|  33k|1193 |1126 | 0.000000e+00 |      --      |    Inf 
931.03/931.23	c   931s|  1700 |   433 |485143 | 258.6 | 189M| 138 | 948 |  19k|  21k|  19k|  42k|  34k|1284 |1225 | 0.000000e+00 |      --      |    Inf 
952.43/952.64	c   953s|  1800 |   459 |498547 | 251.7 | 190M| 138 | 933 |  19k|  21k|  19k|  42k|  35k|1345 |1292 | 0.000000e+00 |      --      |    Inf 
969.42/969.65	c   970s|  1900 |   462 |508478 | 243.6 | 190M| 138 |1589 |  19k|  21k|  19k|  42k|  36k|1426 |1355 | 0.000000e+00 |      --      |    Inf 
994.02/994.20	c   994s|  2000 |   506 |523450 | 238.9 | 191M| 138 | 993 |  19k|  21k|  19k|  42k|  37k|1476 |1453 | 0.000000e+00 |      --      |    Inf 
1001.22/1001.42	c  1001s|  2100 |   519 |525923 | 228.7 | 191M| 138 |   - |  19k|  21k|   0 |   0 |  37k|1543 |1463 | 0.000000e+00 |      --      |    Inf 
1009.12/1009.39	c  1009s|  2200 |   522 |529099 | 219.8 | 191M| 138 | 823 |  19k|  21k|  19k|  42k|  37k|1646 |1473 | 0.000000e+00 |      --      |    Inf 
1018.21/1018.47	c  1018s|  2300 |   515 |532122 | 211.5 | 191M| 138 | 893 |  19k|  21k|  19k|  42k|  37k|1747 |1490 | 0.000000e+00 |      --      |    Inf 
1028.52/1028.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1028.52/1028.77	c  1029s|  2400 |   523 |536199 | 204.4 | 191M| 138 |1008 |  19k|  21k|  19k|  42k|  38k|1850 |1515 | 0.000000e+00 |      --      |    Inf 
1044.01/1044.28	c  1044s|  2500 |   498 |544586 | 199.6 | 191M| 138 |   - |  19k|  21k|   0 |   0 |  38k|1949 |1578 | 0.000000e+00 |      --      |    Inf 
1070.41/1070.68	c  1071s|  2600 |   481 |559938 | 197.8 | 191M| 138 |1169 |  19k|  21k|  19k|  42k|  40k|2047 |1698 | 0.000000e+00 |      --      |    Inf 
1089.81/1090.04	c  1090s|  2700 |   479 |570209 | 194.3 | 191M| 138 |   - |  19k|  21k|   0 |   0 |  40k|2185 |1791 | 0.000000e+00 |      --      |    Inf 
1111.81/1112.03	c  1112s|  2800 |   492 |582929 | 191.9 | 191M| 138 | 710 |  19k|  21k|  19k|  42k|  41k|2346 |1893 | 0.000000e+00 |      --      |    Inf 
1132.00/1132.29	c  1132s|  2900 |   487 |592503 | 188.6 | 191M| 138 | 841 |  19k|  21k|  19k|  42k|  42k|2568 |2000 | 0.000000e+00 |      --      |    Inf 
1154.80/1155.06	c  1155s|  3000 |   472 |605794 | 186.7 | 191M| 138 |1193 |  19k|  21k|  19k|  42k|  42k|2741 |2098 | 0.000000e+00 |      --      |    Inf 
1181.29/1181.51	c  1182s|  3100 |   433 |622523 | 186.1 | 190M| 138 | 959 |  19k|  21k|  19k|  42k|  43k|2888 |2215 | 0.000000e+00 |      --      |    Inf 
1205.39/1205.66	c  1206s|  3200 |   428 |635190 | 184.2 | 190M| 138 |1357 |  19k|  21k|  19k|  42k|  44k|3019 |2345 | 0.000000e+00 |      --      |    Inf 
1228.18/1228.47	c  1228s|  3300 |   424 |649704 | 183.0 | 190M| 138 |1102 |  19k|  21k|  19k|  42k|  45k|3123 |2436 | 0.000000e+00 |      --      |    Inf 
1247.88/1248.11	c  1248s|  3400 |   367 |659470 | 180.5 | 189M| 138 |1197 |  19k|  21k|  19k|  42k|  46k|3232 |2526 | 0.000000e+00 |      --      |    Inf 
1268.78/1269.00	c  1269s|  3500 |   310 |669051 | 178.1 | 187M| 138 | 918 |  19k|  20k|  19k|  42k|  46k|3358 |2639 | 0.000000e+00 |      --      |    Inf 
1287.47/1287.78	c  1288s|  3600 |   301 |678634 | 175.8 | 187M| 138 |1149 |  19k|  20k|  19k|  42k|  47k|3493 |2725 | 0.000000e+00 |      --      |    Inf 
1305.27/1305.56	c  1306s|  3700 |   308 |686803 | 173.3 | 187M| 138 |1317 |  19k|  21k|  19k|  42k|  48k|3631 |2819 | 0.000000e+00 |      --      |    Inf 
1319.27/1319.53	c  1320s|  3800 |   299 |694172 | 170.7 | 187M| 138 |   - |  19k|  21k|   0 |   0 |  48k|3727 |2873 | 0.000000e+00 |      --      |    Inf 
1331.17/1331.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1331.17/1331.49	c  1331s|  3900 |   303 |699851 | 167.7 | 187M| 138 |1303 |  19k|  21k|  19k|  42k|  49k|3830 |2898 | 0.000000e+00 |      --      |    Inf 
1352.47/1352.74	c  1353s|  4000 |   302 |711617 | 166.5 | 187M| 138 |   - |  19k|  21k|   0 |   0 |  49k|3948 |2996 | 0.000000e+00 |      --      |    Inf 
1376.66/1376.98	c  1377s|  4100 |   307 |723320 | 165.3 | 188M| 138 |   - |  19k|  21k|   0 |   0 |  50k|4053 |3132 | 0.000000e+00 |      --      |    Inf 
1397.36/1397.63	c  1398s|  4200 |   306 |734099 | 163.9 | 188M| 138 |   - |  19k|  21k|   0 |   0 |  51k|4175 |3222 | 0.000000e+00 |      --      |    Inf 
1420.65/1420.99	c  1421s|  4300 |   290 |748172 | 163.4 | 187M| 138 |1477 |  19k|  21k|  19k|  42k|  52k|4320 |3323 | 0.000000e+00 |      --      |    Inf 
1448.65/1448.97	c  1449s|  4400 |   285 |767085 | 164.0 | 187M| 138 |1005 |  19k|  21k|  19k|  42k|  53k|4455 |3441 | 0.000000e+00 |      --      |    Inf 
1470.84/1471.19	c  1471s|  4500 |   308 |779789 | 163.1 | 187M| 138 |1058 |  19k|  21k|  19k|  42k|  54k|4537 |3535 | 0.000000e+00 |      --      |    Inf 
1487.05/1487.36	c  1487s|  4600 |   322 |789003 | 161.6 | 188M| 138 |   - |  19k|  21k|   0 |   0 |  55k|4642 |3577 | 0.000000e+00 |      --      |    Inf 
1504.14/1504.48	c  1504s|  4700 |   297 |798471 | 160.2 | 187M| 138 |   - |  19k|  21k|   0 |   0 |  55k|4738 |3640 | 0.000000e+00 |      --      |    Inf 
1526.55/1526.81	c  1527s|  4800 |   307 |812308 | 159.7 | 187M| 138 |1008 |  19k|  20k|  19k|  42k|  56k|4853 |3724 | 0.000000e+00 |      --      |    Inf 
1554.72/1555.07	c  1555s|  4900 |   300 |829459 | 160.0 | 187M| 138 |1458 |  19k|  20k|  19k|  42k|  58k|4975 |3847 | 0.000000e+00 |      --      |    Inf 
1574.94/1575.28	c  1575s|  5000 |   325 |844037 | 159.7 | 187M| 138 |1698 |  19k|  20k|  19k|  42k|  59k|5075 |3905 | 0.000000e+00 |      --      |    Inf 
1599.52/1599.81	c  1600s|  5100 |   309 |856587 | 159.0 | 187M| 138 |1525 |  19k|  20k|  19k|  42k|  60k|5197 |4044 | 0.000000e+00 |      --      |    Inf 
1615.42/1615.73	c  1616s|  5200 |   306 |866295 | 157.8 | 187M| 138 |1020 |  19k|  21k|  19k|  42k|  60k|5328 |4093 | 0.000000e+00 |      --      |    Inf 
1632.91/1633.24	c  1633s|  5300 |   304 |875222 | 156.5 | 187M| 138 |   - |  19k|  21k|   0 |   0 |  61k|5456 |4175 | 0.000000e+00 |      --      |    Inf 
1652.41/1652.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1652.41/1652.74	c  1653s|  5400 |   302 |886929 | 155.8 | 187M| 138 | 927 |  19k|  21k|  19k|  42k|  62k|5596 |4247 | 0.000000e+00 |      --      |    Inf 
1671.91/1672.29	c  1672s|  5500 |   292 |899134 | 155.2 | 187M| 138 |   - |  19k|  21k|   0 |   0 |  63k|5726 |4327 | 0.000000e+00 |      --      |    Inf 
1695.11/1695.48	c  1695s|  5600 |   292 |913864 | 155.0 | 187M| 138 |1323 |  19k|  21k|  19k|  42k|  64k|5849 |4426 | 0.000000e+00 |      --      |    Inf 
1716.81/1717.11	c  1717s|  5700 |   287 |928423 | 154.9 | 187M| 138 |1063 |  19k|  21k|  19k|  42k|  65k|5988 |4504 | 0.000000e+00 |      --      |    Inf 
1736.20/1736.58	c  1737s|  5800 |   283 |939850 | 154.2 | 187M| 138 |1105 |  19k|  21k|  19k|  42k|  66k|6115 |4598 | 0.000000e+00 |      --      |    Inf 
1758.39/1758.78	c  1759s|  5900 |   285 |954632 | 154.1 | 187M| 138 |   - |  19k|  21k|   0 |   0 |  67k|6270 |4684 | 0.000000e+00 |      --      |    Inf 
1775.10/1775.49	c  1775s|  6000 |   282 |965957 | 153.4 | 187M| 138 |1336 |  19k|  21k|  19k|  42k|  68k|6430 |4733 | 0.000000e+00 |      --      |    Inf 
1796.49/1796.85	c  1797s|  6100 |   289 |976879 | 152.7 | 187M| 138 |1101 |  19k|  21k|  19k|  42k|  69k|6583 |4863 | 0.000000e+00 |      --      |    Inf 
1796.69/1797.03	c 
1796.69/1797.03	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.03	c Solving Time (sec) : 1797.03
1796.69/1797.03	c Solving Nodes      : 6102
1796.69/1797.03	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.69/1797.03	c Dual Bound         : +0.00000000000000e+00
1796.69/1797.03	c Gap                : infinite
1796.69/1797.03	s UNKNOWN
1796.69/1797.03	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.03	c Total Time         :    1797.03
1796.69/1797.03	c   solving          :    1797.03
1796.69/1797.03	c   presolving       :       2.34 (included in solving)
1796.69/1797.03	c   reading          :       0.18 (included in solving)
1796.69/1797.03	c   copying          :       0.00 (0 times copied the problem)
1796.69/1797.03	c Original Problem   :
1796.69/1797.03	c   Problem name     : HOME/instance-3691677-1338029241.opb
1796.69/1797.03	c   Variables        : 21380 (21380 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.03	c   Constraints      : 60984 initial, 60984 maximal
1796.69/1797.03	c   Objective sense  : minimize
1796.69/1797.03	c Presolved Problem  :
1796.69/1797.03	c   Problem name     : t_HOME/instance-3691677-1338029241.opb
1796.69/1797.03	c   Variables        : 19684 (19684 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.03	c   Constraints      : 20709 initial, 21866 maximal
1796.69/1797.03	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.69/1797.03	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   trivial          :       0.03       0.00          6          0          0          0          0          0          0          0          0
1796.69/1797.03	c   dualfix          :       0.02       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   gateextraction   :       0.22       0.00          0          0          0          0          0      55453      18482          0          0
1796.69/1797.03	c   implics          :       0.15       0.00          0       1048          0          0          0          0          0          0          0
1796.69/1797.03	c   components       :       0.02       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   probing          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   knapsack         :       0.03       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   setppc           :       0.10       0.00          0          0          0          0          0         16          0          0          0
1796.69/1797.03	c   and              :       0.66       0.00          2        298          0          0          0       1529       1483          0          2
1796.69/1797.03	c   linear           :       0.90       0.03        337          5          0        337          0       3235          0       1078       2254
1796.69/1797.03	c   logicor          :       0.08       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   root node        :          -          -        725          -          -        725          -          -          -          -          -
1796.69/1797.03	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.03	c   integral         :          0          0          0          0       5119          0          1          0          5       1268          0          0       9544
1796.69/1797.03	c   knapsack         :       2156       2156          5      47981          0          0          0      41356       1135     234867       1001          0          0
1796.69/1797.03	c   setppc           :       1608       1608          5      46846          0          0          0      33294        183      34808          0          0          0
1796.69/1797.03	c   and              :      16938      16938       4784      46663          0          0          0     148480        723     403247     340856          0          0
1796.69/1797.03	c   logicor          :          7+      1981          5      19658          0          0          0      38870        342      13928          0          0          0
1796.69/1797.03	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.69/1797.03	c   integral         :     829.96       0.00       0.00       0.00     829.96       0.00       0.00       0.00
1796.69/1797.03	c   knapsack         :       3.34       0.00       0.02       3.29       0.00       0.00       0.00       0.04
1796.69/1797.03	c   setppc           :       0.62       0.00       0.00       0.59       0.00       0.00       0.00       0.02
1796.69/1797.03	c   and              :      10.45       0.00       7.16       3.20       0.00       0.00       0.00       0.08
1796.69/1797.03	c   logicor          :       0.47       0.00       0.00       0.42       0.00       0.00       0.00       0.05
1796.69/1797.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.69/1797.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.69/1797.03	c   rootredcost      :          0          0          0          0
1796.69/1797.03	c   pseudoobj        :          0          0          0          0
1796.69/1797.03	c   vbounds          :          0          0          0          0
1796.69/1797.03	c   redcost          :       8821          0          0          0
1796.69/1797.03	c   probing          :          0          0          0          0
1796.69/1797.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.69/1797.03	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00
1796.69/1797.03	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00
1796.69/1797.03	c   vbounds          :       0.02       0.00       0.00       0.01       0.00
1796.69/1797.03	c   redcost          :       7.96       0.00       0.00       7.96       0.00
1796.69/1797.03	c   probing          :       0.00       0.00       0.00       0.00       0.00
1796.69/1797.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.69/1797.03	c   propagation      :       0.37       2383       2383      21633       27.2        332       20.9          -
1796.69/1797.03	c   infeasible LP    :       0.54         82         82        392       22.5          9       20.9          0
1796.69/1797.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.69/1797.03	c   applied globally :          -          -          -       6583       20.4          -          -          -
1796.69/1797.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.69/1797.03	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.69/1797.03	c   cut pool         :       0.00                     4          -          -       1274          -    (maximal pool size: 17795)
1796.69/1797.03	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c   impliedbounds    :       0.08       0.00          5          0          0      32101          0
1796.69/1797.03	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c   gomory           :       0.09       0.00          1          0          0         50          0
1796.69/1797.03	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c   strongcg         :       0.25       0.00          1          0          0        500          0
1796.69/1797.03	c   cmir             :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c   flowcover        :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c   clique           :       0.54       0.00          1          0          0          9          0
1796.69/1797.03	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c   mcf              :       0.05       0.00          1          0          0          0          0
1796.69/1797.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.69/1797.03	c   problem variables:       0.00          -          0          0
1796.69/1797.03	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.03	c   relpscost        :     829.94       0.00       5119          5       1268          0          0       9544
1796.69/1797.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.69/1797.03	c   LP solutions     :       0.00          -          -          0
1796.69/1797.03	c   pseudo solutions :       0.00          -          -          0
1796.69/1797.03	c   smallcard        :       0.00       0.00          0          0
1796.69/1797.03	c   trivial          :       0.02       0.00          1          0
1796.69/1797.03	c   shiftandpropagate:       0.00       0.00          0          0
1796.69/1797.03	c   simplerounding   :       0.00       0.00          0          0
1796.69/1797.03	c   zirounding       :       0.00       0.00          0          0
1796.69/1797.03	c   rounding         :       0.00       0.00          0          0
1796.69/1797.03	c   shifting         :       0.00       0.00          0          0
1796.69/1797.03	c   intshifting      :       0.00       0.00          0          0
1796.69/1797.03	c   oneopt           :       0.00       0.00          0          0
1796.69/1797.03	c   twoopt           :       0.00       0.00          0          0
1796.69/1797.03	c   indtwoopt        :       0.00       0.00          0          0
1796.69/1797.03	c   indoneopt        :       0.00       0.00          0          0
1796.69/1797.03	c   fixandinfer      :       0.00       0.00          0          0
1796.69/1797.03	c   feaspump         :       0.00       0.00          0          0
1796.69/1797.03	c   clique           :       0.00       0.00          0          0
1796.69/1797.03	c   indrounding      :       0.00       0.00          0          0
1796.69/1797.03	c   indcoefdiving    :       0.00       0.00          0          0
1796.69/1797.03	c   coefdiving       :       0.00       0.00          0          0
1796.69/1797.03	c   pscostdiving     :       0.00       0.00          0          0
1796.69/1797.03	c   nlpdiving        :       0.00       0.00          0          0
1796.69/1797.03	c   fracdiving       :       0.00       0.00          0          0
1796.69/1797.03	c   veclendiving     :       0.00       0.00          0          0
1796.69/1797.03	c   intdiving        :       0.00       0.00          0          0
1796.69/1797.03	c   actconsdiving    :       0.00       0.00          0          0
1796.69/1797.03	c   objpscostdiving  :       0.00       0.00          0          0
1796.69/1797.03	c   rootsoldiving    :       0.00       0.00          0          0
1796.69/1797.03	c   linesearchdiving :       0.00       0.00          0          0
1796.69/1797.03	c   guideddiving     :       0.00       0.00          0          0
1796.69/1797.03	c   octane           :       0.00       0.00          0          0
1796.69/1797.03	c   rens             :       0.00       0.00          0          0
1796.69/1797.03	c   rins             :       0.00       0.00          0          0
1796.69/1797.03	c   localbranching   :       0.00       0.00          0          0
1796.69/1797.03	c   mutation         :       0.00       0.00          0          0
1796.69/1797.03	c   crossover        :       0.00       0.00          0          0
1796.69/1797.03	c   dins             :       0.00       0.00          0          0
1796.69/1797.03	c   vbounds          :       0.00       0.00          0          0
1796.69/1797.03	c   undercover       :       0.00       0.00          0          0
1796.69/1797.03	c   subnlp           :       0.00       0.00          0          0
1796.69/1797.03	c   trysol           :       0.00       0.00          0          0
1796.69/1797.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.69/1797.03	c   primal LP        :       0.03          1          0       0.00       0.00       0.03          1
1796.69/1797.03	c   dual LP          :     825.01       8904     976994     109.80    1184.22       0.09          6
1796.69/1797.03	c   lex dual LP      :       0.00          0          0       0.00          -
1796.69/1797.03	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.69/1797.03	c   diving/probing LP:       0.00          0          0       0.00          -
1796.69/1797.03	c   strong branching :     825.74       4863     612672     125.99     741.97
1796.69/1797.03	c     (at root node) :          -         29      24144     832.55          -
1796.69/1797.03	c   conflict analysis:       0.00          0          0       0.00          -
1796.69/1797.03	c B&B Tree           :
1796.69/1797.03	c   number of runs   :          1
1796.69/1797.03	c   nodes            :       6102
1796.69/1797.03	c   nodes (total)    :       6102
1796.69/1797.03	c   nodes left       :        291
1796.69/1797.03	c   max depth        :        138
1796.69/1797.03	c   max depth (total):        138
1796.69/1797.03	c   backtracks       :       1346 (22.1%)
1796.69/1797.03	c   delayed cutoffs  :       3152
1796.69/1797.03	c   repropagations   :       8020 (215255 domain reductions, 1213 cutoffs)
1796.69/1797.03	c   avg switch length:       5.05
1796.69/1797.03	c   switching time   :       7.51
1796.69/1797.03	c Solution           :
1796.69/1797.03	c   Solutions found  :          0 (0 improvements)
1796.69/1797.03	c   Primal Bound     :          -
1796.69/1797.03	c   Dual Bound       : +0.00000000000000e+00
1796.69/1797.03	c   Gap              :   infinite
1796.69/1797.03	c   Root Dual Bound  : +0.00000000000000e+00
1796.69/1797.03	c   Root Iterations  :      45823
1797.00/1797.34	c Time complete: 1797.04.

Verifier Data 

ERROR: no interpretation found !

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-3691677-1338029241/watcher-3691677-1338029241 -o /tmp/evaluation-result-3691677-1338029241/solver-3691677-1338029241 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691677-1338029241.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.01 2.00 2.00 3/174 15796
/proc/meminfo: memFree=27159004/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=12028 CPUtime=0 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 1739 0 0 0 0 0 0 0 20 0 1 0 269050011 12316672 1694 33554432000 4194304 10219143 140735771018944 140736762193752 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 3007 1700 398 1471 0 1527 0

[startup+0.05916 s]
/proc/loadavg: 2.01 2.00 2.00 3/174 15796
/proc/meminfo: memFree=27159004/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=28984 CPUtime=0.05 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 6002 0 0 0 4 1 0 0 20 0 1 0 269050011 29679616 5957 33554432000 4194304 10219143 140735771018944 140735770884120 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 7246 5957 419 1471 0 5766 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28984

[startup+0.100355 s]
/proc/loadavg: 2.01 2.00 2.00 3/174 15796
/proc/meminfo: memFree=27159004/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=38480 CPUtime=0.09 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 8374 0 0 0 8 1 0 0 20 0 1 0 269050011 39403520 8329 33554432000 4194304 10219143 140735771018944 140735770884120 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 9620 8329 419 1471 0 8140 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38480

[startup+0.300321 s]
/proc/loadavg: 2.01 2.00 2.00 3/174 15796
/proc/meminfo: memFree=27159004/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=116200 CPUtime=0.29 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 27758 0 0 0 24 5 0 0 20 0 1 0 269050011 118988800 27640 33554432000 4194304 10219143 140735771018944 140735770884120 7589947 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 29050 27670 482 1471 0 27570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 116200

[startup+0.700315 s]
/proc/loadavg: 2.01 2.00 2.00 3/174 15796
/proc/meminfo: memFree=27159004/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=158884 CPUtime=0.69 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 37695 0 0 0 61 8 0 0 20 0 1 0 269050011 162697216 37576 33554432000 4194304 10219143 140735771018944 140735771015944 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 39721 37576 567 1471 0 38241 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 158884

[startup+1.50032 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 15797
/proc/meminfo: memFree=26998936/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=185168 CPUtime=1.48 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 48034 0 0 0 129 19 0 0 20 0 1 0 269050011 189612032 44182 33554432000 4194304 10219143 140735771018944 140735771015944 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 47046 44202 582 1471 0 45566 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 185168

[startup+3.10032 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 15797
/proc/meminfo: memFree=26966616/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=285304 CPUtime=3.08 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 68453 0 0 0 277 31 0 0 20 0 1 0 269050011 292151296 67979 33554432000 4194304 10219143 140735771018944 140735771016184 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 71326 67979 757 1471 0 69846 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 285304

[startup+6.30025 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 15797
/proc/meminfo: memFree=26880344/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=293224 CPUtime=6.29 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 71221 0 0 0 589 40 0 0 20 0 1 0 269050011 300261376 70541 33554432000 4194304 10219143 140735771018944 140735771012296 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 73306 70541 799 1471 0 71826 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 293224

[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 15797
/proc/meminfo: memFree=26851516/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=307156 CPUtime=12.69 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 74135 0 0 0 1226 43 0 0 20 0 1 0 269050011 314527744 74366 33554432000 4194304 10219143 140735771018944 140735771012200 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 76789 74366 799 1471 0 75309 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 307156

[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 15797
/proc/meminfo: memFree=26832264/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=319768 CPUtime=25.48 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 76243 0 0 0 2503 45 0 0 20 0 1 0 269050011 327442432 76936 33554432000 4194304 10219143 140735771018944 140735771012200 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 79942 76936 801 1471 0 78462 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 319768

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15798
/proc/meminfo: memFree=26815184/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=329244 CPUtime=51.08 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 84460 0 0 0 5055 53 0 0 20 0 1 0 269050011 337145856 80262 33554432000 4194304 10219143 140735771018944 140735771012776 8056881 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 82311 80262 804 1471 0 80831 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 329244

[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 15798
/proc/meminfo: memFree=26821072/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=319940 CPUtime=102.28 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 96717 0 0 0 10161 67 0 0 20 0 1 0 269050011 327618560 77685 33554432000 4194304 10219143 140735771018944 140735771012488 8056852 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 79985 77685 807 1471 0 78505 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 319940

[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 15801
/proc/meminfo: memFree=26813120/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=319940 CPUtime=162.26 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 96717 0 0 0 16146 80 0 0 20 0 1 0 269050011 327618560 77685 33554432000 4194304 10219143 140735771018944 140735771011656 8091501 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 79985 77685 807 1471 0 78505 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 319940

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 15801
/proc/meminfo: memFree=26810208/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=324480 CPUtime=222.26 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 103580 0 0 0 22137 89 0 0 20 0 1 0 269050011 332267520 78418 33554432000 4194304 10219143 140735771018944 140735771012488 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 81120 78418 808 1471 0 79640 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 324480

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 15801
/proc/meminfo: memFree=26802664/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=327944 CPUtime=282.25 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 138228 0 0 0 28121 104 0 0 20 0 1 0 269050011 335814656 79955 33554432000 4194304 10219143 140735771018944 140735771012392 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 81986 79955 808 1471 0 80506 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 327944

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 15801
/proc/meminfo: memFree=26791944/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=331484 CPUtime=342.24 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 152683 0 0 0 34109 115 0 0 20 0 1 0 269050011 339439616 80485 33554432000 4194304 10219143 140735771018944 140735771012200 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 82871 80485 811 1471 0 81391 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 331484

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15802
/proc/meminfo: memFree=26783276/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=336908 CPUtime=402.23 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 157753 0 0 0 40095 128 0 0 20 0 1 0 269050011 344993792 81433 33554432000 4194304 10219143 140735771018944 140735771015400 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 84227 81433 814 1471 0 82747 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 336908

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15802
/proc/meminfo: memFree=26777720/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=339292 CPUtime=462.21 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 188735 0 0 0 46078 143 0 0 20 0 1 0 269050011 347435008 82809 33554432000 4194304 10219143 140735771018944 140735771011464 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 84823 82809 814 1471 0 83343 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 339292

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15802
/proc/meminfo: memFree=26768072/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=344956 CPUtime=522.2 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 197736 0 0 0 52065 155 0 0 20 0 1 0 269050011 353234944 84279 33554432000 4194304 10219143 140735771018944 140735771012584 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 86239 84279 814 1471 0 84759 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 344956

[startup+582.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/175 15802
/proc/meminfo: memFree=26771076/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=343264 CPUtime=582.2 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 235601 0 0 0 58049 171 0 0 20 0 1 0 269050011 351502336 83495 33554432000 4194304 10219143 140735771018944 140735771012616 5184847 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 85816 83495 814 1471 0 84336 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 343264

[startup+642.3 s]

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

/proc/meminfo: memFree=26729432/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=364652 CPUtime=1062.1 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 344698 0 0 0 105935 275 0 0 20 0 1 0 269050011 373403648 89683 33554432000 4194304 10219143 140735771018944 140735771012072 8077308 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 91163 89683 814 1471 0 89683 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 364652

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 15829
/proc/meminfo: memFree=26725648/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=368448 CPUtime=1122.1 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 345057 0 0 0 111926 284 0 0 20 0 1 0 269050011 377290752 90553 33554432000 4194304 10219143 140735771018944 140735771012856 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 92112 90553 814 1471 0 90632 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 368448

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 15829
/proc/meminfo: memFree=26706912/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=376108 CPUtime=1182.09 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 346541 0 0 0 117915 294 0 0 20 0 1 0 269050011 385134592 92548 33554432000 4194304 10219143 140735771018944 140735771012584 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 94027 92548 814 1471 0 92547 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 376108

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 15829
/proc/meminfo: memFree=26700648/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=381708 CPUtime=1242.08 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 347420 0 0 0 123904 304 0 0 20 0 1 0 269050011 390868992 93938 33554432000 4194304 10219143 140735771018944 140735771011928 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 95427 93938 814 1471 0 93947 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 381708

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15830
/proc/meminfo: memFree=26697672/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=383804 CPUtime=1302.08 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 347984 0 0 0 129896 312 0 0 20 0 1 0 269050011 393015296 94502 33554432000 4194304 10219143 140735771018944 140735771012408 8091165 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 95951 94502 814 1471 0 94471 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 383804

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15833
/proc/meminfo: memFree=26696408/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=385240 CPUtime=1362.06 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 348315 0 0 0 135885 321 0 0 20 0 1 0 269050011 394485760 94833 33554432000 4194304 10219143 140735771018944 140735771014312 7705928 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 96310 94833 814 1471 0 94830 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 385240

[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 15833
/proc/meminfo: memFree=26693952/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=387616 CPUtime=1422.06 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 348936 0 0 0 141875 331 0 0 20 0 1 0 269050011 396918784 95454 33554432000 4194304 10219143 140735771018944 140735771012776 8091139 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 96904 95454 814 1471 0 95424 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 387616

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 15833
/proc/meminfo: memFree=26695004/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=388600 CPUtime=1482.04 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 351865 0 0 0 147863 341 0 0 20 0 1 0 269050011 397926400 95190 33554432000 4194304 10219143 140735771018944 140735771011656 8091364 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 97150 95190 814 1471 0 95670 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 388600

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 15833
/proc/meminfo: memFree=26689980/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=393468 CPUtime=1542.04 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 352605 0 0 0 153853 351 0 0 20 0 1 0 269050011 402911232 96441 33554432000 4194304 10219143 140735771018944 140735771012120 5184115 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 98367 96441 814 1471 0 96887 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 393468

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 15834
/proc/meminfo: memFree=26678960/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=394124 CPUtime=1602.02 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 356249 0 0 0 159840 362 0 0 20 0 1 0 269050011 403582976 97055 33554432000 4194304 10219143 140735771018944 140735771012392 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 98531 97055 814 1471 0 97051 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 394124

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 15834
/proc/meminfo: memFree=26676852/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=395840 CPUtime=1662.01 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 356686 0 0 0 165829 372 0 0 20 0 1 0 269050011 405340160 97492 33554432000 4194304 10219143 140735771018944 140735771015416 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 98960 97492 814 1471 0 97480 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 395840

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 15872
/proc/meminfo: memFree=27839416/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=396500 CPUtime=1722 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 362480 0 0 0 171817 383 0 0 20 0 1 0 269050011 406016000 97647 33554432000 4194304 10219143 140735771018944 140735771012584 7946393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 99125 97647 814 1471 0 97645 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 396500

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15872
/proc/meminfo: memFree=27838176/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=396500 CPUtime=1781.99 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 362507 0 0 0 177805 394 0 0 20 0 1 0 269050011 406016000 97674 33554432000 4194304 10219143 140735771018944 140735771012776 7976179 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 99125 97674 814 1471 0 97645 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 396500

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15872
/proc/meminfo: memFree=27838176/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=396500 CPUtime=1785.19 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 362507 0 0 0 178124 395 0 0 20 0 1 0 269050011 406016000 97674 33554432000 4194304 10219143 140735771018944 140735771012200 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 99125 97674 814 1471 0 97645 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 396500

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15872
/proc/meminfo: memFree=27838176/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=396500 CPUtime=1791.6 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 362507 0 0 0 178764 396 0 0 20 0 1 0 269050011 406016000 97674 33554432000 4194304 10219143 140735771018944 140735771012584 7955910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 99125 97674 814 1471 0 97645 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 396500

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15872
/proc/meminfo: memFree=27838176/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=396500 CPUtime=1794.79 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 362507 0 0 0 179083 396 0 0 20 0 1 0 269050011 406016000 97674 33554432000 4194304 10219143 140735771018944 140735771012776 8077277 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 99125 97674 814 1471 0 97645 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 396500

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15872
/proc/meminfo: memFree=27838176/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=396500 CPUtime=1796.39 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 362507 0 0 0 179242 397 0 0 20 0 1 0 269050011 406016000 97674 33554432000 4194304 10219143 140735771018944 140735771012200 7931871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 99125 97674 814 1471 0 97645 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 396500

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15872
/proc/meminfo: memFree=27838176/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=396500 CPUtime=1796.79 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 362513 0 0 0 179282 397 0 0 20 0 1 0 269050011 406016000 97680 33554432000 4194304 10219143 140735771018944 140735771012200 5156863 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 99125 97680 820 1471 0 97645 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 396500

[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15872
/proc/meminfo: memFree=27857148/32873852 swapFree=6848/6848
[pid=15796] ppid=15794 vsize=351948 CPUtime=1797 cores=1,3,5,7
/proc/15796/stat : 15796 (scip-2.1.1.4exp) R 15794 15796 14323 0 -1 4202496 362516 0 0 0 179302 398 0 0 20 0 1 0 269050011 360394752 87175 33554432000 4194304 10219143 140735771018944 140735771012200 5542271 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15796/statm: 87987 87175 823 1471 0 86507 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 351948

Child status: 0
Real time (s): 1797.35
CPU time (s): 1797.05
CPU user time (s): 1793.05
CPU system time (s): 3.99439
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 399024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.05
system time used= 3.99439
maximum resident set size= 392852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362529
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= 30
involuntary context switches= 1876

runsolver used 3.20951 second user time and 8.77467 second system time

The end

Launcher Data 

Begin job on node128 at 2012-05-26 12:47:21
IDJOB=3691677
IDBENCH=1488
IDSOLVER=2271
FILE ID=node128/3691677-1338029241
RUNJOBID= node128-1338017079-14340
PBS_JOBID= 14624370
Free space on /tmp= 71220 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/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.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-3691677-1338029241/watcher-3691677-1338029241 -o /tmp/evaluation-result-3691677-1338029241/solver-3691677-1338029241 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691677-1338029241.opb -t 1800 -m 15500

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

MD5SUM BENCH= b2fe1642a1ae97e0b20cfe37f07bcc49
RANDOM SEED=725875121

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:        27159532 kB
Buffers:          279664 kB
Cached:          3504048 kB
SwapCached:            0 kB
Active:          2022088 kB
Inactive:        2904320 kB
Active(anon):    1145532 kB
Inactive(anon):        0 kB
Active(file):     876556 kB
Inactive(file):  2904320 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             15512 kB
Writeback:             8 kB
AnonPages:       1149660 kB
Mapped:            17432 kB
Shmem:               204 kB
Slab:             648220 kB
SReclaimable:      90572 kB
SUnreclaim:       557648 kB
KernelStack:        1432 kB
PageTables:         6136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1278744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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= 71216 MiB
End job on node128 at 2012-05-26 13:17:18