Trace number 3489748

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_2 2011-06-10 (fixed)? (TO) 1802.16 1802.12

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12040_4.std.opb
MD5SUM8ff3f0acf25ff66baa70f63573552542
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark112
Best CPU time to get the best result obtained on this benchmark1.12983
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 constraints245087
Number of constraints which are clauses243887
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-3489748-1307792177.opb>
1.29/1.36	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245087 constraints
1.29/1.36	c problem read
1.29/1.37	c presolving settings loaded
1.79/1.84	c presolving:
9.79/9.90	c (round 1) 7157 del vars, 21128 del conss, 0 add conss, 5477 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16645844 impls, 0 clqs
14.19/14.27	c (round 2) 14673 del vars, 51593 del conss, 0 add conss, 12593 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16685275 impls, 0 clqs
15.69/15.77	c (round 3) 17423 del vars, 64162 del conss, 0 add conss, 14246 chg bounds, 77 chg sides, 93 chg coeffs, 0 upgd conss, 16701988 impls, 0 clqs
16.49/16.54	c (round 4) 18766 del vars, 69711 del conss, 0 add conss, 15090 chg bounds, 145 chg sides, 190 chg coeffs, 0 upgd conss, 16713853 impls, 0 clqs
16.99/17.01	c (round 5) 19583 del vars, 72843 del conss, 0 add conss, 15593 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16720730 impls, 0 clqs
17.29/17.33	c (round 6) 20114 del vars, 74972 del conss, 0 add conss, 15883 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16726927 impls, 0 clqs
17.49/17.57	c (round 7) 20463 del vars, 76373 del conss, 0 add conss, 16075 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16731707 impls, 0 clqs
17.69/17.75	c (round 8) 20700 del vars, 77328 del conss, 0 add conss, 16209 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16734444 impls, 0 clqs
17.89/17.92	c (round 9) 20923 del vars, 78205 del conss, 0 add conss, 16339 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16738254 impls, 0 clqs
17.99/18.06	c (round 10) 21111 del vars, 78985 del conss, 0 add conss, 16450 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16740948 impls, 0 clqs
18.09/18.19	c (round 11) 21291 del vars, 79623 del conss, 0 add conss, 16559 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16744592 impls, 0 clqs
18.29/18.30	c (round 12) 21429 del vars, 80226 del conss, 0 add conss, 16649 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16746102 impls, 0 clqs
18.39/18.42	c (round 13) 21511 del vars, 80608 del conss, 0 add conss, 16700 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16746955 impls, 0 clqs
18.49/18.56	c (round 14) 21551 del vars, 80795 del conss, 0 add conss, 16731 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16747173 impls, 0 clqs
18.59/18.61	c (round 15) 21567 del vars, 80896 del conss, 0 add conss, 16731 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16747261 impls, 0 clqs
19.19/19.26	c (round 16) 21567 del vars, 80904 del conss, 0 add conss, 16731 chg bounds, 147 chg sides, 194 chg coeffs, 164183 upgd conss, 16747261 impls, 0 clqs
20.19/20.27	c (round 17) 21567 del vars, 80931 del conss, 63 add conss, 16731 chg bounds, 268 chg sides, 502 chg coeffs, 164183 upgd conss, 16747261 impls, 0 clqs
724.51/724.56	c    (724.6s) probing: 1000/51275 (2.0%) - 0 fixings, 0 aggregations, 11963354 implications, 0 bound changes
1228.13/1228.15	c    (1228.1s) probing: 2000/51275 (3.9%) - 0 fixings, 0 aggregations, 18466880 implications, 0 bound changes
1228.43/1228.44	c    (1228.4s) probing: 2001/51275 (3.9%) - 0 fixings, 0 aggregations, 18469286 implications, 0 bound changes
1228.43/1228.44	c    (1228.4s) probing aborted: 2000/2000 successive useless probings
1228.43/1228.44	c presolving (18 rounds):
1228.43/1228.44	c  21567 deleted vars, 80945 deleted constraints, 63 added constraints, 16731 tightened bounds, 0 added holes, 268 changed sides, 505 changed coefficients
1228.43/1228.44	c  84569993 implications, 0 cliques
1228.43/1228.44	c presolved problem has 51275 variables (51275 bin, 0 int, 0 impl, 0 cont) and 164205 constraints
1228.43/1228.44	c    1085 constraints of type <knapsack>
1228.43/1228.44	c  137826 constraints of type <setppc>
1228.43/1228.44	c   25294 constraints of type <logicor>
1228.43/1228.44	c transformed objective value is always integral (scale: 1)
1228.43/1228.44	c Presolving Time: 1226.73
1228.43/1228.44	c - non default parameters ----------------------------------------------------------------------
1228.43/1228.44	c # SCIP version 2.0.1.5
1228.43/1228.44	c 
1228.43/1228.44	c # frequency for displaying node information lines
1228.43/1228.44	c # [type: int, range: [-1,2147483647], default: 100]
1228.43/1228.44	c display/freq = 10000
1228.43/1228.44	c 
1228.43/1228.44	c # maximal time in seconds to run
1228.43/1228.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1228.43/1228.44	c limits/time = 1797
1228.43/1228.44	c 
1228.43/1228.44	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1228.43/1228.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1228.43/1228.44	c limits/memory = 13950
1228.43/1228.44	c 
1228.43/1228.44	c # default clock type (1: CPU user seconds, 2: wall clock time)
1228.43/1228.44	c # [type: int, range: [1,2], default: 1]
1228.43/1228.44	c timing/clocktype = 2
1228.43/1228.44	c 
1228.43/1228.44	c # belongs reading time to solving time?
1228.43/1228.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1228.43/1228.44	c timing/reading = TRUE
1228.43/1228.44	c 
1228.43/1228.44	c # should presolving try to simplify inequalities
1228.43/1228.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1228.43/1228.44	c constraints/linear/simplifyinequalities = TRUE
1228.43/1228.44	c 
1228.43/1228.44	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1228.43/1228.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1228.43/1228.44	c constraints/indicator/addCouplingCons = TRUE
1228.43/1228.44	c 
1228.43/1228.44	c # should presolving try to simplify knapsacks
1228.43/1228.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1228.43/1228.44	c constraints/knapsack/simplifyinequalities = TRUE
1228.43/1228.44	c 
1228.43/1228.44	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1228.43/1228.44	c # [type: int, range: [-1,2147483647], default: -1]
1228.43/1228.44	c separating/rapidlearning/freq = 0
1228.43/1228.44	c 
1228.43/1228.44	c -----------------------------------------------------------------------------------------------
1228.43/1228.44	c start solving
1228.43/1228.48	c 
1445.53/1445.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1445.53/1445.52	c  1446s|     1 |     0 | 48011 |     - |2500M|   0 | 816 |  51k| 164k|  51k| 164k|   0 |  29 |   0 | 1.120000e+02 |      --      |    Inf

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-3489748-1307792177/watcher-3489748-1307792177 -o /tmp/evaluation-result-3489748-1307792177/solver-3489748-1307792177 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489748-1307792177.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.02 2.02 2.00 3/177 23846
/proc/meminfo: memFree=30700856/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=12560 CPUtime=0 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 2134 0 0 0 0 0 0 0 25 0 1 0 890816556 12861440 2088 33554432000 4194304 9016284 140735561583664 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23846/statm: 3173 2092 353 1178 0 1991 0

[startup+0.0581461 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 23846
/proc/meminfo: memFree=30700856/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=24328 CPUtime=0.05 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 4868 0 0 0 5 0 0 0 25 0 1 0 890816556 24911872 4822 33554432000 4194304 9016284 140735561583664 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23846/statm: 6082 4854 360 1178 0 4900 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24328

[startup+0.10114 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 23846
/proc/meminfo: memFree=30700856/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=32388 CPUtime=0.09 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 7097 0 0 0 9 0 0 0 25 0 1 0 890816556 33165312 7051 33554432000 4194304 9016284 140735561583664 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23846/statm: 8097 7051 360 1178 0 6915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32388

[startup+0.300165 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 23846
/proc/meminfo: memFree=30700856/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=60164 CPUtime=0.29 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 14041 0 0 0 28 1 0 0 25 0 1 0 890816556 61607936 13995 33554432000 4194304 9016284 140735561583664 18446744073709551615 7748736 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23846/statm: 15041 13995 360 1178 0 13859 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60164

[startup+0.701032 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 23846
/proc/meminfo: memFree=30700856/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=89036 CPUtime=0.69 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 21208 0 0 0 67 2 0 0 25 0 1 0 890816556 91172864 21162 33554432000 4194304 9016284 140735561583664 18446744073709551615 4992855 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23846/statm: 22259 21162 360 1178 0 21077 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89036

[startup+1.50089 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 23847
/proc/meminfo: memFree=30582824/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=264248 CPUtime=1.49 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 64981 0 0 0 141 8 0 0 25 0 1 0 890816556 270589952 64860 33554432000 4194304 9016284 140735561583664 18446744073709551615 4318833 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 66062 64860 406 1178 0 64880 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 264248

[startup+3.10061 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 23847
/proc/meminfo: memFree=30302940/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=512764 CPUtime=3.09 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 125766 0 0 0 294 15 0 0 25 0 1 0 890816556 525070336 125645 33554432000 4194304 9016284 140735561583664 18446744073709551615 6480483 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 128191 125645 485 1178 0 127009 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 512764

[startup+6.30109 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 23848
/proc/meminfo: memFree=30035396/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=726016 CPUtime=6.29 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 178558 0 0 0 608 21 0 0 25 0 1 0 890816556 743440384 178437 33554432000 4194304 9016284 140735561583664 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 181504 178437 485 1178 0 180322 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 726016

[startup+12.7009 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 23848
/proc/meminfo: memFree=29825276/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=879740 CPUtime=12.69 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 215070 0 0 0 1245 24 0 0 25 0 1 0 890816556 900853760 214692 33554432000 4194304 9016284 140735561583664 18446744073709551615 6481192 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 219935 214692 496 1178 0 218753 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 879740

[startup+25.5006 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 23848
/proc/meminfo: memFree=29721116/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=956980 CPUtime=25.49 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 246878 0 0 0 2521 28 0 0 25 0 1 0 890816556 979947520 233397 33554432000 4194304 9016284 140735561583664 18446744073709551615 5325542 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 239245 233397 627 1178 0 238063 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 956980

[startup+51.1011 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 23849
/proc/meminfo: memFree=29632764/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=993424 CPUtime=51.1 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 255688 0 0 0 5081 29 0 0 25 0 1 0 890816556 1017266176 242207 33554432000 4194304 9016284 140735561583664 18446744073709551615 6480192 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 248356 242207 627 1178 0 247174 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 993424

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 23850
/proc/meminfo: memFree=29473520/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=1071192 CPUtime=102.3 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 274621 0 0 0 10199 31 0 0 25 0 1 0 890816556 1096900608 261140 33554432000 4194304 9016284 140735561583664 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 267798 261140 627 1178 0 266616 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1071192

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23852
/proc/meminfo: memFree=29158648/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=1268816 CPUtime=162.29 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 322321 0 0 0 16193 36 0 0 25 0 1 0 890816556 1299267584 308774 33554432000 4194304 9016284 140735561583664 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 317204 308774 627 1178 0 316022 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1268816

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23853
/proc/meminfo: memFree=28933400/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=1381348 CPUtime=222.3 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 350060 0 0 0 22190 40 0 0 25 0 1 0 890816556 1414500352 336513 33554432000 4194304 9016284 140735561583664 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 345337 336513 627 1178 0 344155 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1381348

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23855
/proc/meminfo: memFree=28682128/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=1523792 CPUtime=282.3 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 385541 0 0 0 28186 44 0 0 25 0 1 0 890816556 1560363008 371994 33554432000 4194304 9016284 140735561583664 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 380948 371994 627 1178 0 379766 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1523792

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23857
/proc/meminfo: memFree=28377648/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=1667432 CPUtime=342.3 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 421719 0 0 0 34182 48 0 0 25 0 1 0 890816556 1707450368 408172 33554432000 4194304 9016284 140735561583664 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 416858 408172 627 1178 0 415676 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1667432

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23858
/proc/meminfo: memFree=28137288/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=1857896 CPUtime=402.3 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 469891 0 0 0 40175 55 0 0 25 0 1 0 890816556 1902485504 456344 33554432000 4194304 9016284 140735561583664 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 464474 456344 627 1178 0 463292 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1857896

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23860
/proc/meminfo: memFree=27972820/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=1981696 CPUtime=462.3 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 499849 0 0 0 46171 59 0 0 25 0 1 0 890816556 2029256704 486302 33554432000 4194304 9016284 140735561583664 18446744073709551615 4318813 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 495424 486302 627 1178 0 494242 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1981696

[startup+522.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 23861
/proc/meminfo: memFree=27745592/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=2127448 CPUtime=522.3 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 535943 0 0 0 52167 63 0 0 25 0 1 0 890816556 2178506752 522396 33554432000 4194304 9016284 140735561583664 18446744073709551615 6480416 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 531862 522396 627 1178 0 530680 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2127448

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 23863
/proc/meminfo: memFree=27545648/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=2203732 CPUtime=582.31 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 555151 0 0 0 58165 66 0 0 25 0 1 0 890816556 2256621568 541604 33554432000 4194304 9016284 140735561583664 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 550933 541604 627 1178 0 549751 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2203732

[startup+642.301 s]

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

/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 695759 0 0 0 106146 86 0 0 25 0 1 0 890816556 2831937536 682212 33554432000 4194304 9016284 140735561583664 18446744073709551615 6594395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 691391 682212 632 1178 0 690209 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2765564

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23877
/proc/meminfo: memFree=26193968/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=2815120 CPUtime=1122.32 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 708570 0 0 0 112144 88 0 0 25 0 1 0 890816556 2882682880 695023 33554432000 4194304 9016284 140735561583664 18446744073709551615 5510717 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 703780 695023 632 1178 0 702598 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2815120

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23879
/proc/meminfo: memFree=26062216/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=2893960 CPUtime=1182.32 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 726682 0 0 0 118142 90 0 0 25 0 1 0 890816556 2963415040 713135 33554432000 4194304 9016284 140735561583664 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 723490 713135 632 1178 0 722308 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2893960

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23881
/proc/meminfo: memFree=25656572/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3250344 CPUtime=1242.32 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 812629 0 0 0 124128 104 0 0 25 0 1 0 890816556 3328352256 793654 33554432000 4194304 9016284 140735561583664 18446744073709551615 7181381 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 812586 793654 1001 1178 0 811404 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3250344

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23882
/proc/meminfo: memFree=25556584/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3261848 CPUtime=1302.33 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 819052 0 0 0 130119 114 0 0 25 0 1 0 890816556 3340132352 799602 33554432000 4194304 9016284 140735561583664 18446744073709551615 7181481 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 815462 799602 683 1178 0 814280 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3261848

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23884
/proc/meminfo: memFree=25475808/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3278592 CPUtime=1362.33 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 825161 0 0 0 136112 121 0 0 25 0 1 0 890816556 3357278208 805215 33554432000 4194304 9016284 140735561583664 18446744073709551615 7181758 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 819648 805215 716 1178 0 818466 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3278592

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23885
/proc/meminfo: memFree=25414124/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3281288 CPUtime=1422.33 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 825328 0 0 0 142106 127 0 0 25 0 1 0 890816556 3360038912 805376 33554432000 4194304 9016284 140735561583664 18446744073709551615 7189203 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 820322 805376 710 1178 0 819140 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3281288

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23887
/proc/meminfo: memFree=25344768/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3290284 CPUtime=1482.32 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 840240 0 0 0 148098 134 0 0 25 0 1 0 890816556 3369250816 809822 33554432000 4194304 9016284 140735561583664 18446744073709551615 6977641 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 822571 809822 3185 1178 0 821389 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3290284

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23898
/proc/meminfo: memFree=25248388/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3290284 CPUtime=1542.33 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 840243 0 0 0 154094 139 0 0 25 0 1 0 890816556 3369250816 809824 33554432000 4194304 9016284 140735561583664 18446744073709551615 7156476 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 822571 809824 3184 1178 0 821389 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3290284

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 23899
/proc/meminfo: memFree=25192560/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3290284 CPUtime=1602.33 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 840243 0 0 0 160088 145 0 0 25 0 1 0 890816556 3369250816 809824 33554432000 4194304 9016284 140735561583664 18446744073709551615 7870589 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 822571 809824 3184 1178 0 821389 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3290284

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23901
/proc/meminfo: memFree=25133484/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3290284 CPUtime=1662.34 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 840243 0 0 0 166084 150 0 0 25 0 1 0 890816556 3369250816 809824 33554432000 4194304 9016284 140735561583664 18446744073709551615 7125918 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 822571 809824 3184 1178 0 821389 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3290284

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 23943
/proc/meminfo: memFree=27658148/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3251884 CPUtime=1722.34 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 841372 0 0 0 172071 163 0 0 25 0 1 0 890816556 3329929216 802654 33554432000 4194304 9016284 140735561583664 18446744073709551615 6270523 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 812971 802654 826 1178 0 811789 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3251884

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23945
/proc/meminfo: memFree=27542932/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3251884 CPUtime=1782.34 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 841490 0 0 0 178071 163 0 0 25 0 1 0 890816556 3329929216 802742 33554432000 4194304 9016284 140735561583664 18446744073709551615 6231502 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 812971 802742 848 1178 0 811789 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3251884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23945
/proc/meminfo: memFree=27480892/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3283856 CPUtime=1800.05 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 848682 0 0 0 179841 164 0 0 25 0 1 0 890816556 3362668544 809931 33554432000 4194304 9016284 140735561583664 18446744073709551615 6232313 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 820964 809931 845 1178 0 819782 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3283856

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -23846

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23946
/proc/meminfo: memFree=27433020/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3334216 CPUtime=1801.43 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 862507 0 0 0 179978 165 0 0 25 0 1 0 890816556 3414237184 823756 33554432000 4194304 9016284 140735561583664 18446744073709551615 6232313 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 833554 823756 845 1178 0 832372 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 3334216

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23946
/proc/meminfo: memFree=27410576/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3356376 CPUtime=1801.85 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 866233 0 0 0 180019 166 0 0 25 0 1 0 890816556 3436929024 827482 33554432000 4194304 9016284 140735561583664 18446744073709551615 6232313 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 839094 827482 845 1178 0 837912 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 3356376

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23946
/proc/meminfo: memFree=27410576/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=3356376 CPUtime=1802.04 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4202496 868042 0 0 0 180038 166 0 0 25 0 1 0 890816556 3436929024 829291 33554432000 4194304 9016284 140735561583664 18446744073709551615 6232313 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23846/statm: 839094 829291 845 1178 0 837912 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3356376

[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23946
/proc/meminfo: memFree=27410576/32950928 swapFree=67048868/67111528
[pid=23846] ppid=23844 vsize=0 CPUtime=1802.14 cores=1,3,5,7
/proc/23846/stat : 23846 (scip-2.0.1.4b_2) R 23844 23846 22429 0 -1 4203524 868087 0 0 0 180039 175 0 0 25 0 1 0 890816556 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/23846/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.12
CPU time (s): 1802.16
CPU user time (s): 1800.39
CPU system time (s): 1.77273
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3356376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.39
system time used= 1.77273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 868087
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= 3
involuntary context switches= 19738

runsolver used 2.52562 second user time and 6.13407 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-11 13:36:18
IDJOB=3489748
IDBENCH=77303
IDSOLVER=1979
FILE ID=node122/3489748-1307792177
RUNJOBID= node122-1307784423-22448
PBS_JOBID= 13550902
Free space on /tmp= 74072 MiB

SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12040_4.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-3489748-1307792177/watcher-3489748-1307792177 -o /tmp/evaluation-result-3489748-1307792177/solver-3489748-1307792177 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489748-1307792177.opb -t 1800 -m 15500

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

MD5SUM BENCH= 8ff3f0acf25ff66baa70f63573552542
RANDOM SEED=1841556384

node122.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.820
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.64
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.820
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.820
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.75
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.820
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.83
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.820
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.75
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.820
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.820
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.75
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30701780 kB
Buffers:        152888 kB
Cached:         966668 kB
SwapCached:      14712 kB
Active:        1343724 kB
Inactive:       751156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30701780 kB
SwapTotal:    67111528 kB
SwapFree:     67048868 kB
Dirty:           32308 kB
Writeback:           0 kB
AnonPages:      973016 kB
Mapped:          11252 kB
Slab:            87904 kB
PageTables:       6664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1187624 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= 74056 MiB
End job on node122 at 2011-06-11 14:06:20