Trace number 3486155

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)? (TO) 1800.09 1800.04

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_3-sat.opb
MD5SUMcf899369697891a2aa5256c136e26408
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables55660
Total number of constraints186884
Number of constraints which are clauses185968
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints916
Minimum length of a constraint1
Maximum length of a constraint120
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 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.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-3486155-1307791815.opb>
0.99/1.01	c original problem has 55660 variables (55660 bin, 0 int, 0 impl, 0 cont) and 186884 constraints
0.99/1.01	c problem read
0.99/1.01	c No objective function, only one solution is needed.
0.99/1.01	c presolving settings loaded
1.59/1.64	c presolving:
6.89/6.99	c (round 1) 5752 del vars, 16341 del conss, 0 add conss, 4215 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12167440 impls, 0 clqs
8.59/8.64	c (round 2) 12012 del vars, 41993 del conss, 0 add conss, 10040 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12208448 impls, 0 clqs
9.59/9.65	c (round 3) 14303 del vars, 52563 del conss, 0 add conss, 11388 chg bounds, 7 chg sides, 30 chg coeffs, 0 upgd conss, 12229342 impls, 0 clqs
10.79/10.88	c (round 4) 15682 del vars, 57968 del conss, 0 add conss, 12397 chg bounds, 12 chg sides, 40 chg coeffs, 0 upgd conss, 12240059 impls, 0 clqs
11.49/11.59	c (round 5) 16605 del vars, 61730 del conss, 0 add conss, 12983 chg bounds, 12 chg sides, 40 chg coeffs, 0 upgd conss, 12247646 impls, 0 clqs
12.10/12.14	c (round 6) 17161 del vars, 63846 del conss, 0 add conss, 13373 chg bounds, 12 chg sides, 40 chg coeffs, 0 upgd conss, 12253101 impls, 0 clqs
12.39/12.42	c (round 7) 17560 del vars, 65531 del conss, 0 add conss, 13580 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12257004 impls, 0 clqs
12.49/12.58	c (round 8) 17658 del vars, 66038 del conss, 0 add conss, 13635 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12258459 impls, 0 clqs
12.59/12.68	c (round 9) 17730 del vars, 66340 del conss, 0 add conss, 13666 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12259205 impls, 0 clqs
12.69/12.75	c (round 10) 17766 del vars, 66490 del conss, 0 add conss, 13682 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12259628 impls, 0 clqs
12.79/12.80	c (round 11) 17779 del vars, 66561 del conss, 0 add conss, 13687 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12259711 impls, 0 clqs
12.79/12.84	c (round 12) 17779 del vars, 66574 del conss, 0 add conss, 13687 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12259711 impls, 0 clqs
13.29/13.32	c (round 13) 17779 del vars, 66577 del conss, 0 add conss, 13687 chg bounds, 15 chg sides, 43 chg coeffs, 120309 upgd conss, 12259711 impls, 0 clqs
13.99/14.06	c presolving (14 rounds):
13.99/14.06	c  17779 deleted vars, 66577 deleted constraints, 0 added constraints, 13687 tightened bounds, 0 added holes, 21 changed sides, 177 changed coefficients
13.99/14.06	c  12259999 implications, 2776 cliques
13.99/14.06	c presolved problem has 37881 variables (37881 bin, 0 int, 0 impl, 0 cont) and 120307 constraints
13.99/14.06	c     895 constraints of type <knapsack>
13.99/14.06	c  100794 constraints of type <setppc>
13.99/14.06	c   18618 constraints of type <logicor>
13.99/14.06	c transformed objective value is always integral (scale: 1)
13.99/14.06	c Presolving Time: 12.88
13.99/14.06	c - non default parameters ----------------------------------------------------------------------
13.99/14.06	c # SCIP version 2.0.1.4
13.99/14.06	c 
13.99/14.06	c # frequency for displaying node information lines
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 100]
13.99/14.06	c display/freq = 10000
13.99/14.06	c 
13.99/14.06	c # maximal time in seconds to run
13.99/14.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.99/14.06	c limits/time = 1797
13.99/14.06	c 
13.99/14.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.99/14.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.99/14.06	c limits/memory = 13950
13.99/14.06	c 
13.99/14.06	c # solving stops, if the given number of solutions were found (-1: no limit)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.06	c limits/solutions = 1
13.99/14.06	c 
13.99/14.06	c # maximal number of separation rounds per node (-1: unlimited)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 5]
13.99/14.06	c separating/maxrounds = 1
13.99/14.06	c 
13.99/14.06	c # maximal number of separation rounds in the root node (-1: unlimited)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.06	c separating/maxroundsroot = 5
13.99/14.06	c 
13.99/14.06	c # default clock type (1: CPU user seconds, 2: wall clock time)
13.99/14.06	c # [type: int, range: [1,2], default: 1]
13.99/14.06	c timing/clocktype = 2
13.99/14.06	c 
13.99/14.06	c # belongs reading time to solving time?
13.99/14.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.06	c timing/reading = TRUE
13.99/14.06	c 
13.99/14.06	c # should presolving try to simplify inequalities
13.99/14.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.06	c constraints/linear/simplifyinequalities = TRUE
13.99/14.06	c 
13.99/14.06	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
13.99/14.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.06	c constraints/indicator/addCouplingCons = TRUE
13.99/14.06	c 
13.99/14.06	c # should disaggregation of knapsack constraints be allowed in preprocessing?
13.99/14.06	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
13.99/14.06	c constraints/knapsack/disaggregation = FALSE
13.99/14.06	c 
13.99/14.06	c # should presolving try to simplify knapsacks
13.99/14.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.06	c constraints/knapsack/simplifyinequalities = TRUE
13.99/14.06	c 
13.99/14.06	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.06	c presolving/probing/maxrounds = 0
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.06	c heuristics/coefdiving/freq = -1
13.99/14.06	c 
13.99/14.06	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.06	c heuristics/coefdiving/maxlpiterquot = 0.075
13.99/14.06	c 
13.99/14.06	c # additional number of allowed LP iterations
13.99/14.06	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.06	c heuristics/coefdiving/maxlpiterofs = 1500
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 30]
13.99/14.06	c heuristics/crossover/freq = -1
13.99/14.06	c 
13.99/14.06	c # number of nodes added to the contingent of the total nodes
13.99/14.06	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.99/14.06	c heuristics/crossover/nodesofs = 750
13.99/14.06	c 
13.99/14.06	c # number of nodes without incumbent change that heuristic should wait
13.99/14.06	c # [type: longint, range: [0,9223372036854775807], default: 200]
13.99/14.06	c heuristics/crossover/nwaitingnodes = 100
13.99/14.06	c 
13.99/14.06	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
13.99/14.06	c # [type: real, range: [0,1], default: 0.1]
13.99/14.06	c heuristics/crossover/nodesquot = 0.15
13.99/14.06	c 
13.99/14.06	c # minimum percentage of integer variables that have to be fixed 
13.99/14.06	c # [type: real, range: [0,1], default: 0.666]
13.99/14.06	c heuristics/crossover/minfixingrate = 0.5
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.06	c heuristics/feaspump/freq = -1
13.99/14.06	c 
13.99/14.06	c # additional number of allowed LP iterations
13.99/14.06	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.06	c heuristics/feaspump/maxlpiterofs = 2000
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.06	c heuristics/fracdiving/freq = -1
13.99/14.06	c 
13.99/14.06	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.06	c heuristics/fracdiving/maxlpiterquot = 0.075
13.99/14.06	c 
13.99/14.06	c # additional number of allowed LP iterations
13.99/14.06	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.06	c heuristics/fracdiving/maxlpiterofs = 1500
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.06	c heuristics/guideddiving/freq = -1
13.99/14.06	c 
13.99/14.06	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.06	c heuristics/guideddiving/maxlpiterquot = 0.075
13.99/14.06	c 
13.99/14.06	c # additional number of allowed LP iterations
13.99/14.06	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.06	c heuristics/guideddiving/maxlpiterofs = 1500
13.99/14.06	c 
13.99/14.06	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.06	c heuristics/intdiving/maxlpiterquot = 0.075
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.06	c heuristics/intshifting/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.06	c heuristics/linesearchdiving/freq = -1
13.99/14.06	c 
13.99/14.06	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.06	c heuristics/linesearchdiving/maxlpiterquot = 0.075
13.99/14.06	c 
13.99/14.06	c # additional number of allowed LP iterations
13.99/14.06	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.06	c heuristics/linesearchdiving/maxlpiterofs = 1500
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.06	c heuristics/objpscostdiving/freq = -1
13.99/14.06	c 
13.99/14.06	c # maximal fraction of diving LP iterations compared to total iteration number
13.99/14.06	c # [type: real, range: [0,1], default: 0.01]
13.99/14.06	c heuristics/objpscostdiving/maxlpiterquot = 0.015
13.99/14.06	c 
13.99/14.06	c # additional number of allowed LP iterations
13.99/14.06	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.06	c heuristics/objpscostdiving/maxlpiterofs = 1500
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.06	c heuristics/oneopt/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.06	c heuristics/pscostdiving/freq = -1
13.99/14.06	c 
13.99/14.06	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.06	c heuristics/pscostdiving/maxlpiterquot = 0.075
13.99/14.06	c 
13.99/14.06	c # additional number of allowed LP iterations
13.99/14.06	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.06	c heuristics/pscostdiving/maxlpiterofs = 1500
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.06	c heuristics/rens/freq = -1
13.99/14.06	c 
13.99/14.06	c # minimum percentage of integer variables that have to be fixable 
13.99/14.06	c # [type: real, range: [0,1], default: 0.5]
13.99/14.06	c heuristics/rens/minfixingrate = 0.3
13.99/14.06	c 
13.99/14.06	c # number of nodes added to the contingent of the total nodes
13.99/14.06	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.99/14.06	c heuristics/rens/nodesofs = 2000
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.06	c heuristics/rootsoldiving/freq = -1
13.99/14.06	c 
13.99/14.06	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
13.99/14.06	c heuristics/rootsoldiving/maxlpiterquot = 0.015
13.99/14.06	c 
13.99/14.06	c # additional number of allowed LP iterations
13.99/14.06	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.06	c heuristics/rootsoldiving/maxlpiterofs = 1500
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.06	c heuristics/rounding/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.06	c heuristics/shiftandpropagate/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.06	c heuristics/shifting/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.06	c heuristics/simplerounding/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.06	c heuristics/subnlp/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.06	c heuristics/trivial/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.06	c heuristics/trysol/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.06	c heuristics/undercover/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.06	c heuristics/veclendiving/freq = -1
13.99/14.06	c 
13.99/14.06	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.06	c heuristics/veclendiving/maxlpiterquot = 0.075
13.99/14.06	c 
13.99/14.06	c # additional number of allowed LP iterations
13.99/14.06	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.06	c heuristics/veclendiving/maxlpiterofs = 1500
13.99/14.06	c 
13.99/14.06	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.06	c heuristics/zirounding/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.06	c separating/cmir/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.06	c separating/flowcover/freq = -1
13.99/14.06	c 
13.99/14.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
13.99/14.06	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.06	c separating/rapidlearning/freq = 0
13.99/14.06	c 
13.99/14.06	c -----------------------------------------------------------------------------------------------
13.99/14.06	c start solving
13.99/14.08	c 
816.51/816.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
816.51/816.56	c   817s|     1 |     0 | 74862 |     - | 517M|   0 |  21k|  37k| 120k|  37k| 120k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.24 1.62 2/178 5770
/proc/meminfo: memFree=31421428/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=9996 CPUtime=0 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 1515 0 0 0 0 0 0 0 21 0 1 0 890779647 10235904 1469 33554432000 4194304 8979876 140733673854192 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5770/statm: 2499 1469 363 1169 0 1326 0

[startup+0.0877801 s]
/proc/loadavg: 1.00 1.24 1.62 2/178 5770
/proc/meminfo: memFree=31421428/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=27232 CPUtime=0.08 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 5791 0 0 0 8 0 0 0 21 0 1 0 890779647 27885568 5746 33554432000 4194304 8979876 140733673854192 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5770/statm: 6808 5777 363 1169 0 5635 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27232

[startup+0.100769 s]
/proc/loadavg: 1.00 1.24 1.62 2/178 5770
/proc/meminfo: memFree=31421428/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=27652 CPUtime=0.09 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 5925 0 0 0 9 0 0 0 21 0 1 0 890779647 28315648 5879 33554432000 4194304 8979876 140733673854192 18446744073709551615 7807966 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5770/statm: 6913 5879 363 1169 0 5740 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27652

[startup+0.300748 s]
/proc/loadavg: 1.00 1.24 1.62 2/178 5770
/proc/meminfo: memFree=31421428/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=46424 CPUtime=0.29 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 10599 0 0 0 29 0 0 0 22 0 1 0 890779647 47538176 10553 33554432000 4194304 8979876 140733673854192 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5770/statm: 11606 10553 363 1169 0 10433 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46424

[startup+0.700675 s]
/proc/loadavg: 1.00 1.24 1.62 2/178 5770
/proc/meminfo: memFree=31421428/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=77804 CPUtime=0.69 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 18275 0 0 0 68 1 0 0 24 0 1 0 890779647 79671296 18230 33554432000 4194304 8979876 140733673854192 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5770/statm: 19451 18262 363 1169 0 18278 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77804

[startup+1.50053 s]
/proc/loadavg: 1.00 1.24 1.62 3/179 5771
/proc/meminfo: memFree=31146288/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=317024 CPUtime=1.49 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 77566 0 0 0 141 8 0 0 25 0 1 0 890779647 324632576 77498 33554432000 4194304 8979876 140733673854192 18446744073709551615 6484564 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 79256 77498 448 1169 0 78083 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 317024

[startup+3.10025 s]
/proc/loadavg: 1.00 1.24 1.62 3/179 5771
/proc/meminfo: memFree=30820040/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=447440 CPUtime=3.09 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 117759 0 0 0 296 13 0 0 25 0 1 0 890779647 458178560 109507 33554432000 4194304 8979876 140733673854192 18446744073709551615 6502409 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 111860 109507 493 1169 0 110687 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 447440

[startup+6.30068 s]
/proc/loadavg: 1.08 1.25 1.62 3/179 5771
/proc/meminfo: memFree=30531960/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=631564 CPUtime=6.29 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 161311 0 0 0 611 18 0 0 25 0 1 0 890779647 646721536 153059 33554432000 4194304 8979876 140733673854192 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 157891 153059 500 1169 0 156718 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 631564

[startup+12.7006 s]
/proc/loadavg: 1.15 1.27 1.62 3/179 5772
/proc/meminfo: memFree=30462076/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=658572 CPUtime=12.69 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 169422 0 0 0 1250 19 0 0 25 0 1 0 890779647 674377728 159734 33554432000 4194304 8979876 140733673854192 18446744073709551615 6504310 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 164643 159734 502 1169 0 163470 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 658572

[startup+25.5003 s]
/proc/loadavg: 1.34 1.30 1.63 3/179 5772
/proc/meminfo: memFree=30241864/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=903636 CPUtime=25.49 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 238404 0 0 0 2520 29 0 0 25 0 1 0 890779647 925323264 216454 33554432000 4194304 8979876 140733673854192 18446744073709551615 7146823 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 225909 216454 705 1169 0 224736 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 903636

[startup+51.1007 s]
/proc/loadavg: 1.56 1.36 1.64 3/179 5773
/proc/meminfo: memFree=30220476/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=914044 CPUtime=51.1 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 241137 0 0 0 5077 33 0 0 25 0 1 0 890779647 935981056 219165 33554432000 4194304 8979876 140733673854192 18446744073709551615 7836063 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 228511 219165 740 1169 0 227338 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 914044

[startup+102.307 s]
/proc/loadavg: 1.85 1.47 1.66 3/179 5774
/proc/meminfo: memFree=30211548/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=917084 CPUtime=102.29 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 242347 0 0 0 10192 37 0 0 25 0 1 0 890779647 939094016 220364 33554432000 4194304 8979876 140733673854192 18446744073709551615 7143762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 229271 220364 729 1169 0 228098 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 917084

[startup+162.301 s]
/proc/loadavg: 1.94 1.56 1.68 3/179 5775
/proc/meminfo: memFree=30207540/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=918560 CPUtime=162.3 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 242978 0 0 0 16187 43 0 0 25 0 1 0 890779647 940605440 220994 33554432000 4194304 8979876 140733673854192 18446744073709551615 6820783 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 229640 220994 728 1169 0 228467 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 918560

[startup+222.3 s]
/proc/loadavg: 1.98 1.64 1.69 3/179 5777
/proc/meminfo: memFree=30196492/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=929088 CPUtime=222.3 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 245729 0 0 0 22181 49 0 0 25 0 1 0 890779647 951386112 223710 33554432000 4194304 8979876 140733673854192 18446744073709551615 7122693 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 232272 223710 725 1169 0 231099 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 929088

[startup+282.301 s]
/proc/loadavg: 1.99 1.70 1.71 3/179 5779
/proc/meminfo: memFree=30176640/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=945736 CPUtime=282.3 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 250722 0 0 0 28176 54 0 0 25 0 1 0 890779647 968433664 228676 33554432000 4194304 8979876 140733673854192 18446744073709551615 6820818 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 236434 228676 729 1169 0 235261 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 945736

[startup+342.301 s]
/proc/loadavg: 1.99 1.75 1.73 3/179 5780
/proc/meminfo: memFree=30174612/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=947636 CPUtime=342.3 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 251292 0 0 0 34173 57 0 0 25 0 1 0 890779647 970379264 229155 33554432000 4194304 8979876 140733673854192 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 236909 229155 724 1169 0 235736 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 947636

[startup+402.3 s]
/proc/loadavg: 2.10 1.83 1.75 3/179 5782
/proc/meminfo: memFree=30173328/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=948904 CPUtime=402.3 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 251668 0 0 0 40169 61 0 0 25 0 1 0 890779647 971677696 229477 33554432000 4194304 8979876 140733673854192 18446744073709551615 7092998 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 237226 229477 724 1169 0 236053 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 948904

[startup+462.301 s]
/proc/loadavg: 2.09 1.87 1.77 3/179 5784
/proc/meminfo: memFree=30172664/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=949528 CPUtime=462.31 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 251866 0 0 0 46166 65 0 0 25 0 1 0 890779647 972316672 229651 33554432000 4194304 8979876 140733673854192 18446744073709551615 7122758 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 237382 229651 724 1169 0 236209 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 949528

[startup+522.301 s]
/proc/loadavg: 2.10 1.91 1.79 3/179 5785
/proc/meminfo: memFree=30171516/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=950744 CPUtime=522.31 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 252197 0 0 0 52162 69 0 0 25 0 1 0 890779647 973561856 229945 33554432000 4194304 8979876 140733673854192 18446744073709551615 7089878 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 237686 229945 724 1169 0 236513 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 950744

[startup+582.3 s]
/proc/loadavg: 2.03 1.92 1.80 3/179 5787
/proc/meminfo: memFree=30171124/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=950744 CPUtime=582.3 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 252307 0 0 0 58158 72 0 0 25 0 1 0 890779647 973561856 229981 33554432000 4194304 8979876 140733673854192 18446744073709551615 7146596 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5770/statm: 237686 229981 658 1169 0 236513 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 950744

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 1.96 1.83 3/179 5793
/proc/meminfo: memFree=30209068/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=924124 CPUtime=822.31 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 254396 0 0 0 82143 88 0 0 25 0 1 0 890779647 946302976 220594 33554432000 4194304 8979876 140733673854192 18446744073709551615 6601233 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 231031 220594 683 1169 0 229858 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 924124

[startup+882.301 s]
/proc/loadavg: 2.00 1.97 1.84 3/179 5795
/proc/meminfo: memFree=30209176/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=924124 CPUtime=882.31 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 254396 0 0 0 88136 95 0 0 25 0 1 0 890779647 946302976 220594 33554432000 4194304 8979876 140733673854192 18446744073709551615 6601243 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 231031 220594 683 1169 0 229858 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 924124

[startup+942.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/179 5796
/proc/meminfo: memFree=30209132/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=924124 CPUtime=942.31 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 254396 0 0 0 94130 101 0 0 25 0 1 0 890779647 946302976 220594 33554432000 4194304 8979876 140733673854192 18446744073709551615 7836073 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 231031 220594 683 1169 0 229858 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 924124

[startup+1002.3 s]
/proc/loadavg: 2.03 1.99 1.86 3/179 5798
/proc/meminfo: memFree=30209368/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=924124 CPUtime=1002.31 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 254397 0 0 0 100122 109 0 0 25 0 1 0 890779647 946302976 220595 33554432000 4194304 8979876 140733673854192 18446744073709551615 7841433 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 231031 220595 684 1169 0 229858 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 924124

[startup+1062.3 s]
/proc/loadavg: 2.01 1.99 1.86 3/179 5799
/proc/meminfo: memFree=30209212/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=924124 CPUtime=1062.31 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 254397 0 0 0 106115 116 0 0 25 0 1 0 890779647 946302976 220595 33554432000 4194304 8979876 140733673854192 18446744073709551615 6609728 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 231031 220595 684 1169 0 229858 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 924124

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 5801
/proc/meminfo: memFree=30209188/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=924124 CPUtime=1122.32 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 254397 0 0 0 112110 122 0 0 25 0 1 0 890779647 946302976 220595 33554432000 4194304 8979876 140733673854192 18446744073709551615 6890435 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 231031 220595 684 1169 0 229858 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 924124

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 5803
/proc/meminfo: memFree=30179024/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=953268 CPUtime=1182.32 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 261985 0 0 0 118106 126 0 0 25 0 1 0 890779647 976146432 228183 33554432000 4194304 8979876 140733673854192 18446744073709551615 6250926 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 238317 228183 687 1169 0 237144 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 953268

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 5804
/proc/meminfo: memFree=30162364/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=954120 CPUtime=1242.33 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 270248 0 0 0 124102 131 0 0 25 0 1 0 890779647 977018880 232333 33554432000 4194304 8979876 140733673854192 18446744073709551615 6820783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 238530 232333 838 1169 0 237357 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 954120

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/179 5806
/proc/meminfo: memFree=30162344/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=954120 CPUtime=1302.33 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 270272 0 0 0 130097 136 0 0 25 0 1 0 890779647 977018880 232357 33554432000 4194304 8979876 140733673854192 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 238530 232357 838 1169 0 237357 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 954120

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/179 5807
/proc/meminfo: memFree=30160584/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=958008 CPUtime=1362.32 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 270734 0 0 0 136091 141 0 0 25 0 1 0 890779647 981000192 232693 33554432000 4194304 8979876 140733673854192 18446744073709551615 7093044 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 239502 232693 713 1169 0 238329 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 958008

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.90 3/179 5809
/proc/meminfo: memFree=30148032/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=965636 CPUtime=1422.33 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 273849 0 0 0 142088 145 0 0 25 0 1 0 890779647 988811264 235773 33554432000 4194304 8979876 140733673854192 18446744073709551615 7184776 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 241409 235773 688 1169 0 240236 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 965636

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/179 5811
/proc/meminfo: memFree=30147256/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=965636 CPUtime=1482.32 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 273859 0 0 0 148083 149 0 0 25 0 1 0 890779647 988811264 235783 33554432000 4194304 8979876 140733673854192 18446744073709551615 7193011 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 241409 235783 688 1169 0 240236 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 965636

[startup+1542.3 s]
/proc/loadavg: 2.12 2.02 1.92 3/179 5812
/proc/meminfo: memFree=30142388/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=968956 CPUtime=1542.32 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 274716 0 0 0 154080 152 0 0 25 0 1 0 890779647 992210944 236636 33554432000 4194304 8979876 140733673854192 18446744073709551615 7146987 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 242239 236636 684 1169 0 241066 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 968956

[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 1.92 3/179 5814
/proc/meminfo: memFree=30145348/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=968956 CPUtime=1602.33 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 274716 0 0 0 160076 157 0 0 25 0 1 0 890779647 992210944 236636 33554432000 4194304 8979876 140733673854192 18446744073709551615 7197300 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 242239 236636 684 1169 0 241066 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 968956

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 1.93 3/179 5816
/proc/meminfo: memFree=30143452/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=968956 CPUtime=1662.33 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 274716 0 0 0 166073 160 0 0 25 0 1 0 890779647 992210944 236636 33554432000 4194304 8979876 140733673854192 18446744073709551615 7145571 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 242239 236636 684 1169 0 241066 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 968956

[startup+1722.3 s]
/proc/loadavg: 2.14 2.06 1.94 3/179 5817
/proc/meminfo: memFree=30144048/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=968956 CPUtime=1722.33 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 274716 0 0 0 172070 163 0 0 25 0 1 0 890779647 992210944 236636 33554432000 4194304 8979876 140733673854192 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 242239 236636 684 1169 0 241066 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 968956

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 1.94 3/179 5819
/proc/meminfo: memFree=30142788/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=968956 CPUtime=1782.33 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 274716 0 0 0 178066 167 0 0 25 0 1 0 890779647 992210944 236636 33554432000 4194304 8979876 140733673854192 18446744073709551615 6942249 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 242239 236636 684 1169 0 241066 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 968956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.95 2.02 1.93 2/173 5843
/proc/meminfo: memFree=30515796/32951124 swapFree=67063272/67111528
[pid=5770] ppid=5768 vsize=968956 CPUtime=1800.04 cores=1,3,5,7
/proc/5770/stat : 5770 (scip-2.0.1.4_2.) R 5768 5770 965 0 -1 4202496 274716 0 0 0 179836 168 0 0 25 0 1 0 890779647 992210944 236636 33554432000 4194304 8979876 140733673854192 18446744073709551615 7122693 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5770/statm: 242239 236636 684 1169 0 241066 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 968956

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1798.37
CPU system time (s): 1.72074
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 968956

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

runsolver used 2.81957 second user time and 6.96494 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-11 13:30:15
IDJOB=3486155
IDBENCH=74391
IDSOLVER=1977
FILE ID=node132/3486155-1307791815
RUNJOBID= node132-1307791814-5743
PBS_JOBID= 13550862
Free space on /tmp= 74076 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_3-sat.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-3486155-1307791815/watcher-3486155-1307791815 -o /tmp/evaluation-result-3486155-1307791815/solver-3486155-1307791815 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486155-1307791815.opb -t 1800 -m 15500

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

MD5SUM BENCH= cf899369697891a2aa5256c136e26408
RANDOM SEED=1978827338

node132.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.833
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.66
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.833
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	: 5332.74
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.833
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.833
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.75
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.833
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.77
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.833
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.67
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.833
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.82
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31422484 kB
Buffers:        278792 kB
Cached:        1002988 kB
SwapCached:       9968 kB
Active:         635132 kB
Inactive:       685892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31422484 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:           42308 kB
Writeback:           0 kB
AnonPages:       37208 kB
Mapped:          10960 kB
Slab:           143844 kB
PageTables:       4440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   197672 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74076 MiB
End job on node132 at 2011-06-11 14:00:17