Trace number 3486297

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.19 1800.14

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12025_7.std.opb
MD5SUMb1fc5213f138b6a200c2e92edc1d108f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark92
Best CPU time to get the best result obtained on this benchmark0.983849
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 constraints245155
Number of constraints which are clauses243955
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 constraint33
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.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-3486297-1307793514.opb>
1.19/1.28	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245155 constraints
1.19/1.28	c problem read
1.19/1.28	c presolving settings loaded
1.99/2.08	c presolving:
9.89/9.92	c (round 1) 6457 del vars, 19585 del conss, 0 add conss, 4759 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16567538 impls, 0 clqs
14.09/14.17	c (round 2) 13833 del vars, 46792 del conss, 0 add conss, 11748 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16604973 impls, 0 clqs
15.49/15.57	c (round 3) 16438 del vars, 58955 del conss, 0 add conss, 13297 chg bounds, 29 chg sides, 36 chg coeffs, 0 upgd conss, 16618247 impls, 0 clqs
16.09/16.16	c (round 4) 17575 del vars, 63736 del conss, 0 add conss, 13956 chg bounds, 57 chg sides, 78 chg coeffs, 0 upgd conss, 16625274 impls, 0 clqs
16.49/16.52	c (round 5) 18116 del vars, 66026 del conss, 0 add conss, 14267 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16630161 impls, 0 clqs
16.69/16.75	c (round 6) 18413 del vars, 67267 del conss, 0 add conss, 14449 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16632572 impls, 0 clqs
16.89/16.92	c (round 7) 18603 del vars, 68054 del conss, 0 add conss, 14563 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16634277 impls, 0 clqs
16.99/17.04	c (round 8) 18726 del vars, 68590 del conss, 0 add conss, 14641 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16635127 impls, 0 clqs
17.09/17.14	c (round 9) 18810 del vars, 68945 del conss, 0 add conss, 14690 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16635855 impls, 0 clqs
17.19/17.21	c (round 10) 18840 del vars, 69119 del conss, 0 add conss, 14709 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16636271 impls, 0 clqs
17.19/17.28	c (round 11) 18866 del vars, 69219 del conss, 0 add conss, 14729 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16636332 impls, 0 clqs
17.29/17.33	c (round 12) 18866 del vars, 69251 del conss, 0 add conss, 14729 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16636332 impls, 0 clqs
17.89/17.99	c (round 13) 18866 del vars, 69251 del conss, 0 add conss, 14729 chg bounds, 59 chg sides, 84 chg coeffs, 175904 upgd conss, 16636332 impls, 0 clqs
821.02/821.09	c    (821.1s) probing: 1000/53976 (1.9%) - 1 fixings, 1 aggregations, 13246362 implications, 0 bound changes
1400.63/1400.67	c    (1400.7s) probing: 2000/53976 (3.7%) - 1 fixings, 1 aggregations, 20242354 implications, 0 bound changes
1492.14/1492.17	c    (1492.2s) probing: 2175/53976 (4.0%) - 1 fixings, 1 aggregations, 21432088 implications, 0 bound changes
1492.14/1492.17	c    (1492.2s) probing aborted: 2000/2000 successive useless probings
1492.14/1492.17	c presolving (14 rounds):
1492.14/1492.17	c  18868 deleted vars, 69251 deleted constraints, 5 added constraints, 14729 tightened bounds, 0 added holes, 68 changed sides, 213 changed coefficients
1492.14/1492.17	c  90383610 implications, 1282 cliques
1492.14/1492.17	c presolved problem has 53974 variables (53974 bin, 0 int, 0 impl, 0 cont) and 175909 constraints
1492.14/1492.17	c    1101 constraints of type <knapsack>
1492.14/1492.17	c  148150 constraints of type <setppc>
1492.14/1492.17	c   26658 constraints of type <logicor>
1492.14/1492.17	c transformed objective value is always integral (scale: 1)
1492.14/1492.17	c Presolving Time: 1490.67
1492.14/1492.17	c - non default parameters ----------------------------------------------------------------------
1492.14/1492.17	c # SCIP version 2.0.1.4
1492.14/1492.17	c 
1492.14/1492.17	c # frequency for displaying node information lines
1492.14/1492.17	c # [type: int, range: [-1,2147483647], default: 100]
1492.14/1492.17	c display/freq = 10000
1492.14/1492.17	c 
1492.14/1492.17	c # maximal time in seconds to run
1492.14/1492.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1492.14/1492.17	c limits/time = 1797
1492.14/1492.17	c 
1492.14/1492.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1492.14/1492.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1492.14/1492.17	c limits/memory = 13950
1492.14/1492.17	c 
1492.14/1492.17	c # default clock type (1: CPU user seconds, 2: wall clock time)
1492.14/1492.17	c # [type: int, range: [1,2], default: 1]
1492.14/1492.17	c timing/clocktype = 2
1492.14/1492.17	c 
1492.14/1492.17	c # belongs reading time to solving time?
1492.14/1492.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.14/1492.17	c timing/reading = TRUE
1492.14/1492.17	c 
1492.14/1492.17	c # should presolving try to simplify inequalities
1492.14/1492.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.14/1492.17	c constraints/linear/simplifyinequalities = TRUE
1492.14/1492.17	c 
1492.14/1492.17	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1492.14/1492.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.14/1492.17	c constraints/indicator/addCouplingCons = TRUE
1492.14/1492.17	c 
1492.14/1492.17	c # should presolving try to simplify knapsacks
1492.14/1492.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.14/1492.17	c constraints/knapsack/simplifyinequalities = TRUE
1492.14/1492.17	c 
1492.14/1492.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1492.14/1492.17	c # [type: int, range: [-1,2147483647], default: -1]
1492.14/1492.17	c separating/rapidlearning/freq = 0
1492.14/1492.17	c 
1492.14/1492.17	c -----------------------------------------------------------------------------------------------
1492.14/1492.17	c start solving
1492.24/1492.21	c 
1724.24/1724.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1724.24/1724.27	c  1724s|     1 |     0 | 49815 |     - |2656M|   0 |1106 |  53k| 175k|  53k| 175k|   0 |  72 |   0 | 9.200000e+01 |      --      |    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-3486297-1307793514/watcher-3486297-1307793514 -o /tmp/evaluation-result-3486297-1307793514/solver-3486297-1307793514 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486297-1307793514.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 2.00 3/177 13196
/proc/meminfo: memFree=28408608/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=9116 CPUtime=0 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 1214 0 0 0 0 0 0 0 25 0 1 0 890952190 9334784 1169 33554432000 4194304 8979876 140733285010656 18446744073709551615 7836189 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13196/statm: 2279 1182 346 1169 0 1106 0

[startup+0.0509411 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13196
/proc/meminfo: memFree=28408608/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=19596 CPUtime=0.04 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 3898 0 0 0 4 0 0 0 25 0 1 0 890952190 20066304 3853 33554432000 4194304 8979876 140733285010656 18446744073709551615 4542852 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13196/statm: 4899 3853 366 1169 0 3726 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19596

[startup+0.100934 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13196
/proc/meminfo: memFree=28408608/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=27544 CPUtime=0.09 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 5900 0 0 0 9 0 0 0 25 0 1 0 890952190 28205056 5855 33554432000 4194304 8979876 140733285010656 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13196/statm: 6886 5855 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544

[startup+0.300896 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13196
/proc/meminfo: memFree=28408608/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=52520 CPUtime=0.29 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 12124 0 0 0 28 1 0 0 25 0 1 0 890952190 53780480 12079 33554432000 4194304 8979876 140733285010656 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13196/statm: 13130 12080 366 1169 0 11957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52520

[startup+0.700822 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13196
/proc/meminfo: memFree=28408608/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=76360 CPUtime=0.69 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 18045 0 0 0 68 1 0 0 25 0 1 0 890952190 78192640 18000 33554432000 4194304 8979876 140733285010656 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13196/statm: 19090 18000 366 1169 0 17917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76360

[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13198
/proc/meminfo: memFree=28306940/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=274076 CPUtime=1.48 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 66950 0 0 0 142 6 0 0 25 0 1 0 890952190 280653824 66872 33554432000 4194304 8979876 140733285010656 18446744073709551615 6782522 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 68519 66872 416 1169 0 67346 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 274076

[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13198
/proc/meminfo: memFree=28033720/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=496304 CPUtime=3.08 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 133332 0 0 0 294 14 0 0 25 0 1 0 890952190 508215296 121122 33554432000 4194304 8979876 140733285010656 18446744073709551615 4917974 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 124076 121122 494 1169 0 122903 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 496304

[startup+6.3008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13198
/proc/meminfo: memFree=27754228/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=721104 CPUtime=6.29 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 188714 0 0 0 608 21 0 0 25 0 1 0 890952190 738410496 176504 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503000 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 180276 176504 494 1169 0 179103 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 721104

[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13198
/proc/meminfo: memFree=27537400/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=881400 CPUtime=12.69 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 227631 0 0 0 1244 25 0 0 25 0 1 0 890952190 902553600 214919 33554432000 4194304 8979876 140733285010656 18446744073709551615 6504341 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 220350 214919 504 1169 0 219177 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 881400

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13198
/proc/meminfo: memFree=27433124/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=980764 CPUtime=25.49 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 269860 0 0 0 2519 30 0 0 25 0 1 0 890952190 1004302336 238377 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 245191 238377 650 1169 0 244018 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 980764

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13199
/proc/meminfo: memFree=27376800/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1011180 CPUtime=51.09 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 277284 0 0 0 5078 31 0 0 25 0 1 0 890952190 1035448320 245669 33554432000 4194304 8979876 140733285010656 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 252795 245669 650 1169 0 251622 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1011180

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13200
/proc/meminfo: memFree=27239096/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1090860 CPUtime=102.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 296787 0 0 0 10196 34 0 0 25 0 1 0 890952190 1117040640 265172 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 272715 265172 650 1169 0 271542 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1090860

[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 13211
/proc/meminfo: memFree=27053740/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1211876 CPUtime=162.29 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 326881 0 0 0 16192 37 0 0 25 0 1 0 890952190 1240961024 295266 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503291 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 302969 295266 650 1169 0 301796 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1211876

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13212
/proc/meminfo: memFree=26880456/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1329600 CPUtime=222.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 355977 0 0 0 22189 41 0 0 25 0 1 0 890952190 1361510400 323900 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 332400 323900 650 1169 0 331227 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1329600

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13214
/proc/meminfo: memFree=26757028/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1400972 CPUtime=282.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 373319 0 0 0 28187 43 0 0 25 0 1 0 890952190 1434595328 341242 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 350243 341242 650 1169 0 349070 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1400972

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13219
/proc/meminfo: memFree=26548168/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1543604 CPUtime=342.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 408867 0 0 0 34184 46 0 0 25 0 1 0 890952190 1580650496 376790 33554432000 4194304 8979876 140733285010656 18446744073709551615 6617531 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 385901 376790 650 1169 0 384728 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1543604

[startup+402.3 s]
/proc/loadavg: 1.56 1.89 1.96 2/172 13244
/proc/meminfo: memFree=29785432/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1713580 CPUtime=402.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 450660 0 0 0 40179 51 0 0 25 0 1 0 890952190 1754705920 418583 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 428395 418583 650 1169 0 427222 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1713580

[startup+462.3 s]
/proc/loadavg: 1.20 1.72 1.90 2/172 13246
/proc/meminfo: memFree=29592588/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1908152 CPUtime=462.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 499095 0 0 0 46174 56 0 0 25 0 1 0 890952190 1953947648 466754 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 477038 466754 650 1169 0 475865 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1908152

[startup+522.3 s]
/proc/loadavg: 1.07 1.59 1.84 2/172 13247
/proc/meminfo: memFree=29468064/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2032212 CPUtime=522.31 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 530092 0 0 0 52169 62 0 0 25 0 1 0 890952190 2080985088 497751 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 508053 497751 650 1169 0 506880 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2032212

[startup+582.3 s]
/proc/loadavg: 1.02 1.48 1.79 2/172 13249
/proc/meminfo: memFree=29391028/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2108816 CPUtime=582.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 549058 0 0 0 58166 64 0 0 25 0 1 0 890952190 2159427584 516717 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 527204 516717 650 1169 0 526031 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2108816

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.17 1.56 2/172 13257
/proc/meminfo: memFree=28934272/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2564116 CPUtime=882.31 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 662883 0 0 0 88148 83 0 0 25 0 1 0 890952190 2625654784 630542 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 641029 630542 655 1169 0 639856 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2564116

[startup+942.3 s]
/proc/loadavg: 1.00 1.13 1.52 2/172 13259
/proc/meminfo: memFree=28834556/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2663884 CPUtime=942.32 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 688034 0 0 0 94144 88 0 0 25 0 1 0 890952190 2727817216 655693 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 665971 655693 655 1169 0 664798 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2663884

[startup+1002.3 s]
/proc/loadavg: 1.00 1.11 1.48 2/172 13260
/proc/meminfo: memFree=28775876/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2720540 CPUtime=1002.31 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 702556 0 0 0 100141 90 0 0 25 0 1 0 890952190 2785832960 670215 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 680135 670215 655 1169 0 678962 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2720540

[startup+1062.3 s]
/proc/loadavg: 1.00 1.08 1.45 2/172 13262
/proc/meminfo: memFree=28719408/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2778512 CPUtime=1062.32 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 716621 0 0 0 106140 92 0 0 25 0 1 0 890952190 2845196288 684280 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 694628 684280 655 1169 0 693455 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2778512

[startup+1122.3 s]
/proc/loadavg: 1.00 1.07 1.42 2/172 13263
/proc/meminfo: memFree=28581484/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2919848 CPUtime=1122.32 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 750981 0 0 0 112134 98 0 0 25 0 1 0 890952190 2989924352 718640 33554432000 4194304 8979876 140733285010656 18446744073709551615 5546436 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 729962 718640 655 1169 0 728789 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2919848

[startup+1182.3 s]
/proc/loadavg: 1.00 1.05 1.39 2/172 13265
/proc/meminfo: memFree=28545484/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2957064 CPUtime=1182.32 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 760110 0 0 0 118132 100 0 0 25 0 1 0 890952190 3028033536 727769 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 739266 727769 655 1169 0 738093 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2957064

[startup+1242.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/172 13267
/proc/meminfo: memFree=28433104/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3066848 CPUtime=1242.33 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 788000 0 0 0 124129 104 0 0 25 0 1 0 890952190 3140452352 755659 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 766712 755659 655 1169 0 765539 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3066848

[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/172 13268
/proc/meminfo: memFree=28400208/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3099240 CPUtime=1302.33 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 796136 0 0 0 130127 106 0 0 25 0 1 0 890952190 3173621760 763795 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 774810 763795 655 1169 0 773637 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3099240

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/172 13270
/proc/meminfo: memFree=28350588/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3150840 CPUtime=1362.33 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 808594 0 0 0 136126 107 0 0 25 0 1 0 890952190 3226460160 776253 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537645 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 787710 776253 655 1169 0 786537 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3150840

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.29 2/172 13271
/proc/meminfo: memFree=28299852/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3200536 CPUtime=1422.33 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 821196 0 0 0 142124 109 0 0 25 0 1 0 890952190 3277348864 788855 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 800134 788855 655 1169 0 798961 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3200536

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/172 13273
/proc/meminfo: memFree=28246608/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3253532 CPUtime=1482.33 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 834508 0 0 0 148122 111 0 0 25 0 1 0 890952190 3331616768 802167 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503657 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 813383 802167 655 1169 0 812210 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3253532

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/172 13275
/proc/meminfo: memFree=27963236/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3562916 CPUtime=1542.34 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 907772 0 0 0 154105 129 0 0 25 0 1 0 890952190 3648425984 872978 33554432000 4194304 8979876 140733285010656 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 890729 872978 859 1169 0 889556 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3562916

[startup+1602.3 s]
/proc/loadavg: 1.06 1.02 1.24 2/172 13276
/proc/meminfo: memFree=27928472/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3587572 CPUtime=1602.34 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 917415 0 0 0 160097 137 0 0 25 0 1 0 890952190 3673673728 881614 33554432000 4194304 8979876 140733285010656 18446744073709551615 7146848 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 896893 881614 745 1169 0 895720 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3587572

[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 1.22 2/172 13278
/proc/meminfo: memFree=27910336/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3606920 CPUtime=1662.34 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 921959 0 0 0 166090 144 0 0 25 0 1 0 890952190 3693486080 886117 33554432000 4194304 8979876 140733285010656 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 901730 886117 738 1169 0 900557 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3606920

[startup+1722.3 s]
/proc/loadavg: 1.01 1.00 1.20 2/172 13279
/proc/meminfo: memFree=27909684/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3607060 CPUtime=1722.34 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 922151 0 0 0 172082 152 0 0 25 0 1 0 890952190 3693629440 886309 33554432000 4194304 8979876 140733285010656 18446744073709551615 7147076 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 901765 886309 738 1169 0 900592 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3607060

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/172 13281
/proc/meminfo: memFree=27899228/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3607200 CPUtime=1782.34 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 925871 0 0 0 178074 160 0 0 25 0 1 0 890952190 3693772800 890011 33554432000 4194304 8979876 140733285010656 18446744073709551615 7157248 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 901800 890011 1807 1169 0 900627 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3607200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.18 2/172 13281
/proc/meminfo: memFree=27899220/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3607200 CPUtime=1800.05 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 925874 0 0 0 179843 162 0 0 25 0 1 0 890952190 3693772800 890014 33554432000 4194304 8979876 140733285010656 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 901800 890014 1807 1169 0 900627 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3607200

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

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

[startup+1800.11 s]
/proc/loadavg: 1.00 1.00 1.18 2/172 13281
/proc/meminfo: memFree=27899220/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4203524 925874 0 0 0 179843 172 0 0 25 0 1 0 890952190 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13196/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.19
CPU user time (s): 1798.43
CPU system time (s): 1.75573
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3607200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.43
system time used= 1.75573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925874
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= 1189

runsolver used 2.57561 second user time and 6.17906 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-11 13:58:34
IDJOB=3486297
IDBENCH=77539
IDSOLVER=1977
FILE ID=node109/3486297-1307793514
RUNJOBID= node109-1307777630-9164
PBS_JOBID= 13550880
Free space on /tmp= 73988 MiB

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

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

MD5SUM BENCH= b1fc5213f138b6a200c2e92edc1d108f
RANDOM SEED=1952240242

node109.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.809
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.61
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.809
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.809
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.74
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.809
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.75
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.809
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.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28409036 kB
Buffers:        296184 kB
Cached:         969028 kB
SwapCached:       8608 kB
Active:        3702768 kB
Inactive:       605248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28409036 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:           23676 kB
Writeback:          48 kB
AnonPages:     3040284 kB
Mapped:          15564 kB
Slab:           163724 kB
PageTables:      10756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3265220 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= 73992 MiB
End job on node109 at 2011-06-11 14:28:36