Trace number 2663958

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1802.14 1802.7

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
MD5SUM7937d419688402745c19e3544f97b6e8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark1800.68
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables99789
Total number of constraints388956
Number of constraints which are clauses388925
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint1
Maximum length of a constraint3140
Number of terms in the objective function 3140
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3140
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 3178
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 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 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-2663958-1276639802.opb>
6.29/6.33	c original problem has 99789 variables (99789 bin, 0 int, 0 impl, 0 cont) and 388956 constraints
6.29/6.33	c problem read
6.29/6.33	c presolving settings loaded
6.29/6.34	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
8.08/8.17	c presolving:
13.69/13.73	c (round 1) 3085 del vars, 6113 del conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
14.09/14.14	c (round 2) 3085 del vars, 6191 del conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
17.99/18.07	c (round 3) 3085 del vars, 6195 del conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 382761 upgd conss, 3505402 impls, 0 clqs
46.17/46.22	c    (38.0s) probing: 587/96704 (0.6%) - 0 fixings, 2 aggregations, 128235 implications, 0 bound changes
46.17/46.22	c    (38.0s) probing aborted: 100/100 successive totally useless probings
46.17/46.24	c presolving (4 rounds):
46.17/46.24	c  3087 deleted vars, 6195 deleted constraints, 5 tightened bounds, 0 added holes, 26 changed sides, 30 changed coefficients
46.17/46.24	c  3759128 implications, 0 cliques
46.17/46.24	c presolved problem has 96702 variables (96702 bin, 0 int, 0 impl, 0 cont) and 382761 constraints
46.17/46.24	c       1 constraints of type <knapsack>
46.17/46.24	c  382760 constraints of type <logicor>
46.17/46.24	c transformed objective value is always integral (scale: 1)
46.17/46.24	c Presolving Time: 37.11
46.17/46.24	c - non default parameters ----------------------------------------------------------------------
46.17/46.24	c # SCIP version 1.2.1.2
46.17/46.24	c 
46.17/46.24	c # frequency for displaying node information lines
46.17/46.24	c # [type: int, range: [-1,2147483647], default: 100]
46.17/46.24	c display/freq = 10000
46.17/46.24	c 
46.17/46.24	c # maximal time in seconds to run
46.17/46.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
46.17/46.24	c limits/time = 1793.68
46.17/46.24	c 
46.17/46.24	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
46.17/46.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
46.17/46.24	c limits/memory = 1620
46.17/46.24	c 
46.17/46.24	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
46.17/46.24	c # [type: int, range: [-1,2147483647], default: 1]
46.17/46.24	c lp/solvefreq = -1
46.17/46.24	c 
46.17/46.24	c # should presolving try to simplify inequalities
46.17/46.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
46.17/46.24	c constraints/linear/simplifyinequalities = TRUE
46.17/46.24	c 
46.17/46.24	c # should presolving try to simplify knapsacks
46.17/46.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
46.17/46.24	c constraints/knapsack/simplifyinequalities = TRUE
46.17/46.24	c 
46.17/46.24	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
46.17/46.24	c # [type: int, range: [-1,2147483647], default: -1]
46.17/46.24	c separating/rapidlearning/freq = 0
46.17/46.24	c 
46.17/46.24	c -----------------------------------------------------------------------------------------------
46.17/46.24	c start solving
46.27/46.35	c 
46.67/46.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
46.67/46.78	c  38.5s|     1 |     2 |     0 |     - | 593M|   0 |   - |  96k| 382k|   0 |   0 |   0 |   0 |   0 | 5.000000e+00 |      --      |    Inf 
1595.09/1595.62	o 38
1595.09/1595.62	c *1587s|  7624 |  7580 |     0 |   0.0 | 606M|7602 |   - |  96k| 382k|   0 |   0 |   0 | 174 |   0 | 5.000000e+00 | 3.800000e+01 | 660.00%
1800.04/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663958-1276639802/watcher-2663958-1276639802 -o /tmp/evaluation-result-2663958-1276639802/solver-2663958-1276639802 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663958-1276639802.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13387
/proc/meminfo: memFree=1803092/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=5556 CPUtime=0
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 889 0 0 0 0 0 0 0 23 0 1 0 5274022 5689344 811 1992294400 4194304 7136930 140737280952128 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13387/statm: 1389 811 249 719 0 668 0

[startup+0.0292069 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13387
/proc/meminfo: memFree=1803092/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=11852 CPUtime=0.02
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 2218 0 0 0 2 0 0 0 23 0 1 0 5274022 12136448 2139 1992294400 4194304 7136930 140737280952128 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13387/statm: 2963 2153 271 719 0 2242 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11852

[startup+0.101213 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13387
/proc/meminfo: memFree=1803092/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=16720 CPUtime=0.1
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 3664 0 0 0 9 1 0 0 23 0 1 0 5274022 17121280 3585 1992294400 4194304 7136930 140737280952128 18446744073709551615 5650597 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13387/statm: 4180 3585 271 719 0 3459 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16720

[startup+0.300233 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13387
/proc/meminfo: memFree=1803092/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=22900 CPUtime=0.29
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 5239 0 0 0 28 1 0 0 23 0 1 0 5274022 23449600 5160 1992294400 4194304 7136930 140737280952128 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13387/statm: 5725 5160 271 719 0 5004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22900

[startup+0.701274 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13387
/proc/meminfo: memFree=1803092/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=36120 CPUtime=0.69
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 8513 0 0 0 66 3 0 0 25 0 1 0 5274022 36986880 8434 1992294400 4194304 7136930 140737280952128 18446744073709551615 6177529 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13387/statm: 9030 8434 271 719 0 8309 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36120

[startup+1.50136 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 13388
/proc/meminfo: memFree=1760304/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=60624 CPUtime=1.49
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 14662 0 0 0 144 5 0 0 25 0 1 0 5274022 62078976 14583 1992294400 4194304 7136930 140737280952128 18446744073709551615 5650077 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13387/statm: 15156 14583 271 719 0 14435 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60624

[startup+3.10152 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 13388
/proc/meminfo: memFree=1724716/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=113152 CPUtime=3.09
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 27763 0 0 0 298 11 0 0 25 0 1 0 5274022 115867648 27684 1992294400 4194304 7136930 140737280952128 18446744073709551615 6285697 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13387/statm: 28288 27684 271 719 0 27567 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 113152

[startup+6.30185 s]
/proc/loadavg: 1.09 1.02 1.01 2/107 13388
/proc/meminfo: memFree=1621796/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=213668 CPUtime=6.29
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 52872 0 0 0 607 22 0 0 25 0 1 0 5274022 218796032 52793 1992294400 4194304 7136930 140737280952128 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13387/statm: 53417 52793 271 719 0 52696 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 213668

[startup+12.7015 s]
/proc/loadavg: 1.24 1.05 1.02 2/107 13388
/proc/meminfo: memFree=1184332/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=654112 CPUtime=12.69
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 160432 0 0 0 1178 91 0 0 25 0 1 0 5274022 669810688 159935 1992294400 4194304 7136930 140737280952128 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 163528 159935 347 719 0 162807 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 654112

[startup+25.5008 s]
/proc/loadavg: 1.63 1.14 1.05 2/107 13388
/proc/meminfo: memFree=1021892/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=798056 CPUtime=25.48
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 246874 0 0 0 2337 211 0 0 25 0 1 0 5274022 817209344 195195 1992294400 4194304 7136930 140737280952128 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 199514 195195 384 719 0 198793 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 798056

[startup+51.1005 s]
/proc/loadavg: 1.41 1.13 1.04 2/107 13390
/proc/meminfo: memFree=1006144/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=815888 CPUtime=51.07
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 252898 0 0 0 4893 214 0 0 25 0 1 0 5274022 835469312 199089 1992294400 4194304 7136930 140737280952128 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 203972 199089 402 719 0 203251 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 815888

[startup+102.308 s]
/proc/loadavg: 1.25 1.12 1.04 2/107 13390
/proc/meminfo: memFree=1006144/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=815888 CPUtime=102.25
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 252898 0 0 0 10011 214 0 0 25 0 1 0 5274022 835469312 199089 1992294400 4194304 7136930 140737280952128 18446744073709551615 4697133 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 203972 199089 402 719 0 203251 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 815888

[startup+162.301 s]
/proc/loadavg: 1.15 1.12 1.04 2/107 13392
/proc/meminfo: memFree=1006144/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=816092 CPUtime=162.23
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 252932 0 0 0 16009 214 0 0 25 0 1 0 5274022 835678208 199123 1992294400 4194304 7136930 140737280952128 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 204023 199123 402 719 0 203302 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 816092

[startup+222.301 s]
/proc/loadavg: 1.11 1.11 1.04 2/107 13394
/proc/meminfo: memFree=1006020/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=816240 CPUtime=222.22
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 252955 0 0 0 22007 215 0 0 25 0 1 0 5274022 835829760 199146 1992294400 4194304 7136930 140737280952128 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 204060 199146 402 719 0 203339 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 816240

[startup+282.3 s]
/proc/loadavg: 1.09 1.10 1.04 2/107 13396
/proc/meminfo: memFree=1005772/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=816420 CPUtime=282.19
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 253018 0 0 0 28003 216 0 0 25 0 1 0 5274022 836014080 199209 1992294400 4194304 7136930 140737280952128 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 204105 199209 402 719 0 203384 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 816420

[startup+342.3 s]
/proc/loadavg: 1.08 1.09 1.04 2/107 13398
/proc/meminfo: memFree=1005772/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=816420 CPUtime=342.18
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 253033 0 0 0 34001 217 0 0 25 0 1 0 5274022 836014080 199222 1992294400 4194304 7136930 140737280952128 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 204105 199222 400 719 0 203384 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 816420

[startup+402.301 s]
/proc/loadavg: 1.07 1.09 1.04 2/107 13398
/proc/meminfo: memFree=1005648/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=816624 CPUtime=402.16
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 253056 0 0 0 39999 217 0 0 25 0 1 0 5274022 836222976 199245 1992294400 4194304 7136930 140737280952128 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 204156 199245 400 719 0 203435 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 816624

[startup+462.301 s]
/proc/loadavg: 1.07 1.08 1.04 2/107 13400
/proc/meminfo: memFree=1005152/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=817068 CPUtime=462.14
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 253188 0 0 0 45996 218 0 0 25 0 1 0 5274022 836677632 199377 1992294400 4194304 7136930 140737280952128 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 204267 199377 400 719 0 203546 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 817068

[startup+522.301 s]
/proc/loadavg: 1.06 1.08 1.04 2/107 13402
/proc/meminfo: memFree=1004656/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=817608 CPUtime=522.11
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 253302 0 0 0 51993 218 0 0 25 0 1 0 5274022 837230592 199491 1992294400 4194304 7136930 140737280952128 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 204402 199491 400 719 0 203681 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 817608

[startup+582.301 s]
/proc/loadavg: 1.06 1.08 1.04 2/107 13404
/proc/meminfo: memFree=1004408/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=817824 CPUtime=582.1
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 253357 0 0 0 57991 219 0 0 25 0 1 0 5274022 837451776 199546 1992294400 4194304 7136930 140737280952128 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 204456 199546 400 719 0 203735 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 817824

[startup+642.3 s]
/proc/loadavg: 1.02 1.06 1.03 2/107 13406
/proc/meminfo: memFree=1004284/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=817824 CPUtime=642.08
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 253357 0 0 0 63989 219 0 0 25 0 1 0 5274022 837451776 199546 1992294400 4194304 7136930 140737280952128 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 204456 199546 400 719 0 203735 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 817824

[startup+702.3 s]

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

/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 254023 0 0 0 105972 224 0 0 25 0 1 0 5274022 840179712 200209 1992294400 4194304 7136930 140737280952128 18446744073709551615 4223074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 205122 200209 397 719 0 204401 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 820488

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13418
/proc/meminfo: memFree=988288/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=833896 CPUtime=1121.93
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 257328 0 0 0 111969 224 0 0 25 0 1 0 5274022 853909504 203513 1992294400 4194304 7136930 140737280952128 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 208474 203513 400 719 0 207753 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 833896

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13420
/proc/meminfo: memFree=983824/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=837976 CPUtime=1181.91
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 258407 0 0 0 117965 226 0 0 25 0 1 0 5274022 858087424 204592 1992294400 4194304 7136930 140737280952128 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 209494 204592 400 719 0 208773 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 837976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13422
/proc/meminfo: memFree=982460/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=839140 CPUtime=1241.9
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 258690 0 0 0 123962 228 0 0 25 0 1 0 5274022 859279360 204875 1992294400 4194304 7136930 140737280952128 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 209785 204875 400 719 0 209064 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 839140

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13422
/proc/meminfo: memFree=973904/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=848144 CPUtime=1301.88
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 260814 0 0 0 129958 230 0 0 25 0 1 0 5274022 868499456 206999 1992294400 4194304 7136930 140737280952128 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 212036 206999 400 719 0 211315 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 848144

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13424
/proc/meminfo: memFree=962372/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=859596 CPUtime=1361.87
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 263769 0 0 0 135954 233 0 0 25 0 1 0 5274022 880226304 209954 1992294400 4194304 7136930 140737280952128 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 214899 209954 400 719 0 214178 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 859596

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13426
/proc/meminfo: memFree=946872/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=875424 CPUtime=1421.85
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 267593 0 0 0 141950 235 0 0 25 0 1 0 5274022 896434176 213778 1992294400 4194304 7136930 140737280952128 18446744073709551615 5908943 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 218856 213778 400 719 0 218135 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 875424

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13428
/proc/meminfo: memFree=928272/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=894696 CPUtime=1481.82
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 272247 0 0 0 147945 237 0 0 25 0 1 0 5274022 916168704 218432 1992294400 4194304 7136930 140737280952128 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 223674 218432 400 719 0 222953 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 894696

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13433
/proc/meminfo: memFree=909052/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=913404 CPUtime=1541.8
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 276860 0 0 0 153941 239 0 0 25 0 1 0 5274022 935325696 223045 1992294400 4194304 7136930 140737280952128 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 228351 223045 400 719 0 227630 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 913404

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13433
/proc/meminfo: memFree=879664/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=944480 CPUtime=1601.78
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 285628 0 0 0 159935 243 0 0 25 0 1 0 5274022 967147520 230429 1992294400 4194304 7136930 140737280952128 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 236120 230429 400 719 0 235399 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 944480

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13435
/proc/meminfo: memFree=869744/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=954708 CPUtime=1661.77
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 288062 0 0 0 165932 245 0 0 25 0 1 0 5274022 977620992 232863 1992294400 4194304 7136930 140737280952128 18446744073709551615 5909086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 238677 232863 400 719 0 237956 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 954708

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13437
/proc/meminfo: memFree=856476/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=968096 CPUtime=1721.74
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 291409 0 0 0 171928 246 0 0 25 0 1 0 5274022 991330304 236210 1992294400 4194304 7136930 140737280952128 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 242024 236210 400 719 0 241303 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 968096

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13439
/proc/meminfo: memFree=844820/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=979928 CPUtime=1781.73
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 294324 0 0 0 177926 247 0 0 25 0 1 0 5274022 1003446272 239125 1992294400 4194304 7136930 140737280952128 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 244982 239125 400 719 0 244261 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 979928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13439
/proc/meminfo: memFree=837132/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=987288 CPUtime=1800.04
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 296195 0 0 0 179757 247 0 0 25 0 1 0 5274022 1010982912 240996 1992294400 4194304 7136930 140737280952128 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 246822 240996 400 719 0 246101 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 987288

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13387

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13439
/proc/meminfo: memFree=837132/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=987764 CPUtime=1800.83
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 296270 0 0 0 179836 247 0 0 25 0 1 0 5274022 1011470336 241071 1992294400 4194304 7136930 140737280952128 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 246941 241071 400 719 0 246220 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 987764

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13440
/proc/meminfo: memFree=836752/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=987764 CPUtime=1801.63
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 296315 0 0 0 179916 247 0 0 25 0 1 0 5274022 1011470336 241116 1992294400 4194304 7136930 140737280952128 18446744073709551615 5908951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 246941 241116 400 719 0 246220 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 987764

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13440
/proc/meminfo: memFree=836752/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=987764 CPUtime=1802.03
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4202496 296332 0 0 0 179956 247 0 0 25 0 1 0 5274022 1011470336 241133 1992294400 4194304 7136930 140737280952128 18446744073709551615 5909086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13387/statm: 246941 241133 400 719 0 246220 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 987764

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13440
/proc/meminfo: memFree=836752/2059040 swapFree=4175448/4192956
[pid=13387] ppid=13385 vsize=0 CPUtime=1802.12
/proc/13387/stat : 13387 (pbscip.linux.x8) R 13385 13387 12951 0 -1 4203524 296332 0 0 0 179957 255 0 0 25 0 1 0 5274022 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/13387/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.7
CPU time (s): 1802.14
CPU user time (s): 1799.58
CPU system time (s): 2.55961
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 987764

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

runsolver used 2.80357 second user time and 8.68768 second system time

The end

Launcher Data 

Begin job on node083 at 2010-06-16 00:10:03
IDJOB=2663958
IDBENCH=25013
IDSOLVER=1167
FILE ID=node083/2663958-1276639802
PBS_JOBID= 11172378
Free space on /tmp= 62544 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663958-1276639802/watcher-2663958-1276639802 -o /tmp/evaluation-result-2663958-1276639802/solver-2663958-1276639802 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663958-1276639802.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 7937d419688402745c19e3544f97b6e8
RANDOM SEED=1484262256

node083.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.262
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.262
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1803628 kB
Buffers:         14560 kB
Cached:         108568 kB
SwapCached:      13528 kB
Active:          85224 kB
Inactive:        93872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1803628 kB
SwapTotal:     4192956 kB
SwapFree:      4175448 kB
Dirty:           15076 kB
Writeback:          12 kB
AnonPages:       42328 kB
Mapped:          14284 kB
Slab:            54492 kB
PageTables:       4092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181180 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62540 MiB
End job on node083 at 2010-06-16 00:40:06