Trace number 3484716

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 2 2011-06-10 (fixed)? (TO) 1800.06 1800.02

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-9000opt.opb
MD5SUM45bb740026f369f3965355a2a9c7d86d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-193
Best CPU time to get the best result obtained on this benchmark3.62845
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints63333
Number of constraints which are clauses63333
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 364
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 364
Number of bits of the biggest sum of numbers9
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.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3484716-1307790239.opb>
0.29/0.33	c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63333 constraints
0.29/0.33	c problem read
0.29/0.33	c presolving settings loaded
0.39/0.48	o 0
0.39/0.48	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.39/0.48	c presolving:
0.49/0.56	c (round 1) 186 del vars, 186 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.69/0.75	c (round 2) 186 del vars, 821 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62512 upgd conss, 2340 impls, 0 clqs
0.79/0.81	c    (0.8s) probing: 101/1839 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.81	c    (0.8s) probing aborted: 100/100 successive totally useless probings
0.79/0.81	c presolving (3 rounds):
0.79/0.81	c  186 deleted vars, 821 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.81	c  2340 implications, 0 cliques
0.79/0.81	c presolved problem has 1839 variables (1839 bin, 0 int, 0 impl, 0 cont) and 62512 constraints
0.79/0.81	c     984 constraints of type <setppc>
0.79/0.81	c   61528 constraints of type <logicor>
0.79/0.81	c transformed objective value is always integral (scale: 1)
0.79/0.81	c Presolving Time: 0.45
0.79/0.81	c - non default parameters ----------------------------------------------------------------------
0.79/0.81	c # SCIP version 2.0.1.4
0.79/0.81	c 
0.79/0.81	c # frequency for displaying node information lines
0.79/0.81	c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.81	c display/freq = 10000
0.79/0.81	c 
0.79/0.81	c # maximal time in seconds to run
0.79/0.81	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.81	c limits/time = 1797
0.79/0.81	c 
0.79/0.81	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.81	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.81	c limits/memory = 13950
0.79/0.81	c 
0.79/0.81	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.81	c # [type: int, range: [1,2], default: 1]
0.79/0.81	c timing/clocktype = 2
0.79/0.81	c 
0.79/0.81	c # belongs reading time to solving time?
0.79/0.81	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81	c timing/reading = TRUE
0.79/0.81	c 
0.79/0.81	c # should presolving try to simplify inequalities
0.79/0.81	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81	c constraints/linear/simplifyinequalities = TRUE
0.79/0.81	c 
0.79/0.81	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.79/0.81	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81	c constraints/indicator/addCouplingCons = TRUE
0.79/0.81	c 
0.79/0.81	c # should presolving try to simplify knapsacks
0.79/0.81	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81	c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.81	c 
0.79/0.81	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.81	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.81	c separating/rapidlearning/freq = 0
0.79/0.81	c 
0.79/0.81	c -----------------------------------------------------------------------------------------------
0.79/0.81	c start solving
0.79/0.81	c 
121.29/121.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
121.29/121.32	c t 121s|     1 |     0 | 37376 |     - |  75M|   0 |1821 |1839 |  62k|1839 |  62k|   0 |   0 |   0 |-2.811758e+02 | 0.000000e+00 | 100.00%
121.29/121.37	o -12
121.29/121.37	c R 121s|     1 |     0 | 37376 |     - |  76M|   0 |1821 |1839 |  62k|1839 |  62k|   0 |   0 |   0 |-2.811758e+02 |-1.200000e+01 |  95.73%
121.39/121.43	o -16
121.39/121.43	c s 121s|     1 |     0 | 37376 |     - |  76M|   0 |1821 |1839 |  62k|1839 |  62k|   0 |   0 |   0 |-2.811758e+02 |-1.600000e+01 |  94.31%
193.09/193.15	c   193s|     1 |     0 | 59696 |     - |  79M|   0 |1817 |1839 |  62k|1839 |  62k|   4 |   0 |   0 |-2.795695e+02 |-1.600000e+01 |  94.28%
193.09/193.16	o -44
193.09/193.16	c b 193s|     1 |     0 | 59696 |     - |  79M|   0 |1817 |1839 |  62k|1839 |  62k|   4 |   0 |   0 |-2.795695e+02 |-4.400000e+01 |  84.26%
326.50/326.54	c   327s|     1 |     0 | 93926 |     - |  81M|   0 |1814 |1839 |  62k|1839 |  62k|  10 |   0 |   0 |-2.782827e+02 |-4.400000e+01 |  84.19%
326.50/326.58	o -59
326.50/326.58	c b 327s|     1 |     0 | 93926 |     - |  81M|   0 |1814 |1839 |  62k|1839 |  62k|  10 |   0 |   0 |-2.782827e+02 |-5.900000e+01 |  78.80%
511.80/511.86	c   512s|     1 |     0 |134686 |     - |  82M|   0 |1814 |1839 |  62k|1839 |  62k|  22 |   0 |   0 |-2.756749e+02 |-5.900000e+01 |  78.60%
684.61/684.66	c   685s|     1 |     0 |169763 |     - |  87M|   0 |1776 |1839 |  62k|1839 |  62k|  33 |   0 |   0 |-2.697047e+02 |-5.900000e+01 |  78.12%
856.41/856.46	c   856s|     1 |     0 |205135 |     - |  92M|   0 |1784 |1839 |  62k|1839 |  62k|  42 |   0 |   0 |-2.635704e+02 |-5.900000e+01 |  77.62%
1013.21/1013.24	c  1013s|     1 |     0 |242588 |     - |  98M|   0 |1799 |1839 |  62k|1839 |  62k|  52 |   0 |   0 |-2.600676e+02 |-5.900000e+01 |  77.31%
1196.22/1196.28	c  1196s|     1 |     0 |282789 |     - | 104M|   0 |1806 |1839 |  62k|1839 |  62k|  59 |   0 |   0 |-2.571493e+02 |-5.900000e+01 |  77.06%
1404.93/1404.94	c  1405s|     1 |     0 |320887 |     - | 112M|   0 |1821 |1839 |  62k|1839 |  62k|  66 |   0 |   0 |-2.543130e+02 |-5.900000e+01 |  76.80%
1646.83/1646.87	c  1647s|     1 |     0 |365247 |     - | 113M|   0 |1824 |1839 |  62k|1839 |  62k|  75 |   0 |   0 |-2.519554e+02 |-5.900000e+01 |  76.58%

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3484716-1307790239/watcher-3484716-1307790239 -o /tmp/evaluation-result-3484716-1307790239/solver-3484716-1307790239 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3484716-1307790239.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.00 2.00 1.94 2/177 24421
/proc/meminfo: memFree=30885972/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=9968 CPUtime=0 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 1495 0 0 0 0 0 0 0 25 0 1 0 9768766 10207232 1450 33554432000 4194304 8979876 140734532469568 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24421/statm: 2492 1450 366 1169 0 1319 0

[startup+0.020775 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 24421
/proc/meminfo: memFree=30885972/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=13060 CPUtime=0.01 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 2250 0 0 0 1 0 0 0 25 0 1 0 9768766 13373440 2205 33554432000 4194304 8979876 140734532469568 18446744073709551615 6441805 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24421/statm: 3265 2205 366 1169 0 2092 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13060

[startup+0.100764 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 24421
/proc/meminfo: memFree=30885972/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=18844 CPUtime=0.09 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 3639 0 0 0 9 0 0 0 25 0 1 0 9768766 19296256 3595 33554432000 4194304 8979876 140734532469568 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24421/statm: 4711 3619 366 1169 0 3538 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18844

[startup+0.300727 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 24421
/proc/meminfo: memFree=30885972/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=28888 CPUtime=0.29 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 6223 0 0 0 29 0 0 0 25 0 1 0 9768766 29581312 6178 33554432000 4194304 8979876 140734532469568 18446744073709551615 6204784 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24421/statm: 7222 6178 366 1169 0 6049 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28888

[startup+0.700658 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 24421
/proc/meminfo: memFree=30885972/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=103820 CPUtime=0.69 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 30778 0 0 0 66 3 0 0 25 0 1 0 9768766 106311680 24595 33554432000 4194304 8979876 140734532469568 18446744073709551615 5266174 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 25955 24595 506 1169 0 24782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103820

[startup+1.50052 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24422
/proc/meminfo: memFree=30714000/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=209364 CPUtime=1.49 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 56692 0 0 0 144 5 0 0 25 0 1 0 9768766 214388736 47447 33554432000 4194304 8979876 140734532469568 18446744073709551615 7146477 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 52341 47447 862 1169 0 51168 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 209364

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24422
/proc/meminfo: memFree=30686280/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=217432 CPUtime=3.09 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 61090 0 0 0 302 7 0 0 25 0 1 0 9768766 222650368 51119 33554432000 4194304 8979876 140734532469568 18446744073709551615 7104560 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 54358 51119 842 1169 0 53185 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 217432

[startup+6.30067 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24422
/proc/meminfo: memFree=30673260/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=221780 CPUtime=6.3 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 65837 0 0 0 621 9 0 0 25 0 1 0 9768766 227102720 52600 33554432000 4194304 8979876 140734532469568 18446744073709551615 6829023 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 55445 52600 677 1169 0 54272 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 221780

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24422
/proc/meminfo: memFree=30671232/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=230488 CPUtime=12.69 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 71473 0 0 0 1258 11 0 0 25 0 1 0 9768766 236019712 53961 33554432000 4194304 8979876 140734532469568 18446744073709551615 7089903 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 57622 53961 651 1169 0 56449 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 230488

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24422
/proc/meminfo: memFree=30665668/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=232812 CPUtime=25.49 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 72948 0 0 0 2535 14 0 0 25 0 1 0 9768766 238399488 55403 33554432000 4194304 8979876 140734532469568 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 58203 55403 686 1169 0 57030 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 232812

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24424
/proc/meminfo: memFree=30665064/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=232812 CPUtime=51.09 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 72950 0 0 0 5091 18 0 0 25 0 1 0 9768766 238399488 55405 33554432000 4194304 8979876 140734532469568 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 58203 55405 686 1169 0 57030 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 232812

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24424
/proc/meminfo: memFree=30662928/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=232812 CPUtime=102.3 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 72950 0 0 0 10204 26 0 0 25 0 1 0 9768766 238399488 55405 33554432000 4194304 8979876 140734532469568 18446744073709551615 7122680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 58203 55405 686 1169 0 57030 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 232812

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24426
/proc/meminfo: memFree=30674256/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=220944 CPUtime=162.3 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 75848 0 0 0 16191 39 0 0 25 0 1 0 9768766 226246656 52429 33554432000 4194304 8979876 140734532469568 18446744073709551615 6884010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 55236 52429 784 1169 0 54063 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 220944

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24466
/proc/meminfo: memFree=30711936/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=225184 CPUtime=222.3 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 77160 0 0 0 22181 49 0 0 25 0 1 0 9768766 230588416 53739 33554432000 4194304 8979876 140734532469568 18446744073709551615 7146596 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 56296 53739 785 1169 0 55123 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 225184

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24468
/proc/meminfo: memFree=30686196/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=228540 CPUtime=282.3 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 79264 0 0 0 28175 55 0 0 25 0 1 0 9768766 234024960 55481 33554432000 4194304 8979876 140734532469568 18446744073709551615 7197313 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 57135 55481 785 1169 0 55962 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 228540

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24469
/proc/meminfo: memFree=30673744/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=228540 CPUtime=342.3 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 79266 0 0 0 34164 66 0 0 25 0 1 0 9768766 234024960 55483 33554432000 4194304 8979876 140734532469568 18446744073709551615 6609791 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 57135 55483 785 1169 0 55962 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 228540

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24470
/proc/meminfo: memFree=30669836/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=228540 CPUtime=402.3 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 79303 0 0 0 40155 75 0 0 25 0 1 0 9768766 234024960 55518 33554432000 4194304 8979876 140734532469568 18446744073709551615 7192864 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 57135 55518 783 1169 0 55962 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 228540

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24472
/proc/meminfo: memFree=30649188/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=239304 CPUtime=462.31 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 81291 0 0 0 46147 84 0 0 25 0 1 0 9768766 245047296 57506 33554432000 4194304 8979876 140734532469568 18446744073709551615 7147109 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 59826 57506 783 1169 0 58653 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 239304

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24474
/proc/meminfo: memFree=30635856/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=239304 CPUtime=522.3 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 81291 0 0 0 52137 93 0 0 25 0 1 0 9768766 245047296 57506 33554432000 4194304 8979876 140734532469568 18446744073709551615 6601219 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 59826 57506 783 1169 0 58653 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 239304

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24476
/proc/meminfo: memFree=30651176/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=231372 CPUtime=582.31 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 82261 0 0 0 58124 107 0 0 25 0 1 0 9768766 236924928 54353 33554432000 4194304 8979876 140734532469568 18446744073709551615 7146155 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 57843 54353 735 1169 0 56670 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 231372

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24482
/proc/meminfo: memFree=30630728/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=249216 CPUtime=822.32 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 87706 0 0 0 82087 145 0 0 25 0 1 0 9768766 255197184 59652 33554432000 4194304 8979876 140734532469568 18446744073709551615 7089899 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 62304 59652 1069 1169 0 61131 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 249216

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24484
/proc/meminfo: memFree=30629328/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=249216 CPUtime=882.31 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 87890 0 0 0 88078 153 0 0 25 0 1 0 9768766 255197184 59779 33554432000 4194304 8979876 140734532469568 18446744073709551615 6937217 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 62304 59779 1012 1169 0 61131 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 249216

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24485
/proc/meminfo: memFree=30606824/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=271224 CPUtime=942.32 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 93455 0 0 0 94069 163 0 0 25 0 1 0 9768766 277733376 65094 33554432000 4194304 8979876 140734532469568 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 67806 65094 763 1169 0 66633 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 271224

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24486
/proc/meminfo: memFree=30609512/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=271224 CPUtime=1002.32 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 93457 0 0 0 100062 170 0 0 25 0 1 0 9768766 277733376 65096 33554432000 4194304 8979876 140734532469568 18446744073709551615 7147072 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 67806 65096 763 1169 0 66633 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 271224

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24488
/proc/meminfo: memFree=30619248/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=262596 CPUtime=1062.32 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 98620 0 0 0 106051 181 0 0 25 0 1 0 9768766 268898304 62102 33554432000 4194304 8979876 140734532469568 18446744073709551615 7146513 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 65649 62102 759 1169 0 64476 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 262596

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24490
/proc/meminfo: memFree=30616560/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=262596 CPUtime=1122.32 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 98724 0 0 0 112043 189 0 0 25 0 1 0 9768766 268898304 62206 33554432000 4194304 8979876 140734532469568 18446744073709551615 7147016 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 65649 62206 759 1169 0 64476 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 262596

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/178 24492
/proc/meminfo: memFree=30618380/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=262596 CPUtime=1182.32 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 98734 0 0 0 118035 197 0 0 25 0 1 0 9768766 268898304 62216 33554432000 4194304 8979876 140734532469568 18446744073709551615 6820797 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 65649 62216 759 1169 0 64476 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 262596

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 24493
/proc/meminfo: memFree=30616848/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=262596 CPUtime=1242.32 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 98943 0 0 0 124023 209 0 0 25 0 1 0 9768766 268898304 62425 33554432000 4194304 8979876 140734532469568 18446744073709551615 6293612 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 65649 62425 759 1169 0 64476 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 262596

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 24494
/proc/meminfo: memFree=30600680/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=282640 CPUtime=1302.32 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 103656 0 0 0 130014 218 0 0 25 0 1 0 9768766 289423360 67023 33554432000 4194304 8979876 140734532469568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 70660 67023 1899 1169 0 69487 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 282640

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24496
/proc/meminfo: memFree=30599276/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=282640 CPUtime=1362.33 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 103669 0 0 0 136006 227 0 0 25 0 1 0 9768766 289423360 67025 33554432000 4194304 8979876 140734532469568 18446744073709551615 7147105 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 70660 67025 1888 1169 0 69487 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 282640

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24498
/proc/meminfo: memFree=30596352/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=282640 CPUtime=1422.33 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 103792 0 0 0 141997 236 0 0 25 0 1 0 9768766 289423360 67031 33554432000 4194304 8979876 140734532469568 18446744073709551615 6543876 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 70660 67031 1771 1169 0 69487 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 282640

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24500
/proc/meminfo: memFree=30600404/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=282640 CPUtime=1482.33 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 103989 0 0 0 147984 249 0 0 25 0 1 0 9768766 289423360 67216 33554432000 4194304 8979876 140734532469568 18446744073709551615 7146513 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 70660 67216 1759 1169 0 69487 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 282640

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24501
/proc/meminfo: memFree=30599372/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=282640 CPUtime=1542.33 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 104239 0 0 0 153977 256 0 0 25 0 1 0 9768766 289423360 67464 33554432000 4194304 8979876 140734532469568 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 70660 67464 1757 1169 0 69487 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 282640

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24502
/proc/meminfo: memFree=30595480/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=282640 CPUtime=1602.33 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 104541 0 0 0 159971 262 0 0 25 0 1 0 9768766 289423360 67766 33554432000 4194304 8979876 140734532469568 18446744073709551615 7146626 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 70660 67766 1757 1169 0 69487 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 282640

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24504
/proc/meminfo: memFree=30589100/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=286588 CPUtime=1662.33 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 108340 0 0 0 165961 272 0 0 25 0 1 0 9768766 293466112 70405 33554432000 4194304 8979876 140734532469568 18446744073709551615 6888511 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 71647 70405 2085 1169 0 70474 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 286588

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24506
/proc/meminfo: memFree=30587436/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=280508 CPUtime=1722.33 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 109631 0 0 0 171943 290 0 0 25 0 1 0 9768766 287240192 66416 33554432000 4194304 8979876 140734532469568 18446744073709551615 7118560 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 70127 66416 1513 1169 0 68954 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 280508

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24508
/proc/meminfo: memFree=30602264/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=280508 CPUtime=1782.33 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 109891 0 0 0 177935 298 0 0 25 0 1 0 9768766 287240192 66676 33554432000 4194304 8979876 140734532469568 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 70127 66676 1513 1169 0 68954 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 280508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24508
/proc/meminfo: memFree=30597904/32950928 swapFree=67111528/67111528
[pid=24421] ppid=24419 vsize=280508 CPUtime=1800.04 cores=1,3,5,7
/proc/24421/stat : 24421 (scip-2.0.1.4_2.) R 24419 24421 23627 0 -1 4202496 109897 0 0 0 179703 301 0 0 25 0 1 0 9768766 287240192 66682 33554432000 4194304 8979876 140734532469568 18446744073709551615 7146626 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24421/statm: 70127 66682 1513 1169 0 68954 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 280508

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.06
CPU user time (s): 1797.04
CPU system time (s): 3.01954
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 286588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.04
system time used= 3.01954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109897
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= 6
involuntary context switches= 4550

runsolver used 2.49062 second user time and 5.8831 second system time

The end

Launcher Data 

Begin job on node124 at 2011-06-11 13:04:00
IDJOB=3484716
IDBENCH=71833
IDSOLVER=1977
FILE ID=node124/3484716-1307790239
RUNJOBID= node124-1307783027-23646
PBS_JOBID= 13550886
Free space on /tmp= 73824 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-9000opt.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3484716-1307790239/watcher-3484716-1307790239 -o /tmp/evaluation-result-3484716-1307790239/solver-3484716-1307790239 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3484716-1307790239.opb -t 1800 -m 15500

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

MD5SUM BENCH= 45bb740026f369f3965355a2a9c7d86d
RANDOM SEED=2011835031

node124.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.855
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.71
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.855
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	: 5332.75
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.855
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.82
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.855
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.77
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.855
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.82
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.855
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.75
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.855
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.82
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.855
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30886276 kB
Buffers:        121812 kB
Cached:        1572384 kB
SwapCached:          0 kB
Active:         869104 kB
Inactive:      1032732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30886276 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18680 kB
Writeback:           0 kB
AnonPages:      207352 kB
Mapped:          19164 kB
Slab:           100504 kB
PageTables:       3840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   349272 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= 73804 MiB
End job on node124 at 2011-06-11 13:34:02