Trace number 3690514

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedUNSAT 742.892 743.036

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
MD5SUMa985b0d4e6d576e8ad3098d78036fdc8
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 benchmark0.12598
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6832
Total number of constraints19477
Number of constraints which are clauses18953
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints524
Minimum length of a constraint1
Maximum length of a constraint11
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3690514-1338016950.opb>
0.00/0.05	c original problem has 6832 variables (6832 bin, 0 int, 0 impl, 0 cont) and 19477 constraints
0.00/0.05	c problem read in 0.05
0.00/0.05	c No objective function, only one solution is needed.
0.00/0.05	c presolving settings loaded
0.09/0.11	c presolving:
0.29/0.33	c (round 1) 690 del vars, 622 del conss, 0 add conss, 228 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 375793 impls, 0 clqs
0.29/0.37	c (round 2) 708 del vars, 1724 del conss, 0 add conss, 241 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 375941 impls, 0 clqs
0.29/0.38	c (round 3) 725 del vars, 1757 del conss, 0 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 376155 impls, 0 clqs
0.38/0.40	c (round 4) 726 del vars, 1783 del conss, 0 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 376237 impls, 0 clqs
0.38/0.42	c (round 5) 726 del vars, 1785 del conss, 0 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 376237 impls, 0 clqs
0.49/0.53	c (round 6) 726 del vars, 1799 del conss, 0 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 17686 upgd conss, 376237 impls, 0 clqs
0.59/0.62	c (round 7) 726 del vars, 18869 del conss, 5688 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 17686 upgd conss, 376237 impls, 0 clqs
0.59/0.67	c (round 8) 801 del vars, 19318 del conss, 6137 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 17686 upgd conss, 386142 impls, 6 clqs
0.59/0.69	c (round 9) 839 del vars, 19328 del conss, 6137 add conss, 248 chg bounds, 262 chg sides, 635 chg coeffs, 17694 upgd conss, 389536 impls, 453 clqs
0.69/0.70	c (round 10) 848 del vars, 19336 del conss, 6137 add conss, 248 chg bounds, 262 chg sides, 643 chg coeffs, 17701 upgd conss, 389536 impls, 453 clqs
0.69/0.72	c (round 11) 851 del vars, 19341 del conss, 6137 add conss, 248 chg bounds, 262 chg sides, 646 chg coeffs, 17701 upgd conss, 389536 impls, 454 clqs
0.69/0.75	c (round 12) 898 del vars, 19451 del conss, 6247 add conss, 248 chg bounds, 262 chg sides, 646 chg coeffs, 17701 upgd conss, 401173 impls, 454 clqs
0.69/0.76	c (round 13) 936 del vars, 19459 del conss, 6247 add conss, 248 chg bounds, 262 chg sides, 652 chg coeffs, 17707 upgd conss, 401173 impls, 477 clqs
0.69/0.78	c (round 14) 943 del vars, 19493 del conss, 6247 add conss, 248 chg bounds, 262 chg sides, 655 chg coeffs, 17707 upgd conss, 401173 impls, 477 clqs
0.69/0.79	c (round 15) 947 del vars, 19497 del conss, 6247 add conss, 248 chg bounds, 262 chg sides, 659 chg coeffs, 17707 upgd conss, 401173 impls, 477 clqs
0.79/0.81	c (round 16) 950 del vars, 19534 del conss, 6284 add conss, 248 chg bounds, 262 chg sides, 659 chg coeffs, 17707 upgd conss, 401173 impls, 477 clqs
0.89/1.00	c (round 17) 972 del vars, 19581 del conss, 6287 add conss, 248 chg bounds, 262 chg sides, 659 chg coeffs, 17707 upgd conss, 402385 impls, 477 clqs
1.10/1.18	c (round 18) 972 del vars, 19584 del conss, 6287 add conss, 248 chg bounds, 262 chg sides, 659 chg coeffs, 17707 upgd conss, 402385 impls, 477 clqs
1.29/1.38	c presolving (19 rounds):
1.29/1.38	c  972 deleted vars, 19584 deleted constraints, 6287 added constraints, 248 tightened bounds, 0 added holes, 262 changed sides, 659 changed coefficients
1.29/1.38	c  402385 implications, 477 cliques
1.29/1.38	c presolved problem has 5860 variables (5860 bin, 0 int, 0 impl, 0 cont) and 6126 constraints
1.29/1.38	c     524 constraints of type <knapsack>
1.29/1.38	c     631 constraints of type <setppc>
1.29/1.38	c    4965 constraints of type <and>
1.29/1.38	c       6 constraints of type <logicor>
1.29/1.38	c transformed objective value is always integral (scale: 1)
1.29/1.38	c Presolving Time: 1.31
1.29/1.38	c - non default parameters ----------------------------------------------------------------------
1.29/1.38	c # SCIP version 2.1.1.4
1.29/1.38	c 
1.29/1.38	c # maximal time in seconds to run
1.29/1.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.38	c limits/time = 1797
1.29/1.38	c 
1.29/1.38	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.38	c limits/memory = 13950
1.29/1.38	c 
1.29/1.38	c # solving stops, if the given number of solutions were found (-1: no limit)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.38	c limits/solutions = 1
1.29/1.38	c 
1.29/1.38	c # maximal number of separation rounds per node (-1: unlimited)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 5]
1.29/1.38	c separating/maxrounds = 1
1.29/1.38	c 
1.29/1.38	c # maximal number of separation rounds in the root node (-1: unlimited)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.38	c separating/maxroundsroot = 5
1.29/1.38	c 
1.29/1.38	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.29/1.38	c # [type: int, range: [1,2], default: 1]
1.29/1.38	c timing/clocktype = 2
1.29/1.38	c 
1.29/1.38	c # belongs reading time to solving time?
1.29/1.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.38	c timing/reading = TRUE
1.29/1.38	c 
1.29/1.38	c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.29/1.38	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.29/1.38	c constraints/knapsack/disaggregation = FALSE
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.38	c heuristics/coefdiving/freq = -1
1.29/1.38	c 
1.29/1.38	c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.38	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.38	c heuristics/coefdiving/maxlpiterquot = 0.075
1.29/1.38	c 
1.29/1.38	c # additional number of allowed LP iterations
1.29/1.38	c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.38	c heuristics/coefdiving/maxlpiterofs = 1500
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 30]
1.29/1.38	c heuristics/crossover/freq = -1
1.29/1.38	c 
1.29/1.38	c # number of nodes added to the contingent of the total nodes
1.29/1.38	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.29/1.38	c heuristics/crossover/nodesofs = 750
1.29/1.38	c 
1.29/1.38	c # number of nodes without incumbent change that heuristic should wait
1.29/1.38	c # [type: longint, range: [0,9223372036854775807], default: 200]
1.29/1.38	c heuristics/crossover/nwaitingnodes = 100
1.29/1.38	c 
1.29/1.38	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.29/1.38	c # [type: real, range: [0,1], default: 0.1]
1.29/1.38	c heuristics/crossover/nodesquot = 0.15
1.29/1.38	c 
1.29/1.38	c # minimum percentage of integer variables that have to be fixed 
1.29/1.38	c # [type: real, range: [0,1], default: 0.666]
1.29/1.38	c heuristics/crossover/minfixingrate = 0.5
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 20]
1.29/1.38	c heuristics/feaspump/freq = -1
1.29/1.38	c 
1.29/1.38	c # additional number of allowed LP iterations
1.29/1.38	c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.38	c heuristics/feaspump/maxlpiterofs = 2000
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.38	c heuristics/fracdiving/freq = -1
1.29/1.38	c 
1.29/1.38	c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.38	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.38	c heuristics/fracdiving/maxlpiterquot = 0.075
1.29/1.38	c 
1.29/1.38	c # additional number of allowed LP iterations
1.29/1.38	c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.38	c heuristics/fracdiving/maxlpiterofs = 1500
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.38	c heuristics/guideddiving/freq = -1
1.29/1.38	c 
1.29/1.38	c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.38	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.38	c heuristics/guideddiving/maxlpiterquot = 0.075
1.29/1.38	c 
1.29/1.38	c # additional number of allowed LP iterations
1.29/1.38	c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.38	c heuristics/guideddiving/maxlpiterofs = 1500
1.29/1.38	c 
1.29/1.38	c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.38	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.38	c heuristics/intdiving/maxlpiterquot = 0.075
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.38	c heuristics/intshifting/freq = -1
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.38	c heuristics/linesearchdiving/freq = -1
1.29/1.38	c 
1.29/1.38	c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.38	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.38	c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.29/1.38	c 
1.29/1.38	c # additional number of allowed LP iterations
1.29/1.38	c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.38	c heuristics/linesearchdiving/maxlpiterofs = 1500
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 20]
1.29/1.38	c heuristics/objpscostdiving/freq = -1
1.29/1.38	c 
1.29/1.38	c # maximal fraction of diving LP iterations compared to total iteration number
1.29/1.38	c # [type: real, range: [0,1], default: 0.01]
1.29/1.38	c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.29/1.38	c 
1.29/1.38	c # additional number of allowed LP iterations
1.29/1.38	c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.38	c heuristics/objpscostdiving/maxlpiterofs = 1500
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.38	c heuristics/oneopt/freq = -1
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.38	c heuristics/pscostdiving/freq = -1
1.29/1.38	c 
1.29/1.38	c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.38	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.38	c heuristics/pscostdiving/maxlpiterquot = 0.075
1.29/1.38	c 
1.29/1.38	c # additional number of allowed LP iterations
1.29/1.38	c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.38	c heuristics/pscostdiving/maxlpiterofs = 1500
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.38	c heuristics/rens/freq = -1
1.29/1.38	c 
1.29/1.38	c # minimum percentage of integer variables that have to be fixable 
1.29/1.38	c # [type: real, range: [0,1], default: 0.5]
1.29/1.38	c heuristics/rens/minfixingrate = 0.3
1.29/1.38	c 
1.29/1.38	c # number of nodes added to the contingent of the total nodes
1.29/1.38	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.29/1.38	c heuristics/rens/nodesofs = 2000
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 20]
1.29/1.38	c heuristics/rootsoldiving/freq = -1
1.29/1.38	c 
1.29/1.38	c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.38	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.29/1.38	c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.29/1.38	c 
1.29/1.38	c # additional number of allowed LP iterations
1.29/1.38	c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.38	c heuristics/rootsoldiving/maxlpiterofs = 1500
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.38	c heuristics/rounding/freq = -1
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.38	c heuristics/shiftandpropagate/freq = -1
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.38	c heuristics/shifting/freq = -1
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.38	c heuristics/simplerounding/freq = -1
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.38	c heuristics/subnlp/freq = -1
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.38	c heuristics/trivial/freq = -1
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.38	c heuristics/trysol/freq = -1
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.38	c heuristics/undercover/freq = -1
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.38	c heuristics/veclendiving/freq = -1
1.29/1.38	c 
1.29/1.38	c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.38	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.38	c heuristics/veclendiving/maxlpiterquot = 0.075
1.29/1.38	c 
1.29/1.38	c # additional number of allowed LP iterations
1.29/1.38	c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.38	c heuristics/veclendiving/maxlpiterofs = 1500
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.38	c heuristics/zirounding/freq = -1
1.29/1.38	c 
1.29/1.38	c # maximal number of presolving rounds the propagator participates in (-1: no limit)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.38	c propagating/probing/maxprerounds = 0
1.29/1.38	c 
1.29/1.38	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.38	c separating/cmir/freq = -1
1.29/1.38	c 
1.29/1.38	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.38	c separating/flowcover/freq = -1
1.29/1.38	c 
1.29/1.38	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.38	c separating/rapidlearning/freq = 0
1.29/1.38	c 
1.29/1.38	c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
1.29/1.38	c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.38	c heuristics/indoneopt/freq = -1
1.29/1.38	c 
1.29/1.38	c -----------------------------------------------------------------------------------------------
1.29/1.38	c start solving
1.29/1.38	c 
1.49/1.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.49/1.51	c   1.5s|     1 |     0 |  1294 |     - |  47M|   0 | 947 |5860 |6126 |5860 |  11k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.39/3.46	c   3.5s|     1 |     0 |  3560 |     - |  50M|   0 |1487 |5860 |6621 |5860 |  11k| 846 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.40/4.48	c   4.5s|     1 |     0 |  6939 |     - |  51M|   0 |1883 |5860 |6621 |5860 |  13k|2199 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.40/5.42	c   5.4s|     1 |     0 |  9754 |     - |  52M|   0 |2216 |5860 |6621 |5860 |  14k|3568 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.18/8.26	c   8.3s|     1 |     0 | 15388 |     - |  53M|   0 |2641 |5860 |6621 |5860 |  15k|4575 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.10/13.14	c  13.1s|     1 |     0 | 22654 |     - |  54M|   0 |2705 |5860 |6621 |5860 |  17k|6130 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.99/17.05	c  17.0s|     1 |     2 | 22654 |     - |  54M|   0 |2705 |5860 |6621 |5860 |  17k|6130 |   0 |  10 | 0.000000e+00 |      --      |    Inf 
84.98/85.07	c  85.1s|   100 |    22 | 73971 | 518.4 |  57M|  42 |1003 |5860 |6703 |5860 |  14k|9490 |  82 | 356 | 0.000000e+00 |      --      |    Inf 
100.27/100.31	c   100s|   200 |    25 |101270 | 395.1 |  57M|  42 | 937 |5860 |6843 |5860 |  14k|  12k| 222 | 407 | 0.000000e+00 |      --      |    Inf 
117.07/117.10	c   117s|   300 |    14 |133663 | 371.3 |  57M|  42 |1750 |5860 |7027 |5860 |  13k|  16k| 406 | 443 | 0.000000e+00 |      --      |    Inf 
139.67/139.74	c   140s|   400 |     9 |178440 | 390.4 |  57M|  42 |1711 |5860 |7184 |5860 |  13k|  20k| 563 | 513 | 0.000000e+00 |      --      |    Inf 
167.76/167.88	c   168s|   500 |    24 |229828 | 415.2 |  57M|  42 |   - |5860 |7294 |   0 |   0 |  25k| 678 | 576 | 0.000000e+00 |      --      |    Inf 
184.67/184.77	c   185s|   600 |    20 |263183 | 401.6 |  57M|  42 | 967 |5860 |7437 |5860 |  14k|  29k| 823 | 628 | 0.000000e+00 |      --      |    Inf 
204.06/204.19	c   204s|   700 |    16 |301968 | 399.6 |  58M|  42 |   - |5860 |7563 |   0 |   0 |  33k| 953 | 682 | 0.000000e+00 |      --      |    Inf 
229.35/229.50	c   229s|   800 |    16 |347563 | 406.6 |  58M|  42 |   - |5860 |7677 |   0 |   0 |  39k|1084 | 742 | 0.000000e+00 |      --      |    Inf 
253.15/253.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
253.15/253.29	c   253s|   900 |    14 |394907 | 414.1 |  58M|  42 |   - |5860 |7802 |   0 |   0 |  44k|1215 | 796 | 0.000000e+00 |      --      |    Inf 
292.95/293.05	c   293s|  1000 |    20 |473843 | 451.6 |  58M|  42 |   - |5860 |7830 |   0 |   0 |  50k|1350 | 891 | 0.000000e+00 |      --      |    Inf 
341.84/341.90	c   342s|  1100 |    32 |561262 | 490.1 |  58M|  42 |2276 |5860 |7818 |5860 |  13k|  57k|1450 |1017 | 0.000000e+00 |      --      |    Inf 
379.03/379.16	c   379s|  1200 |    31 |633177 | 509.2 |  58M|  42 |   - |5860 |7789 |   0 |   0 |  63k|1587 |1119 | 0.000000e+00 |      --      |    Inf 
408.04/408.18	c   408s|  1300 |    31 |693461 | 516.4 |  58M|  42 |1282 |5860 |7851 |5860 |  14k|  69k|1727 |1195 | 0.000000e+00 |      --      |    Inf 
431.72/431.81	c   432s|  1400 |    25 |741356 | 513.7 |  58M|  42 |   - |5860 |7906 |   0 |   0 |  74k|1886 |1268 | 0.000000e+00 |      --      |    Inf 
469.22/469.39	c   469s|  1500 |    34 |812537 | 526.9 |  58M|  42 |1673 |5860 |7850 |5860 |  14k|  81k|2013 |1358 | 0.000000e+00 |      --      |    Inf 
494.12/494.25	c   494s|  1600 |    34 |863323 | 525.7 |  58M|  42 |1769 |5860 |7873 |5860 |  13k|  87k|2136 |1430 | 0.000000e+00 |      --      |    Inf 
519.51/519.68	c   520s|  1700 |    37 |911099 | 522.9 |  58M|  42 |1530 |5860 |7946 |5860 |  14k|  92k|2267 |1503 | 0.000000e+00 |      --      |    Inf 
546.90/547.08	c   547s|  1800 |    28 |965939 | 524.3 |  58M|  42 |   - |5860 |7992 |   0 |   0 |  99k|2404 |1575 | 0.000000e+00 |      --      |    Inf 
579.08/579.23	c   579s|  1900 |    27 |  1034k| 533.0 |  58M|  42 |1601 |5860 |7936 |5860 |  14k| 105k|2545 |1657 | 0.000000e+00 |      --      |    Inf 
603.67/603.89	c   604s|  2000 |    22 |  1084k| 531.2 |  58M|  42 | 881 |5860 |8028 |5860 |  14k| 111k|2694 |1743 | 0.000000e+00 |      --      |    Inf 
636.37/636.54	c   637s|  2100 |    14 |  1151k| 537.7 |  58M|  42 |   - |5860 |8060 |   0 |   0 | 117k|2847 |1838 | 0.000000e+00 |      --      |    Inf 
666.26/666.44	c   666s|  2200 |    13 |  1214k| 541.9 |  58M|  42 |   - |5860 |8099 |   0 |   0 | 123k|2967 |1931 | 0.000000e+00 |      --      |    Inf 
702.06/702.22	c   702s|  2300 |     9 |  1288k| 550.6 |  58M|  42 |1882 |5860 |8078 |5860 |  14k| 130k|3082 |2044 | 0.000000e+00 |      --      |    Inf 
736.15/736.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
736.15/736.38	c   736s|  2400 |     6 |  1354k| 555.3 |  58M|  42 |2224 |5860 |8180 |5860 |  14k| 137k|3215 |2141 | 0.000000e+00 |      --      |    Inf 
742.75/742.96	c 
742.75/742.96	c SCIP Status        : problem is solved [infeasible]
742.75/742.96	c Solving Time (sec) : 742.96
742.75/742.96	c Solving Nodes      : 2419
742.75/742.96	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
742.75/742.96	c Dual Bound         : +1.00000000000000e+20
742.75/742.96	c Gap                : 0.00 %
742.75/742.96	s UNSATISFIABLE
742.75/742.96	c SCIP Status        : problem is solved [infeasible]
742.75/742.96	c Total Time         :     742.96
742.75/742.96	c   solving          :     742.96
742.75/742.96	c   presolving       :       1.31 (included in solving)
742.75/742.96	c   reading          :       0.05 (included in solving)
742.75/742.96	c   copying          :       0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
742.75/742.96	c Original Problem   :
742.75/742.96	c   Problem name     : HOME/instance-3690514-1338016950.opb
742.75/742.96	c   Variables        : 6832 (6832 binary, 0 integer, 0 implicit integer, 0 continuous)
742.75/742.96	c   Constraints      : 19477 initial, 19477 maximal
742.75/742.96	c   Objective sense  : minimize
742.75/742.96	c Presolved Problem  :
742.75/742.96	c   Problem name     : t_HOME/instance-3690514-1338016950.opb
742.75/742.96	c   Variables        : 5860 (5860 binary, 0 integer, 0 implicit integer, 0 continuous)
742.75/742.96	c   Constraints      : 6126 initial, 8196 maximal
742.75/742.96	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
742.75/742.96	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
742.75/742.96	c   trivial          :       0.01       0.00         41          0          0          0          0          0          0          0          0
742.75/742.96	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
742.75/742.96	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
742.75/742.96	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
742.75/742.96	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
742.75/742.96	c   gateextraction   :       0.05       0.00          0          0          0          0          0      17070       5688          0          0
742.75/742.96	c   implics          :       0.05       0.00          0        470          0          0          0          0          0          0          0
742.75/742.96	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
742.75/742.96	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
742.75/742.96	c   probing          :       0.00       0.00          0          0          0          0          0          0          0          0          0
742.75/742.96	c   knapsack         :       0.01       0.00          0          0          0          0          0          0          0          0          0
742.75/742.96	c   setppc           :       0.05       0.00          2          1          0          0          0         62          0          0          0
742.75/742.96	c   and              :       0.69       0.00         38        168          0          0          0        652        599          0         31
742.75/742.96	c   linear           :       0.34       0.00        248          4          0        248          0       1799          0        262        628
742.75/742.96	c   logicor          :       0.04       0.00          0          0          0          0          0          1          0          0          0
742.75/742.96	c   root node        :          -          -         65          -          -         65          -          -          -          -          -
742.75/742.96	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
742.75/742.96	c   integral         :          0          0          0          0       1827          0          1          0         14        282          0          0       3392
742.75/742.96	c   knapsack         :        524        524          6      39134          0          0          0         70          5       1575       1201          0          0
742.75/742.96	c   setppc           :        631        631          6      39129          0          0          0      68375        276     128743          0          0          0
742.75/742.96	c   and              :       4965       4965       1733      38853          0          0          0     371945        840     969226     437854          0          0
742.75/742.96	c   linear           :          0+       548          5      38012          0          0          0       2372         27       2451          9          0          0
742.75/742.96	c   logicor          :          6+      1615          6      15436          0          0          0      10350        162       8013          0          0          0
742.75/742.96	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
742.75/742.96	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
742.75/742.96	c   integral         :     298.90       0.00       0.00       0.00     298.90       0.00       0.00       0.00
742.75/742.96	c   knapsack         :       0.39       0.00       0.01       0.38       0.00       0.00       0.00       0.00
742.75/742.96	c   setppc           :       0.83       0.00       0.00       0.74       0.00       0.00       0.00       0.08
742.75/742.96	c   and              :       6.38       0.00       1.56       4.42       0.00       0.00       0.00       0.41
742.75/742.96	c   linear           :       0.23       0.00       0.00       0.22       0.00       0.00       0.00       0.01
742.75/742.96	c   logicor          :       0.34       0.00       0.00       0.31       0.00       0.00       0.00       0.02
742.75/742.96	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
742.75/742.96	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
742.75/742.96	c   rootredcost      :          0          0          0          0
742.75/742.96	c   pseudoobj        :          0          0          0          0
742.75/742.96	c   vbounds          :          0          0          0          0
742.75/742.96	c   redcost          :       3530          0          0          0
742.75/742.96	c   probing          :          0          0          0          0
742.75/742.96	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
742.75/742.96	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00
742.75/742.96	c   pseudoobj        :       0.03       0.00       0.00       0.03       0.00
742.75/742.96	c   vbounds          :       0.03       0.00       0.00       0.03       0.00
742.75/742.96	c   redcost          :       0.32       0.00       0.00       0.32       0.00
742.75/742.96	c   probing          :       0.00       0.00       0.00       0.00       0.00
742.75/742.96	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
742.75/742.96	c   propagation      :       0.98       1310       1284       8756       46.9        100       22.9          -
742.75/742.96	c   infeasible LP    :       0.06         30         30        183       61.1          8       20.6          0
742.75/742.96	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
742.75/742.96	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
742.75/742.96	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
742.75/742.96	c   applied globally :          -          -          -       3245       32.6          -          -          -
742.75/742.96	c   applied locally  :          -          -          -          0        0.0          -          -          -
742.75/742.96	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
742.75/742.96	c   cut pool         :       0.00                     4          -          -        308          -    (maximal pool size: 6547)
742.75/742.96	c   closecuts        :       0.00       0.00          0          0          0          0          0
742.75/742.96	c   impliedbounds    :       0.02       0.00          5          0          0       8811          0
742.75/742.96	c   intobj           :       0.00       0.00          0          0          0          0          0
742.75/742.96	c   gomory           :       0.19       0.00          5          0          0        250          0
742.75/742.96	c   cgmip            :       0.00       0.00          0          0          0          0          0
742.75/742.96	c   strongcg         :       2.29       0.00          5          0          0       2500          0
742.75/742.96	c   cmir             :       0.00       0.00          0          0          0          0          0
742.75/742.96	c   flowcover        :       0.00       0.00          0          0          0          0          0
742.75/742.96	c   clique           :       0.45       0.00          5          0          0         43          0
742.75/742.96	c   zerohalf         :       0.00       0.00          0          0          0          0          0
742.75/742.96	c   mcf              :       0.01       0.00          1          0          0          0          0
742.75/742.96	c   oddcycle         :       0.00       0.00          0          0          0          0          0
742.75/742.96	c   rapidlearning    :       1.30       0.00          1          0         64          0        548
742.75/742.96	c Pricers            :   ExecTime  SetupTime      Calls       Vars
742.75/742.96	c   problem variables:       0.00          -          0          0
742.75/742.96	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
742.75/742.96	c   relpscost        :     298.89       0.00       1827         14        282          0          0       3392
742.75/742.96	c   pscost           :       0.00       0.00          0          0          0          0          0          0
742.75/742.96	c   inference        :       0.00       0.00          0          0          0          0          0          0
742.75/742.96	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
742.75/742.96	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
742.75/742.96	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
742.75/742.96	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
742.75/742.96	c   random           :       0.00       0.00          0          0          0          0          0          0
742.75/742.96	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
742.75/742.96	c   LP solutions     :       0.00          -          -          0
742.75/742.96	c   pseudo solutions :       0.00          -          -          0
742.75/742.96	c   smallcard        :       0.00       0.00          0          0
742.75/742.96	c   trivial          :       0.00       0.00          1          0
742.75/742.96	c   shiftandpropagate:       0.00       0.00          0          0
742.75/742.96	c   simplerounding   :       0.00       0.00          0          0
742.75/742.96	c   zirounding       :       0.00       0.00          0          0
742.75/742.96	c   rounding         :       0.00       0.00          0          0
742.75/742.96	c   shifting         :       0.00       0.00          0          0
742.75/742.96	c   intshifting      :       0.00       0.00          0          0
742.75/742.96	c   oneopt           :       0.00       0.00          0          0
742.75/742.96	c   twoopt           :       0.00       0.00          0          0
742.75/742.96	c   indtwoopt        :       0.00       0.00          0          0
742.75/742.96	c   indoneopt        :       0.00       0.00          0          0
742.75/742.96	c   fixandinfer      :       0.00       0.00          0          0
742.75/742.96	c   feaspump         :       0.00       0.00          0          0
742.75/742.96	c   clique           :       0.00       0.00          0          0
742.75/742.96	c   indrounding      :       0.00       0.00          0          0
742.75/742.96	c   indcoefdiving    :       0.00       0.00          0          0
742.75/742.96	c   coefdiving       :       0.00       0.00          0          0
742.75/742.96	c   pscostdiving     :       0.00       0.00          0          0
742.75/742.96	c   nlpdiving        :       0.00       0.00          0          0
742.75/742.96	c   fracdiving       :       0.00       0.00          0          0
742.75/742.96	c   veclendiving     :       0.00       0.00          0          0
742.75/742.96	c   intdiving        :       0.00       0.00          0          0
742.75/742.96	c   actconsdiving    :       0.00       0.00          0          0
742.75/742.96	c   objpscostdiving  :       0.00       0.00          0          0
742.75/742.96	c   rootsoldiving    :       0.00       0.00          0          0
742.75/742.96	c   linesearchdiving :       0.00       0.00          0          0
742.75/742.96	c   guideddiving     :       0.00       0.00          0          0
742.75/742.96	c   octane           :       0.00       0.00          0          0
742.75/742.96	c   rens             :       0.00       0.00          0          0
742.75/742.96	c   rins             :       0.00       0.00          0          0
742.75/742.96	c   localbranching   :       0.00       0.00          0          0
742.75/742.96	c   mutation         :       0.00       0.00          0          0
742.75/742.96	c   crossover        :       0.00       0.00          0          0
742.75/742.96	c   dins             :       0.00       0.00          0          0
742.75/742.96	c   vbounds          :       0.00       0.00          0          0
742.75/742.96	c   undercover       :       0.00       0.00          0          0
742.75/742.96	c   subnlp           :       0.00       0.00          0          0
742.75/742.96	c   trysol           :       0.00       0.00          0          0
742.75/742.96	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
742.75/742.96	c   primal LP        :       0.01          1          0       0.00          -       0.01          1
742.75/742.96	c   dual LP          :     413.43       3561    1367537     384.25    3307.77       0.00          2
742.75/742.96	c   lex dual LP      :       0.00          0          0       0.00          -
742.75/742.96	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
742.75/742.96	c   diving/probing LP:       0.00          0          0       0.00          -
742.75/742.96	c   strong branching :     298.02       2168     794384     366.41    2665.52
742.75/742.96	c     (at root node) :          -         10       8317     831.70          -
742.75/742.96	c   conflict analysis:       0.00          0          0       0.00          -
742.75/742.96	c B&B Tree           :
742.75/742.96	c   number of runs   :          1
742.75/742.96	c   nodes            :       2419
742.75/742.96	c   nodes (total)    :       2419
742.75/742.96	c   nodes left       :          0
742.75/742.96	c   max depth        :         42
742.75/742.96	c   max depth (total):         42
742.75/742.96	c   backtracks       :        728 (30.1%)
742.75/742.96	c   delayed cutoffs  :        974
742.75/742.96	c   repropagations   :       1912 (410458 domain reductions, 635 cutoffs)
742.75/742.96	c   avg switch length:       3.50
742.75/742.96	c   switching time   :       3.48
742.75/742.96	c Solution           :
742.75/742.96	c   Solutions found  :          0 (0 improvements)
742.75/742.96	c   Primal Bound     : infeasible
742.75/742.96	c   Dual Bound       :          -
742.75/742.96	c   Gap              :       0.00 %
742.75/742.96	c   Root Dual Bound  : +0.00000000000000e+00
742.75/742.96	c   Root Iterations  :      22654
742.85/743.03	c Time complete: 742.88.

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

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

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


[startup+0 s]
/proc/loadavg: 0.16 0.05 0.01 3/176 32189
/proc/meminfo: memFree=27678756/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=10420 CPUtime=0 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 1351 0 0 0 0 0 0 0 20 0 1 0 267822023 10670080 1305 33554432000 4194304 10173063 140737201036016 140734472780168 8886411 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 2605 1305 413 1460 0 1136 0

[startup+0.0579271 s]
/proc/loadavg: 0.16 0.05 0.01 3/176 32189
/proc/meminfo: memFree=27678756/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=27804 CPUtime=0.04 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 5509 0 0 0 4 0 0 0 20 0 1 0 267822023 28471296 5464 33554432000 4194304 10173063 140737201036016 140734472780168 7545739 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 6951 5496 463 1460 0 5482 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27804

[startup+0.100331 s]
/proc/loadavg: 0.16 0.05 0.01 3/176 32189
/proc/meminfo: memFree=27678756/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=47304 CPUtime=0.09 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 10336 0 0 0 8 1 0 0 20 0 1 0 267822023 48439296 10290 33554432000 4194304 10173063 140737201036016 140734472780168 5285017 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 12083 10317 513 1460 0 10614 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47304

[startup+0.300298 s]
/proc/loadavg: 0.16 0.05 0.01 3/176 32189
/proc/meminfo: memFree=27678756/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=68268 CPUtime=0.29 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 15400 0 0 0 24 5 0 0 20 0 1 0 267822023 69906432 15354 33554432000 4194304 10173063 140737201036016 140734472780168 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 17067 15354 566 1460 0 15598 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68268

[startup+0.700271 s]
/proc/loadavg: 0.16 0.05 0.01 3/176 32189
/proc/meminfo: memFree=27678756/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=81064 CPUtime=0.69 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 19805 0 0 0 51 18 0 0 20 0 1 0 267822023 83009536 18659 33554432000 4194304 10173063 140737201036016 140737201033016 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 20266 18659 611 1460 0 18797 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81064

[startup+1.50029 s]
/proc/loadavg: 0.31 0.08 0.02 3/176 32190
/proc/meminfo: memFree=27602508/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=106120 CPUtime=1.49 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 26575 0 0 0 81 68 0 0 20 0 1 0 267822023 108666880 24738 33554432000 4194304 10173063 140737201036016 140737201029272 8046970 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 26530 24738 761 1460 0 25061 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106120

[startup+3.1003 s]
/proc/loadavg: 0.31 0.08 0.02 3/176 32190
/proc/meminfo: memFree=27537524/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=158304 CPUtime=3.09 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 39862 0 0 0 203 106 0 0 20 0 1 0 267822023 162103296 37839 33554432000 4194304 10173063 140737201036016 140737201029944 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 39576 37839 819 1460 0 38107 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 158304

[startup+6.30029 s]
/proc/loadavg: 0.52 0.13 0.04 3/177 32191
/proc/meminfo: memFree=27527104/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=161004 CPUtime=6.29 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 40765 0 0 0 520 109 0 0 20 0 1 0 267822023 164868096 38731 33554432000 4194304 10173063 140737201036016 140737201030904 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 40251 38731 842 1460 0 38782 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 161004

[startup+12.7003 s]
/proc/loadavg: 0.64 0.16 0.05 3/177 32191
/proc/meminfo: memFree=27508572/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=161004 CPUtime=12.69 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 40765 0 0 0 1157 112 0 0 20 0 1 0 267822023 164868096 38731 33554432000 4194304 10173063 140737201036016 140737201029656 8033056 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 40251 38731 842 1460 0 38782 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 161004

[startup+25.5003 s]
/proc/loadavg: 0.85 0.22 0.07 3/177 32191
/proc/meminfo: memFree=27430564/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=161004 CPUtime=25.49 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 40769 0 0 0 2432 117 0 0 20 0 1 0 267822023 164868096 38735 33554432000 4194304 10173063 140737201036016 140737201029464 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 40251 38735 846 1460 0 38782 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 161004

[startup+51.1003 s]
/proc/loadavg: 1.30 0.39 0.13 3/177 32191
/proc/meminfo: memFree=27430392/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=161004 CPUtime=51.08 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 40769 0 0 0 4981 127 0 0 20 0 1 0 267822023 164868096 38735 33554432000 4194304 10173063 140737201036016 140737201029464 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 40251 38735 846 1460 0 38782 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 161004

[startup+102.306 s]
/proc/loadavg: 1.70 0.63 0.22 3/177 32191
/proc/meminfo: memFree=27429880/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=161004 CPUtime=102.28 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 40780 0 0 0 10076 152 0 0 20 0 1 0 267822023 164868096 38746 33554432000 4194304 10173063 140737201036016 140737201029656 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 40251 38746 849 1460 0 38782 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 161004

[startup+162.3 s]
/proc/loadavg: 1.89 0.88 0.33 3/177 32191
/proc/meminfo: memFree=27428424/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=161004 CPUtime=162.26 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 41035 0 0 0 16039 187 0 0 20 0 1 0 267822023 164868096 39001 33554432000 4194304 10173063 140737201036016 140737201029272 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 40251 39001 849 1460 0 38782 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 161004

[startup+222.3 s]
/proc/loadavg: 1.96 1.08 0.43 3/177 32191
/proc/meminfo: memFree=27428664/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=161004 CPUtime=222.26 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 41036 0 0 0 21996 230 0 0 20 0 1 0 267822023 164868096 39002 33554432000 4194304 10173063 140737201036016 140737201029464 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 40251 39002 849 1460 0 38782 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 161004

[startup+282.3 s]
/proc/loadavg: 2.06 1.26 0.53 3/177 32191
/proc/meminfo: memFree=27426876/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=161004 CPUtime=282.25 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 41036 0 0 0 27963 262 0 0 20 0 1 0 267822023 164868096 39002 33554432000 4194304 10173063 140737201036016 140737201029368 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 40251 39002 849 1460 0 38782 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 161004

[startup+342.3 s]
/proc/loadavg: 2.02 1.39 0.62 3/177 32192
/proc/meminfo: memFree=27426624/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=161004 CPUtime=342.24 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 41065 0 0 0 33933 291 0 0 20 0 1 0 267822023 164868096 39031 33554432000 4194304 10173063 140737201036016 140737201028728 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 40251 39031 849 1460 0 38782 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 161004

[startup+402.3 s]
/proc/loadavg: 2.01 1.50 0.70 3/177 32192
/proc/meminfo: memFree=27426704/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=161004 CPUtime=402.23 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 41084 0 0 0 39898 325 0 0 20 0 1 0 267822023 164868096 39050 33554432000 4194304 10173063 140737201036016 140737201029320 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 40251 39050 849 1460 0 38782 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 161004

[startup+462.3 s]
/proc/loadavg: 2.06 1.60 0.79 3/178 32195
/proc/meminfo: memFree=27425560/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=162836 CPUtime=462.22 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 43132 0 0 0 45862 360 0 0 20 0 1 0 267822023 166744064 39395 33554432000 4194304 10173063 140737201036016 140737201029272 8012374 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 40709 39395 849 1460 0 39240 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 162836

[startup+522.3 s]
/proc/loadavg: 2.02 1.67 0.86 3/177 32195
/proc/meminfo: memFree=27420216/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=166112 CPUtime=522.21 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 100949 0 0 0 51817 404 0 0 20 0 1 0 267822023 170098688 40019 33554432000 4194304 10173063 140737201036016 140737201029464 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 41528 40019 849 1460 0 40059 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 166112

[startup+582.3 s]
/proc/loadavg: 2.01 1.73 0.93 3/177 32195
/proc/meminfo: memFree=27411936/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=175536 CPUtime=582.18 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 173364 0 0 0 57768 450 0 0 20 0 1 0 267822023 179748864 42449 33554432000 4194304 10173063 140737201036016 140737201029272 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 43884 42449 849 1460 0 42415 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 175536

[startup+642.3 s]
/proc/loadavg: 2.00 1.78 0.99 3/177 32196
/proc/meminfo: memFree=27403096/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=182116 CPUtime=642.17 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 258280 0 0 0 63713 504 0 0 20 0 1 0 267822023 186486784 44636 33554432000 4194304 10173063 140737201036016 140737201029464 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 45529 44636 849 1460 0 44060 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 182116

[startup+702.3 s]
/proc/loadavg: 2.00 1.81 1.05 3/177 32196
/proc/meminfo: memFree=27399624/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=186160 CPUtime=702.16 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 413994 0 0 0 69653 563 0 0 20 0 1 0 267822023 190627840 45519 33554432000 4194304 10173063 140737201036016 140737201029272 7661845 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 46540 45519 850 1460 0 45071 0
Current children cumulated CPU time (s) 702.16
Current children cumulated vsize (KiB) 186160

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

[startup+716.7 s]
/proc/loadavg: 2.00 1.82 1.07 3/177 32196
/proc/meminfo: memFree=27399252/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=186144 CPUtime=716.55 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 449626 0 0 0 71079 576 0 0 20 0 1 0 267822023 190611456 45246 33554432000 4194304 10173063 140737201036016 140737201029464 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 46536 45246 850 1460 0 45067 0
Current children cumulated CPU time (s) 716.55
Current children cumulated vsize (KiB) 186144

[startup+729.5 s]
/proc/loadavg: 2.00 1.83 1.08 3/177 32196
/proc/meminfo: memFree=27399004/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=186784 CPUtime=729.35 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 482123 0 0 0 72347 588 0 0 20 0 1 0 267822023 191266816 45386 33554432000 4194304 10173063 140737201036016 140737201029192 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 46696 45386 850 1460 0 45227 0
Current children cumulated CPU time (s) 729.35
Current children cumulated vsize (KiB) 186784

[startup+735.906 s]
/proc/loadavg: 2.00 1.83 1.09 3/177 32196
/proc/meminfo: memFree=27399252/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=187520 CPUtime=735.76 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 492950 0 0 0 72982 594 0 0 20 0 1 0 267822023 192020480 45647 33554432000 4194304 10173063 140737201036016 140737201029848 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 46880 45647 850 1460 0 45411 0
Current children cumulated CPU time (s) 735.76
Current children cumulated vsize (KiB) 187520

[startup+739.1 s]
/proc/loadavg: 2.00 1.83 1.09 3/177 32196
/proc/meminfo: memFree=27399128/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=187676 CPUtime=738.96 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 502902 0 0 0 73298 598 0 0 20 0 1 0 267822023 192180224 45658 33554432000 4194304 10173063 140737201036016 140737201029272 8033069 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 46919 45658 850 1460 0 45450 0
Current children cumulated CPU time (s) 738.96
Current children cumulated vsize (KiB) 187676

[startup+740.7 s]
/proc/loadavg: 2.00 1.83 1.09 3/177 32196
/proc/meminfo: memFree=27399252/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=187684 CPUtime=740.55 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 510178 0 0 0 73455 600 0 0 20 0 1 0 267822023 192188416 45681 33554432000 4194304 10173063 140737201036016 140737201029464 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 46921 45681 850 1460 0 45452 0
Current children cumulated CPU time (s) 740.55
Current children cumulated vsize (KiB) 187684

[startup+742.3 s]
/proc/loadavg: 2.00 1.84 1.09 3/177 32196
/proc/meminfo: memFree=27396648/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=188872 CPUtime=742.15 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 513170 0 0 0 73614 601 0 0 20 0 1 0 267822023 193404928 45978 33554432000 4194304 10173063 140737201036016 140737201029656 8012379 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 47218 45978 850 1460 0 45749 0
Current children cumulated CPU time (s) 742.15
Current children cumulated vsize (KiB) 188872

[startup+742.7 s]
/proc/loadavg: 2.00 1.84 1.09 3/177 32196
/proc/meminfo: memFree=27399252/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=186400 CPUtime=742.55 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 516363 0 0 0 73653 602 0 0 20 0 1 0 267822023 190873600 45523 33554432000 4194304 10173063 140737201036016 140737201028872 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 46600 45523 850 1460 0 45131 0
Current children cumulated CPU time (s) 742.55
Current children cumulated vsize (KiB) 186400

[startup+742.9 s]
/proc/loadavg: 2.00 1.84 1.09 3/177 32196
/proc/meminfo: memFree=27399252/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=188140 CPUtime=742.75 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 517272 0 0 0 73673 602 0 0 20 0 1 0 267822023 192655360 45732 33554432000 4194304 10173063 140737201036016 140737201028872 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 47035 45732 850 1460 0 45566 0
Current children cumulated CPU time (s) 742.75
Current children cumulated vsize (KiB) 188140

[startup+743 s]
/proc/loadavg: 2.00 1.84 1.09 3/177 32196
/proc/meminfo: memFree=27399252/32873844 swapFree=7100/7100
[pid=32189] ppid=32187 vsize=184792 CPUtime=742.85 cores=0,2,4,6
/proc/32189/stat : 32189 (scip-2.1.1.4fix) R 32187 32189 32069 0 -1 4202496 517665 0 0 0 73682 603 0 0 20 0 1 0 267822023 189227008 45115 33554432000 4194304 10173063 140737201036016 140737201028872 4953292 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32189/statm: 46198 45115 853 1460 0 44729 0
Current children cumulated CPU time (s) 742.85
Current children cumulated vsize (KiB) 184792

Child status: 0
Real time (s): 743.036
CPU time (s): 742.892
CPU user time (s): 736.856
CPU system time (s): 6.03608
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 190732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 736.856
system time used= 6.03608
maximum resident set size= 185912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517667
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= 42
involuntary context switches= 763

runsolver used 1.12183 second user time and 2.93955 second system time

The end

Launcher Data 

Begin job on node111 at 2012-05-26 09:22:30
IDJOB=3690514
IDBENCH=1492
IDSOLVER=2270
FILE ID=node111/3690514-1338016950
RUNJOBID= node111-1338016938-32085
PBS_JOBID= 14624360
Free space on /tmp= 71548 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690514-1338016950/watcher-3690514-1338016950 -o /tmp/evaluation-result-3690514-1338016950/solver-3690514-1338016950 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690514-1338016950.opb -t 1800 -m 15500

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

MD5SUM BENCH= a985b0d4e6d576e8ad3098d78036fdc8
RANDOM SEED=997459980

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27679392 kB
Buffers:          228564 kB
Cached:          3336764 kB
SwapCached:            0 kB
Active:          1696688 kB
Inactive:        2725176 kB
Active(anon):     859180 kB
Inactive(anon):        0 kB
Active(file):     837508 kB
Inactive(file):  2725176 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             39124 kB
Writeback:             0 kB
AnonPages:        853604 kB
Mapped:            17280 kB
Shmem:               200 kB
Slab:             633988 kB
SReclaimable:      76272 kB
SUnreclaim:       557716 kB
KernelStack:        1432 kB
PageTables:         5752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1015960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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= 71536 MiB
End job on node111 at 2012-05-26 09:34:54