Trace number 2665395

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.12 1802.67

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_10.opb
MD5SUM904168892843efef74e3394360b8d762
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.6
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved NO
Number of variables40363
Total number of constraints154319
Number of constraints which are clauses154296
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint1
Maximum length of a constraint1952
Number of terms in the objective function 1952
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 1952
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1988
Number of bits of the biggest sum of numbers11
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: Clp 1.11.1] [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-2665395-1276641855.opb>
2.69/2.75	c original problem has 40363 variables (40363 bin, 0 int, 0 impl, 0 cont) and 154319 constraints
2.69/2.75	c problem read
2.69/2.75	c presolving settings loaded
3.50/3.50	c presolving:
5.59/5.60	c (round 1) 1894 del vars, 3739 del conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 0 upgd conss, 1420138 impls, 0 clqs
5.69/5.77	c (round 2) 1894 del vars, 3805 del conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 0 upgd conss, 1420138 impls, 0 clqs
7.29/7.30	c (round 3) 1894 del vars, 3805 del conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 150514 upgd conss, 1420138 impls, 0 clqs
15.98/16.09	c    (12.5s) probing: 405/38469 (1.1%) - 0 fixings, 2 aggregations, 28291 implications, 0 bound changes
15.98/16.09	c    (12.5s) probing aborted: 100/100 successive totally useless probings
15.98/16.10	c presolving (4 rounds):
15.98/16.10	c  1896 deleted vars, 3805 deleted constraints, 5 tightened bounds, 0 added holes, 22 changed sides, 22 changed coefficients
15.98/16.10	c  1474342 implications, 0 cliques
15.98/16.10	c presolved problem has 38467 variables (38467 bin, 0 int, 0 impl, 0 cont) and 150514 constraints
15.98/16.10	c       1 constraints of type <knapsack>
15.98/16.10	c  150513 constraints of type <logicor>
15.98/16.10	c transformed objective value is always integral (scale: 1)
15.98/16.10	c Presolving Time: 12.19
15.98/16.10	c - non default parameters ----------------------------------------------------------------------
15.98/16.10	c # SCIP version 1.2.1.2
15.98/16.10	c 
15.98/16.10	c # frequency for displaying node information lines
15.98/16.10	c # [type: int, range: [-1,2147483647], default: 100]
15.98/16.10	c display/freq = 10000
15.98/16.10	c 
15.98/16.10	c # maximal time in seconds to run
15.98/16.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.98/16.10	c limits/time = 1797.26
15.98/16.10	c 
15.98/16.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.98/16.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.98/16.10	c limits/memory = 1620
15.98/16.10	c 
15.98/16.10	c # should presolving try to simplify inequalities
15.98/16.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.98/16.10	c constraints/linear/simplifyinequalities = TRUE
15.98/16.10	c 
15.98/16.10	c # should presolving try to simplify knapsacks
15.98/16.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.98/16.10	c constraints/knapsack/simplifyinequalities = TRUE
15.98/16.10	c 
15.98/16.10	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
15.98/16.10	c # [type: int, range: [-1,2147483647], default: -1]
15.98/16.10	c separating/rapidlearning/freq = 0
15.98/16.10	c 
15.98/16.10	c -----------------------------------------------------------------------------------------------
15.98/16.10	c start solving
16.08/16.14	c 
185.23/185.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
185.23/185.36	c   181s|     1 |     0 | 20438 |     - | 310M|   0 |  10k|  38k| 150k|  38k| 150k|   0 |   0 |   0 | 1.057251e+01 |      --      |    Inf 
1047.27/1047.61	c  1035s|     1 |     2 | 20438 |     - | 311M|   0 |  10k|  38k| 150k|  38k| 150k|   0 |   0 |  17 | 1.057251e+01 |      --      |    Inf 
1800.05/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-2665395-1276641855/watcher-2665395-1276641855 -o /tmp/evaluation-result-2665395-1276641855/solver-2665395-1276641855 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665395-1276641855.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: 1.00 1.00 1.00 3/107 5420
/proc/meminfo: memFree=1821488/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=8260 CPUtime=0
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 1006 0 0 0 0 0 0 0 18 0 1 0 37841244 8458240 927 1992294400 4194304 9819077 140737061362800 18446744073709551615 8678244 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5420/statm: 2065 928 366 1374 0 686 0

[startup+0.0731361 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 5420
/proc/meminfo: memFree=1821488/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=17040 CPUtime=0.07
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 3201 0 0 0 6 1 0 0 20 0 1 0 37841244 17448960 3121 1992294400 4194304 9819077 140737061362800 18446744073709551615 8668927 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5420/statm: 4260 3121 388 1374 0 2881 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17040

[startup+0.101138 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 5420
/proc/meminfo: memFree=1821488/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=17176 CPUtime=0.09
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 3245 0 0 0 8 1 0 0 20 0 1 0 37841244 17588224 3165 1992294400 4194304 9819077 140737061362800 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5420/statm: 4294 3165 388 1374 0 2915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17176

[startup+0.301157 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 5420
/proc/meminfo: memFree=1821488/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=24472 CPUtime=0.29
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 5044 0 0 0 28 1 0 0 20 0 1 0 37841244 25059328 4964 1992294400 4194304 9819077 140737061362800 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5420/statm: 6118 4964 388 1374 0 4739 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24472

[startup+0.701192 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 5420
/proc/meminfo: memFree=1821488/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=35664 CPUtime=0.69
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 7851 0 0 0 66 3 0 0 21 0 1 0 37841244 36519936 7771 1992294400 4194304 9819077 140737061362800 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5420/statm: 8916 7771 388 1374 0 7537 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35664

[startup+1.50126 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5421
/proc/meminfo: memFree=1783908/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=59036 CPUtime=1.49
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 13658 0 0 0 144 5 0 0 23 0 1 0 37841244 60452864 13578 1992294400 4194304 9819077 140737061362800 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5420/statm: 14759 13578 388 1374 0 13380 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59036

[startup+3.10141 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5421
/proc/meminfo: memFree=1751916/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=198844 CPUtime=3.09
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 48970 0 0 0 290 19 0 0 25 0 1 0 37841244 203616256 48473 1992294400 4194304 9819077 140737061362800 18446744073709551615 8678369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 49711 48473 438 1374 0 48332 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 198844

[startup+6.30169 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5421
/proc/meminfo: memFree=1549424/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=308096 CPUtime=6.29
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 78411 0 0 0 568 61 0 0 25 0 1 0 37841244 315490304 74078 1992294400 4194304 9819077 140737061362800 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 77024 74090 501 1374 0 75645 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 308096

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5421
/proc/meminfo: memFree=1492136/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=341632 CPUtime=12.69
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 99808 0 0 0 1179 90 0 0 25 0 1 0 37841244 349831168 82509 1992294400 4194304 9819077 140737061362800 18446744073709551615 4620627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 85408 82509 524 1374 0 84029 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 341632

[startup+25.5004 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5421
/proc/meminfo: memFree=1349660/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=553780 CPUtime=25.48
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 166945 0 0 0 2431 117 0 0 25 0 1 0 37841244 567070720 118437 1992294400 4194304 9819077 140737061362800 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 138445 118437 644 1374 0 137066 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 553780

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5421
/proc/meminfo: memFree=1361688/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=566672 CPUtime=51.07
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 205808 0 0 0 4966 141 0 0 25 0 1 0 37841244 580272128 118140 1992294400 4194304 9819077 140737061362800 18446744073709551615 7295825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 141668 118140 646 1374 0 140289 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 566672

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5423
/proc/meminfo: memFree=1346932/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=581968 CPUtime=102.25
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 244481 0 0 0 10061 164 0 0 25 0 1 0 37841244 595935232 118897 1992294400 4194304 9819077 140737061362800 18446744073709551615 6191160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 145492 118897 646 1374 0 144113 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 581968

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5425
/proc/meminfo: memFree=1342840/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=586932 CPUtime=162.23
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 275054 0 0 0 16041 182 0 0 25 0 1 0 37841244 601018368 120044 1992294400 4194304 9819077 140737061362800 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 146733 120044 646 1374 0 145354 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 586932

[startup+222.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 5427
/proc/meminfo: memFree=1339864/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=594424 CPUtime=222.22
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 388973 0 0 0 21990 232 0 0 25 0 1 0 37841244 608690176 120509 1992294400 4194304 9819077 140737061362800 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 148606 120509 669 1374 0 147227 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 594424

[startup+282.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/108 5427
/proc/meminfo: memFree=1339864/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=594424 CPUtime=282.19
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 388973 0 0 0 27978 241 0 0 25 0 1 0 37841244 608690176 120509 1992294400 4194304 9819077 140737061362800 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 148606 120509 669 1374 0 147227 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 594424

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5429
/proc/meminfo: memFree=1339864/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=594424 CPUtime=342.18
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 389122 0 0 0 33966 252 0 0 25 0 1 0 37841244 608690176 120511 1992294400 4194304 9819077 140737061362800 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 148606 120511 671 1374 0 147227 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 594424

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5431
/proc/meminfo: memFree=1339864/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=594424 CPUtime=402.16
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 389122 0 0 0 39951 265 0 0 25 0 1 0 37841244 608690176 120511 1992294400 4194304 9819077 140737061362800 18446744073709551615 6054223 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 148606 120511 671 1374 0 147227 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 594424

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5433
/proc/meminfo: memFree=1338128/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=600772 CPUtime=462.15
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 389697 0 0 0 45944 271 0 0 25 0 1 0 37841244 615190528 121086 1992294400 4194304 9819077 140737061362800 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 150193 121086 677 1374 0 148814 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 600772

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5435
/proc/meminfo: memFree=1003452/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=983536 CPUtime=522.14
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 542442 0 0 0 51743 471 0 0 25 0 1 0 37841244 1007140864 204751 1992294400 4194304 9819077 140737061362800 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 245884 204751 690 1374 0 244505 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 983536

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5435
/proc/meminfo: memFree=1012256/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=942832 CPUtime=582.11
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 687577 0 0 0 57669 542 0 0 25 0 1 0 37841244 965459968 202386 1992294400 4194304 9819077 140737061362800 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 235708 202386 706 1374 0 234329 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 942832

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5437
/proc/meminfo: memFree=1006056/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=948304 CPUtime=642.11
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 967415 0 0 0 63535 676 0 0 25 0 1 0 37841244 971063296 203943 1992294400 4194304 9819077 140737061362800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 237076 203943 712 1374 0 235697 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 948304

[startup+702.301 s]

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

/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 1639179 0 0 0 99236 963 0 0 25 0 1 0 37841244 743792640 127862 1992294400 4194304 9819077 140737061362800 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 181590 127862 729 1374 0 180211 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 726360

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5458
/proc/meminfo: memFree=1331308/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=605900 CPUtime=1061.97
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 1742128 0 0 0 105190 1007 0 0 25 0 1 0 37841244 620441600 122457 1992294400 4194304 9819077 140737061362800 18446744073709551615 7294712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 151475 122457 729 1374 0 150096 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 605900

[startup+1122.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 5460
/proc/meminfo: memFree=1332424/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=605712 CPUtime=1121.95
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 1788423 0 0 0 111166 1029 0 0 25 0 1 0 37841244 620249088 122489 1992294400 4194304 9819077 140737061362800 18446744073709551615 7295825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 151428 122489 729 1374 0 150049 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 605712

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 5460
/proc/meminfo: memFree=1329696/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=605712 CPUtime=1181.93
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 1828604 0 0 0 117143 1050 0 0 25 0 1 0 37841244 620249088 122556 1992294400 4194304 9819077 140737061362800 18446744073709551615 7291088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 151428 122556 729 1374 0 150049 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 605712

[startup+1242.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 5462
/proc/meminfo: memFree=1330688/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=606040 CPUtime=1241.91
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 1863090 0 0 0 123122 1069 0 0 25 0 1 0 37841244 620584960 122840 1992294400 4194304 9819077 140737061362800 18446744073709551615 7481016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 151510 122840 729 1374 0 150131 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 606040

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5464
/proc/meminfo: memFree=1330564/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=606188 CPUtime=1301.9
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 1910467 0 0 0 129099 1091 0 0 25 0 1 0 37841244 620736512 122863 1992294400 4194304 9819077 140737061362800 18446744073709551615 7304812 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 151547 122863 729 1374 0 150168 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 606188

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5466
/proc/meminfo: memFree=1330068/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=606476 CPUtime=1361.88
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 1951961 0 0 0 135077 1111 0 0 25 0 1 0 37841244 621031424 123030 1992294400 4194304 9819077 140737061362800 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 151619 123030 729 1374 0 150240 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 606476

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5468
/proc/meminfo: memFree=1322876/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=615208 CPUtime=1421.86
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 1997817 0 0 0 141053 1133 0 0 25 0 1 0 37841244 629972992 124770 1992294400 4194304 9819077 140737061362800 18446744073709551615 7302709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 153802 124770 729 1374 0 152423 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 615208

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5468
/proc/meminfo: memFree=1322752/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=615208 CPUtime=1481.83
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 1997848 0 0 0 147050 1133 0 0 25 0 1 0 37841244 629972992 124801 1992294400 4194304 9819077 140737061362800 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 153802 124801 729 1374 0 152423 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 615208

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5470
/proc/meminfo: memFree=1322504/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=615208 CPUtime=1541.81
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 1997944 0 0 0 153048 1133 0 0 25 0 1 0 37841244 629972992 124897 1992294400 4194304 9819077 140737061362800 18446744073709551615 7302709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 153802 124897 729 1374 0 152423 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 615208

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5472
/proc/meminfo: memFree=1297704/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=736036 CPUtime=1601.79
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 2018870 0 0 0 159038 1141 0 0 25 0 1 0 37841244 753700864 131095 1992294400 4194304 9819077 140737061362800 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 184009 131095 729 1374 0 182630 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 736036

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5474
/proc/meminfo: memFree=1300432/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=735376 CPUtime=1661.78
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 2120399 0 0 0 164995 1183 0 0 25 0 1 0 37841244 753025024 130338 1992294400 4194304 9819077 140737061362800 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 183844 130338 729 1374 0 182465 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 735376

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5476
/proc/meminfo: memFree=1306632/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=734252 CPUtime=1721.77
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 2220513 0 0 0 170951 1226 0 0 25 0 1 0 37841244 751874048 128824 1992294400 4194304 9819077 140737061362800 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 183563 128824 729 1374 0 182184 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 734252

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5476
/proc/meminfo: memFree=1305888/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=734252 CPUtime=1781.74
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 2320929 0 0 0 176905 1269 0 0 25 0 1 0 37841244 751874048 128906 1992294400 4194304 9819077 140737061362800 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 183563 128906 729 1374 0 182184 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 734252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 5478
/proc/meminfo: memFree=1306136/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=734252 CPUtime=1800.05
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 2354268 0 0 0 178724 1281 0 0 25 0 1 0 37841244 751874048 128839 1992294400 4194304 9819077 140737061362800 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 183563 128839 729 1374 0 182184 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 734252

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -5420

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 5478
/proc/meminfo: memFree=1306136/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=734252 CPUtime=1800.84
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 2354291 0 0 0 178803 1281 0 0 25 0 1 0 37841244 751874048 128862 1992294400 4194304 9819077 140737061362800 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 183563 128862 729 1374 0 182184 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 734252

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/109 5479
/proc/meminfo: memFree=1306004/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=734252 CPUtime=1801.65
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 2354318 0 0 0 178883 1282 0 0 25 0 1 0 37841244 751874048 128889 1992294400 4194304 9819077 140737061362800 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 183563 128889 729 1374 0 182184 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 734252

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/109 5479
/proc/meminfo: memFree=1306004/2059040 swapFree=4140108/4192956
[pid=5420] ppid=5418 vsize=734252 CPUtime=1802.05
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4047 0 -1 4202496 2354332 0 0 0 178923 1282 0 0 25 0 1 0 37841244 751874048 128903 1992294400 4194304 9819077 140737061362800 18446744073709551615 7291994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5420/statm: 183563 128903 729 1374 0 182184 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 734252

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.67
CPU time (s): 1802.12
CPU user time (s): 1789.25
CPU system time (s): 12.873
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 991224

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

runsolver used 3.02454 second user time and 8.46371 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-16 00:44:15
IDJOB=2665395
IDBENCH=25020
IDSOLVER=1168
FILE ID=node025/2665395-1276641855
PBS_JOBID= 11172360
Free space on /tmp= 62576 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665395-1276641855/watcher-2665395-1276641855 -o /tmp/evaluation-result-2665395-1276641855/solver-2665395-1276641855 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665395-1276641855.opb -t 1800 -m 1800

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

MD5SUM BENCH= 904168892843efef74e3394360b8d762
RANDOM SEED=44463493

node025.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.242
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.48
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.242
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	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1821892 kB
Buffers:         35292 kB
Cached:         113028 kB
SwapCached:       7192 kB
Active:         101244 kB
Inactive:        61680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1821892 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:           10816 kB
Writeback:           0 kB
AnonPages:       12200 kB
Mapped:          13012 kB
Slab:            52332 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183528 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= 62572 MiB
End job on node025 at 2010-06-16 01:14:18