Trace number 3740432

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1795.97 1796.32

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12044_8.std.opb
MD5SUM4696f28c33c3f125d6253e0b5378b0b9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark108
Best CPU time to get the best result obtained on this benchmark0.314951
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 constraints256445
Number of constraints which are clauses255245
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 constraint36
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

1.59/1.60	c SCIP version 1.1.0.7
1.59/1.60	c LP-Solver SoPlex 1.4.1
1.59/1.60	c user parameter file <scip.set> not found - using default parameters
1.59/1.60	c read problem <HOME/instance-3740432-1338761508.opb>
1.59/1.60	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256445 constraints
1.99/2.03	c start presolving problem
1.99/2.03	c presolving:
9.39/9.40	c (round 1) 7946 del vars, 23667 del conss, 6409 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17151058 impls, 0 clqs
12.99/13.10	c (round 2) 14341 del vars, 53167 del conss, 12515 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17187456 impls, 0 clqs
14.39/14.46	c (round 3) 17051 del vars, 65144 del conss, 14284 chg bounds, 100 chg sides, 96 chg coeffs, 0 upgd conss, 17204908 impls, 0 clqs
15.18/15.27	c (round 4) 18567 del vars, 71293 del conss, 15327 chg bounds, 124 chg sides, 116 chg coeffs, 0 upgd conss, 17216609 impls, 0 clqs
15.68/15.77	c (round 5) 19590 del vars, 75453 del conss, 15968 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17227510 impls, 0 clqs
16.09/16.17	c (round 6) 20349 del vars, 78416 del conss, 16469 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17233817 impls, 0 clqs
16.39/16.47	c (round 7) 20911 del vars, 80712 del conss, 16812 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17239889 impls, 0 clqs
16.69/16.71	c (round 8) 21296 del vars, 82321 del conss, 17040 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17243868 impls, 0 clqs
16.79/16.89	c (round 9) 21560 del vars, 83435 del conss, 17201 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17246564 impls, 0 clqs
16.99/17.02	c (round 10) 21688 del vars, 84064 del conss, 17278 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17247727 impls, 0 clqs
17.09/17.14	c (round 11) 21773 del vars, 84426 del conss, 17324 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17248890 impls, 0 clqs
17.19/17.24	c (round 12) 21837 del vars, 84698 del conss, 17359 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17249723 impls, 0 clqs
17.29/17.37	c (round 13) 21877 del vars, 84885 del conss, 17388 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17250152 impls, 0 clqs
17.38/17.47	c (round 14) 21899 del vars, 85000 del conss, 17398 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17250329 impls, 0 clqs
17.50/17.57	c (round 15) 21905 del vars, 85034 del conss, 17401 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 17250394 impls, 0 clqs
770.94/771.10	c    (767.6s) probing: 1000/50935 (2.0%) - 3 fixings, 1 aggregations, 14312709 implications, 0 bound changes
1347.72/1348.05	c    (1343.8s) probing: 2000/50935 (3.9%) - 5 fixings, 3 aggregations, 23329528 implications, 0 bound changes
1795.44/1795.82	c    (1791.1s) probing: 2870/50935 (5.6%) - 5 fixings, 3 aggregations, 30214192 implications, 0 bound changes
1795.44/1795.82	c    (1791.1s) probing aborted: solving stopped
1795.44/1795.82	c (round 16) 21915 del vars, 85049 del conss, 17401 chg bounds, 132 chg sides, 124 chg coeffs, 0 upgd conss, 120540870 impls, 0 clqs
1795.44/1795.82	c presolving (16 rounds):
1795.44/1795.82	c  21915 deleted vars, 85049 deleted constraints, 17401 tightened bounds, 0 added holes, 132 changed sides, 124 changed coefficients
1795.44/1795.82	c  120540870 implications, 0 cliques
1795.44/1795.82	c presolving was interrupted.
1795.44/1795.82	c Presolving Time: 1790.85
1795.44/1795.82	c OPT-LIN
1795.44/1795.82	c -----------------------------------------------------------------------------------------------
1795.44/1795.82	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1795.44/1795.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.44/1795.82	c limits/memory = c 13950
1795.44/1795.82	c # maximal time in seconds to run
1795.44/1795.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.44/1795.82	c limits/time = c 1791
1795.44/1795.82	c # frequency for displaying node information lines
1795.44/1795.82	c # [type: int, range: [-1,2147483647], default: 100]
1795.44/1795.82	c display/freq = c 10000
1795.44/1795.82	c -----------------------------------------------------------------------------------------------
1795.44/1795.82	c start solving problem
1795.44/1795.82	c presolving:
1795.44/1795.82	c presolving (16 rounds):
1795.44/1795.82	c  21915 deleted vars, 85049 deleted constraints, 17401 tightened bounds, 0 added holes, 132 changed sides, 124 changed coefficients
1795.44/1795.82	c  120540870 implications, 0 cliques
1795.44/1795.82	c presolving was interrupted.
1795.44/1795.82	c Presolving Time: 1790.85
1795.44/1795.82	c 
1795.44/1795.82	c SCIP Status        : solving was interrupted [time limit reached]
1795.44/1795.82	c Solving Time (sec) : 1791.13
1795.44/1795.82	c Solving Nodes      : 0
1795.44/1795.82	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1795.44/1795.82	c NODE         0
1795.44/1795.82	c DUAL BOUND   -1e+20
1795.44/1795.82	c PRIMAL BOUND 1e+20
1795.44/1795.82	c GAP          1e+20
1795.44/1795.82	s UNKNOWN
1795.44/1795.82	c SCIP Status        : solving was interrupted [time limit reached]
1795.44/1795.82	c Solving Time       :    1791.13
1795.44/1795.82	c Original Problem   :
1795.44/1795.82	c   Problem name     : HOME/instance-3740432-1338761508.opb
1795.44/1795.82	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.44/1795.82	c   Constraints      : 256445 initial, 256445 maximal
1795.44/1795.82	c Presolved Problem  :
1795.44/1795.82	c   Problem name     : t_HOME/instance-3740432-1338761508.opb
1795.44/1795.82	c   Variables        : 50927 (50927 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.44/1795.82	c   Constraints      : 171396 initial, 171396 maximal
1795.44/1795.82	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.44/1795.82	c   trivial          :       0.02       1093          0          0          0          0          0          0          0
1795.44/1795.82	c   dualfix          :       0.07        122          0          0          0          0          0          0          0
1795.44/1795.82	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.44/1795.82	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.44/1795.82	c   implics          :       0.63          0          0          0          0          0          0          0          0
1795.44/1795.82	c   probing          :    1775.92          5          3          0          0          0          0          0          0
1795.44/1795.82	c   linear           :      14.07      16308       4384          0      17401          0      85049        132        124
1795.44/1795.82	c   root node        :          -          0          -          -          0          -          -          -          -
1795.44/1795.82	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.44/1795.82	c   integral         :          0          0          0          0          0          0          0          0          0          0
1795.44/1795.82	c   linear           :          0+         0     142745          0          0          3          0          0          0          0
1795.44/1795.82	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1795.44/1795.82	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.44/1795.82	c   integral         :       0.00       0.00       0.00       0.00       0.00
1795.44/1795.82	c   linear           :     810.74       0.00     810.74       0.00       0.00
1795.44/1795.82	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.44/1795.82	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.44/1795.82	c   rootredcost      :       0.05          0          0          0
1795.44/1795.82	c   pseudoobj        :       0.02          0          0          0
1795.44/1795.82	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.44/1795.82	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1795.44/1795.82	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1795.44/1795.82	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.44/1795.82	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.44/1795.82	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.44/1795.82	c   applied globally :          -          -          -          0        0.0          -          -          -
1795.44/1795.82	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.94/1796.31	c Time complete: 1795.96.

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-3740432-1338761508/watcher-3740432-1338761508 -o /tmp/evaluation-result-3740432-1338761508/solver-3740432-1338761508 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740432-1338761508.opb 

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.00 2.00 2.00 3/176 10969
/proc/meminfo: memFree=27122932/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=8728 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1545 0 0 0 0 0 0 0 20 0 1 0 342275395 8937472 1498 33554432000 4194304 7823515 140734732811168 140734391354536 6883856 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2182 1498 354 887 0 1292 0

[startup+0.0157201 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10969
/proc/meminfo: memFree=27122932/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=10336 CPUtime=0.01 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1940 0 0 0 1 0 0 0 20 0 1 0 342275395 10584064 1893 33554432000 4194304 7823515 140734732811168 140734391354536 6908047 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2584 1893 354 887 0 1694 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10336

[startup+0.100221 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10969
/proc/meminfo: memFree=27122932/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=25420 CPUtime=0.09 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 5702 0 0 0 9 0 0 0 20 0 1 0 342275395 26030080 5656 33554432000 4194304 7823515 140734732811168 140734391354536 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 6355 5676 354 887 0 5465 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25420

[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10969
/proc/meminfo: memFree=27122932/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=50560 CPUtime=0.29 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 11958 0 0 0 28 1 0 0 20 0 1 0 342275395 51773440 11911 33554432000 4194304 7823515 140734732811168 140734391354536 6908047 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 12640 11911 354 887 0 11750 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50560

[startup+0.700215 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10969
/proc/meminfo: memFree=27122932/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=73800 CPUtime=0.68 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 17779 0 0 0 67 1 0 0 20 0 1 0 342275395 75571200 17732 33554432000 4194304 7823515 140734732811168 140734391354536 6908057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 18450 17732 354 887 0 17560 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 73800

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10970
/proc/meminfo: memFree=27031272/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=140208 CPUtime=1.49 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 34292 0 0 0 145 4 0 0 20 0 1 0 342275395 143572992 34246 33554432000 4194304 7823515 140734732811168 140734732676824 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 35052 34279 354 887 0 34162 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140208

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10970
/proc/meminfo: memFree=26774592/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=470968 CPUtime=3.08 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 116757 0 0 0 291 17 0 0 20 0 1 0 342275395 482271232 116356 33554432000 4194304 7823515 140734732811168 140734732808104 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 118010 116375 427 887 0 117120 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 470968

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10970
/proc/meminfo: memFree=26478108/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=712976 CPUtime=6.29 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 176768 0 0 0 599 30 0 0 20 0 1 0 342275395 730087424 176367 33554432000 4194304 7823515 140734732811168 140734732808104 5875900 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 178244 176367 427 887 0 177354 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 712976

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10970
/proc/meminfo: memFree=26274756/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=862800 CPUtime=12.69 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 212215 0 0 0 1222 47 0 0 20 0 1 0 342275395 883507200 211814 33554432000 4194304 7823515 140734732811168 140734732808104 5808235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 215700 211814 432 887 0 214810 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 862800

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10971
/proc/meminfo: memFree=26227064/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=913288 CPUtime=25.48 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 224270 0 0 0 2455 93 0 0 20 0 1 0 342275395 935206912 223760 33554432000 4194304 7823515 140734732811168 140734732807864 5803612 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 228322 223760 440 887 0 227432 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 913288

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10971
/proc/meminfo: memFree=26187832/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=950996 CPUtime=51.08 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 233642 0 0 0 5013 95 0 0 20 0 1 0 342275395 973819904 233132 33554432000 4194304 7823515 140734732811168 140734732807864 5803146 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 237749 233132 440 887 0 236859 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 950996

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10971
/proc/meminfo: memFree=26092768/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1049336 CPUtime=102.27 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 257200 0 0 0 10128 99 0 0 20 0 1 0 342275395 1074520064 256690 33554432000 4194304 7823515 140734732811168 140734732807864 5803623 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 262334 256690 440 887 0 261444 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1049336

[startup+162.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10971
/proc/meminfo: memFree=25956272/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1178228 CPUtime=162.26 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 289361 0 0 0 16121 105 0 0 20 0 1 0 342275395 1206505472 288851 33554432000 4194304 7823515 140734732811168 140734732807864 5061259 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 294557 288851 441 887 0 293667 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1178228

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10971
/proc/meminfo: memFree=25810724/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1332260 CPUtime=222.25 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 326058 0 0 0 22114 111 0 0 20 0 1 0 342275395 1364234240 325548 33554432000 4194304 7823515 140734732811168 140734732807032 5803619 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 333065 325548 441 887 0 332175 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1332260

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10971
/proc/meminfo: memFree=25642360/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1499564 CPUtime=282.23 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 367684 0 0 0 28105 118 0 0 20 0 1 0 342275395 1535553536 367174 33554432000 4194304 7823515 140734732811168 140734732807864 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 374891 367174 441 887 0 374001 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1499564

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10972
/proc/meminfo: memFree=25474244/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1667568 CPUtime=342.23 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 409518 0 0 0 34098 125 0 0 20 0 1 0 342275395 1707589632 409008 33554432000 4194304 7823515 140734732811168 140734732807848 5879248 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 416892 409008 441 887 0 416002 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1667568

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10972
/proc/meminfo: memFree=25289884/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1852984 CPUtime=402.22 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 455773 0 0 0 40090 132 0 0 20 0 1 0 342275395 1897455616 455263 33554432000 4194304 7823515 140734732811168 140734732807848 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 463246 455263 441 887 0 462356 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1852984

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10972
/proc/meminfo: memFree=25137080/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=2001240 CPUtime=462.21 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 492036 0 0 0 46081 140 0 0 20 0 1 0 342275395 2049269760 491526 33554432000 4194304 7823515 140734732811168 140734732807864 5803127 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 500310 491526 441 887 0 499420 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2001240

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10975
/proc/meminfo: memFree=24979452/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=2173904 CPUtime=522.2 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 535013 0 0 0 52071 149 0 0 20 0 1 0 342275395 2226077696 534503 33554432000 4194304 7823515 140734732811168 140734732807032 6911387 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 543476 534503 441 887 0 542586 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2173904

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10976
/proc/meminfo: memFree=24824416/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=2306504 CPUtime=582.19 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 568305 0 0 0 58063 156 0 0 20 0 1 0 342275395 2361860096 567795 33554432000 4194304 7823515 140734732811168 140734732807224 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 576626 567795 441 887 0 575736 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2306504

[startup+642.3 s]

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

/proc/meminfo: memFree=25695460/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3218368 CPUtime=1062.07 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 794709 0 0 0 105997 210 0 0 20 0 1 0 342275395 3295608832 794636 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 804592 794636 446 887 0 803702 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 3218368

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11019
/proc/meminfo: memFree=25506132/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3317276 CPUtime=1122.06 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 819968 0 0 0 111987 219 0 0 20 0 1 0 342275395 3396890624 820419 33554432000 4194304 7823515 140734732811168 140734732807848 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 829319 820419 446 887 0 828429 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 3317276

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11019
/proc/meminfo: memFree=25392336/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3381964 CPUtime=1182.05 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 836377 0 0 0 117980 225 0 0 20 0 1 0 342275395 3463131136 837097 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 845491 837097 446 887 0 844601 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 3381964

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11020
/proc/meminfo: memFree=25246044/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3451268 CPUtime=1242.04 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 852928 0 0 0 123975 229 0 0 20 0 1 0 342275395 3534098432 853894 33554432000 4194304 7823515 140734732811168 140734732807848 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 862817 853894 446 887 0 861927 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 3451268

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11020
/proc/meminfo: memFree=25104960/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3525432 CPUtime=1302.04 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 871643 0 0 0 129968 236 0 0 20 0 1 0 342275395 3610042368 873076 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 881358 873076 446 887 0 880468 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 3525432

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11020
/proc/meminfo: memFree=24921716/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3593524 CPUtime=1362.02 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 888737 0 0 0 135961 241 0 0 20 0 1 0 342275395 3679768576 890330 33554432000 4194304 7823515 140734732811168 140734732807848 5020870 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 898381 890330 446 887 0 897491 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 3593524

[startup+1422.31 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 11020
/proc/meminfo: memFree=24712556/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3652420 CPUtime=1422.02 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 903202 0 0 0 141956 246 0 0 20 0 1 0 342275395 3740078080 904895 33554432000 4194304 7823515 140734732811168 140734732807848 5803135 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 913105 904895 446 887 0 912215 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 3652420

[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 11020
/proc/meminfo: memFree=24565272/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3742860 CPUtime=1482 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 925385 0 0 0 147949 251 0 0 20 0 1 0 342275395 3832688640 927252 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 935715 927252 446 887 0 934825 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 3742860

[startup+1542.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 11021
/proc/meminfo: memFree=24423824/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3809748 CPUtime=1541.99 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 941443 0 0 0 153942 257 0 0 20 0 1 0 342275395 3901181952 943395 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 952437 943395 446 887 0 951547 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 3809748

[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 11021
/proc/meminfo: memFree=24311996/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3878260 CPUtime=1601.98 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 958280 0 0 0 159935 263 0 0 20 0 1 0 342275395 3971338240 960462 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 969565 960462 446 887 0 968675 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 3878260

[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 11021
/proc/meminfo: memFree=24215056/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=3938344 CPUtime=1661.96 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 974009 0 0 0 165928 268 0 0 20 0 1 0 342275395 4032864256 976305 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 984586 976305 446 887 0 983696 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 3938344

[startup+1722.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/178 11024
/proc/meminfo: memFree=24107692/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4008984 CPUtime=1721.95 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 990650 0 0 0 171923 272 0 0 20 0 1 0 342275395 4105199616 993080 33554432000 4194304 7823515 140734732811168 140734732807848 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1002246 993080 446 887 0 1001356 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 4008984

[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 11024
/proc/meminfo: memFree=24020804/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4057188 CPUtime=1781.94 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1002945 0 0 0 177918 276 0 0 20 0 1 0 342275395 4154560512 1005541 33554432000 4194304 7823515 140734732811168 140734732807848 5020319 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1014297 1005541 446 887 0 1013407 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 4057188

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

[startup+1785.5 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 11024
/proc/meminfo: memFree=24018944/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4058156 CPUtime=1785.14 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1003327 0 0 0 178238 276 0 0 20 0 1 0 342275395 4155551744 1005923 33554432000 4194304 7823515 140734732811168 140734732807848 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1014539 1005923 446 887 0 1013649 0
Current children cumulated CPU time (s) 1785.14
Current children cumulated vsize (KiB) 4058156

[startup+1791.91 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 11024
/proc/meminfo: memFree=24009380/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4065192 CPUtime=1791.55 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1005065 0 0 0 178878 277 0 0 20 0 1 0 342275395 4162756608 1007713 33554432000 4194304 7823515 140734732811168 140734732807224 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1016298 1007713 446 887 0 1015408 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 4065192

[startup+1793.5 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 11024
/proc/meminfo: memFree=24006280/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4068168 CPUtime=1793.14 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1005399 0 0 0 179037 277 0 0 20 0 1 0 342275395 4165804032 1008047 33554432000 4194304 7823515 140734732811168 140734732807848 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1017042 1008047 446 887 0 1016152 0
Current children cumulated CPU time (s) 1793.14
Current children cumulated vsize (KiB) 4068168

[startup+1795.1 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 11024
/proc/meminfo: memFree=24003304/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4068168 CPUtime=1794.75 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1005670 0 0 0 179198 277 0 0 20 0 1 0 342275395 4165804032 1008318 33554432000 4194304 7823515 140734732811168 140734732807864 5066007 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1017042 1008318 446 887 0 1016152 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 4068168

[startup+1795.9 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 11024
/proc/meminfo: memFree=24003304/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=4069192 CPUtime=1795.54 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1006172 0 0 0 179277 277 0 0 20 0 1 0 342275395 4166852608 1008820 33554432000 4194304 7823515 140734732811168 140734732808072 4219445 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 1017298 1008820 456 887 0 1016408 0
Current children cumulated CPU time (s) 1795.54
Current children cumulated vsize (KiB) 4069192

[startup+1796.31 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 11024
/proc/meminfo: memFree=25892240/32873844 swapFree=7900/7900
[pid=10969] ppid=10967 vsize=1600140 CPUtime=1795.94 cores=0,2,4,6
/proc/10969/stat : 10969 (pbscip.linux.x8) R 10967 10969 8610 0 -1 4202496 1006174 0 0 0 179304 290 0 0 20 0 1 0 342275395 1638543360 399284 33554432000 4194304 7823515 140734732811168 140734732808072 5875738 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10969/statm: 400035 399284 458 887 0 399145 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 1600140

Child status: 0
Real time (s): 1796.32
CPU time (s): 1795.97
CPU user time (s): 1793.05
CPU system time (s): 2.91556
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 4069192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.05
system time used= 2.91556
maximum resident set size= 4035280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1006189
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= 102
involuntary context switches= 2135

runsolver used 3.53346 second user time and 8.29974 second system time

The end

Launcher Data

Begin job on node137 at 2012-06-04 00:11:49
IDJOB=3740432
IDBENCH=77395
IDSOLVER=2321
FILE ID=node137/3740432-1338761508
RUNJOBID= node137-1338748474-8626
PBS_JOBID= 14636788
Free space on /tmp= 70300 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12044_8.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740432-1338761508/watcher-3740432-1338761508 -o /tmp/evaluation-result-3740432-1338761508/solver-3740432-1338761508 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740432-1338761508.opb

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

MD5SUM BENCH= 4696f28c33c3f125d6253e0b5378b0b9
RANDOM SEED=799134250

node137.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.600
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	: 5333.20
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.600
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.600
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	: 5331.92
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.600
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.600
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.600
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.90
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.600
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.600
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:       32873844 kB
MemFree:        27122560 kB
Buffers:          279104 kB
Cached:          1270420 kB
SwapCached:         5796 kB
Active:          4203444 kB
Inactive:         717088 kB
Active(anon):    3366280 kB
Inactive(anon):     7172 kB
Active(file):     837164 kB
Inactive(file):   709916 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             17168 kB
Writeback:            24 kB
AnonPages:       3374836 kB
Mapped:            11276 kB
Shmem:                 0 kB
Slab:             685168 kB
SReclaimable:     126144 kB
SUnreclaim:       559024 kB
KernelStack:        1456 kB
PageTables:        10568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3544560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 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= 70292 MiB
End job on node137 at 2012-06-04 00:41:45