Trace number 2666925

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.06 1802.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
MD5SUM8ebfb10d75940bc93d5e7784548911ff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark49.4875
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 120
Optimality of the best value was proved NO
Number of variables10976
Total number of constraints12527
Number of constraints which are clauses10470
Number of constraints which are cardinality constraints (but not clauses)2057
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint24
Number of terms in the objective function 10976
Biggest coefficient in the objective function 6152
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 31915
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 6152
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 31915
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666925-1276479930.opb>
0.19/0.30	c original problem has 10976 variables (10976 bin, 0 int, 0 impl, 0 cont) and 12527 constraints
0.19/0.30	c problem read
0.19/0.30	c presolving settings loaded
0.39/0.45	o 19611
0.39/0.45	c feasible solution found by trivial heuristic, objective value  1.961100e+04
0.39/0.45	c presolving:
0.49/0.55	c (round 1) 2 del vars, 2 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51618 impls, 14 clqs
1.10/1.19	c    (0.8s) probing: 171/10973 (1.6%) - 0 fixings, 0 aggregations, 92 implications, 0 bound changes
1.10/1.19	c    (0.8s) probing aborted: 100/100 successive totally useless probings
1.10/1.19	c (round 2) 3 del vars, 4 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 12429 upgd conss, 51804 impls, 14 clqs
1.29/1.30	c (round 3) 3 del vars, 4 del conss, 1 chg bounds, 3 chg sides, 5 chg coeffs, 12523 upgd conss, 51804 impls, 14 clqs
1.59/1.62	c    (1.2s) probing: 273/10973 (2.5%) - 0 fixings, 0 aggregations, 125 implications, 0 bound changes
1.59/1.62	c    (1.2s) probing aborted: 100/100 successive totally useless probings
1.59/1.62	c presolving (4 rounds):
1.59/1.62	c  3 deleted vars, 5 deleted constraints, 1 tightened bounds, 0 added holes, 3 changed sides, 5 changed coefficients
1.59/1.62	c  51870 implications, 14 cliques
1.59/1.62	c presolved problem has 10973 variables (10973 bin, 0 int, 0 impl, 0 cont) and 12524 constraints
1.59/1.62	c    2041 constraints of type <knapsack>
1.59/1.62	c      16 constraints of type <setppc>
1.59/1.62	c   10467 constraints of type <logicor>
1.59/1.62	c transformed objective value is always integral (scale: 1)
1.59/1.62	c Presolving Time: 1.16
1.59/1.62	c - non default parameters ----------------------------------------------------------------------
1.59/1.62	c # SCIP version 1.2.1.2
1.59/1.62	c 
1.59/1.62	c # frequency for displaying node information lines
1.59/1.62	c # [type: int, range: [-1,2147483647], default: 100]
1.59/1.62	c display/freq = 10000
1.59/1.62	c 
1.59/1.62	c # maximal time in seconds to run
1.59/1.62	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.62	c limits/time = 1799.71
1.59/1.62	c 
1.59/1.62	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.59/1.62	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.62	c limits/memory = 1620
1.59/1.62	c 
1.59/1.62	c # should presolving try to simplify inequalities
1.59/1.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.62	c constraints/linear/simplifyinequalities = TRUE
1.59/1.62	c 
1.59/1.62	c # should presolving try to simplify knapsacks
1.59/1.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.62	c constraints/knapsack/simplifyinequalities = TRUE
1.59/1.62	c 
1.59/1.62	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.59/1.62	c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.62	c separating/rapidlearning/freq = 0
1.59/1.62	c 
1.59/1.62	c -----------------------------------------------------------------------------------------------
1.59/1.62	c start solving
1.59/1.64	c 
1.59/1.66	o 19608
1.59/1.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.59/1.66	c t 1.2s|     1 |     0 |     0 |     - |  40M|   0 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |      --      | 1.960800e+04 |    Inf 
1.69/1.78	o 9687
1.69/1.78	c b 1.4s|     1 |     0 |     0 |     - |  50M|   0 |   - |  10k|  12k|  10k|  12k|   0 |   0 |   0 |      --      | 9.687000e+03 |    Inf 
95.16/95.23	c  94.3s|     1 |     0 | 19589 |     - |  49M|   0 |4697 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 3.000000e+00 | 9.687000e+03 |  Large 
98.56/98.69	o 6273
98.56/98.69	c R97.8s|     1 |     0 | 19589 |     - |  50M|   0 |4697 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 3.000000e+00 | 6.273000e+03 |  Large 
102.06/102.16	o 1953
102.06/102.16	c b 101s|     1 |     0 | 19589 |     - |  50M|   0 |4697 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 3.000000e+00 | 1.953000e+03 |  Large 
129.66/129.71	c   129s|     1 |     0 | 21284 |     - |  50M|   0 |4657 |  10k|  12k|  10k|  12k|   4 |   0 |   0 | 3.000000e+00 | 1.953000e+03 |  Large 
134.06/134.17	o 698
134.06/134.17	c b 133s|     1 |     0 | 21284 |     - |  50M|   0 |4657 |  10k|  12k|  10k|  12k|   4 |   0 |   0 | 3.000000e+00 | 6.980000e+02 |  Large 
158.75/158.85	c   158s|     1 |     0 | 22456 |     - |  50M|   0 |4652 |  10k|  12k|  10k|  12k|   5 |   0 |   0 | 3.000000e+00 | 6.980000e+02 |  Large 
162.45/162.58	o 427
162.45/162.58	c b 161s|     1 |     0 | 22456 |     - |  50M|   0 |4652 |  10k|  12k|  10k|  12k|   5 |   0 |   0 | 3.000000e+00 | 4.270000e+02 |  Large 
187.44/187.57	c   186s|     1 |     0 | 23701 |     - |  50M|   0 |4640 |  10k|  12k|  10k|  12k|   6 |   0 |   0 | 3.000000e+00 | 4.270000e+02 |  Large 
191.04/191.14	o 382
191.04/191.14	c b 190s|     1 |     0 | 23701 |     - |  51M|   0 |4640 |  10k|  12k|  10k|  12k|   6 |   0 |   0 | 3.000000e+00 | 3.820000e+02 |  Large 
618.73/618.99	c   614s|     1 |     2 | 23701 |     - |  51M|   0 |4640 |  10k|  12k|  10k|  12k|   6 |   0 |  18 | 3.000000e+00 | 3.820000e+02 |  Large 
1800.04/1800.71	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-2666925-1276479930/watcher-2666925-1276479930 -o /tmp/evaluation-result-2666925-1276479930/solver-2666925-1276479930 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666925-1276479930.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.99 1.00 1.00 3/106 28186
/proc/meminfo: memFree=1791392/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=6696 CPUtime=0
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 984 0 0 0 0 0 0 0 21 0 1 0 23594317 6856704 903 1992294400 4194304 8223781 140734044611616 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28186/statm: 1674 904 343 984 0 687 0

[startup+0.059074 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 28186
/proc/meminfo: memFree=1791392/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=18508 CPUtime=0.05
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 3934 0 0 0 4 1 0 0 23 0 1 0 23594317 18952192 3850 1992294400 4194304 8223781 140734044611616 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28186/statm: 4627 3850 367 984 0 3640 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18508

[startup+0.101078 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 28186
/proc/meminfo: memFree=1791392/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=19784 CPUtime=0.09
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 4283 0 0 0 8 1 0 0 23 0 1 0 23594317 20258816 4197 1992294400 4194304 8223781 140734044611616 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28186/statm: 4946 4197 365 984 0 3959 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19784

[startup+0.301098 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 28186
/proc/meminfo: memFree=1791392/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=22512 CPUtime=0.29
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 5294 0 0 0 28 1 0 0 23 0 1 0 23594317 23052288 4854 1992294400 4194304 8223781 140734044611616 18446744073709551615 6206490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 5628 4854 367 984 0 4641 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22512

[startup+0.701135 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 28186
/proc/meminfo: memFree=1791392/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=64928 CPUtime=0.69
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 16137 0 0 0 61 8 0 0 25 0 1 0 23594317 66486272 14819 1992294400 4194304 8223781 140734044611616 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 16232 14831 461 984 0 15245 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64928

[startup+1.50121 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28187
/proc/meminfo: memFree=1729260/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=69340 CPUtime=1.49
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 20224 0 0 0 137 12 0 0 25 0 1 0 23594317 71004160 16178 1992294400 4194304 8223781 140734044611616 18446744073709551615 4853641 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 17335 16178 484 984 0 16348 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69340

[startup+3.10136 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28187
/proc/meminfo: memFree=1708800/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=91792 CPUtime=3.09
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 27156 0 0 0 294 15 0 0 25 0 1 0 23594317 93995008 21388 1992294400 4194304 8223781 140734044611616 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 22948 21388 546 984 0 21961 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91792

[startup+6.30066 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28187
/proc/meminfo: memFree=1706320/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=92636 CPUtime=6.29
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 30933 0 0 0 611 18 0 0 25 0 1 0 23594317 94859264 21615 1992294400 4194304 8223781 140734044611616 18446744073709551615 6568277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 23159 21615 546 984 0 22172 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92636

[startup+12.7013 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28187
/proc/meminfo: memFree=1705832/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=93180 CPUtime=12.69
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 35028 0 0 0 1249 20 0 0 25 0 1 0 23594317 95416320 21701 1992294400 4194304 8223781 140734044611616 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 23295 21701 546 984 0 22308 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93180

[startup+25.5015 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28187
/proc/meminfo: memFree=1705212/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=93904 CPUtime=25.49
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 42803 0 0 0 2521 28 0 0 25 0 1 0 23594317 96157696 21851 1992294400 4194304 8223781 140734044611616 18446744073709551615 6536473 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 23476 21851 546 984 0 22489 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93904

[startup+51.1009 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28189
/proc/meminfo: memFree=1704468/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=95292 CPUtime=51.07
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 58695 0 0 0 5068 39 0 0 25 0 1 0 23594317 97579008 22144 1992294400 4194304 8223781 140734044611616 18446744073709551615 6567177 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 23823 22144 546 984 0 22836 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95292

[startup+102.309 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28189
/proc/meminfo: memFree=1703352/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=97060 CPUtime=102.26
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 89172 0 0 0 10166 60 0 0 25 0 1 0 23594317 99389440 22412 1992294400 4194304 8223781 140734044611616 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24265 22412 556 984 0 23278 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 97060

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28191
/proc/meminfo: memFree=1700996/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99228 CPUtime=162.25
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 107882 0 0 0 16136 89 0 0 25 0 1 0 23594317 101609472 22960 1992294400 4194304 8223781 140734044611616 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24807 22960 585 984 0 23820 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 99228

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28193
/proc/meminfo: memFree=1639368/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=162272 CPUtime=222.24
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 142178 0 0 0 22097 127 0 0 25 0 1 0 23594317 166166528 38241 1992294400 4194304 8223781 140734044611616 18446744073709551615 4656173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 40568 38241 583 984 0 39581 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 162272

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28195
/proc/meminfo: memFree=1636020/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=165656 CPUtime=282.22
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 225737 0 0 0 28049 173 0 0 25 0 1 0 23594317 169631744 39084 1992294400 4194304 8223781 140734044611616 18446744073709551615 6003322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 41414 39084 583 984 0 40427 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 165656

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28195
/proc/meminfo: memFree=1635524/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=166088 CPUtime=342.2
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 363712 0 0 0 33969 251 0 0 25 0 1 0 23594317 170074112 39203 1992294400 4194304 8223781 140734044611616 18446744073709551615 4561079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 41522 39203 585 984 0 40535 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 166088

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28197
/proc/meminfo: memFree=1635400/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=166376 CPUtime=402.19
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 466190 0 0 0 39913 306 0 0 25 0 1 0 23594317 170369024 39252 1992294400 4194304 8223781 140734044611616 18446744073709551615 6569651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 41594 39252 585 984 0 40607 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 166376

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28199
/proc/meminfo: memFree=1634904/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=166632 CPUtime=462.17
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 551552 0 0 0 45865 352 0 0 25 0 1 0 23594317 170631168 39348 1992294400 4194304 8223781 140734044611616 18446744073709551615 6532692 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 41658 39348 585 984 0 40671 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 166632

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28201
/proc/meminfo: memFree=1700500/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99368 CPUtime=522.16
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 646413 0 0 0 51808 408 0 0 25 0 1 0 23594317 101752832 22898 1992294400 4194304 8223781 140734044611616 18446744073709551615 6358880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24842 22898 592 984 0 23855 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 99368

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28203
/proc/meminfo: memFree=1700376/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99064 CPUtime=582.14
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 711313 0 0 0 57765 449 0 0 25 0 1 0 23594317 101441536 22601 1992294400 4194304 8223781 140734044611616 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24766 22601 592 984 0 23779 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 99064

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28203
/proc/meminfo: memFree=1699756/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99724 CPUtime=642.13
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 775944 0 0 0 63725 488 0 0 25 0 1 0 23594317 102117376 23229 1992294400 4194304 8223781 140734044611616 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24931 23229 592 984 0 23944 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 99724

[startup+702.301 s]

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

/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 1293302 0 0 0 105385 796 0 0 25 0 1 0 23594317 102326272 23258 1992294400 4194304 8223781 140734044611616 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24982 23258 592 984 0 23995 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 99928

[startup+1122.3 s]
/proc/loadavg: 1.08 1.08 1.03 2/107 28700
/proc/meminfo: memFree=1657864/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99576 CPUtime=1121.8
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 1357473 0 0 0 111345 835 0 0 25 0 1 0 23594317 101965824 23197 1992294400 4194304 8223781 140734044611616 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24894 23197 592 984 0 23907 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 99576

[startup+1182.3 s]
/proc/loadavg: 1.03 1.07 1.02 2/107 28702
/proc/meminfo: memFree=1658236/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99572 CPUtime=1181.78
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 1423484 0 0 0 117303 875 0 0 25 0 1 0 23594317 101961728 23187 1992294400 4194304 8223781 140734044611616 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24893 23187 592 984 0 23906 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 99572

[startup+1242.3 s]
/proc/loadavg: 1.01 1.05 1.02 2/107 28702
/proc/meminfo: memFree=1658112/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99672 CPUtime=1241.77
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 1489977 0 0 0 123261 916 0 0 25 0 1 0 23594317 102064128 23231 1992294400 4194304 8223781 140734044611616 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24918 23231 592 984 0 23931 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 99672

[startup+1302.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/107 28704
/proc/meminfo: memFree=1657120/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99464 CPUtime=1301.76
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 1554680 0 0 0 129221 955 0 0 25 0 1 0 23594317 101851136 23181 1992294400 4194304 8223781 140734044611616 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24866 23181 592 984 0 23879 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 99464

[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 28706
/proc/meminfo: memFree=1657996/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99760 CPUtime=1361.74
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 1631716 0 0 0 135169 1005 0 0 25 0 1 0 23594317 102154240 23272 1992294400 4194304 8223781 140734044611616 18446744073709551615 6560191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24940 23272 592 984 0 23953 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 99760

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 28708
/proc/meminfo: memFree=1657872/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=101224 CPUtime=1421.73
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 1689682 0 0 0 141131 1042 0 0 25 0 1 0 23594317 103653376 23456 1992294400 4194304 8223781 140734044611616 18446744073709551615 6584437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 25306 23456 592 984 0 24319 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 101224

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 28710
/proc/meminfo: memFree=1657996/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99700 CPUtime=1481.71
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 1722940 0 0 0 147109 1062 0 0 25 0 1 0 23594317 102092800 23269 1992294400 4194304 8223781 140734044611616 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24925 23269 592 984 0 23938 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 99700

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28710
/proc/meminfo: memFree=1658244/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99680 CPUtime=1541.69
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 1775977 0 0 0 153074 1095 0 0 25 0 1 0 23594317 102072320 23208 1992294400 4194304 8223781 140734044611616 18446744073709551615 6502738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24920 23208 592 984 0 23933 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 99680

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28712
/proc/meminfo: memFree=1658244/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99648 CPUtime=1601.68
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 1852431 0 0 0 159027 1141 0 0 25 0 1 0 23594317 102039552 23191 1992294400 4194304 8223781 140734044611616 18446744073709551615 6446786 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24912 23191 592 984 0 23925 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 99648

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28714
/proc/meminfo: memFree=1657996/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=99592 CPUtime=1661.66
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 1895648 0 0 0 164998 1168 0 0 25 0 1 0 23594317 101982208 23222 1992294400 4194304 8223781 140734044611616 18446744073709551615 6559833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 24898 23222 592 984 0 23911 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 99592

[startup+1722.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 28719
/proc/meminfo: memFree=1656756/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=100316 CPUtime=1721.64
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 1951992 0 0 0 170966 1198 0 0 25 0 1 0 23594317 102723584 23384 1992294400 4194304 8223781 140734044611616 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 25079 23384 592 984 0 24092 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 100316

[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 28721
/proc/meminfo: memFree=1653904/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=103056 CPUtime=1781.63
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 2178651 0 0 0 176861 1302 0 0 25 0 1 0 23594317 105529344 24091 1992294400 4194304 8223781 140734044611616 18446744073709551615 6560187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 25764 24091 592 984 0 24777 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 103056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 28721
/proc/meminfo: memFree=1652912/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=104232 CPUtime=1800.04
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 2227577 0 0 0 178679 1325 0 0 25 0 1 0 23594317 106733568 24338 1992294400 4194304 8223781 140734044611616 18446744073709551615 6567536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 26058 24338 592 984 0 25071 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 104232

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -28186

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

[startup+1801.4 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 28721
/proc/meminfo: memFree=1652912/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=104232 CPUtime=1800.73
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 2228487 0 0 0 178747 1326 0 0 25 0 1 0 23594317 106733568 24330 1992294400 4194304 8223781 140734044611616 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 26058 24330 592 984 0 25071 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 104232

[startup+1802.2 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 28722
/proc/meminfo: memFree=1652904/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=104232 CPUtime=1801.52
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 2229408 0 0 0 178826 1326 0 0 25 0 1 0 23594317 106733568 24317 1992294400 4194304 8223781 140734044611616 18446744073709551615 6503901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 26058 24317 592 984 0 25071 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 104232

[startup+1802.6 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 28722
/proc/meminfo: memFree=1652904/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=104232 CPUtime=1801.92
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 2229421 0 0 0 178866 1326 0 0 25 0 1 0 23594317 106733568 24330 1992294400 4194304 8223781 140734044611616 18446744073709551615 6536473 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 26058 24330 592 984 0 25071 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 104232

[startup+1802.7 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 28722
/proc/meminfo: memFree=1652904/2059040 swapFree=4135888/4192956
[pid=28186] ppid=28184 vsize=104232 CPUtime=1802.02
/proc/28186/stat : 28186 (pbscip.linux.x8) R 28184 28186 27841 0 -1 4202496 2229425 0 0 0 178876 1326 0 0 25 0 1 0 23594317 106733568 24334 1992294400 4194304 8223781 140734044611616 18446744073709551615 6532625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28186/statm: 26058 24334 592 984 0 25071 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 104232

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.73
CPU time (s): 1802.06
CPU user time (s): 1788.78
CPU system time (s): 13.276
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 168020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.78
system time used= 13.276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2229426
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= 2
involuntary context switches= 3735

runsolver used 3.18352 second user time and 8.33773 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-14 03:45:30
IDJOB=2666925
IDBENCH=2223
IDSOLVER=1169
FILE ID=node015/2666925-1276479930
PBS_JOBID= 11173375
Free space on /tmp= 62548 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666925-1276479930/watcher-2666925-1276479930 -o /tmp/evaluation-result-2666925-1276479930/solver-2666925-1276479930 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666925-1276479930.opb -t 1800 -m 1800

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

MD5SUM BENCH= 8ebfb10d75940bc93d5e7784548911ff
RANDOM SEED=386744646

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1791920 kB
Buffers:         92092 kB
Cached:         102132 kB
SwapCached:      17544 kB
Active:          99752 kB
Inactive:       114740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1791920 kB
SwapTotal:     4192956 kB
SwapFree:      4135888 kB
Dirty:            5144 kB
Writeback:           0 kB
AnonPages:       11756 kB
Mapped:           9168 kB
Slab:            30740 kB
PageTables:       4144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180704 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= 62576 MiB
End job on node015 at 2010-06-14 04:15:33