Trace number 3740372

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
PB11: SCIP spx E_2 2011-06-10 (fixed)? (TO) 1802.11 1802.47

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12037_6.std.opb
MD5SUM40c1638d55110dda04152daa502917a6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark175
Best CPU time to get the best result obtained on this benchmark1800.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245028
Number of constraints which are clauses243828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [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-3740372-1338743786.opb>
1.39/1.48	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245028 constraints
1.39/1.48	c problem read
1.39/1.48	c presolving settings loaded
1.99/2.02	c presolving:
10.18/10.22	c (round 1) 6376 del vars, 19734 del conss, 0 add conss, 4693 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16636336 impls, 0 clqs
14.68/14.70	c (round 2) 13606 del vars, 48014 del conss, 0 add conss, 11613 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16678311 impls, 0 clqs
15.98/16.03	c (round 3) 16251 del vars, 60077 del conss, 0 add conss, 13061 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16697685 impls, 0 clqs
16.88/16.91	c (round 4) 17712 del vars, 65661 del conss, 0 add conss, 14014 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16710820 impls, 0 clqs
17.38/17.41	c (round 5) 18637 del vars, 69342 del conss, 0 add conss, 14539 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16722589 impls, 0 clqs
17.69/17.73	c (round 6) 19180 del vars, 71569 del conss, 0 add conss, 14844 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16729756 impls, 0 clqs
17.88/17.94	c (round 7) 19489 del vars, 72905 del conss, 0 add conss, 15034 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16733285 impls, 0 clqs
17.98/18.09	c (round 8) 19677 del vars, 73724 del conss, 0 add conss, 15161 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16735081 impls, 0 clqs
18.08/18.19	c (round 9) 19782 del vars, 74192 del conss, 0 add conss, 15217 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16736760 impls, 0 clqs
18.18/18.27	c (round 10) 19836 del vars, 74455 del conss, 0 add conss, 15247 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16737543 impls, 0 clqs
18.28/18.34	c (round 11) 19884 del vars, 74668 del conss, 0 add conss, 15285 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16737762 impls, 0 clqs
18.38/18.41	c (round 12) 19904 del vars, 74761 del conss, 0 add conss, 15295 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16738138 impls, 0 clqs
18.48/18.51	c (round 13) 19918 del vars, 74826 del conss, 0 add conss, 15308 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16738304 impls, 0 clqs
18.48/18.57	c (round 14) 19930 del vars, 74892 del conss, 0 add conss, 15312 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16738310 impls, 0 clqs
19.19/19.24	c (round 15) 19930 del vars, 74894 del conss, 0 add conss, 15312 chg bounds, 20 chg sides, 26 chg coeffs, 170134 upgd conss, 16738310 impls, 0 clqs
20.28/20.30	c (round 16) 19930 del vars, 74909 del conss, 31 add conss, 15312 chg bounds, 64 chg sides, 240 chg coeffs, 170134 upgd conss, 16738310 impls, 0 clqs
739.43/739.62	c    (739.6s) probing: 1000/52912 (1.9%) - 3 fixings, 2 aggregations, 12121411 implications, 0 bound changes
1271.42/1271.73	c    (1271.7s) probing: 2000/52912 (3.8%) - 3 fixings, 2 aggregations, 18286426 implications, 0 bound changes
1505.69/1506.06	c    (1506.1s) probing: 2466/52912 (4.7%) - 3 fixings, 2 aggregations, 20974549 implications, 0 bound changes
1505.69/1506.06	c    (1506.1s) probing aborted: 2000/2000 successive useless probings
1505.69/1506.06	c presolving (17 rounds):
1505.69/1506.06	c  19935 deleted vars, 74912 deleted constraints, 36 added constraints, 15312 tightened bounds, 0 added holes, 70 changed sides, 278 changed coefficients
1505.69/1506.06	c  93054370 implications, 0 cliques
1505.69/1506.06	c presolved problem has 52907 variables (52907 bin, 0 int, 0 impl, 0 cont) and 170152 constraints
1505.69/1506.06	c    1185 constraints of type <knapsack>
1505.69/1506.06	c  142865 constraints of type <setppc>
1505.69/1506.06	c   26102 constraints of type <logicor>
1505.69/1506.06	c transformed objective value is always integral (scale: 1)
1505.69/1506.06	c Presolving Time: 1504.19
1505.69/1506.06	c - non default parameters ----------------------------------------------------------------------
1505.69/1506.06	c # SCIP version 2.0.1.5
1505.69/1506.06	c 
1505.69/1506.06	c # frequency for displaying node information lines
1505.69/1506.06	c # [type: int, range: [-1,2147483647], default: 100]
1505.69/1506.06	c display/freq = 10000
1505.69/1506.06	c 
1505.69/1506.06	c # maximal time in seconds to run
1505.69/1506.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1505.69/1506.06	c limits/time = 1797
1505.69/1506.06	c 
1505.69/1506.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1505.69/1506.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1505.69/1506.06	c limits/memory = 13950
1505.69/1506.06	c 
1505.69/1506.06	c # default clock type (1: CPU user seconds, 2: wall clock time)
1505.69/1506.06	c # [type: int, range: [1,2], default: 1]
1505.69/1506.06	c timing/clocktype = 2
1505.69/1506.06	c 
1505.69/1506.06	c # belongs reading time to solving time?
1505.69/1506.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1505.69/1506.06	c timing/reading = TRUE
1505.69/1506.06	c 
1505.69/1506.06	c # should presolving try to simplify inequalities
1505.69/1506.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1505.69/1506.06	c constraints/linear/simplifyinequalities = TRUE
1505.69/1506.06	c 
1505.69/1506.06	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1505.69/1506.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1505.69/1506.06	c constraints/indicator/addCouplingCons = TRUE
1505.69/1506.06	c 
1505.69/1506.06	c # should presolving try to simplify knapsacks
1505.69/1506.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1505.69/1506.06	c constraints/knapsack/simplifyinequalities = TRUE
1505.69/1506.06	c 
1505.69/1506.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1505.69/1506.06	c # [type: int, range: [-1,2147483647], default: -1]
1505.69/1506.06	c separating/rapidlearning/freq = 0
1505.69/1506.06	c 
1505.69/1506.06	c -----------------------------------------------------------------------------------------------
1505.69/1506.06	c start solving
1505.78/1506.10	c

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3740372-1338743786/watcher-3740372-1338743786 -o /tmp/evaluation-result-3740372-1338743786/solver-3740372-1338743786 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3740372-1338743786.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.04 2.05 2.00 3/174 4255
/proc/meminfo: memFree=24883608/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=9588 CPUtime=0 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 1508 0 0 0 0 0 0 0 20 0 1 0 340504531 9818112 1462 33554432000 4194304 9016284 140734849647872 140735207583784 7821553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4255/statm: 2397 1462 311 1178 0 1215 0

[startup+0.0625769 s]
/proc/loadavg: 2.04 2.05 2.00 3/174 4255
/proc/meminfo: memFree=24883608/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=23340 CPUtime=0.05 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 4826 0 0 0 4 1 0 0 20 0 1 0 340504531 23900160 4780 33554432000 4194304 9016284 140734849647872 140735207583784 7855009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4255/statm: 5835 4780 360 1178 0 4653 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23340

[startup+0.100296 s]
/proc/loadavg: 2.04 2.05 2.00 3/174 4255
/proc/meminfo: memFree=24883608/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=29940 CPUtime=0.09 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 6486 0 0 0 8 1 0 0 20 0 1 0 340504531 30658560 6440 33554432000 4194304 9016284 140734849647872 140735207583784 7842208 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4255/statm: 7485 6440 360 1178 0 6303 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29940

[startup+0.300265 s]
/proc/loadavg: 2.04 2.05 2.00 3/174 4255
/proc/meminfo: memFree=24883608/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=58048 CPUtime=0.29 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 13284 0 0 0 27 2 0 0 20 0 1 0 340504531 59441152 13239 33554432000 4194304 9016284 140734849647872 140734849511768 6813403 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4255/statm: 14512 13268 360 1178 0 13330 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58048

[startup+0.700259 s]
/proc/loadavg: 2.04 2.05 2.00 3/174 4255
/proc/meminfo: memFree=24883608/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=84316 CPUtime=0.68 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 20057 0 0 0 65 3 0 0 20 0 1 0 340504531 86339584 20011 33554432000 4194304 9016284 140734849647872 140734849511768 7870478 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4255/statm: 21079 20011 360 1178 0 19897 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84316

[startup+1.50027 s]
/proc/loadavg: 2.03 2.05 2.00 3/175 4256
/proc/meminfo: memFree=24774868/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=175904 CPUtime=1.49 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 42484 0 0 0 142 7 0 0 20 0 1 0 340504531 180125696 42439 33554432000 4194304 9016284 140734849647872 140734849511768 6813403 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4255/statm: 43976 42472 402 1178 0 42794 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175904

[startup+3.10027 s]
/proc/loadavg: 2.03 2.05 2.00 3/175 4256
/proc/meminfo: memFree=24509756/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=491188 CPUtime=3.09 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 120381 0 0 0 290 19 0 0 20 0 1 0 340504531 502976512 120289 33554432000 4194304 9016284 140734849647872 140734849643224 4918106 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4255/statm: 122797 120289 485 1178 0 121615 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 491188

[startup+6.30033 s]
/proc/loadavg: 2.03 2.05 2.00 3/175 4256
/proc/meminfo: memFree=24233732/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=706628 CPUtime=6.28 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 173709 0 0 0 601 27 0 0 20 0 1 0 340504531 723587072 173617 33554432000 4194304 9016284 140734849647872 140734849643432 6481192 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 176657 173617 485 1178 0 175475 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 706628

[startup+12.7004 s]
/proc/loadavg: 2.03 2.05 2.00 3/175 4256
/proc/meminfo: memFree=24016616/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=882004 CPUtime=12.68 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 215572 0 0 0 1234 34 0 0 20 0 1 0 340504531 903172096 215223 33554432000 4194304 9016284 140734849647872 140734849643544 6481237 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 220501 215223 496 1178 0 219319 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 882004

[startup+25.5004 s]
/proc/loadavg: 2.02 2.05 2.00 3/175 4256
/proc/meminfo: memFree=23931152/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=960468 CPUtime=25.48 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 241960 0 0 0 2510 38 0 0 20 0 1 0 340504531 983519232 234044 33554432000 4194304 9016284 140734849647872 140734849642712 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 240117 234044 538 1178 0 238935 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 960468

[startup+51.1003 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 4256
/proc/meminfo: memFree=23879892/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=996216 CPUtime=51.08 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 250839 0 0 0 5067 41 0 0 20 0 1 0 340504531 1020125184 242857 33554432000 4194304 9016284 140734849647872 140734849643464 6480197 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 249054 242857 538 1178 0 247872 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 996216

[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 4257
/proc/meminfo: memFree=23776840/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=1074212 CPUtime=102.27 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 269768 0 0 0 10184 43 0 0 20 0 1 0 340504531 1099993088 261786 33554432000 4194304 9016284 140734849647872 140734849643464 6480407 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 268553 261786 538 1178 0 267371 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1074212

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 4257
/proc/meminfo: memFree=23608104/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=1210148 CPUtime=162.26 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 303263 0 0 0 16178 48 0 0 20 0 1 0 340504531 1239191552 295281 33554432000 4194304 9016284 140734849647872 140734849643464 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 302537 295281 538 1178 0 301355 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1210148

[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 4260
/proc/meminfo: memFree=23457068/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=1327016 CPUtime=222.26 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 331012 0 0 0 22174 52 0 0 20 0 1 0 340504531 1358864384 322997 33554432000 4194304 9016284 140734849647872 140734849643256 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 331754 322997 538 1178 0 330572 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1327016

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 4260
/proc/meminfo: memFree=23194372/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=1551480 CPUtime=282.24 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 386732 0 0 0 28165 59 0 0 20 0 1 0 340504531 1588715520 378684 33554432000 4194304 9016284 140734849647872 140734849643464 7875499 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 387870 378684 538 1178 0 386688 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1551480

[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 4298
/proc/meminfo: memFree=25034384/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=1658020 CPUtime=342.22 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 412991 0 0 0 34159 63 0 0 20 0 1 0 340504531 1697812480 404926 33554432000 4194304 9016284 140734849647872 140734849643256 6480429 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 414505 404926 538 1178 0 413323 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1658020

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 4299
/proc/meminfo: memFree=24865536/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=1767940 CPUtime=402.21 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 440286 0 0 0 40153 68 0 0 20 0 1 0 340504531 1810370560 433124 33554432000 4194304 9016284 140734849647872 140734849643384 4919732 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 441985 433124 538 1178 0 440803 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1767940

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 4299
/proc/meminfo: memFree=24659972/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=1881504 CPUtime=462.19 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 469606 0 0 0 46146 73 0 0 20 0 1 0 340504531 1926660096 462894 33554432000 4194304 9016284 140734849647872 140734849643256 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 470376 462894 538 1178 0 469194 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1881504

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 4299
/proc/meminfo: memFree=24472760/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=1968840 CPUtime=522.17 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 490770 0 0 0 52140 77 0 0 20 0 1 0 340504531 2016092160 484316 33554432000 4194304 9016284 140734849647872 140734849643256 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 492210 484316 538 1178 0 491028 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1968840

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4299
/proc/meminfo: memFree=24191740/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=2170412 CPUtime=582.16 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 541212 0 0 0 58130 86 0 0 20 0 1 0 340504531 2222501888 535106 33554432000 4194304 9016284 140734849647872 140734849643256 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 542603 535106 538 1178 0 541421 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 2170412

[startup+642.3 s]

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

/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 686529 0 0 0 106097 109 0 0 20 0 1 0 340504531 2821734400 681803 33554432000 4194304 9016284 140734849647872 140734849643384 5510764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 688900 681803 543 1178 0 687718 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 2755600

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4304
/proc/meminfo: memFree=22746524/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=2837308 CPUtime=1122.04 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 706536 0 0 0 112092 112 0 0 20 0 1 0 340504531 2905403392 701852 33554432000 4194304 9016284 140734849647872 140734849643464 6480229 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 709327 701852 543 1178 0 708145 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 2837308

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4304
/proc/meminfo: memFree=22637184/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=2875380 CPUtime=1182.03 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 716580 0 0 0 118088 115 0 0 20 0 1 0 340504531 2944389120 712068 33554432000 4194304 9016284 140734849647872 140734849643464 6480192 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 718845 712068 543 1178 0 717663 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 2875380

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 4304
/proc/meminfo: memFree=22490644/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=2968488 CPUtime=1242.01 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 739167 0 0 0 124083 118 0 0 20 0 1 0 340504531 3039731712 734753 33554432000 4194304 9016284 140734849647872 140734849643256 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 742122 734753 543 1178 0 740940 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 2968488

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 4304
/proc/meminfo: memFree=22398416/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3012508 CPUtime=1302 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 749788 0 0 0 130081 119 0 0 20 0 1 0 340504531 3084808192 745770 33554432000 4194304 9016284 140734849647872 140734849643256 6480372 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 753127 745770 543 1178 0 751945 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 3012508

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 4305
/proc/meminfo: memFree=22262788/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3067792 CPUtime=1362 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 764551 0 0 0 136078 122 0 0 20 0 1 0 340504531 3141419008 760725 33554432000 4194304 9016284 140734849647872 140734849643256 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 766948 760725 543 1178 0 765766 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 3067792

[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 4308
/proc/meminfo: memFree=22117224/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3142276 CPUtime=1421.99 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 783251 0 0 0 142075 124 0 0 20 0 1 0 340504531 3217690624 779631 33554432000 4194304 9016284 140734849647872 140734849643464 6476118 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 785569 779631 543 1178 0 784387 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 3142276

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 4308
/proc/meminfo: memFree=22048572/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3179180 CPUtime=1481.98 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 792389 0 0 0 148071 127 0 0 20 0 1 0 340504531 3255480320 788882 33554432000 4194304 9016284 140734849647872 140734849643464 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 794795 788882 543 1178 0 793613 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 3179180

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4308
/proc/meminfo: memFree=21666264/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3506856 CPUtime=1541.97 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 845978 0 0 0 154058 139 0 0 20 0 1 0 340504531 3591020544 866642 33554432000 4194304 9016284 140734849647872 140734849641656 7181466 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 876714 866642 654 1178 0 875532 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 3506856

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4308
/proc/meminfo: memFree=21622580/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3508356 CPUtime=1601.96 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 846951 0 0 0 160052 144 0 0 20 0 1 0 340504531 3592556544 868542 33554432000 4194304 9016284 140734849647872 140734849642040 7204773 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 877089 868542 654 1178 0 875907 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 3508356

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4309
/proc/meminfo: memFree=21584044/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3509976 CPUtime=1661.96 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 847034 0 0 0 166049 147 0 0 20 0 1 0 340504531 3594215424 868921 33554432000 4194304 9016284 140734849647872 140734849641656 7227746 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 877494 868921 654 1178 0 876312 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 3509976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4309
/proc/meminfo: memFree=21537812/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3520916 CPUtime=1721.94 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 848432 0 0 0 172044 150 0 0 20 0 1 0 340504531 3605417984 873235 33554432000 4194304 9016284 140734849647872 140734849642152 7180917 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 880229 873235 654 1178 0 879047 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 3520916

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4309
/proc/meminfo: memFree=21486940/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3522120 CPUtime=1781.94 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 848635 0 0 0 178042 152 0 0 20 0 1 0 340504531 3606650880 876573 33554432000 4194304 9016284 140734849647872 140734849641656 7181690 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 880530 876573 654 1178 0 879348 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 3522120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4309
/proc/meminfo: memFree=21479360/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3522272 CPUtime=1800.03 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 848656 0 0 0 179851 152 0 0 20 0 1 0 340504531 3606806528 876594 33554432000 4194304 9016284 140734849647872 140734849642152 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 880568 876594 654 1178 0 879386 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3522272

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -4255

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

[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4310
/proc/meminfo: memFree=21479360/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3522272 CPUtime=1801.13 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 848656 0 0 0 179960 153 0 0 20 0 1 0 340504531 3606806528 876594 33554432000 4194304 9016284 140734849647872 140734849641656 7157093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 880568 876594 654 1178 0 879386 0
Current children cumulated CPU time (s) 1801.13
Current children cumulated vsize (KiB) 3522272

[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4310
/proc/meminfo: memFree=21478840/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3522272 CPUtime=1801.54 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 848657 0 0 0 180001 153 0 0 20 0 1 0 340504531 3606806528 876595 33554432000 4194304 9016284 140734849647872 140734849641656 7181678 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 880568 876595 654 1178 0 879386 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 3522272

[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4310
/proc/meminfo: memFree=21478840/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3522272 CPUtime=1801.93 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 848657 0 0 0 180040 153 0 0 20 0 1 0 340504531 3606806528 876595 33554432000 4194304 9016284 140734849647872 140734849641656 7191128 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 880568 876595 654 1178 0 879386 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 3522272

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4310
/proc/meminfo: memFree=21478840/32873852 swapFree=6856/6856
[pid=4255] ppid=4253 vsize=3522272 CPUtime=1802.03 cores=0,2,4,6
/proc/4255/stat : 4255 (scip-2.0.1.4b_2) R 4253 4255 643 0 -1 4202496 848657 0 0 0 180050 153 0 0 20 0 1 0 340504531 3606806528 876595 33554432000 4194304 9016284 140734849647872 140734849641656 7157158 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4255/statm: 880568 876595 654 1178 0 879386 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3522272

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.47
CPU time (s): 1802.11
CPU user time (s): 1800.52
CPU system time (s): 1.59676
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 3522272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.52
system time used= 1.59676
maximum resident set size= 3506380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 848657
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= 106
involuntary context switches= 1940

runsolver used 3.9344 second user time and 16.8494 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-03 19:16:26
IDJOB=3740372
IDBENCH=77189
IDSOLVER=2329
FILE ID=node128/3740372-1338743786
RUNJOBID= node128-1338714616-659
PBS_JOBID= 14636758
Free space on /tmp= 70392 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12037_6.std.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740372-1338743786/watcher-3740372-1338743786 -o /tmp/evaluation-result-3740372-1338743786/solver-3740372-1338743786 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3740372-1338743786.opb -t 1800 -m 15500

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

MD5SUM BENCH= 40c1638d55110dda04152daa502917a6
RANDOM SEED=1137568567

node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        24883772 kB
Buffers:          549496 kB
Cached:          3781152 kB
SwapCached:          744 kB
Active:          4779992 kB
Inactive:        2307652 kB
Active(anon):    2747824 kB
Inactive(anon):    11420 kB
Active(file):    2032168 kB
Inactive(file):  2296232 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106656 kB
Dirty:             24860 kB
Writeback:             0 kB
AnonPages:       2865168 kB
Mapped:            16168 kB
Shmem:               200 kB
Slab:             756752 kB
SReclaimable:     199064 kB
SUnreclaim:       557688 kB
KernelStack:        1464 kB
PageTables:         9928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    2908500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70376 MiB
End job on node128 at 2012-06-03 19:46:29