Trace number 3692567

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 NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed? (TO) 1802.15 1802.45

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb
MD5SUM765f9ba042cd825181247f9fbcec5226
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-35819
Best CPU time to get the best result obtained on this benchmark746.384
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 892
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 891819
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 891819
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3692567-1338047022.opb>
2.10/2.13	c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.10/2.13	c problem read in 2.13
3.98/4.06	c presolving:
8.99/9.03	c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
10.49/10.57	c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs

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-3692567-1338047022/watcher-3692567-1338047022 -o /tmp/evaluation-result-3692567-1338047022/solver-3692567-1338047022 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692567-1338047022.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/174 32427
/proc/meminfo: memFree=29369804/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=13332 CPUtime=0 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 2045 0 0 0 0 0 0 0 20 0 1 0 270830889 13651968 1999 33554432000 4194304 10219143 140733569081408 140733751090376 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 3333 2013 413 1471 0 1853 0

[startup+0.037972 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 32427
/proc/meminfo: memFree=29369804/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=29292 CPUtime=0.02 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 6055 0 0 0 2 0 0 0 20 0 1 0 270830889 29995008 6009 33554432000 4194304 10219143 140733569081408 140733751090376 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 7323 6009 421 1471 0 5843 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29292

[startup+0.100327 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 32427
/proc/meminfo: memFree=29369804/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=49916 CPUtime=0.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 11215 0 0 0 8 1 0 0 20 0 1 0 270830889 51113984 11169 33554432000 4194304 10219143 140733569081408 140733751090376 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 12479 11169 421 1471 0 10999 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49916

[startup+0.300281 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 32427
/proc/meminfo: memFree=29369804/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=94552 CPUtime=0.29 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 22325 0 0 0 27 2 0 0 20 0 1 0 270830889 96821248 22279 33554432000 4194304 10219143 140733569081408 140733751090376 5536058 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 23638 22279 421 1471 0 22158 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94552

[startup+0.700287 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 32427
/proc/meminfo: memFree=29369804/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=214292 CPUtime=0.69 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 52238 0 0 0 63 6 0 0 20 0 1 0 270830889 219435008 52192 33554432000 4194304 10219143 140733569081408 140733751090376 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 53573 52192 421 1471 0 52093 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 214292

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32428
/proc/meminfo: memFree=29076768/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=435488 CPUtime=1.49 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 107466 0 0 0 136 13 0 0 20 0 1 0 270830889 445939712 107420 33554432000 4194304 10219143 140733569081408 140733568946584 5541619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 108872 107420 421 1471 0 107392 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 435488

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32428
/proc/meminfo: memFree=28878120/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=1096604 CPUtime=3.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 271744 0 0 0 274 35 0 0 20 0 1 0 270830889 1122922496 272666 33554432000 4194304 10219143 140733569081408 140733569077208 8930603 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 274151 272666 483 1471 0 272671 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1096604

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32428
/proc/meminfo: memFree=28122820/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=1370144 CPUtime=6.29 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 337147 0 0 0 503 126 0 0 20 0 1 0 270830889 1403027456 339721 33554432000 4194304 10219143 140733569081408 140733569078184 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 342536 339721 560 1471 0 341056 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1370144

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32466
/proc/meminfo: memFree=26543140/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=1847372 CPUtime=12.69 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 478540 0 0 0 948 321 0 0 20 0 1 0 270830889 1891708928 457012 33554432000 4194304 10219143 140733569081408 140733569077336 4531526 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 461843 457012 612 1471 0 460363 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1847372

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32466
/proc/meminfo: memFree=25639940/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=1905456 CPUtime=25.48 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 493672 0 0 0 2225 323 0 0 20 0 1 0 270830889 1951186944 472220 33554432000 4194304 10219143 140733569081408 140733569076808 8969249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 476364 472220 612 1471 0 474884 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1905456

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32466
/proc/meminfo: memFree=25622220/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=1915056 CPUtime=51.08 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 495514 0 0 0 4785 323 0 0 20 0 1 0 270830889 1961017344 474573 33554432000 4194304 10219143 140733569081408 140733569077784 8969212 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 478764 474573 612 1471 0 477284 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1915056

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32466
/proc/meminfo: memFree=25588784/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=1944480 CPUtime=102.27 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 502266 0 0 0 9903 324 0 0 20 0 1 0 270830889 1991147520 481956 33554432000 4194304 10219143 140733569081408 140733569077784 8969249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 486120 481956 612 1471 0 484640 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1944480

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32466
/proc/meminfo: memFree=22824384/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3347428 CPUtime=162.26 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 823629 0 0 0 15858 368 0 0 20 0 1 0 270830889 3427766272 823432 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 836857 823432 612 1471 0 835377 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3347428

[startup+222.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/175 32466
/proc/meminfo: memFree=22820568/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3348452 CPUtime=222.25 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 823995 0 0 0 21857 368 0 0 20 0 1 0 270830889 3428814848 824092 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 837113 824092 612 1471 0 835633 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3348452

[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/174 32466
/proc/meminfo: memFree=22808576/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3348452 CPUtime=282.23 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 824172 0 0 0 27855 368 0 0 20 0 1 0 270830889 3428814848 826690 33554432000 4194304 10219143 140733569081408 140733569076520 8969254 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 837113 826690 612 1471 0 835633 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 3348452

[startup+342.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/175 32467
/proc/meminfo: memFree=22804628/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3350308 CPUtime=342.23 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 824743 0 0 0 33854 369 0 0 20 0 1 0 270830889 3430715392 827750 33554432000 4194304 10219143 140733569081408 140733569076520 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 837577 827750 612 1471 0 836097 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3350308

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 32470
/proc/meminfo: memFree=22799564/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3352356 CPUtime=402.22 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 825395 0 0 0 39853 369 0 0 20 0 1 0 270830889 3432812544 828716 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 838089 828716 612 1471 0 836609 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3352356

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 32470
/proc/meminfo: memFree=22796624/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3352356 CPUtime=462.21 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 825508 0 0 0 45852 369 0 0 20 0 1 0 270830889 3432812544 829029 33554432000 4194304 10219143 140733569081408 140733569076520 8969212 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 838089 829029 612 1471 0 836609 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3352356

[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 32470
/proc/meminfo: memFree=22793428/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3352356 CPUtime=522.2 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 825682 0 0 0 51851 369 0 0 20 0 1 0 270830889 3432812544 829203 33554432000 4194304 10219143 140733569081408 140733569076520 8969254 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 838089 829203 612 1471 0 836609 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3352356

[startup+582.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/175 32470
/proc/meminfo: memFree=22791596/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3353380 CPUtime=582.19 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 826050 0 0 0 57850 369 0 0 20 0 1 0 270830889 3433861120 829571 33554432000 4194304 10219143 140733569081408 140733569076520 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 838345 829571 612 1471 0 836865 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 3353380

[startup+642.3 s]

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

/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 827717 0 0 0 99842 370 0 0 20 0 1 0 270830889 3438710784 835365 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 839529 835365 612 1471 0 838049 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 3358116

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 32498
/proc/meminfo: memFree=22762076/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3358116 CPUtime=1062.11 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 827760 0 0 0 105841 370 0 0 20 0 1 0 270830889 3438710784 835482 33554432000 4194304 10219143 140733569081408 140733569076520 8969249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 839529 835482 612 1471 0 838049 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 3358116

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 32498
/proc/meminfo: memFree=22759484/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3359140 CPUtime=1122.1 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 828052 0 0 0 111840 370 0 0 20 0 1 0 270830889 3439759360 835774 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 839785 835774 612 1471 0 838305 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 3359140

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 32498
/proc/meminfo: memFree=22755544/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3360164 CPUtime=1182.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 828355 0 0 0 117839 370 0 0 20 0 1 0 270830889 3440807936 836116 33554432000 4194304 10219143 140733569081408 140733569076520 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 840041 836116 612 1471 0 838561 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 3360164

[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/174 32499
/proc/meminfo: memFree=22755332/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3360164 CPUtime=1242.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 828389 0 0 0 123838 371 0 0 20 0 1 0 270830889 3440807936 836153 33554432000 4194304 10219143 140733569081408 140733569076520 8969249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 840041 836153 612 1471 0 838561 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3360164

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 32500
/proc/meminfo: memFree=22751020/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3362724 CPUtime=1302.08 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 829061 0 0 0 129837 371 0 0 20 0 1 0 270830889 3443429376 836826 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 840681 836826 612 1471 0 839201 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3362724

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 32500
/proc/meminfo: memFree=22747148/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3364772 CPUtime=1362.07 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 829621 0 0 0 135836 371 0 0 20 0 1 0 270830889 3445526528 837692 33554432000 4194304 10219143 140733569081408 140733569076520 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841193 837692 612 1471 0 839713 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3364772

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32500
/proc/meminfo: memFree=22743036/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3364772 CPUtime=1422.06 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 829653 0 0 0 141835 371 0 0 20 0 1 0 270830889 3445526528 838146 33554432000 4194304 10219143 140733569081408 140733569076520 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841193 838146 612 1471 0 839713 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 3364772

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32500
/proc/meminfo: memFree=22742320/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3364772 CPUtime=1482.05 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 829703 0 0 0 147834 371 0 0 20 0 1 0 270830889 3445526528 838195 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841193 838195 612 1471 0 839713 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3364772

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32501
/proc/meminfo: memFree=22741108/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3365796 CPUtime=1542.04 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 829992 0 0 0 153833 371 0 0 20 0 1 0 270830889 3446575104 838483 33554432000 4194304 10219143 140733569081408 140733569076520 8969224 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841449 838483 612 1471 0 839969 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3365796

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32504
/proc/meminfo: memFree=22736604/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3366820 CPUtime=1602.02 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 830299 0 0 0 159831 371 0 0 20 0 1 0 270830889 3447623680 838830 33554432000 4194304 10219143 140733569081408 140733569076520 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841705 838830 612 1471 0 840225 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3366820

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32504
/proc/meminfo: memFree=22734408/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3367652 CPUtime=1662.01 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 830539 0 0 0 165830 371 0 0 20 0 1 0 270830889 3448475648 839070 33554432000 4194304 10219143 140733569081408 140733569076520 8969254 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841913 839070 612 1471 0 840433 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 3367652

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 32504
/proc/meminfo: memFree=22732964/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3367652 CPUtime=1722 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 830588 0 0 0 171829 371 0 0 20 0 1 0 270830889 3448475648 839119 33554432000 4194304 10219143 140733569081408 140733569076520 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841913 839119 612 1471 0 840433 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 3367652

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 32504
/proc/meminfo: memFree=22729876/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3369700 CPUtime=1781.99 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 831132 0 0 0 177828 371 0 0 20 0 1 0 270830889 3450572800 839663 33554432000 4194304 10219143 140733569081408 140733569076520 8969260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 842425 839663 612 1471 0 840945 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 3369700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 32504
/proc/meminfo: memFree=22729984/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3369700 CPUtime=1800.1 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 831147 0 0 0 179639 371 0 0 20 0 1 0 270830889 3450572800 839678 33554432000 4194304 10219143 140733569081408 140733569076520 8969254 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 842425 839678 612 1471 0 840945 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3369700

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -32427

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

[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 32505
/proc/meminfo: memFree=22729984/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3369700 CPUtime=1801.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 831147 0 0 0 179738 371 0 0 20 0 1 0 270830889 3450572800 839678 33554432000 4194304 10219143 140733569081408 140733569075968 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 842425 839678 612 1471 0 840945 0
Current children cumulated CPU time (s) 1801.09
Current children cumulated vsize (KiB) 3369700

[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 32505
/proc/meminfo: memFree=22729588/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3369700 CPUtime=1801.89 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 831147 0 0 0 179818 371 0 0 20 0 1 0 270830889 3450572800 839678 33554432000 4194304 10219143 140733569081408 140733569075968 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 842425 839678 612 1471 0 840945 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 3369700

[startup+1802.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 32505
/proc/meminfo: memFree=22729588/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3369700 CPUtime=1802.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 831147 0 0 0 179838 371 0 0 20 0 1 0 270830889 3450572800 839678 33554432000 4194304 10219143 140733569081408 140733569075968 8969260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 842425 839678 612 1471 0 840945 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 3369700

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.45
CPU time (s): 1802.15
CPU user time (s): 1798.39
CPU system time (s): 3.75943
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 3369700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 3.75943
maximum resident set size= 3358712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 831147
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 1851

runsolver used 5.59715 second user time and 18.6502 second system time

The end

Launcher Data 

Begin job on node104 at 2012-05-26 17:43:43
IDJOB=3692567
IDBENCH=91064
IDSOLVER=2271
FILE ID=node104/3692567-1338047022
RUNJOBID= node104-1338029632-29128
PBS_JOBID= 14624367
Free space on /tmp= 71348 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692567-1338047022/watcher-3692567-1338047022 -o /tmp/evaluation-result-3692567-1338047022/solver-3692567-1338047022 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692567-1338047022.opb -t 1800 -m 15500

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

MD5SUM BENCH= 765f9ba042cd825181247f9fbcec5226
RANDOM SEED=1170232408

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29370184 kB
Buffers:          251720 kB
Cached:          2383540 kB
SwapCached:            0 kB
Active:           841652 kB
Inactive:        1887264 kB
Active(anon):      96556 kB
Inactive(anon):        0 kB
Active(file):     745096 kB
Inactive(file):  1887264 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             41404 kB
Writeback:             0 kB
AnonPages:        103232 kB
Mapped:            16572 kB
Shmem:               200 kB
Slab:             638240 kB
SReclaimable:      80724 kB
SUnreclaim:       557516 kB
KernelStack:        1432 kB
PageTables:         4096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     198808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 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= 71308 MiB
End job on node104 at 2012-05-26 18:13:46