Trace number 3690625

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed? (MO) 244.226 244.346

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-175.opb
MD5SUM3472d2cba7eedc0e4f1652523daa893e
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 variables248659
Total number of constraints5546518
Number of constraints which are clauses4965781
Number of constraints which are cardinality constraints (but not clauses)19724
Number of constraints which are nor clauses,nor cardinality constraints561013
Minimum length of a constraint2
Maximum length of a constraint2220
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2221
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3690625-1338024197.opb>
14.88/14.93	c original problem has 248659 variables (248659 bin, 0 int, 0 impl, 0 cont) and 5546518 constraints
14.88/14.93	c problem read in 14.93
15.09/15.19	c No objective function, only one solution is needed.
15.09/15.19	c presolving settings loaded
45.97/46.06	c presolving:
111.64/111.79	c (round 1) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 5546509 upgd conss, 2248928 impls, 9881 clqs
215.93/216.06	c presolving (2 rounds):
215.93/216.06	c  1 deleted vars, 22 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
215.93/216.06	c  2248928 implications, 9881 cliques
215.93/216.06	c presolved problem has 248658 variables (248658 bin, 0 int, 0 impl, 0 cont) and 5546496 constraints
215.93/216.06	c  570855 constraints of type <knapsack>
215.93/216.06	c 1107591 constraints of type <setppc>
215.93/216.06	c       1 constraints of type <linear>
215.93/216.06	c 3868049 constraints of type <logicor>
215.93/216.06	c transformed objective value is always integral (scale: 1)
215.93/216.06	c Presolving Time: 196.83
215.93/216.06	c - non default parameters ----------------------------------------------------------------------
215.93/216.06	c # SCIP version 2.1.1.4
215.93/216.06	c 
215.93/216.06	c # maximal time in seconds to run
215.93/216.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
215.93/216.06	c limits/time = 1797
215.93/216.06	c 
215.93/216.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
215.93/216.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
215.93/216.06	c limits/memory = 13950
215.93/216.06	c 
215.93/216.06	c # solving stops, if the given number of solutions were found (-1: no limit)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: -1]
215.93/216.06	c limits/solutions = 1
215.93/216.06	c 
215.93/216.06	c # maximal number of separation rounds per node (-1: unlimited)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 5]
215.93/216.06	c separating/maxrounds = 1
215.93/216.06	c 
215.93/216.06	c # maximal number of separation rounds in the root node (-1: unlimited)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: -1]
215.93/216.06	c separating/maxroundsroot = 5
215.93/216.06	c 
215.93/216.06	c # default clock type (1: CPU user seconds, 2: wall clock time)
215.93/216.06	c # [type: int, range: [1,2], default: 1]
215.93/216.06	c timing/clocktype = 2
215.93/216.06	c 
215.93/216.06	c # belongs reading time to solving time?
215.93/216.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
215.93/216.06	c timing/reading = TRUE
215.93/216.06	c 
215.93/216.06	c # should disaggregation of knapsack constraints be allowed in preprocessing?
215.93/216.06	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
215.93/216.06	c constraints/knapsack/disaggregation = FALSE
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 10]
215.93/216.06	c heuristics/coefdiving/freq = -1
215.93/216.06	c 
215.93/216.06	c # maximal fraction of diving LP iterations compared to node LP iterations
215.93/216.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
215.93/216.06	c heuristics/coefdiving/maxlpiterquot = 0.075
215.93/216.06	c 
215.93/216.06	c # additional number of allowed LP iterations
215.93/216.06	c # [type: int, range: [0,2147483647], default: 1000]
215.93/216.06	c heuristics/coefdiving/maxlpiterofs = 1500
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 30]
215.93/216.06	c heuristics/crossover/freq = -1
215.93/216.06	c 
215.93/216.06	c # number of nodes added to the contingent of the total nodes
215.93/216.06	c # [type: longint, range: [0,9223372036854775807], default: 500]
215.93/216.06	c heuristics/crossover/nodesofs = 750
215.93/216.06	c 
215.93/216.06	c # number of nodes without incumbent change that heuristic should wait
215.93/216.06	c # [type: longint, range: [0,9223372036854775807], default: 200]
215.93/216.06	c heuristics/crossover/nwaitingnodes = 100
215.93/216.06	c 
215.93/216.06	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
215.93/216.06	c # [type: real, range: [0,1], default: 0.1]
215.93/216.06	c heuristics/crossover/nodesquot = 0.15
215.93/216.06	c 
215.93/216.06	c # minimum percentage of integer variables that have to be fixed 
215.93/216.06	c # [type: real, range: [0,1], default: 0.666]
215.93/216.06	c heuristics/crossover/minfixingrate = 0.5
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 20]
215.93/216.06	c heuristics/feaspump/freq = -1
215.93/216.06	c 
215.93/216.06	c # additional number of allowed LP iterations
215.93/216.06	c # [type: int, range: [0,2147483647], default: 1000]
215.93/216.06	c heuristics/feaspump/maxlpiterofs = 2000
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 10]
215.93/216.06	c heuristics/fracdiving/freq = -1
215.93/216.06	c 
215.93/216.06	c # maximal fraction of diving LP iterations compared to node LP iterations
215.93/216.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
215.93/216.06	c heuristics/fracdiving/maxlpiterquot = 0.075
215.93/216.06	c 
215.93/216.06	c # additional number of allowed LP iterations
215.93/216.06	c # [type: int, range: [0,2147483647], default: 1000]
215.93/216.06	c heuristics/fracdiving/maxlpiterofs = 1500
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 10]
215.93/216.06	c heuristics/guideddiving/freq = -1
215.93/216.06	c 
215.93/216.06	c # maximal fraction of diving LP iterations compared to node LP iterations
215.93/216.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
215.93/216.06	c heuristics/guideddiving/maxlpiterquot = 0.075
215.93/216.06	c 
215.93/216.06	c # additional number of allowed LP iterations
215.93/216.06	c # [type: int, range: [0,2147483647], default: 1000]
215.93/216.06	c heuristics/guideddiving/maxlpiterofs = 1500
215.93/216.06	c 
215.93/216.06	c # maximal fraction of diving LP iterations compared to node LP iterations
215.93/216.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
215.93/216.06	c heuristics/intdiving/maxlpiterquot = 0.075
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 10]
215.93/216.06	c heuristics/intshifting/freq = -1
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 10]
215.93/216.06	c heuristics/linesearchdiving/freq = -1
215.93/216.06	c 
215.93/216.06	c # maximal fraction of diving LP iterations compared to node LP iterations
215.93/216.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
215.93/216.06	c heuristics/linesearchdiving/maxlpiterquot = 0.075
215.93/216.06	c 
215.93/216.06	c # additional number of allowed LP iterations
215.93/216.06	c # [type: int, range: [0,2147483647], default: 1000]
215.93/216.06	c heuristics/linesearchdiving/maxlpiterofs = 1500
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 20]
215.93/216.06	c heuristics/objpscostdiving/freq = -1
215.93/216.06	c 
215.93/216.06	c # maximal fraction of diving LP iterations compared to total iteration number
215.93/216.06	c # [type: real, range: [0,1], default: 0.01]
215.93/216.06	c heuristics/objpscostdiving/maxlpiterquot = 0.015
215.93/216.06	c 
215.93/216.06	c # additional number of allowed LP iterations
215.93/216.06	c # [type: int, range: [0,2147483647], default: 1000]
215.93/216.06	c heuristics/objpscostdiving/maxlpiterofs = 1500
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 1]
215.93/216.06	c heuristics/oneopt/freq = -1
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 10]
215.93/216.06	c heuristics/pscostdiving/freq = -1
215.93/216.06	c 
215.93/216.06	c # maximal fraction of diving LP iterations compared to node LP iterations
215.93/216.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
215.93/216.06	c heuristics/pscostdiving/maxlpiterquot = 0.075
215.93/216.06	c 
215.93/216.06	c # additional number of allowed LP iterations
215.93/216.06	c # [type: int, range: [0,2147483647], default: 1000]
215.93/216.06	c heuristics/pscostdiving/maxlpiterofs = 1500
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 0]
215.93/216.06	c heuristics/rens/freq = -1
215.93/216.06	c 
215.93/216.06	c # minimum percentage of integer variables that have to be fixable 
215.93/216.06	c # [type: real, range: [0,1], default: 0.5]
215.93/216.06	c heuristics/rens/minfixingrate = 0.3
215.93/216.06	c 
215.93/216.06	c # number of nodes added to the contingent of the total nodes
215.93/216.06	c # [type: longint, range: [0,9223372036854775807], default: 500]
215.93/216.06	c heuristics/rens/nodesofs = 2000
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 20]
215.93/216.06	c heuristics/rootsoldiving/freq = -1
215.93/216.06	c 
215.93/216.06	c # maximal fraction of diving LP iterations compared to node LP iterations
215.93/216.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
215.93/216.06	c heuristics/rootsoldiving/maxlpiterquot = 0.015
215.93/216.06	c 
215.93/216.06	c # additional number of allowed LP iterations
215.93/216.06	c # [type: int, range: [0,2147483647], default: 1000]
215.93/216.06	c heuristics/rootsoldiving/maxlpiterofs = 1500
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 1]
215.93/216.06	c heuristics/rounding/freq = -1
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 0]
215.93/216.06	c heuristics/shiftandpropagate/freq = -1
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 10]
215.93/216.06	c heuristics/shifting/freq = -1
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 1]
215.93/216.06	c heuristics/simplerounding/freq = -1
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 1]
215.93/216.06	c heuristics/subnlp/freq = -1
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 0]
215.93/216.06	c heuristics/trivial/freq = -1
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 1]
215.93/216.06	c heuristics/trysol/freq = -1
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 0]
215.93/216.06	c heuristics/undercover/freq = -1
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 10]
215.93/216.06	c heuristics/veclendiving/freq = -1
215.93/216.06	c 
215.93/216.06	c # maximal fraction of diving LP iterations compared to node LP iterations
215.93/216.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
215.93/216.06	c heuristics/veclendiving/maxlpiterquot = 0.075
215.93/216.06	c 
215.93/216.06	c # additional number of allowed LP iterations
215.93/216.06	c # [type: int, range: [0,2147483647], default: 1000]
215.93/216.06	c heuristics/veclendiving/maxlpiterofs = 1500
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 1]
215.93/216.06	c heuristics/zirounding/freq = -1
215.93/216.06	c 
215.93/216.06	c # maximal number of presolving rounds the propagator participates in (-1: no limit)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: -1]
215.93/216.06	c propagating/probing/maxprerounds = 0
215.93/216.06	c 
215.93/216.06	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 0]
215.93/216.06	c separating/cmir/freq = -1
215.93/216.06	c 
215.93/216.06	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 0]
215.93/216.06	c separating/flowcover/freq = -1
215.93/216.06	c 
215.93/216.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: -1]
215.93/216.06	c separating/rapidlearning/freq = 0
215.93/216.06	c 
215.93/216.06	c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
215.93/216.06	c # [type: int, range: [-1,2147483647], default: 1]
215.93/216.06	c heuristics/indoneopt/freq = -1
215.93/216.06	c 
215.93/216.06	c -----------------------------------------------------------------------------------------------
215.93/216.06	c start solving
216.43/216.53	c 
243.52/243.64	EMALLC02 realloc: Out of memory - cannot allocate 22185904 bytes
243.52/243.65	c SoPlex threw an exception: XMALLC02 realloc: Could not allocate enough memory
243.52/243.65	terminate called after throwing an instance of 'std::bad_alloc'
243.52/243.65	  what():  std::bad_alloc

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690625-1338024197/watcher-3690625-1338024197 -o /tmp/evaluation-result-3690625-1338024197/solver-3690625-1338024197 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690625-1338024197.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.00 2.00 2.00 3/176 31707
/proc/meminfo: memFree=28874364/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=10240 CPUtime=0 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 1296 0 0 0 0 0 0 0 20 0 1 0 268545740 10485760 1250 33554432000 4194304 10173063 140736441076768 140736749473016 8985008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 2560 1258 413 1460 0 1091 0

[startup+0.0390191 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31707
/proc/meminfo: memFree=28874364/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=16068 CPUtime=0.02 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 2776 0 0 0 2 0 0 0 20 0 1 0 268545740 16453632 2730 33554432000 4194304 10173063 140736441076768 140736749473016 8985008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 4017 2730 413 1460 0 2548 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16068

[startup+0.100327 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31707
/proc/meminfo: memFree=28874364/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=24584 CPUtime=0.09 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 4907 0 0 0 8 1 0 0 20 0 1 0 268545740 25174016 4861 33554432000 4194304 10173063 140736441076768 140736749473016 8886064 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 6146 4861 413 1460 0 4677 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24584

[startup+0.300302 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31707
/proc/meminfo: memFree=28874364/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=50292 CPUtime=0.29 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 11294 0 0 0 27 2 0 0 20 0 1 0 268545740 51499008 11248 33554432000 4194304 10173063 140736441076768 140736440941944 7172035 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 12573 11248 413 1460 0 11104 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50292

[startup+0.700304 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31707
/proc/meminfo: memFree=28874364/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=103324 CPUtime=0.69 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 24558 0 0 0 65 4 0 0 20 0 1 0 268545740 105803776 24512 33554432000 4194304 10173063 140736441076768 140736440941944 7141619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 25831 24512 413 1460 0 24362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103324

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31708
/proc/meminfo: memFree=28740924/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=204472 CPUtime=1.49 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 49857 0 0 0 142 7 0 0 20 0 1 0 268545740 209379328 49811 33554432000 4194304 10173063 140736441076768 140736440941944 7172320 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 51118 49811 413 1460 0 49649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 204472

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31708
/proc/meminfo: memFree=28600308/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=408380 CPUtime=3.08 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 100789 0 0 0 294 14 0 0 20 0 1 0 268545740 418181120 100743 33554432000 4194304 10173063 140736441076768 140736440941944 8985008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 102095 100743 413 1460 0 100626 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 408380

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31708
/proc/meminfo: memFree=28143052/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=816376 CPUtime=6.29 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 201215 0 0 0 598 31 0 0 20 0 1 0 268545740 835969024 202702 33554432000 4194304 10173063 140736441076768 140736440941944 5486644 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 204094 202702 413 1460 0 202625 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 816376

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31708
/proc/meminfo: memFree=27316768/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=1615108 CPUtime=12.69 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 398039 0 0 0 1212 57 0 0 20 0 1 0 268545740 1653870592 401570 33554432000 4194304 10173063 140736441076768 140736440940232 5673418 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 403777 401570 413 1460 0 402308 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1615108

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31708
/proc/meminfo: memFree=23687716/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=5239064 CPUtime=25.49 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 1256242 0 0 0 2375 174 0 0 20 0 1 0 268545740 5364801536 1294958 33554432000 4194304 10173063 140736441076768 140736441072472 5284613 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 1309766 1294958 509 1460 0 1308297 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5239064

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31708
/proc/meminfo: memFree=22351816/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=6598360 CPUtime=51.08 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 1933549 0 0 0 4748 360 0 0 20 0 1 0 268545740 6756720640 1626594 33554432000 4194304 10173063 140736441076768 140736441073768 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 1649590 1626594 559 1460 0 1648121 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6598360

[startup+102.3 s]
/proc/loadavg: 2.19 2.06 2.02 3/177 31746
/proc/meminfo: memFree=14212272/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=7859440 CPUtime=102.25 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 2574513 0 0 0 9479 746 0 0 20 0 1 0 268545740 8048066560 1934522 33554432000 4194304 10173063 140736441076768 140736441074168 7545181 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 1964860 1934522 578 1460 0 1963391 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 7859440

[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 31747
/proc/meminfo: memFree=12154828/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=7433804 CPUtime=162.24 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 2626138 0 0 0 15319 905 0 0 20 0 1 0 268545740 7612215296 1819969 33554432000 4194304 10173063 140736441076768 140736441074376 4953292 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 1858451 1819969 606 1460 0 1856982 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 7433804

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.01 4/177 31747
/proc/meminfo: memFree=8956392/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=9610004 CPUtime=222.22 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4202496 3059514 0 0 0 21252 970 0 0 20 0 1 0 268545740 9840644096 2362587 33554432000 4194304 10173063 140736441076768 140736441072792 7545739 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31707/statm: 2402501 2362615 670 1460 0 2401032 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 9610004



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+243.7 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 31748
/proc/meminfo: memFree=4501152/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=15910192 CPUtime=243.58 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) S 31705 31707 31024 0 -1 4204032 3843027 0 0 0 23145 1213 0 0 20 0 1 0 268545740 16292036608 3628213 33554432000 4194304 10173063 140736441076768 140736441070712 9043445 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/31707/statm: 3977548 3628213 872 1460 0 3976079 0
Current children cumulated CPU time (s) 243.58
Current children cumulated vsize (KiB) 15910192

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

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

[startup+244.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 31748
/proc/meminfo: memFree=4501152/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=0 CPUtime=243.97 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4204036 3843027 0 0 0 23145 1252 0 0 20 0 1 0 268545740 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31707/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 243.97
Current children cumulated vsize (KiB) 0

[startup+244.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 31748
/proc/meminfo: memFree=4501152/32873844 swapFree=7384/7384
[pid=31707] ppid=31705 vsize=0 CPUtime=244.17 cores=0,2,4,6
/proc/31707/stat : 31707 (scip-2.1.1.4fix) R 31705 31707 31024 0 -1 4204036 3843027 0 0 0 23145 1272 0 0 20 0 1 0 268545740 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31707/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 244.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 244.346
CPU time (s): 244.226
CPU user time (s): 231.453
CPU system time (s): 12.7731
CPU usage (%): 99.9508
Max. virtual memory (cumulated for all children) (KiB): 15910192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.453
system time used= 12.7731
maximum resident set size= 14723736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3843027
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= 2630
involuntary context switches= 276

runsolver used 0.630904 second user time and 1.03484 second system time

The end

Launcher Data 

Begin job on node136 at 2012-05-26 11:23:23
IDJOB=3690625
IDBENCH=89632
IDSOLVER=2270
FILE ID=node136/3690625-1338024197
RUNJOBID= node136-1338016920-31040
PBS_JOBID= 14624338
Free space on /tmp= 71400 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-175.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690625-1338024197/watcher-3690625-1338024197 -o /tmp/evaluation-result-3690625-1338024197/solver-3690625-1338024197 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690625-1338024197.opb -t 1800 -m 15500

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

MD5SUM BENCH= 3472d2cba7eedc0e4f1652523daa893e
RANDOM SEED=1302825959

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28874744 kB
Buffers:          313768 kB
Cached:          2581240 kB
SwapCached:        24460 kB
Active:          1285748 kB
Inactive:        1933676 kB
Active(anon):     299308 kB
Inactive(anon):    25096 kB
Active(file):     986440 kB
Inactive(file):  1908580 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67079072 kB
Dirty:            278664 kB
Writeback:             0 kB
AnonPages:        308232 kB
Mapped:            12936 kB
Shmem:                 0 kB
Slab:             642140 kB
SReclaimable:      83236 kB
SUnreclaim:       558904 kB
KernelStack:        1448 kB
PageTables:         4660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     425088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71036 MiB
End job on node136 at 2012-05-26 11:27:29