Trace number 3450914

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1800.05 1800.02

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 benchmark1018.14
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 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 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-3450914-1307086806.opb>
0.09/0.11	c original problem has 10976 variables (10976 bin, 0 int, 0 impl, 0 cont) and 12527 constraints
0.09/0.11	c problem read
0.09/0.11	c presolving settings loaded
0.09/0.16	o 19611
0.09/0.16	c feasible solution found by trivial heuristic, objective value  1.961100e+04
0.09/0.16	c presolving:
0.09/0.19	c (round 1) 2 del vars, 2 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51618 impls, 14 clqs
0.19/0.29	c    (0.3s) probing: 101/10973 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.29	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.19/0.29	c (round 2) 3 del vars, 4 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 12429 upgd conss, 51618 impls, 14 clqs
0.29/0.33	c (round 3) 3 del vars, 7 del conss, 2 add conss, 1 chg bounds, 5 chg sides, 7 chg coeffs, 12523 upgd conss, 51618 impls, 14 clqs
0.29/0.34	c    (0.3s) probing: 111/10973 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.34	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.34	c presolving (4 rounds):
0.29/0.34	c  3 deleted vars, 7 deleted constraints, 2 added constraints, 1 tightened bounds, 0 added holes, 5 changed sides, 7 changed coefficients
0.29/0.34	c  51618 implications, 14 cliques
0.29/0.34	c presolved problem has 10973 variables (10973 bin, 0 int, 0 impl, 0 cont) and 12522 constraints
0.29/0.34	c    2041 constraints of type <knapsack>
0.29/0.34	c   10463 constraints of type <setppc>
0.29/0.34	c      18 constraints of type <logicor>
0.29/0.34	c transformed objective value is always integral (scale: 1)
0.29/0.34	c Presolving Time: 0.21
0.29/0.34	c - non default parameters ----------------------------------------------------------------------
0.29/0.34	c # SCIP version 2.0.1.5
0.29/0.34	c 
0.29/0.34	c # frequency for displaying node information lines
0.29/0.34	c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.34	c display/freq = 10000
0.29/0.34	c 
0.29/0.34	c # maximal time in seconds to run
0.29/0.34	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.34	c limits/time = 1800
0.29/0.34	c 
0.29/0.34	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.34	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.34	c limits/memory = 13950
0.29/0.34	c 
0.29/0.34	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.34	c # [type: int, range: [1,2], default: 1]
0.29/0.34	c timing/clocktype = 2
0.29/0.34	c 
0.29/0.34	c # belongs reading time to solving time?
0.29/0.34	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34	c timing/reading = TRUE
0.29/0.34	c 
0.29/0.34	c # should presolving try to simplify inequalities
0.29/0.34	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34	c constraints/linear/simplifyinequalities = TRUE
0.29/0.34	c 
0.29/0.34	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.34	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34	c constraints/indicator/addCouplingCons = TRUE
0.29/0.34	c 
0.29/0.34	c # should presolving try to simplify knapsacks
0.29/0.34	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34	c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.34	c 
0.29/0.34	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.34	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.34	c separating/rapidlearning/freq = 0
0.29/0.34	c 
0.29/0.34	c -----------------------------------------------------------------------------------------------
0.29/0.34	c start solving
0.29/0.35	c 
0.29/0.36	o 19608
0.29/0.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.29/0.36	c t 0.4s|     1 |     0 |     0 |     - |  40M|   0 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |      --      | 1.960800e+04 |    Inf 
0.39/0.40	o 9687
0.39/0.40	c b 0.4s|     1 |     0 |     0 |     - |  50M|   0 |   - |  10k|  12k|  10k|  12k|   0 |   0 |   0 |      --      | 9.687000e+03 |    Inf 
22.49/22.59	c  22.6s|     1 |     0 | 21292 |     - |  50M|   0 |3874 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 3.000000e+00 | 9.687000e+03 |  Large 
22.89/22.99	o 4847
22.89/22.99	c R23.0s|     1 |     0 | 21292 |     - |  51M|   0 |3874 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 3.000000e+00 | 4.847000e+03 |  Large 
23.39/23.40	o 1379
23.39/23.40	c b23.4s|     1 |     0 | 21292 |     - |  51M|   0 |3874 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 3.000000e+00 | 1.379000e+03 |  Large 
27.19/27.26	c  27.3s|     1 |     0 | 22083 |     - |  51M|   0 |3953 |  10k|  12k|  10k|  12k|   4 |   0 |   0 | 3.000000e+00 | 1.379000e+03 |  Large 
27.70/27.72	o 590
27.70/27.72	c b27.7s|     1 |     0 | 22083 |     - |  51M|   0 |3953 |  10k|  12k|  10k|  12k|   4 |   0 |   0 | 3.000000e+00 | 5.900000e+02 |  Large 
31.39/31.41	c  31.4s|     1 |     0 | 22562 |     - |  51M|   0 |3999 |  10k|  12k|  10k|  12k|   6 |   0 |   0 | 3.000000e+00 | 5.900000e+02 |  Large 
31.81/31.82	o 465
31.81/31.82	c b31.8s|     1 |     0 | 22562 |     - |  51M|   0 |3999 |  10k|  12k|  10k|  12k|   6 |   0 |   0 | 3.000000e+00 | 4.650000e+02 |  Large 
35.29/35.30	c  35.3s|     1 |     0 | 22815 |     - |  51M|   0 |4115 |  10k|  12k|  10k|  12k|   7 |   0 |   0 | 3.000000e+00 | 4.650000e+02 |  Large 
35.69/35.72	o 444
35.69/35.72	c b35.7s|     1 |     0 | 22815 |     - |  52M|   0 |4115 |  10k|  12k|  10k|  12k|   7 |   0 |   0 | 3.000000e+00 | 4.440000e+02 |  Large 
39.30/39.38	c  39.4s|     1 |     0 | 23178 |     - |  51M|   0 |4139 |  10k|  12k|  10k|  12k|   8 |   0 |   0 | 3.000000e+00 | 4.440000e+02 |  Large 
39.80/39.80	o 443
39.80/39.80	c b39.8s|     1 |     0 | 23178 |     - |  52M|   0 |4139 |  10k|  12k|  10k|  12k|   8 |   0 |   0 | 3.000000e+00 | 4.430000e+02 |  Large 
278.39/278.44	o 8
278.39/278.44	c E 278s|     1 |     0 | 23178 |     - |  52M|   0 |4139 |  10k|  12k|  10k|  12k|   8 |   0 |   0 | 3.000000e+00 | 8.000000e+00 | 166.67%
278.39/278.48	c   278s|     1 |     0 | 23178 |     - |  52M|   0 |4139 |  10k|  12k|  10k|  12k|   8 |   0 |   0 | 3.000000e+00 | 8.000000e+00 | 166.67%
278.39/278.48	o 7
278.39/278.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
278.39/278.48	c b 278s|     1 |     0 | 23178 |     - |  52M|   0 |4139 |  10k|  12k|  10k|  12k|   8 |   0 |   0 | 3.000000e+00 | 7.000000e+00 | 133.33%
299.30/299.32	c   299s|     1 |     2 | 23178 |     - |  52M|   0 |4139 |  10k|  12k|  10k|  12k|   8 |   0 |  20 | 3.000000e+00 | 7.000000e+00 | 133.33%
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.03/1800.00	c Solving Time (sec) : 1800.00
1800.03/1800.00	c Solving Nodes      : 823
1800.03/1800.00	c Primal Bound       : +7.00000000000000e+00 (13 solutions)
1800.03/1800.00	c Dual Bound         : +3.00000000001091e+00
1800.03/1800.00	c Gap                : 133.33 %

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450914-1307086806/watcher-3450914-1307086806 -o /tmp/evaluation-result-3450914-1307086806/solver-3450914-1307086806 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450914-1307086806.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 2/415 32204
/proc/meminfo: memFree=25934288/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=17680 CPUtime=0.01 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 3404 0 0 0 1 0 0 0 25 0 1 0 276289971 18104320 3357 33554432000 4194304 9163163 140736196172592 18446744073709551615 6167874 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32204/statm: 4420 3357 389 1214 0 3202 0

[startup+0.0616239 s]
/proc/loadavg: 2.01 2.01 2.00 2/415 32204
/proc/meminfo: memFree=25934288/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=25452 CPUtime=0.05 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 5371 0 0 0 5 0 0 0 25 0 1 0 276289971 26062848 5320 33554432000 4194304 9163163 140736196172592 18446744073709551615 7962053 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32204/statm: 6363 5320 395 1214 0 5145 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25452

[startup+0.100617 s]
/proc/loadavg: 2.01 2.01 2.00 2/415 32204
/proc/meminfo: memFree=25934288/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=27716 CPUtime=0.09 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 5962 0 0 0 9 0 0 0 25 0 1 0 276289971 28381184 5911 33554432000 4194304 9163163 140736196172592 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32204/statm: 6929 5911 395 1214 0 5711 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27716

[startup+0.300583 s]
/proc/loadavg: 2.01 2.01 2.00 2/415 32204
/proc/meminfo: memFree=25934288/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=71232 CPUtime=0.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 17238 0 0 0 28 1 0 0 25 0 1 0 276289971 72941568 16512 33554432000 4194304 9163163 140736196172592 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 17808 16512 622 1214 0 16590 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71232

[startup+0.70051 s]
/proc/loadavg: 2.01 2.01 2.00 2/415 32204
/proc/meminfo: memFree=25934288/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=99676 CPUtime=0.69 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 24208 0 0 0 66 3 0 0 25 0 1 0 276289971 102068224 23155 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 24919 23155 696 1214 0 23701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99676

[startup+1.50037 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 32205
/proc/meminfo: memFree=25841608/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=101420 CPUtime=1.49 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 24884 0 0 0 146 3 0 0 25 0 1 0 276289971 103854080 23793 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 25355 23793 675 1214 0 24137 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101420

[startup+3.10109 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 32205
/proc/meminfo: memFree=25839624/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=102404 CPUtime=3.09 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 25128 0 0 0 305 4 0 0 25 0 1 0 276289971 104861696 24037 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 25601 24037 675 1214 0 24383 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102404

[startup+6.30053 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 32205
/proc/meminfo: memFree=25837564/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=103268 CPUtime=6.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 25364 0 0 0 624 5 0 0 25 0 1 0 276289971 105746432 24273 33554432000 4194304 9163163 140736196172592 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 25817 24273 679 1214 0 24599 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103268

[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 32205
/proc/meminfo: memFree=25836088/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=103652 CPUtime=12.7 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 25551 0 0 0 1263 7 0 0 25 0 1 0 276289971 106139648 24460 33554432000 4194304 9163163 140736196172592 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 25913 24460 679 1214 0 24695 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 103652

[startup+25.5011 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 32206
/proc/meminfo: memFree=25835888/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=104172 CPUtime=25.49 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 25758 0 0 0 2540 9 0 0 25 0 1 0 276289971 106672128 24667 33554432000 4194304 9163163 140736196172592 18446744073709551615 8045595 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 26043 24667 707 1214 0 24825 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 104172

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32206
/proc/meminfo: memFree=25767148/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=172608 CPUtime=51.09 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 42978 0 0 0 5084 25 0 0 25 0 1 0 276289971 176750592 41647 33554432000 4194304 9163163 140736196172592 18446744073709551615 6480261 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 43152 41647 734 1214 0 41934 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 172608

[startup+102.316 s]
/proc/loadavg: 2.06 2.02 2.00 3/416 32208
/proc/meminfo: memFree=25760892/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=176716 CPUtime=102.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 44048 0 0 0 10178 53 0 0 25 0 1 0 276289971 180957184 42691 33554432000 4194304 9163163 140736196172592 18446744073709551615 7375718 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 44179 42691 736 1214 0 42961 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 176716

[startup+162.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/416 32209
/proc/meminfo: memFree=25758024/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=177664 CPUtime=162.3 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 44347 0 0 0 16145 85 0 0 25 0 1 0 276289971 181927936 42990 33554432000 4194304 9163163 140736196172592 18446744073709551615 5957402 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 44416 42990 736 1214 0 43198 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 177664

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/416 32211
/proc/meminfo: memFree=25755900/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=177664 CPUtime=222.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 44348 0 0 0 22113 116 0 0 25 0 1 0 276289971 181927936 42991 33554432000 4194304 9163163 140736196172592 18446744073709551615 7249841 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 44416 42991 736 1214 0 43198 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 177664

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 32213
/proc/meminfo: memFree=25820344/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=107676 CPUtime=282.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 45010 0 0 0 28079 150 0 0 25 0 1 0 276289971 110260224 25606 33554432000 4194304 9163163 140736196172592 18446744073709551615 7224031 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 26919 25606 750 1214 0 25701 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 107676

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 32214
/proc/meminfo: memFree=25821284/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=108940 CPUtime=342.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 57444 0 0 0 34060 169 0 0 25 0 1 0 276289971 111554560 26086 33554432000 4194304 9163163 140736196172592 18446744073709551615 7348255 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 27235 26086 750 1214 0 26017 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 108940

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32216
/proc/meminfo: memFree=25821268/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=108328 CPUtime=402.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 64377 0 0 0 40045 184 0 0 25 0 1 0 276289971 110927872 25934 33554432000 4194304 9163163 140736196172592 18446744073709551615 7319039 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 27082 25934 750 1214 0 25864 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 108328

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32217
/proc/meminfo: memFree=25816776/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=111468 CPUtime=462.3 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 73209 0 0 0 46031 199 0 0 25 0 1 0 276289971 114143232 26576 33554432000 4194304 9163163 140736196172592 18446744073709551615 7318921 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 27867 26576 750 1214 0 26649 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 111468

[startup+522.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/416 32219
/proc/meminfo: memFree=25812396/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=115968 CPUtime=522.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 74338 0 0 0 52018 211 0 0 25 0 1 0 276289971 118751232 27705 33554432000 4194304 9163163 140736196172592 18446744073709551615 7345702 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 28992 27705 750 1214 0 27774 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 115968

[startup+582.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/416 32221
/proc/meminfo: memFree=25811256/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=114808 CPUtime=582.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 75206 0 0 0 58004 225 0 0 25 0 1 0 276289971 117563392 27557 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 28702 27557 750 1214 0 27484 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 114808

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/416 32227
/proc/meminfo: memFree=25806176/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=118176 CPUtime=822.3 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 81095 0 0 0 81960 270 0 0 25 0 1 0 276289971 121012224 28401 33554432000 4194304 9163163 140736196172592 18446744073709551615 4693200 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 29544 28401 750 1214 0 28326 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 118176

[startup+882.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/416 32229
/proc/meminfo: memFree=25805168/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=119472 CPUtime=882.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 96624 0 0 0 87949 282 0 0 25 0 1 0 276289971 122339328 28614 33554432000 4194304 9163163 140736196172592 18446744073709551615 7390914 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 29868 28614 750 1214 0 28650 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 119472

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 32230
/proc/meminfo: memFree=25804632/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=119464 CPUtime=942.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 100193 0 0 0 93940 291 0 0 25 0 1 0 276289971 122331136 28725 33554432000 4194304 9163163 140736196172592 18446744073709551615 7318975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 29866 28725 750 1214 0 28648 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 119464

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 32232
/proc/meminfo: memFree=25803492/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=120804 CPUtime=1002.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 102410 0 0 0 99931 300 0 0 25 0 1 0 276289971 123703296 29057 33554432000 4194304 9163163 140736196172592 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 30201 29057 750 1214 0 28983 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 120804

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 32233
/proc/meminfo: memFree=25804456/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=119492 CPUtime=1062.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 104687 0 0 0 105922 309 0 0 25 0 1 0 276289971 122359808 28730 33554432000 4194304 9163163 140736196172592 18446744073709551615 7312189 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 29873 28730 750 1214 0 28655 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 119492

[startup+1122.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/416 32235
/proc/meminfo: memFree=25803444/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=120736 CPUtime=1122.3 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 110110 0 0 0 111912 318 0 0 25 0 1 0 276289971 123633664 28916 33554432000 4194304 9163163 140736196172592 18446744073709551615 7447714 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 30184 28916 750 1214 0 28966 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 120736

[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/416 32265
/proc/meminfo: memFree=25728480/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=120824 CPUtime=1182.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 114280 0 0 0 117898 333 0 0 25 0 1 0 276289971 123723776 29063 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 30206 29063 750 1214 0 28988 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 120824

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/416 32266
/proc/meminfo: memFree=25730336/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=118176 CPUtime=1242.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 120093 0 0 0 123884 347 0 0 25 0 1 0 276289971 121012224 28402 33554432000 4194304 9163163 140736196172592 18446744073709551615 7319028 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 29544 28402 750 1214 0 28326 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 118176

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 32277
/proc/meminfo: memFree=25721980/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=121968 CPUtime=1302.32 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 124853 0 0 0 129867 365 0 0 25 0 1 0 276289971 124895232 29128 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 30492 29128 750 1214 0 29274 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 121968

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 32278
/proc/meminfo: memFree=25723440/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=122808 CPUtime=1362.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 129618 0 0 0 135852 379 0 0 25 0 1 0 276289971 125755392 29498 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 30702 29498 750 1214 0 29484 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 122808

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 32280
/proc/meminfo: memFree=25720576/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=124856 CPUtime=1422.33 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 131075 0 0 0 141830 403 0 0 25 0 1 0 276289971 127852544 30103 33554432000 4194304 9163163 140736196172592 18446744073709551615 6974878 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31214 30103 750 1214 0 29996 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 124856

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 32282
/proc/meminfo: memFree=25715108/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=124856 CPUtime=1482.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 131075 0 0 0 147817 414 0 0 25 0 1 0 276289971 127852544 30103 33554432000 4194304 9163163 140736196172592 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31214 30103 750 1214 0 29996 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 124856

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32283
/proc/meminfo: memFree=25707396/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=124856 CPUtime=1542.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 141744 0 0 0 153798 433 0 0 25 0 1 0 276289971 127852544 30103 33554432000 4194304 9163163 140736196172592 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31214 30103 750 1214 0 29996 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 124856

[startup+1602.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/416 32285
/proc/meminfo: memFree=25693116/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=125880 CPUtime=1602.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 141968 0 0 0 159773 458 0 0 25 0 1 0 276289971 128901120 30327 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31470 30327 750 1214 0 30252 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 125880

[startup+1662.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/416 32286
/proc/meminfo: memFree=25679560/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=125880 CPUtime=1662.32 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 141968 0 0 0 165761 471 0 0 25 0 1 0 276289971 128901120 30327 33554432000 4194304 9163163 140736196172592 18446744073709551615 4684206 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31470 30327 750 1214 0 30252 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 125880

[startup+1722.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/416 32288
/proc/meminfo: memFree=25671476/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=126164 CPUtime=1722.32 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 142889 0 0 0 171748 484 0 0 25 0 1 0 276289971 129191936 30380 33554432000 4194304 9163163 140736196172592 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31541 30380 750 1214 0 30323 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 126164

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/416 32290
/proc/meminfo: memFree=25661900/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=126164 CPUtime=1782.32 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 142909 0 0 0 177734 498 0 0 25 0 1 0 276289971 129191936 30400 33554432000 4194304 9163163 140736196172592 18446744073709551615 7209907 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31541 30400 750 1214 0 30323 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 126164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.05 2.01 3/416 32290
/proc/meminfo: memFree=25659784/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=126164 CPUtime=1800.04 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 142910 0 0 0 179502 502 0 0 25 0 1 0 276289971 129191936 30401 33554432000 4194304 9163163 140736196172592 18446744073709551615 4342969 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32204/statm: 31541 30401 751 1214 0 30323 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 126164

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.05
CPU user time (s): 1795.02
CPU system time (s): 5.02823
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 179956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.02
system time used= 5.02823
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142910
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= 5
involuntary context switches= 10932

runsolver used 7.19091 second user time and 17.3414 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-03 09:40:06
IDJOB=3450914
IDBENCH=2223
IDSOLVER=1948
FILE ID=node112/3450914-1307086806
RUNJOBID= node112-1307084301-31861
PBS_JOBID= 13497876
Free space on /tmp= 73820 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
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/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450914-1307086806/watcher-3450914-1307086806 -o /tmp/evaluation-result-3450914-1307086806/solver-3450914-1307086806 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450914-1307086806.opb -t 1800 -m 15500

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

MD5SUM BENCH= 8ebfb10d75940bc93d5e7784548911ff
RANDOM SEED=900495773

node112.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5180.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25934444 kB
Buffers:        323024 kB
Cached:        5643224 kB
SwapCached:      31280 kB
Active:         976944 kB
Inactive:      5759300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25934444 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:           12428 kB
Writeback:           0 kB
AnonPages:      746756 kB
Mapped:          15636 kB
Slab:           156160 kB
PageTables:      59148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98729000 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73808 MiB
End job on node112 at 2011-06-03 10:10:08