Trace number 3485883

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 2 2011-06-10 (fixed)? 1797.31 1797.26

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
MD5SUMf83049a5e6f779c8a894a05e03ae7f50
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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.579911
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables23837
Total number of constraints67568
Number of constraints which are clauses64398
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3170
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 66
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 256
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.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 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-3485883-1307753881.opb>
0.29/0.36	c original problem has 23837 variables (23837 bin, 0 int, 0 impl, 0 cont) and 67568 constraints
0.29/0.36	c problem read
0.29/0.36	c No objective function, only one solution is needed.
0.29/0.37	c presolving settings loaded
0.48/0.58	c presolving:
1.10/1.15	c (round 1) 2091 del vars, 2863 del conss, 0 add conss, 908 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1234958 impls, 0 clqs
1.10/1.18	c (round 2) 2111 del vars, 5396 del conss, 0 add conss, 915 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1234960 impls, 0 clqs
1.19/1.20	c (round 3) 2274 del vars, 5697 del conss, 0 add conss, 1062 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1236691 impls, 0 clqs
1.19/1.21	c (round 4) 2341 del vars, 5867 del conss, 0 add conss, 1129 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1236997 impls, 0 clqs
1.19/1.22	c (round 5) 2470 del vars, 6097 del conss, 0 add conss, 1258 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1238088 impls, 0 clqs
1.19/1.24	c (round 6) 2626 del vars, 6423 del conss, 0 add conss, 1411 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1241356 impls, 0 clqs
1.19/1.26	c (round 7) 2796 del vars, 6826 del conss, 0 add conss, 1576 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1246500 impls, 0 clqs
1.19/1.27	c (round 8) 2942 del vars, 7259 del conss, 0 add conss, 1728 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1249534 impls, 0 clqs
1.19/1.29	c (round 9) 3070 del vars, 7623 del conss, 0 add conss, 1839 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1251206 impls, 0 clqs
1.29/1.30	c (round 10) 3170 del vars, 7911 del conss, 0 add conss, 1941 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1253874 impls, 0 clqs
1.29/1.32	c (round 11) 3220 del vars, 8140 del conss, 0 add conss, 1993 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1256162 impls, 0 clqs
1.29/1.33	c (round 12) 3235 del vars, 8252 del conss, 0 add conss, 2005 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1258269 impls, 0 clqs
1.29/1.34	c (round 13) 3249 del vars, 8283 del conss, 0 add conss, 2018 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1258417 impls, 0 clqs
1.29/1.35	c (round 14) 3263 del vars, 8316 del conss, 0 add conss, 2032 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1258501 impls, 0 clqs
1.29/1.37	c (round 15) 3277 del vars, 8351 del conss, 0 add conss, 2046 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1258873 impls, 0 clqs
1.29/1.38	c (round 16) 3289 del vars, 8385 del conss, 0 add conss, 2060 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1259265 impls, 0 clqs
1.29/1.39	c (round 17) 3305 del vars, 8427 del conss, 0 add conss, 2074 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1259743 impls, 0 clqs
1.39/1.40	c (round 18) 3318 del vars, 8460 del conss, 0 add conss, 2087 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1260046 impls, 0 clqs
1.39/1.41	c (round 19) 3330 del vars, 8490 del conss, 0 add conss, 2099 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1260244 impls, 0 clqs
1.39/1.43	c (round 20) 3340 del vars, 8519 del conss, 0 add conss, 2109 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1260402 impls, 0 clqs
1.39/1.44	c (round 21) 3346 del vars, 8542 del conss, 0 add conss, 2115 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1260522 impls, 0 clqs
1.39/1.45	c (round 22) 3348 del vars, 8555 del conss, 0 add conss, 2117 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1260560 impls, 0 clqs
1.39/1.46	c (round 23) 3350 del vars, 8560 del conss, 0 add conss, 2119 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1260608 impls, 0 clqs
1.59/1.66	c (round 24) 3350 del vars, 8627 del conss, 0 add conss, 2119 chg bounds, 1585 chg sides, 3428 chg coeffs, 58879 upgd conss, 1260638 impls, 0 clqs
1.69/1.75	c (round 25) 3350 del vars, 8627 del conss, 0 add conss, 2119 chg bounds, 1585 chg sides, 3428 chg coeffs, 58941 upgd conss, 1260638 impls, 0 clqs
1.79/1.80	c presolving (26 rounds):
1.79/1.80	c  3350 deleted vars, 8627 deleted constraints, 0 added constraints, 2119 tightened bounds, 0 added holes, 1585 changed sides, 3428 changed coefficients
1.79/1.80	c  1260638 implications, 0 cliques
1.79/1.80	c presolved problem has 20487 variables (20487 bin, 0 int, 0 impl, 0 cont) and 58941 constraints
1.79/1.80	c    3170 constraints of type <knapsack>
1.79/1.80	c   37392 constraints of type <setppc>
1.79/1.80	c   18379 constraints of type <logicor>
1.79/1.80	c transformed objective value is always integral (scale: 1)
1.79/1.80	c Presolving Time: 1.37
1.79/1.80	c - non default parameters ----------------------------------------------------------------------
1.79/1.80	c # SCIP version 2.0.1.4
1.79/1.80	c 
1.79/1.80	c # frequency for displaying node information lines
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.80	c display/freq = 10000
1.79/1.80	c 
1.79/1.80	c # maximal time in seconds to run
1.79/1.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.80	c limits/time = 1797
1.79/1.80	c 
1.79/1.80	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.80	c limits/memory = 13950
1.79/1.80	c 
1.79/1.80	c # solving stops, if the given number of solutions were found (-1: no limit)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.80	c limits/solutions = 1
1.79/1.80	c 
1.79/1.80	c # maximal number of separation rounds per node (-1: unlimited)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 5]
1.79/1.80	c separating/maxrounds = 1
1.79/1.80	c 
1.79/1.80	c # maximal number of separation rounds in the root node (-1: unlimited)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.80	c separating/maxroundsroot = 5
1.79/1.80	c 
1.79/1.80	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.79/1.80	c # [type: int, range: [1,2], default: 1]
1.79/1.80	c timing/clocktype = 2
1.79/1.80	c 
1.79/1.80	c # belongs reading time to solving time?
1.79/1.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.80	c timing/reading = TRUE
1.79/1.80	c 
1.79/1.80	c # should presolving try to simplify inequalities
1.79/1.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.80	c constraints/linear/simplifyinequalities = TRUE
1.79/1.80	c 
1.79/1.80	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.79/1.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.80	c constraints/indicator/addCouplingCons = TRUE
1.79/1.80	c 
1.79/1.80	c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.79/1.80	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.79/1.80	c constraints/knapsack/disaggregation = FALSE
1.79/1.80	c 
1.79/1.80	c # should presolving try to simplify knapsacks
1.79/1.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.80	c constraints/knapsack/simplifyinequalities = TRUE
1.79/1.80	c 
1.79/1.80	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.80	c presolving/probing/maxrounds = 0
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.80	c heuristics/coefdiving/freq = -1
1.79/1.80	c 
1.79/1.80	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.80	c heuristics/coefdiving/maxlpiterquot = 0.075
1.79/1.80	c 
1.79/1.80	c # additional number of allowed LP iterations
1.79/1.80	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.80	c heuristics/coefdiving/maxlpiterofs = 1500
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 30]
1.79/1.80	c heuristics/crossover/freq = -1
1.79/1.80	c 
1.79/1.80	c # number of nodes added to the contingent of the total nodes
1.79/1.80	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.79/1.80	c heuristics/crossover/nodesofs = 750
1.79/1.80	c 
1.79/1.80	c # number of nodes without incumbent change that heuristic should wait
1.79/1.80	c # [type: longint, range: [0,9223372036854775807], default: 200]
1.79/1.80	c heuristics/crossover/nwaitingnodes = 100
1.79/1.80	c 
1.79/1.80	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.79/1.80	c # [type: real, range: [0,1], default: 0.1]
1.79/1.80	c heuristics/crossover/nodesquot = 0.15
1.79/1.80	c 
1.79/1.80	c # minimum percentage of integer variables that have to be fixed 
1.79/1.80	c # [type: real, range: [0,1], default: 0.666]
1.79/1.80	c heuristics/crossover/minfixingrate = 0.5
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.80	c heuristics/feaspump/freq = -1
1.79/1.80	c 
1.79/1.80	c # additional number of allowed LP iterations
1.79/1.80	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.80	c heuristics/feaspump/maxlpiterofs = 2000
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.80	c heuristics/fracdiving/freq = -1
1.79/1.80	c 
1.79/1.80	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.80	c heuristics/fracdiving/maxlpiterquot = 0.075
1.79/1.80	c 
1.79/1.80	c # additional number of allowed LP iterations
1.79/1.80	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.80	c heuristics/fracdiving/maxlpiterofs = 1500
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.80	c heuristics/guideddiving/freq = -1
1.79/1.80	c 
1.79/1.80	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.80	c heuristics/guideddiving/maxlpiterquot = 0.075
1.79/1.80	c 
1.79/1.80	c # additional number of allowed LP iterations
1.79/1.80	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.80	c heuristics/guideddiving/maxlpiterofs = 1500
1.79/1.80	c 
1.79/1.80	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.80	c heuristics/intdiving/maxlpiterquot = 0.075
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.80	c heuristics/intshifting/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.80	c heuristics/linesearchdiving/freq = -1
1.79/1.80	c 
1.79/1.80	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.80	c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.79/1.80	c 
1.79/1.80	c # additional number of allowed LP iterations
1.79/1.80	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.80	c heuristics/linesearchdiving/maxlpiterofs = 1500
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.80	c heuristics/objpscostdiving/freq = -1
1.79/1.80	c 
1.79/1.80	c # maximal fraction of diving LP iterations compared to total iteration number
1.79/1.80	c # [type: real, range: [0,1], default: 0.01]
1.79/1.80	c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.79/1.80	c 
1.79/1.80	c # additional number of allowed LP iterations
1.79/1.80	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.80	c heuristics/objpscostdiving/maxlpiterofs = 1500
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.80	c heuristics/oneopt/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.80	c heuristics/pscostdiving/freq = -1
1.79/1.80	c 
1.79/1.80	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.80	c heuristics/pscostdiving/maxlpiterquot = 0.075
1.79/1.80	c 
1.79/1.80	c # additional number of allowed LP iterations
1.79/1.80	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.80	c heuristics/pscostdiving/maxlpiterofs = 1500
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.80	c heuristics/rens/freq = -1
1.79/1.80	c 
1.79/1.80	c # minimum percentage of integer variables that have to be fixable 
1.79/1.80	c # [type: real, range: [0,1], default: 0.5]
1.79/1.80	c heuristics/rens/minfixingrate = 0.3
1.79/1.80	c 
1.79/1.80	c # number of nodes added to the contingent of the total nodes
1.79/1.80	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.79/1.80	c heuristics/rens/nodesofs = 2000
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.80	c heuristics/rootsoldiving/freq = -1
1.79/1.80	c 
1.79/1.80	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.79/1.80	c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.79/1.80	c 
1.79/1.80	c # additional number of allowed LP iterations
1.79/1.80	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.80	c heuristics/rootsoldiving/maxlpiterofs = 1500
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.80	c heuristics/rounding/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.80	c heuristics/shiftandpropagate/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.80	c heuristics/shifting/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.80	c heuristics/simplerounding/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.80	c heuristics/subnlp/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.80	c heuristics/trivial/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.80	c heuristics/trysol/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.80	c heuristics/undercover/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.80	c heuristics/veclendiving/freq = -1
1.79/1.80	c 
1.79/1.80	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.80	c heuristics/veclendiving/maxlpiterquot = 0.075
1.79/1.80	c 
1.79/1.80	c # additional number of allowed LP iterations
1.79/1.80	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.80	c heuristics/veclendiving/maxlpiterofs = 1500
1.79/1.80	c 
1.79/1.80	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.80	c heuristics/zirounding/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.80	c separating/cmir/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.80	c separating/flowcover/freq = -1
1.79/1.80	c 
1.79/1.80	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.79/1.80	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.80	c separating/rapidlearning/freq = 0
1.79/1.80	c 
1.79/1.80	c -----------------------------------------------------------------------------------------------
1.79/1.80	c start solving
1.79/1.81	c 
2.99/3.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.99/3.00	c   3.0s|     1 |     0 |  4200 |     - | 154M|   0 |2693 |  20k|  58k|  20k|  58k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.60/6.64	c   6.6s|     1 |     0 |  8514 |     - | 155M|   0 |3607 |  20k|  58k|  20k|  59k| 188 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
15.40/15.41	c  15.4s|     1 |     0 | 15159 |     - | 155M|   0 |4144 |  20k|  58k|  20k|  59k| 327 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
36.49/36.52	c  36.5s|     1 |     0 | 25367 |     - | 156M|   0 |4619 |  20k|  58k|  20k|  59k| 453 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
43.39/43.41	c  43.4s|     1 |     0 | 30939 |     - | 156M|   0 |4882 |  20k|  58k|  20k|  59k| 551 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
54.19/54.24	c  54.2s|     1 |     0 | 36557 |     - | 156M|   0 |5209 |  20k|  58k|  20k|  59k| 681 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
83.50/83.60	c  83.6s|     1 |     2 | 36557 |     - | 156M|   0 |5209 |  20k|  58k|  20k|  59k| 681 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1797.03/1797.03	c 
1797.03/1797.03	c SCIP Status        : solving was interrupted [time limit reached]
1797.03/1797.03	c Solving Time (sec) : 1797.03
1797.03/1797.03	c Solving Nodes      : 1254
1797.03/1797.03	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.03/1797.03	c Dual Bound         : +0.00000000000000e+00
1797.03/1797.03	c Gap                : infinite
1797.03/1797.03	s UNKNOWN
1797.03/1797.03	c SCIP Status        : solving was interrupted [time limit reached]
1797.03/1797.03	c Total Time         :    1797.03
1797.03/1797.03	c   solving          :    1797.03
1797.03/1797.03	c   presolving       :       1.37 (included in solving)
1797.03/1797.03	c   reading          :       0.37 (included in solving)
1797.03/1797.03	c Original Problem   :
1797.03/1797.03	c   Problem name     : HOME/instance-3485883-1307753881.opb
1797.03/1797.03	c   Variables        : 23837 (23837 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.03	c   Constraints      : 67568 initial, 67568 maximal
1797.03/1797.03	c Presolved Problem  :
1797.03/1797.03	c   Problem name     : t_HOME/instance-3485883-1307753881.opb
1797.03/1797.03	c   Variables        : 20487 (20487 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.03	c   Constraints      : 58941 initial, 59702 maximal
1797.03/1797.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.03/1797.03	c   trivial          :       0.03         31          0          0          0          0          0          0          0          0
1797.03/1797.03	c   dualfix          :       0.02          0          0          0          0          0          0          0          0          0
1797.03/1797.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.03	c   implics          :       0.16          0       1213          0          0          0          0          0          0          0
1797.03/1797.03	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.03	c   knapsack         :       0.02          0          0          0          0          0          0          0          0          0
1797.03/1797.03	c   setppc           :       0.07          0          0          0          0          0          0          0          0          0
1797.03/1797.03	c   linear           :       0.82       2100          6          0       2119          0       8627          0       1585       3428
1797.03/1797.03	c   logicor          :       0.04          0          0          0          0          0          0          0          0          0
1797.03/1797.03	c   root node        :          -          1          -          -          1          -          -          -          -          -
1797.03/1797.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.03/1797.03	c   integral         :          0          0          0       1058          0          1          0         75         90          0          0       1902
1797.03/1797.03	c   knapsack         :       3170          5       9561          0          1          0       3436         96      11199       1002          0          0
1797.03/1797.03	c   setppc           :      37392          5       9465          0          1          0      28644         35     271239          0          0          0
1797.03/1797.03	c   logicor          :      18379+         5       7537          0          1          0      11317        111      89094          0          0          0
1797.03/1797.03	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1797.03/1797.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.03/1797.03	c   integral         :     855.08       0.00       0.00     855.08       0.00       0.00       0.00
1797.03/1797.03	c   knapsack         :       0.85       0.01       0.83       0.00       0.00       0.00       0.00
1797.03/1797.03	c   setppc           :       4.27       0.01       4.24       0.00       0.01       0.00       0.01
1797.03/1797.03	c   logicor          :       0.62       0.00       0.60       0.00       0.01       0.00       0.01
1797.03/1797.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.03/1797.03	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.03/1797.03	c   vbounds          :          0          0          0          0
1797.03/1797.03	c   rootredcost      :          0          0          0          0
1797.03/1797.03	c   pseudoobj        :          0          0          0          0
1797.03/1797.03	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.03/1797.03	c   vbounds          :       0.00       0.00       0.00
1797.03/1797.03	c   rootredcost      :       0.00       0.00       0.00
1797.03/1797.03	c   pseudoobj        :       0.00       0.00       0.00
1797.03/1797.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.03/1797.03	c   propagation      :       0.03        242        242       1722       23.6         51        8.5          -
1797.03/1797.03	c   infeasible LP    :       0.34         86         86        260        9.1         22        6.9          0
1797.03/1797.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.03/1797.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.03/1797.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.03/1797.03	c   applied globally :          -          -          -       1085       16.8          -          -          -
1797.03/1797.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.03/1797.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.03/1797.03	c   cut pool         :       0.00          4          -          -        218          -    (maximal pool size: 1789)
1797.03/1797.03	c   redcost          :       0.65       1033          0          0          0          0
1797.03/1797.03	c   impliedbounds    :       0.03          5          0          0          0          0
1797.03/1797.03	c   intobj           :       0.00          0          0          0          0          0
1797.03/1797.03	c   gomory           :      13.67          5          0          0       2500          0
1797.03/1797.03	c   cgmip            :       0.00          0          0          0          0          0
1797.03/1797.03	c   closecuts        :       0.00          0          0          0          0          0
1797.03/1797.03	c   strongcg         :      16.17          5          0          0       2500          0
1797.03/1797.03	c   cmir             :       0.00          0          0          0          0          0
1797.03/1797.03	c   flowcover        :       0.00          0          0          0          0          0
1797.03/1797.03	c   clique           :       1.21          5          0          0         38          0
1797.03/1797.03	c   zerohalf         :       0.00          0          0          0          0          0
1797.03/1797.03	c   mcf              :       0.33          1          0          0          0          0
1797.03/1797.03	c   oddcycle         :       0.00          0          0          0          0          0
1797.03/1797.03	c   rapidlearning    :       0.00          0          0          0          0          0
1797.03/1797.03	c Pricers            :       Time      Calls       Vars
1797.03/1797.03	c   problem variables:       0.00          0          0
1797.03/1797.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.03/1797.03	c   relpscost        :     855.08       1058         75         90          0          0       1902
1797.03/1797.03	c   pscost           :       0.00          0          0          0          0          0          0
1797.03/1797.03	c   inference        :       0.00          1          0          0          0          0          2
1797.03/1797.03	c   mostinf          :       0.00          0          0          0          0          0          0
1797.03/1797.03	c   leastinf         :       0.00          0          0          0          0          0          0
1797.03/1797.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.03/1797.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.03/1797.03	c   random           :       0.00          0          0          0          0          0          0
1797.03/1797.03	c Primal Heuristics  :       Time      Calls      Found
1797.03/1797.03	c   LP solutions     :       0.00          -          0
1797.03/1797.03	c   pseudo solutions :       0.00          -          0
1797.03/1797.03	c   trivial          :       0.02          1          0
1797.03/1797.03	c   shiftandpropagate:       0.00          0          0
1797.03/1797.03	c   simplerounding   :       0.00          0          0
1797.03/1797.03	c   zirounding       :       0.00          0          0
1797.03/1797.03	c   rounding         :       0.00          0          0
1797.03/1797.03	c   shifting         :       0.00          0          0
1797.03/1797.03	c   intshifting      :       0.00          0          0
1797.03/1797.03	c   oneopt           :       0.00          0          0
1797.03/1797.03	c   twoopt           :       0.00          0          0
1797.03/1797.03	c   fixandinfer      :       0.00          0          0
1797.03/1797.03	c   feaspump         :       0.00          0          0
1797.03/1797.03	c   clique           :       0.00          0          0
1797.03/1797.03	c   coefdiving       :       0.00          0          0
1797.03/1797.03	c   pscostdiving     :       0.00          0          0
1797.03/1797.03	c   fracdiving       :       0.00          0          0
1797.03/1797.03	c   veclendiving     :       0.00          0          0
1797.03/1797.03	c   intdiving        :       0.00          0          0
1797.03/1797.03	c   actconsdiving    :       0.00          0          0
1797.03/1797.03	c   objpscostdiving  :       0.00          0          0
1797.03/1797.03	c   rootsoldiving    :       0.00          0          0
1797.03/1797.03	c   linesearchdiving :       0.00          0          0
1797.03/1797.03	c   guideddiving     :       0.00          0          0
1797.03/1797.03	c   octane           :       0.00          0          0
1797.03/1797.03	c   rens             :       0.00          0          0
1797.03/1797.03	c   rins             :       0.00          0          0
1797.03/1797.03	c   localbranching   :       0.00          0          0
1797.03/1797.03	c   mutation         :       0.00          0          0
1797.03/1797.03	c   crossover        :       0.00          0          0
1797.03/1797.03	c   dins             :       0.00          0          0
1797.03/1797.03	c   vbounds          :       0.00          0          0
1797.03/1797.03	c   undercover       :       0.00          0          0
1797.03/1797.03	c   subnlp           :       0.00          0          0
1797.03/1797.03	c   trysol           :       0.00          0          0
1797.03/1797.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.03/1797.03	c   primal LP        :       0.02          0          0       0.00       0.00
1797.03/1797.03	c   dual LP          :     888.17       1146    1301865    1136.01    1465.78
1797.03/1797.03	c   lex dual LP      :       0.00          0          0       0.00          -
1797.03/1797.03	c   barrier LP       :       0.00          0          0       0.00          -
1797.03/1797.03	c   diving/probing LP:       0.00          0          0       0.00          -
1797.03/1797.03	c   strong branching :     853.60       1222     781825     639.79     915.91
1797.03/1797.03	c     (at root node) :          -         33      27988     848.12          -
1797.03/1797.03	c   conflict analysis:       0.00          0          0       0.00          -
1797.03/1797.03	c B&B Tree           :
1797.03/1797.03	c   number of runs   :          1
1797.03/1797.03	c   nodes            :       1254
1797.03/1797.03	c   nodes (total)    :       1254
1797.03/1797.03	c   nodes left       :         90
1797.03/1797.03	c   max depth        :         74
1797.03/1797.03	c   max depth (total):         74
1797.03/1797.03	c   backtracks       :        317 (25.3%)
1797.03/1797.03	c   delayed cutoffs  :        561
1797.03/1797.03	c   repropagations   :       1295 (78526 domain reductions, 101 cutoffs)
1797.03/1797.03	c   avg switch length:       4.34
1797.03/1797.03	c   switching time   :       3.17
1797.03/1797.03	c Solution           :
1797.03/1797.03	c   Solutions found  :          0 (0 improvements)
1797.03/1797.03	c   Primal Bound     :          -
1797.03/1797.03	c   Dual Bound       : +0.00000000000000e+00
1797.03/1797.03	c   Gap              :   infinite
1797.03/1797.03	c   Root Dual Bound  : +0.00000000000000e+00
1797.03/1797.03	c   Root Iterations  :      36557
1797.23/1797.26	c Time complete: 1797.3.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3485883-1307753881/watcher-3485883-1307753881 -o /tmp/evaluation-result-3485883-1307753881/solver-3485883-1307753881 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485883-1307753881.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: 2.01 2.01 1.91 2/177 17677
/proc/meminfo: memFree=31034216/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=9984 CPUtime=0 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 1482 0 0 0 0 0 0 0 25 0 1 0 342997498 10223616 1437 33554432000 4194304 8979876 140736074626432 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17677/statm: 2496 1447 363 1169 0 1323 0

[startup+0.0214291 s]
/proc/loadavg: 2.01 2.01 1.91 2/177 17677
/proc/meminfo: memFree=31034216/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=12472 CPUtime=0.01 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 2106 0 0 0 1 0 0 0 25 0 1 0 342997498 12771328 2061 33554432000 4194304 8979876 140736074626432 18446744073709551615 7836063 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17677/statm: 3118 2061 363 1169 0 1945 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12472

[startup+0.100405 s]
/proc/loadavg: 2.01 2.01 1.91 2/177 17677
/proc/meminfo: memFree=31034216/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=21824 CPUtime=0.09 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 4462 0 0 0 9 0 0 0 25 0 1 0 342997498 22347776 4417 33554432000 4194304 8979876 140736074626432 18446744073709551615 7807904 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17677/statm: 5456 4417 363 1169 0 4283 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21824

[startup+0.300371 s]
/proc/loadavg: 2.01 2.01 1.91 2/177 17677
/proc/meminfo: memFree=31034216/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=42196 CPUtime=0.29 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 9544 0 0 0 29 0 0 0 25 0 1 0 342997498 43208704 9499 33554432000 4194304 8979876 140736074626432 18446744073709551615 4195040 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17677/statm: 10549 9499 363 1169 0 9376 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42196

[startup+0.700295 s]
/proc/loadavg: 2.01 2.01 1.91 2/177 17677
/proc/meminfo: memFree=31034216/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=144100 CPUtime=0.69 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 36792 0 0 0 65 4 0 0 25 0 1 0 342997498 147558400 34046 33554432000 4194304 8979876 140736074626432 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 36025 34046 499 1169 0 34852 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 144100

[startup+1.50115 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 17679
/proc/meminfo: memFree=30865468/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=189316 CPUtime=1.49 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 48475 0 0 0 144 5 0 0 25 0 1 0 342997498 193859584 45178 33554432000 4194304 8979876 140736074626432 18446744073709551615 6778290 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 47329 45178 505 1169 0 46156 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 189316

[startup+3.10087 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 17679
/proc/meminfo: memFree=30756216/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=309512 CPUtime=3.09 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 80580 0 0 0 301 8 0 0 25 0 1 0 342997498 316940288 73249 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 77378 73249 731 1169 0 76205 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 309512

[startup+6.30029 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 17679
/proc/meminfo: memFree=30737364/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=309512 CPUtime=6.29 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 82081 0 0 0 619 10 0 0 25 0 1 0 342997498 316940288 74645 33554432000 4194304 8979876 140736074626432 18446744073709551615 7146320 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 77378 74645 680 1169 0 76205 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 309512

[startup+12.7011 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 17679
/proc/meminfo: memFree=30734868/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=314656 CPUtime=12.69 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 83482 0 0 0 1258 11 0 0 25 0 1 0 342997498 322207744 76046 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 78664 76046 683 1169 0 77491 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 314656

[startup+25.5009 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 17679
/proc/meminfo: memFree=30730644/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=314656 CPUtime=25.49 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 83651 0 0 0 2535 14 0 0 25 0 1 0 342997498 322207744 76213 33554432000 4194304 8979876 140736074626432 18446744073709551615 7841440 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 78664 76213 710 1169 0 77491 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 314656

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 17680
/proc/meminfo: memFree=30722288/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=320776 CPUtime=51.09 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 85360 0 0 0 5089 20 0 0 25 0 1 0 342997498 328474624 77892 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 80194 77892 683 1169 0 79021 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 320776

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 17681
/proc/meminfo: memFree=30703992/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=327656 CPUtime=102.3 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 87336 0 0 0 10199 31 0 0 25 0 1 0 342997498 335519744 79800 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 81914 79800 779 1169 0 80741 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 327656

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 17683
/proc/meminfo: memFree=30692880/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=327656 CPUtime=162.29 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 87424 0 0 0 16187 42 0 0 25 0 1 0 342997498 335519744 79802 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 81914 79802 693 1169 0 80741 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 327656

[startup+222.301 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 17693
/proc/meminfo: memFree=30684268/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=328564 CPUtime=222.29 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 87433 0 0 0 22176 53 0 0 25 0 1 0 342997498 336449536 79805 33554432000 4194304 8979876 140736074626432 18446744073709551615 7122096 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 82141 79805 687 1169 0 80968 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 328564

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 17733
/proc/meminfo: memFree=30781836/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=328700 CPUtime=282.29 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 87454 0 0 0 28164 65 0 0 25 0 1 0 342997498 336588800 79825 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 82175 79825 686 1169 0 81002 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 328700

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 17849
/proc/meminfo: memFree=30761696/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=330256 CPUtime=342.29 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 93668 0 0 0 34147 82 0 0 25 0 1 0 342997498 338182144 79594 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 82564 79594 686 1169 0 81391 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 330256

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 17888
/proc/meminfo: memFree=30599300/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=330452 CPUtime=402.3 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 141549 0 0 0 40129 101 0 0 25 0 1 0 342997498 338382848 79395 33554432000 4194304 8979876 140736074626432 18446744073709551615 7146477 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 82613 79395 692 1169 0 81440 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 330452

[startup+462.301 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 17890
/proc/meminfo: memFree=30594372/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=331496 CPUtime=462.31 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 182584 0 0 0 46113 118 0 0 25 0 1 0 342997498 339451904 80109 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 82874 80109 955 1169 0 81701 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 331496

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 17891
/proc/meminfo: memFree=30587760/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=333864 CPUtime=522.31 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 221038 0 0 0 52099 132 0 0 25 0 1 0 342997498 341876736 80937 33554432000 4194304 8979876 140736074626432 18446744073709551615 7047435 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 83466 80937 835 1169 0 82293 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 333864

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17893
/proc/meminfo: memFree=30571352/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=337880 CPUtime=582.3 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 235776 0 0 0 58084 146 0 0 25 0 1 0 342997498 345989120 82081 33554432000 4194304 8979876 140736074626432 18446744073709551615 6547128 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17677/statm: 84470 82081 691 1169 0 83297 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 337880

[startup+642.301 s]

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

/proc/meminfo: memFree=30697280/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=352124 CPUtime=1122.32 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 422361 0 0 0 111945 287 0 0 25 0 1 0 342997498 360574976 85558 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 88031 85558 691 1169 0 86858 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 352124

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17950
/proc/meminfo: memFree=30694268/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=352124 CPUtime=1182.32 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 422367 0 0 0 117934 298 0 0 25 0 1 0 342997498 360574976 85564 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 88031 85564 691 1169 0 86858 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 352124

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/178 17990
/proc/meminfo: memFree=30750064/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=352124 CPUtime=1242.32 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 422368 0 0 0 123922 310 0 0 25 0 1 0 342997498 360574976 85565 33554432000 4194304 8979876 140736074626432 18446744073709551615 7177432 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 88031 85565 691 1169 0 86858 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 352124

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 17991
/proc/meminfo: memFree=30741456/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=355084 CPUtime=1302.32 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 423039 0 0 0 129912 320 0 0 25 0 1 0 342997498 363606016 86236 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 88771 86236 691 1169 0 87598 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 355084

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 18031
/proc/meminfo: memFree=30730780/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=356180 CPUtime=1362.32 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 439091 0 0 0 135897 335 0 0 25 0 1 0 342997498 364728320 86888 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 89045 86888 707 1169 0 87872 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 356180

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18032
/proc/meminfo: memFree=30741776/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=348544 CPUtime=1422.34 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 472960 0 0 0 141885 349 0 0 25 0 1 0 342997498 356909056 83329 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 87136 83329 691 1169 0 85963 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 348544

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18034
/proc/meminfo: memFree=30730192/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=353644 CPUtime=1482.33 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 490529 0 0 0 147872 361 0 0 25 0 1 0 342997498 362131456 85875 33554432000 4194304 8979876 140736074626432 18446744073709551615 7193008 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 88411 85875 691 1169 0 87238 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 353644

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 18036
/proc/meminfo: memFree=30732004/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=353488 CPUtime=1542.32 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 501994 0 0 0 153858 374 0 0 25 0 1 0 342997498 361971712 85543 33554432000 4194304 8979876 140736074626432 18446744073709551615 7193019 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 88372 85543 955 1169 0 87199 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 353488

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 18037
/proc/meminfo: memFree=30731084/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=355700 CPUtime=1602.33 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 533793 0 0 0 159844 389 0 0 25 0 1 0 342997498 364236800 86092 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 88925 86092 1095 1169 0 87752 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 355700

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18039
/proc/meminfo: memFree=30710696/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=360352 CPUtime=1662.33 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 563827 0 0 0 165827 406 0 0 25 0 1 0 342997498 369000448 87302 33554432000 4194304 8979876 140736074626432 18446744073709551615 7107542 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 90088 87302 691 1169 0 88915 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 360352

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18040
/proc/meminfo: memFree=30708168/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=358048 CPUtime=1722.33 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 610074 0 0 0 171811 422 0 0 25 0 1 0 342997498 366641152 86434 33554432000 4194304 8979876 140736074626432 18446744073709551615 7146377 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 89512 86434 889 1169 0 88339 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 358048

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18042
/proc/meminfo: memFree=30692236/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=363780 CPUtime=1782.34 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 612161 0 0 0 177801 433 0 0 25 0 1 0 342997498 372510720 88323 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 90945 88323 691 1169 0 89772 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 363780

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18042
/proc/meminfo: memFree=30692360/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=363780 CPUtime=1785.54 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 612161 0 0 0 178120 434 0 0 25 0 1 0 342997498 372510720 88323 33554432000 4194304 8979876 140736074626432 18446744073709551615 7164663 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 90945 88323 691 1169 0 89772 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 363780

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18042
/proc/meminfo: memFree=30691488/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=364368 CPUtime=1791.95 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 612351 0 0 0 178759 436 0 0 25 0 1 0 342997498 373112832 88513 33554432000 4194304 8979876 140736074626432 18446744073709551615 4987855 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 91092 88513 691 1169 0 89919 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 364368

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18042
/proc/meminfo: memFree=30690124/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=364368 CPUtime=1795.14 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 612351 0 0 0 179077 437 0 0 25 0 1 0 342997498 373112832 88513 33554432000 4194304 8979876 140736074626432 18446744073709551615 7179759 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 91092 88513 691 1169 0 89919 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 364368

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18042
/proc/meminfo: memFree=30690124/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=364368 CPUtime=1795.94 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 612351 0 0 0 179157 437 0 0 25 0 1 0 342997498 373112832 88513 33554432000 4194304 8979876 140736074626432 18446744073709551615 7192864 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 91092 88513 691 1169 0 89919 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 364368

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18042
/proc/meminfo: memFree=30692352/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=364368 CPUtime=1796.73 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 612351 0 0 0 179236 437 0 0 25 0 1 0 342997498 373112832 88513 33554432000 4194304 8979876 140736074626432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17677/statm: 91092 88513 691 1169 0 89919 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 364368

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18042
/proc/meminfo: memFree=30692352/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=364368 CPUtime=1797.13 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 612359 0 0 0 179276 437 0 0 18 0 1 0 342997498 373112832 88521 33554432000 4194304 8979876 140736074626432 18446744073709551615 6783150 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17677/statm: 91092 88521 699 1169 0 89919 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 364368

[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18042
/proc/meminfo: memFree=30692352/32950928 swapFree=67054696/67111528
[pid=17677] ppid=17675 vsize=359868 CPUtime=1797.23 cores=0,2,4,6
/proc/17677/stat : 17677 (scip-2.0.1.4_2.) R 17675 17677 16493 0 -1 4202496 612362 0 0 0 179286 437 0 0 18 0 1 0 342997498 368504832 87420 33554432000 4194304 8979876 140736074626432 18446744073709551615 6778220 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17677/statm: 89967 87420 702 1169 0 88794 0
Current children cumulated CPU time (s) 1797.23
Current children cumulated vsize (KiB) 359868

Child status: 0
Real time (s): 1797.26
CPU time (s): 1797.31
CPU user time (s): 1792.91
CPU system time (s): 4.39533
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 364368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.91
system time used= 4.39533
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612370
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= 7
involuntary context switches= 12189

runsolver used 2.79557 second user time and 5.63914 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-11 02:58:01
IDJOB=3485883
IDBENCH=1466
IDSOLVER=1977
FILE ID=node112/3485883-1307753881
RUNJOBID= node112-1307750177-16511
PBS_JOBID= 13550850
Free space on /tmp= 74020 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485883-1307753881/watcher-3485883-1307753881 -o /tmp/evaluation-result-3485883-1307753881/solver-3485883-1307753881 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485883-1307753881.opb -t 1800 -m 15500

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

MD5SUM BENCH= f83049a5e6f779c8a894a05e03ae7f50
RANDOM SEED=1702745553

node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5180.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31034776 kB
Buffers:        232276 kB
Cached:        1299416 kB
SwapCached:      10772 kB
Active:         608844 kB
Inactive:      1083160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31034776 kB
SwapTotal:    67111528 kB
SwapFree:     67054696 kB
Dirty:           24188 kB
Writeback:           0 kB
AnonPages:      157952 kB
Mapped:          12116 kB
Slab:           159632 kB
PageTables:       4856 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   353768 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74000 MiB
End job on node112 at 2011-06-11 03:27:58