Trace number 3740392

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1790.33 1790.67

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1204_1.std.opb
MD5SUM39f6007b4ce39f67a0f335ae8319bbe2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark74
Best CPU time to get the best result obtained on this benchmark0.292955
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 constraints234329
Number of constraints which are clauses233129
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 constraint38
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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 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-3740392-1338737537.opb>
1.39/1.47	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234329 constraints
1.39/1.47	c problem read
1.39/1.47	c presolving settings loaded
1.88/1.93	c presolving:
8.08/8.17	c (round 1) 4379 del vars, 12871 del conss, 2953 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16165154 impls, 0 clqs
11.08/11.13	c (round 2) 10955 del vars, 34436 del conss, 9145 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16192809 impls, 0 clqs
11.78/11.84	c (round 3) 12829 del vars, 44136 del conss, 10064 chg bounds, 37 chg sides, 27 chg coeffs, 0 upgd conss, 16202413 impls, 0 clqs
12.18/12.20	c (round 4) 13527 del vars, 46952 del conss, 10420 chg bounds, 50 chg sides, 54 chg coeffs, 0 upgd conss, 16206919 impls, 0 clqs
12.28/12.38	c (round 5) 13828 del vars, 48304 del conss, 10578 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 16208738 impls, 0 clqs
12.48/12.51	c (round 6) 13978 del vars, 48944 del conss, 10651 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 16209744 impls, 0 clqs
12.48/12.58	c (round 7) 14034 del vars, 49236 del conss, 10668 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 16210294 impls, 0 clqs
12.58/12.64	c (round 8) 14041 del vars, 49298 del conss, 10671 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 16210322 impls, 0 clqs
597.60/597.71	c    (596.2s) probing: 1000/58799 (1.7%) - 7 fixings, 1 aggregations, 10971543 implications, 0 bound changes
981.13/981.31	c    (979.8s) probing: 2000/58799 (3.4%) - 8 fixings, 1 aggregations, 17117828 implications, 0 bound changes
1459.91/1460.28	c    (1458.8s) probing: 3000/58799 (5.1%) - 8 fixings, 2 aggregations, 22850449 implications, 0 bound changes
1789.65/1790.05	c    (1788.6s) probing: 3677/58799 (6.3%) - 8 fixings, 2 aggregations, 26370396 implications, 0 bound changes
1789.65/1790.05	c    (1788.6s) probing aborted: solving stopped
1789.65/1790.05	c (round 9) 14053 del vars, 49314 del conss, 10672 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 94484168 impls, 0 clqs
1789.65/1790.05	c presolving (9 rounds):
1789.65/1790.05	c  14053 deleted vars, 49314 deleted constraints, 10672 tightened bounds, 0 added holes, 53 changed sides, 58 changed coefficients
1789.65/1790.05	c  94484168 implications, 0 cliques
1789.65/1790.05	c presolving was interrupted.
1789.65/1790.05	c Presolving Time: 1788.25
1789.65/1790.05	c - non default parameters ----------------------------------------------------------------------
1789.65/1790.05	c # SCIP version 1.2.1.3
1789.65/1790.05	c 
1789.65/1790.05	c # frequency for displaying node information lines
1789.65/1790.05	c # [type: int, range: [-1,2147483647], default: 100]
1789.65/1790.05	c display/freq = 10000
1789.65/1790.05	c 
1789.65/1790.05	c # maximal time in seconds to run
1789.65/1790.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.65/1790.05	c limits/time = 1788.54
1789.65/1790.05	c 
1789.65/1790.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.65/1790.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.65/1790.05	c limits/memory = 13950
1789.65/1790.05	c 
1789.65/1790.05	c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.65/1790.05	c # [type: int, range: [1,2], default: 1]
1789.65/1790.05	c timing/clocktype = 2
1789.65/1790.05	c 
1789.65/1790.05	c # should presolving try to simplify inequalities
1789.65/1790.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.65/1790.05	c constraints/linear/simplifyinequalities = TRUE
1789.65/1790.05	c 
1789.65/1790.05	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.65/1790.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.65/1790.05	c constraints/indicator/addCouplingCons = TRUE
1789.65/1790.05	c 
1789.65/1790.05	c # should presolving try to simplify knapsacks
1789.65/1790.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.65/1790.05	c constraints/knapsack/simplifyinequalities = TRUE
1789.65/1790.05	c 
1789.65/1790.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.65/1790.05	c # [type: int, range: [-1,2147483647], default: -1]
1789.65/1790.05	c separating/rapidlearning/freq = 0
1789.65/1790.05	c 
1789.65/1790.05	c -----------------------------------------------------------------------------------------------
1789.65/1790.05	c start solving
1789.65/1790.09	c presolving:
1789.65/1790.09	c presolving (9 rounds):
1789.65/1790.09	c  14053 deleted vars, 49314 deleted constraints, 10672 tightened bounds, 0 added holes, 53 changed sides, 58 changed coefficients
1789.65/1790.09	c  94484168 implications, 0 cliques
1789.65/1790.09	c presolving was interrupted.
1789.65/1790.09	c Presolving Time: 1788.29
1789.65/1790.09	c 
1789.65/1790.09	c SCIP Status        : solving was interrupted [time limit reached]
1789.65/1790.09	c Solving Time (sec) : 1788.62
1789.65/1790.09	c Solving Nodes      : 0
1789.65/1790.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.65/1790.09	s UNKNOWN
1789.65/1790.09	c SCIP Status        : solving was interrupted [time limit reached]
1789.65/1790.09	c Solving Time       :    1788.62
1789.65/1790.09	c Original Problem   :
1789.65/1790.09	c   Problem name     : HOME/instance-3740392-1338737537.opb
1789.65/1790.09	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.65/1790.09	c   Constraints      : 234329 initial, 234329 maximal
1789.65/1790.09	c Presolved Problem  :
1789.65/1790.09	c   Problem name     : t_HOME/instance-3740392-1338737537.opb
1789.65/1790.09	c   Variables        : 58789 (58789 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.65/1790.09	c   Constraints      : 185015 initial, 185015 maximal
1789.65/1790.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.65/1790.09	c   trivial          :       0.03       1025          0          0          0          0          0          0          0
1789.65/1790.09	c   dualfix          :       0.06        121          0          0          0          0          0          0          0
1789.65/1790.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.65/1790.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.65/1790.09	c   implics          :       0.31          0          0          0          0          0          0          0          0
1789.65/1790.09	c   probing          :    1777.34          8          2          0          0          0          0          0          0
1789.65/1790.09	c   linear           :      10.35       9647       3250          0      10672          0      49314         53         58
1789.65/1790.09	c   root node        :          -          0          -          -          0          -          -          -          -
1789.65/1790.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.65/1790.09	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.65/1790.09	c   linear           :          0+         0     188598          0          0          5          0          0          0          0
1789.65/1790.09	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.65/1790.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.65/1790.09	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.65/1790.09	c   linear           :    1134.90       0.00    1134.90       0.00       0.00
1789.65/1790.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.65/1790.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.65/1790.09	c   vbounds          :       0.07          1          0          0
1789.65/1790.09	c   rootredcost      :       0.05          0          0          0
1789.65/1790.09	c   pseudoobj        :       0.05          0          0          0
1789.65/1790.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.65/1790.09	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.65/1790.09	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.65/1790.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.65/1790.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.65/1790.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.65/1790.09	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.65/1790.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.25/1790.66	c Time complete: 1790.31.

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19505
/proc/meminfo: memFree=25285856/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 1648 0 0 0 0 0 0 0 20 0 1 0 339880612 10211328 1594 33554432000 4194304 8395647 140737381570864 140735654834296 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 2493 1606 374 1026 0 1463 0

[startup+0.0281261 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19505
/proc/meminfo: memFree=25285856/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=15652 CPUtime=0.02 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 3148 0 0 0 2 0 0 0 20 0 1 0 339880612 16027648 3094 33554432000 4194304 8395647 140737381570864 140735654834296 6347101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 3913 3108 393 1026 0 2883 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15652

[startup+0.100289 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19505
/proc/meminfo: memFree=25285856/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=27236 CPUtime=0.08 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 6084 0 0 0 8 0 0 0 20 0 1 0 339880612 27889664 6030 33554432000 4194304 8395647 140737381570864 140735654834296 7382046 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 6809 6030 393 1026 0 5779 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27236

[startup+0.300291 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19505
/proc/meminfo: memFree=25285856/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=53400 CPUtime=0.29 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 12576 0 0 0 28 1 0 0 20 0 1 0 339880612 54681600 12522 33554432000 4194304 8395647 140737381570864 140735654834296 5755753 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 13350 12522 393 1026 0 12320 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53400

[startup+0.700291 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19505
/proc/meminfo: memFree=25285856/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=77476 CPUtime=0.69 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 18606 0 0 0 67 2 0 0 20 0 1 0 339880612 79335424 18552 33554432000 4194304 8395647 140737381570864 140737381436072 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 19369 18552 393 1026 0 18339 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77476

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19506
/proc/meminfo: memFree=25187368/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=169872 CPUtime=1.49 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 41784 0 0 0 144 5 0 0 20 0 1 0 339880612 173948928 41377 33554432000 4194304 8395647 140737381570864 140737381436072 6347101 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 42468 41400 409 1026 0 41438 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 169872

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19506
/proc/meminfo: memFree=24922256/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=493144 CPUtime=3.09 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 121246 0 0 0 294 15 0 0 20 0 1 0 339880612 504979456 120838 33554432000 4194304 8395647 140737381570864 140737381566904 6080340 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 123286 120838 469 1026 0 122256 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 493144

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19506
/proc/meminfo: memFree=24600524/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=759912 CPUtime=6.29 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 185933 0 0 0 604 25 0 0 20 0 1 0 339880612 778149888 185527 33554432000 4194304 8395647 140737381570864 140737381566616 6347101 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 189978 185563 469 1026 0 188948 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 759912

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19506
/proc/meminfo: memFree=24447232/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=852756 CPUtime=12.68 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 208520 0 0 0 1241 27 0 0 20 0 1 0 339880612 873222144 208112 33554432000 4194304 8395647 140737381570864 140737381566664 4616980 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 213189 208112 475 1026 0 212159 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 852756

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19506
/proc/meminfo: memFree=24295076/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=991652 CPUtime=25.48 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 242136 0 0 0 2517 31 0 0 20 0 1 0 339880612 1015451648 241620 33554432000 4194304 8395647 140737381570864 140737381566728 6080379 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 247913 241620 483 1026 0 246883 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 991652

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19506
/proc/meminfo: memFree=24239376/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=1028156 CPUtime=51.08 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 250553 0 0 0 5076 32 0 0 20 0 1 0 339880612 1052831744 250037 33554432000 4194304 8395647 140737381570864 140737381566936 4995703 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 257039 250037 483 1026 0 256009 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1028156

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19506
/proc/meminfo: memFree=24064952/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=1138500 CPUtime=102.28 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 278101 0 0 0 10191 37 0 0 20 0 1 0 339880612 1165824000 277585 33554432000 4194304 8395647 140737381570864 140737381566728 6080705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 284625 277585 483 1026 0 283595 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1138500

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19506
/proc/meminfo: memFree=23812768/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=1305640 CPUtime=162.26 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 318767 0 0 0 16184 42 0 0 20 0 1 0 339880612 1336975360 318251 33554432000 4194304 8395647 140737381570864 140737381567048 4995143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 326410 318251 483 1026 0 325380 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1305640

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19506
/proc/meminfo: memFree=23671000/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=1394216 CPUtime=222.26 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 340326 0 0 0 22180 46 0 0 20 0 1 0 339880612 1427677184 340321 33554432000 4194304 8395647 140737381570864 140737381566728 4742883 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 348554 340321 483 1026 0 347524 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1394216

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19507
/proc/meminfo: memFree=23374172/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=1628700 CPUtime=282.24 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 398240 0 0 0 28169 55 0 0 20 0 1 0 339880612 1667788800 398235 33554432000 4194304 8395647 140737381570864 140737381566728 6080653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 407175 398235 483 1026 0 406145 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1628700

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19507
/proc/meminfo: memFree=23151000/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=1771892 CPUtime=342.23 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 434238 0 0 0 34163 60 0 0 20 0 1 0 339880612 1814417408 434233 33554432000 4194304 8395647 140737381570864 140737381566936 6080653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 442973 434233 483 1026 0 441943 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1771892

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 19507
/proc/meminfo: memFree=22967756/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=1918592 CPUtime=402.23 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 470635 0 0 0 40157 66 0 0 20 0 1 0 339880612 1964638208 470630 33554432000 4194304 8395647 140737381570864 140737381566728 6080653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 479648 470630 483 1026 0 478618 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1918592

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 19508
/proc/meminfo: memFree=22615572/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=2032092 CPUtime=462.22 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 498585 0 0 0 46152 70 0 0 20 0 1 0 339880612 2080862208 498580 33554432000 4194304 8395647 140737381570864 140737381566936 4684137 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 508023 498580 483 1026 0 506993 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2032092

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19510
/proc/meminfo: memFree=22515980/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=2130056 CPUtime=522.21 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 523125 0 0 0 52148 73 0 0 20 0 1 0 339880612 2181177344 523120 33554432000 4194304 8395647 140737381570864 140737381566728 6080366 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 532514 523120 483 1026 0 531484 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2130056

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19511
/proc/meminfo: memFree=22413840/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=2221828 CPUtime=582.2 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 545900 0 0 0 58144 76 0 0 20 0 1 0 339880612 2275151872 545895 33554432000 4194304 8395647 140737381570864 140737381566728 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 555457 545895 483 1026 0 554427 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2221828

[startup+642.3 s]

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

/proc/meminfo: memFree=24049016/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=2767096 CPUtime=1062.09 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 682318 0 0 0 106110 99 0 0 20 0 1 0 339880612 2833506304 682629 33554432000 4194304 8395647 140737381570864 140737381566936 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 691774 682629 489 1026 0 690744 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 2767096

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19553
/proc/meminfo: memFree=23822348/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=2825508 CPUtime=1122.07 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 695487 0 0 0 112106 101 0 0 20 0 1 0 339880612 2893320192 695792 33554432000 4194304 8395647 140737381570864 140737381566728 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 706377 695792 489 1026 0 705347 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 2825508

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19554
/proc/meminfo: memFree=23697516/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=2866852 CPUtime=1182.06 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 706869 0 0 0 118102 104 0 0 20 0 1 0 339880612 2935656448 707174 33554432000 4194304 8395647 140737381570864 140737381566936 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 716713 707174 489 1026 0 715683 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 2866852

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19554
/proc/meminfo: memFree=23564744/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=2917116 CPUtime=1242.06 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 719169 0 0 0 124099 107 0 0 20 0 1 0 339880612 2987126784 719474 33554432000 4194304 8395647 140737381570864 140737381566936 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 729279 719474 489 1026 0 728249 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 2917116

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19554
/proc/meminfo: memFree=23393900/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=2959212 CPUtime=1302.05 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 729839 0 0 0 130096 109 0 0 20 0 1 0 339880612 3030233088 730144 33554432000 4194304 8395647 140737381570864 140737381566936 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 739803 730144 489 1026 0 738773 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 2959212

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 19554
/proc/meminfo: memFree=23152996/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3010416 CPUtime=1362.03 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 742089 0 0 0 136093 110 0 0 20 0 1 0 339880612 3082665984 742394 33554432000 4194304 8395647 140737381570864 140737381566936 5031150 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 752604 742394 489 1026 0 751574 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 3010416

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19554
/proc/meminfo: memFree=22903908/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3056588 CPUtime=1422.03 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 754258 0 0 0 142090 113 0 0 20 0 1 0 339880612 3129946112 754576 33554432000 4194304 8395647 140737381570864 140737381566936 4995709 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 764147 754576 489 1026 0 763117 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 3056588

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19555
/proc/meminfo: memFree=22617000/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3101936 CPUtime=1482.02 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 765099 0 0 0 148087 115 0 0 20 0 1 0 339880612 3176382464 765706 33554432000 4194304 8395647 140737381570864 140737381566936 4995703 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 775484 765706 489 1026 0 774454 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 3101936

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19555
/proc/meminfo: memFree=22461908/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3143124 CPUtime=1542 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 775153 0 0 0 154084 116 0 0 20 0 1 0 339880612 3218558976 775879 33554432000 4194304 8395647 140737381570864 140737381566872 4212498 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 785781 775879 489 1026 0 784751 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 3143124

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19555
/proc/meminfo: memFree=22348972/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3186324 CPUtime=1601.99 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 786039 0 0 0 160080 119 0 0 20 0 1 0 339880612 3262795776 787053 33554432000 4194304 8395647 140737381570864 140737381566936 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 796581 787053 489 1026 0 795551 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 3186324

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19555
/proc/meminfo: memFree=22157544/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3223516 CPUtime=1661.97 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 795673 0 0 0 166077 120 0 0 20 0 1 0 339880612 3300880384 797480 33554432000 4194304 8395647 140737381570864 140737381566936 4212451 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 805879 797480 489 1026 0 804849 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 3223516

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19558
/proc/meminfo: memFree=21997100/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3264628 CPUtime=1721.96 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 805393 0 0 0 172074 122 0 0 20 0 1 0 339880612 3342979072 807444 33554432000 4194304 8395647 140737381570864 140737381566936 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 816157 807444 489 1026 0 815127 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 3264628

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19582
/proc/meminfo: memFree=21819160/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3306764 CPUtime=1781.95 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 816702 0 0 0 178070 125 0 0 20 0 1 0 339880612 3386126336 819195 33554432000 4194304 8395647 140737381570864 140737381566936 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 826691 819195 489 1026 0 825661 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 3306764

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19582
/proc/meminfo: memFree=21817540/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3309732 CPUtime=1785.15 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 817221 0 0 0 178390 125 0 0 20 0 1 0 339880612 3389165568 819717 33554432000 4194304 8395647 140737381570864 140737381566936 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 827433 819717 489 1026 0 826403 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 3309732

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19582
/proc/meminfo: memFree=21812456/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3312756 CPUtime=1788.35 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 818092 0 0 0 178710 125 0 0 20 0 1 0 339880612 3392262144 820588 33554432000 4194304 8395647 140737381570864 140737381566936 5026483 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 828189 820588 489 1026 0 827159 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 3312756

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19582
/proc/meminfo: memFree=21812456/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3313768 CPUtime=1789.15 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 818220 0 0 0 178790 125 0 0 20 0 1 0 339880612 3393298432 820716 33554432000 4194304 8395647 140737381570864 140737381566936 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 828442 820716 489 1026 0 827412 0
Current children cumulated CPU time (s) 1789.15
Current children cumulated vsize (KiB) 3313768

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19582
/proc/meminfo: memFree=21810720/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3316604 CPUtime=1789.95 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 818902 0 0 0 178869 126 0 0 20 0 1 0 339880612 3396202496 821398 33554432000 4194304 8395647 140737381570864 140737381566936 4982140 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 829151 821398 496 1026 0 828121 0
Current children cumulated CPU time (s) 1789.95
Current children cumulated vsize (KiB) 3316604

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19582
/proc/meminfo: memFree=21810720/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=3258908 CPUtime=1790.15 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 818903 0 0 0 178887 128 0 0 20 0 1 0 339880612 3337121792 565261 33554432000 4194304 8395647 140737381570864 140737381566936 7602442 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 814727 564977 497 1026 0 813697 0
Current children cumulated CPU time (s) 1790.15
Current children cumulated vsize (KiB) 3258908

[startup+1790.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19582
/proc/meminfo: memFree=21810720/32873648 swapFree=6864/6864
[pid=19505] ppid=19503 vsize=874536 CPUtime=1790.25 cores=0,2,4,6
/proc/19505/stat : 19505 (pbscip.linux.x8) R 19503 19505 16401 0 -1 4202496 818903 0 0 0 178888 137 0 0 20 0 1 0 339880612 895524864 217335 33554432000 4194304 8395647 140737381570864 140737381570184 7435351 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19505/statm: 218377 217138 497 1026 0 217347 0
Current children cumulated CPU time (s) 1790.25
Current children cumulated vsize (KiB) 874536

Child status: 0
Real time (s): 1790.67
CPU time (s): 1790.33
CPU user time (s): 1788.95
CPU system time (s): 1.37979
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 3316604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.95
system time used= 1.37979
maximum resident set size= 3285592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 818919
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= 103
involuntary context switches= 1837

runsolver used 6.79597 second user time and 12.2481 second system time

The end

Launcher Data 

Begin job on node113 at 2012-06-03 17:32:18
IDJOB=3740392
IDBENCH=77281
IDSOLVER=2326
FILE ID=node113/3740392-1338737537
RUNJOBID= node113-1338713805-16417
PBS_JOBID= 14636744
Free space on /tmp= 70956 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1204_1.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740392-1338737537/watcher-3740392-1338737537 -o /tmp/evaluation-result-3740392-1338737537/solver-3740392-1338737537 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740392-1338737537.opb -t 1800 -m 15500

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

MD5SUM BENCH= 39f6007b4ce39f67a0f335ae8319bbe2
RANDOM SEED=1691584217

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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.92
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		: 2667.026
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:       32873648 kB
MemFree:        25286384 kB
Buffers:          515880 kB
Cached:          3462940 kB
SwapCached:         2028 kB
Active:          4442776 kB
Inactive:        2249296 kB
Active(anon):    2712776 kB
Inactive(anon):     1912 kB
Active(file):    1730000 kB
Inactive(file):  2247384 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099708 kB
Dirty:             16712 kB
Writeback:             0 kB
AnonPages:       2769012 kB
Mapped:            13280 kB
Shmem:                 0 kB
Slab:             751156 kB
SReclaimable:     195396 kB
SUnreclaim:       555760 kB
KernelStack:        1472 kB
PageTables:         9712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2869680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70944 MiB
End job on node113 at 2012-06-03 18:02:08