Trace number 3741698

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? (TO) 1800.86 1801.15

General information on the benchmark

Name/OPT-BIGINT-LIN/
heinz/normalized-co-100.opb
MD5SUMcc8ca0c69f8ca12b192f0c3a37614bc3
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark275018906
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48116
Total number of constraints2186
Number of constraints which are clauses9
Number of constraints which are cardinality constraints (but not clauses)163
Number of constraints which are nor clauses,nor cardinality constraints2014
Minimum length of a constraint2
Maximum length of a constraint19068
Number of terms in the objective function 46916
Biggest coefficient in the objective function 837300000
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 89462976580
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 837300000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 89462976580
Number of bits of the biggest sum of numbers37
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-3741698-1338760787.opb>
1.69/1.78	c original problem has 48116 variables (48116 bin, 0 int, 0 impl, 0 cont) and 2186 constraints
1.69/1.78	c problem read
1.69/1.78	c presolving settings loaded
2.39/2.42	c presolving:
2.89/2.98	c (round 1) 307 del vars, 307 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14 impls, 175 clqs
4.08/4.15	c (round 2) 307 del vars, 307 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 1857 upgd conss, 14 impls, 175 clqs
65.48/65.50	c (round 3) 310 del vars, 1053 del conss, 2 chg bounds, 2317 chg sides, 133032 chg coeffs, 1879 upgd conss, 2614118 impls, 914 clqs
68.68/68.78	c (round 4) 310 del vars, 1079 del conss, 2 chg bounds, 2437 chg sides, 137931 chg coeffs, 1879 upgd conss, 2628396 impls, 1051 clqs
70.39/70.44	c (round 5) 310 del vars, 1082 del conss, 2 chg bounds, 2440 chg sides, 137943 chg coeffs, 1879 upgd conss, 2628396 impls, 1055 clqs
1410.16/1410.48	c (round 6) 360 del vars, 1082 del conss, 2 chg bounds, 2440 chg sides, 137943 chg coeffs, 1879 upgd conss, 6743880 impls, 1055 clqs
1428.16/1428.49	c (round 7) 360 del vars, 1109 del conss, 2 chg bounds, 2645 chg sides, 173119 chg coeffs, 1879 upgd conss, 6743882 impls, 1207 clqs
1431.06/1431.32	c (round 8) 360 del vars, 1120 del conss, 2 chg bounds, 2645 chg sides, 173119 chg coeffs, 1879 upgd conss, 6743882 impls, 1207 clqs
1800.01/1800.30	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.20/1800.50	c    (1798.7s) probing: 688/47806 (1.4%) - 79 fixings, 0 aggregations, 2005070 implications, 0 bound changes
1800.20/1800.50	c    (1798.7s) probing aborted: solving stopped
1800.20/1800.50	c (round 9) 389 del vars, 1120 del conss, 2 chg bounds, 2645 chg sides, 173119 chg coeffs, 1879 upgd conss, 6756540 impls, 1207 clqs
1800.20/1800.50	c presolving (9 rounds):
1800.20/1800.50	c  389 deleted vars, 1120 deleted constraints, 2 tightened bounds, 0 added holes, 2645 changed sides, 173119 changed coefficients
1800.20/1800.50	c  6756540 implications, 1207 cliques
1800.20/1800.50	c presolving was interrupted.
1800.20/1800.50	c Presolving Time: 1798.16
1800.20/1800.50	c - non default parameters ----------------------------------------------------------------------
1800.20/1800.50	c # SCIP version 1.2.1.3
1800.20/1800.50	c 
1800.20/1800.50	c # frequency for displaying node information lines
1800.20/1800.50	c # [type: int, range: [-1,2147483647], default: 100]
1800.20/1800.50	c display/freq = 10000
1800.20/1800.50	c 
1800.20/1800.50	c # maximal time in seconds to run
1800.20/1800.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.20/1800.50	c limits/time = 1788.22
1800.20/1800.50	c 
1800.20/1800.50	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.20/1800.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.20/1800.50	c limits/memory = 13950
1800.20/1800.50	c 
1800.20/1800.50	c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.20/1800.50	c # [type: int, range: [1,2], default: 1]
1800.20/1800.50	c timing/clocktype = 2
1800.20/1800.50	c 
1800.20/1800.50	c # should presolving try to simplify inequalities
1800.20/1800.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.20/1800.50	c constraints/linear/simplifyinequalities = TRUE
1800.20/1800.50	c 
1800.20/1800.50	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.20/1800.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.20/1800.50	c constraints/indicator/addCouplingCons = TRUE
1800.20/1800.50	c 
1800.20/1800.50	c # should presolving try to simplify knapsacks
1800.20/1800.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.20/1800.50	c constraints/knapsack/simplifyinequalities = TRUE
1800.20/1800.50	c 
1800.20/1800.50	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.20/1800.50	c # [type: int, range: [-1,2147483647], default: -1]
1800.20/1800.50	c separating/rapidlearning/freq = 0
1800.20/1800.50	c 
1800.20/1800.50	c -----------------------------------------------------------------------------------------------
1800.20/1800.50	c start solving
1800.20/1800.52	c presolving:
1800.20/1800.52	c presolving (9 rounds):
1800.20/1800.52	c  389 deleted vars, 1120 deleted constraints, 2 tightened bounds, 0 added holes, 2645 changed sides, 173119 changed coefficients
1800.20/1800.52	c  6756540 implications, 1207 cliques
1800.20/1800.52	c presolving was interrupted.
1800.20/1800.52	c Presolving Time: 1798.18
1800.20/1800.52	c 
1800.20/1800.52	c SCIP Status        : solving was interrupted [time limit reached]
1800.20/1800.52	c Solving Time (sec) : 1798.74
1800.20/1800.52	c Solving Nodes      : 0
1800.20/1800.52	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.20/1800.52	s UNKNOWN
1800.20/1800.52	c SCIP Status        : solving was interrupted [time limit reached]
1800.20/1800.52	c Solving Time       :    1798.74
1800.20/1800.52	c Original Problem   :
1800.20/1800.52	c   Problem name     : HOME/instance-3741698-1338760787.opb
1800.20/1800.52	c   Variables        : 48116 (48116 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.20/1800.52	c   Constraints      : 2186 initial, 2186 maximal
1800.20/1800.52	c Presolved Problem  :
1800.20/1800.52	c   Problem name     : t_HOME/instance-3741698-1338760787.opb
1800.20/1800.52	c   Variables        : 47727 (47727 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.20/1800.52	c   Constraints      : 2076 initial, 2076 maximal
1800.20/1800.52	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.20/1800.52	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1800.20/1800.52	c   dualfix          :       0.02        298          0          0          0          0          0          0          0
1800.20/1800.52	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.20/1800.52	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.20/1800.52	c   implics          :       0.03          0          0          0          0          0          0          0          0
1800.20/1800.52	c   probing          :    1709.02         79          0          0          0          0          0          0          0
1800.20/1800.52	c   knapsack         :      86.19          0          0          0          0          0        786       2645     173119
1800.20/1800.52	c   setppc           :       0.94          3          0          0          0          0         27          0          0
1800.20/1800.52	c   linear           :       1.48          2          7          0          2          0        307          0          0
1800.20/1800.52	c   root node        :          -          0          -          -          0          -          -          -          -
1800.20/1800.52	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.20/1800.52	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.20/1800.52	c   knapsack         :          0+         0       1740          0          0          0          0          0          0          0
1800.20/1800.52	c   setppc           :          0+         0       1740          0          0         79          0          0          0          0
1800.20/1800.52	c   linear           :          0+         0          0          0          0          0          0          0          0          0
1800.20/1800.52	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.20/1800.52	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.20/1800.52	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.20/1800.52	c   knapsack         :    1662.46       0.00    1662.46       0.00       0.00
1800.20/1800.52	c   setppc           :       0.72       0.00       0.72       0.00       0.00
1800.20/1800.52	c   linear           :       0.00       0.00       0.00       0.00       0.00
1800.20/1800.52	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.20/1800.52	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.20/1800.52	c   vbounds          :       0.00          1          0          0
1800.20/1800.52	c   rootredcost      :       0.00          0          0          0
1800.20/1800.52	c   pseudoobj        :       0.00          0          0          0
1800.20/1800.52	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.20/1800.52	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.20/1800.52	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.20/1800.52	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.20/1800.52	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.20/1800.52	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.20/1800.52	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.20/1800.52	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.80/1801.15	c Time complete: 1800.85.

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-3741698-1338760787/watcher-3741698-1338760787 -o /tmp/evaluation-result-3741698-1338760787/solver-3741698-1338760787 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741698-1338760787.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 11992
/proc/meminfo: memFree=26594936/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=7916 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 1249 0 0 0 0 0 0 0 20 0 1 0 342145783 8105984 1196 33554432000 4194304 8395647 140735720159280 140736321176936 7385025 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 1979 1196 370 1026 0 949 0

[startup+0.0187261 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11992
/proc/meminfo: memFree=26594936/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=14968 CPUtime=0.01 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 3025 0 0 0 1 0 0 0 20 0 1 0 342145783 15327232 2971 33554432000 4194304 8395647 140735720159280 140736321176936 7370887 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 3742 2971 387 1026 0 2712 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14968

[startup+0.100302 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11992
/proc/meminfo: memFree=26594936/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=44180 CPUtime=0.09 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 10230 0 0 0 8 1 0 0 20 0 1 0 342145783 45240320 10171 33554432000 4194304 8395647 140735720159280 140736321176936 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 11045 10171 394 1026 0 10015 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44180

[startup+0.300274 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11992
/proc/meminfo: memFree=26594936/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=49640 CPUtime=0.29 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 11213 0 0 0 28 1 0 0 20 0 1 0 342145783 50831360 11154 33554432000 4194304 8395647 140735720159280 140736321176936 5755786 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 12410 11154 394 1026 0 11380 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49640

[startup+0.700273 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11992
/proc/meminfo: memFree=26594936/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=61056 CPUtime=0.68 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 13348 0 0 0 67 1 0 0 20 0 1 0 342145783 62521344 13289 33554432000 4194304 8395647 140735720159280 140736321176936 7370368 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 15264 13289 394 1026 0 14234 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 61056

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11993
/proc/meminfo: memFree=26537004/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=85020 CPUtime=1.48 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 17780 0 0 0 146 2 0 0 20 0 1 0 342145783 87060480 17721 33554432000 4194304 8395647 140735720159280 140735720024488 7384814 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 21255 17722 394 1026 0 20225 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85020

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11993
/proc/meminfo: memFree=26398496/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=310896 CPUtime=3.09 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 72615 0 0 0 300 9 0 0 20 0 1 0 342145783 318357504 72202 33554432000 4194304 8395647 140735720159280 140735720155992 5019536 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 77724 72202 478 1026 0 76694 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 310896

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11993
/proc/meminfo: memFree=26174660/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=460356 CPUtime=6.28 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 105716 0 0 0 614 14 0 0 20 0 1 0 342145783 471404544 105274 33554432000 4194304 8395647 140735720159280 140735720155576 6074235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 115089 105274 494 1026 0 114059 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 460356

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11993
/proc/meminfo: memFree=26150016/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=488496 CPUtime=12.68 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 112745 0 0 0 1253 15 0 0 20 0 1 0 342145783 500219904 112144 33554432000 4194304 8395647 140735720159280 140735720154776 6074100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 122124 112144 494 1026 0 121094 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 488496

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11996
/proc/meminfo: memFree=26136956/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=498588 CPUtime=25.49 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 115315 0 0 0 2533 16 0 0 20 0 1 0 342145783 510554112 114437 33554432000 4194304 8395647 140735720159280 140735720154776 6074195 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 124647 114437 494 1026 0 123617 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 498588

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11996
/proc/meminfo: memFree=26105680/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=523452 CPUtime=51.08 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 121135 0 0 0 5092 16 0 0 20 0 1 0 342145783 536014848 119705 33554432000 4194304 8395647 140735720159280 140735720154776 6074097 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 130863 119705 494 1026 0 129833 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 523452

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12019
/proc/meminfo: memFree=26049560/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=570952 CPUtime=102.28 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 133898 0 0 0 10209 19 0 0 20 0 1 0 342145783 584654848 132064 33554432000 4194304 8395647 140735720159280 140735720155464 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 142738 132064 506 1026 0 141708 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 570952

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12019
/proc/meminfo: memFree=26028136/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=586992 CPUtime=162.26 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 136948 0 0 0 16207 19 0 0 20 0 1 0 342145783 601079808 135114 33554432000 4194304 8395647 140735720159280 140735720155352 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 146748 135114 506 1026 0 145718 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 586992

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12020
/proc/meminfo: memFree=26012144/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=597848 CPUtime=222.25 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 139995 0 0 0 22206 19 0 0 20 0 1 0 342145783 612196352 138161 33554432000 4194304 8395647 140735720159280 140735720155352 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 149462 138161 506 1026 0 148432 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 597848

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12020
/proc/meminfo: memFree=25968896/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=624252 CPUtime=282.24 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 146610 0 0 0 28204 20 0 0 20 0 1 0 342145783 639234048 144776 33554432000 4194304 8395647 140735720159280 140735720155352 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 156063 144776 506 1026 0 155033 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 624252

[startup+342.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 12020
/proc/meminfo: memFree=25933912/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=649020 CPUtime=342.23 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 152425 0 0 0 34202 21 0 0 20 0 1 0 342145783 664596480 153072 33554432000 4194304 8395647 140735720159280 140735720155352 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 162255 153072 506 1026 0 161225 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 649020

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12020
/proc/meminfo: memFree=25913232/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=669204 CPUtime=402.21 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 157637 0 0 0 40199 22 0 0 20 0 1 0 342145783 685264896 158342 33554432000 4194304 8395647 140735720159280 140735720155352 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 167301 158342 506 1026 0 166271 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 669204

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12020
/proc/meminfo: memFree=25877732/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=696952 CPUtime=462.21 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 164256 0 0 0 46198 23 0 0 20 0 1 0 342145783 713678848 166012 33554432000 4194304 8395647 140735720159280 140735720155352 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 174238 166012 506 1026 0 173208 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 696952

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12021
/proc/meminfo: memFree=25868088/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=696952 CPUtime=522.2 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 164416 0 0 0 52197 23 0 0 20 0 1 0 342145783 713678848 168416 33554432000 4194304 8395647 140735720159280 140735720155352 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 174238 168416 506 1026 0 173208 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 696952

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12021
/proc/meminfo: memFree=25376956/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=698916 CPUtime=582.19 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 164621 0 0 0 58196 23 0 0 20 0 1 0 342145783 715689984 169642 33554432000 4194304 8395647 140735720159280 140735720155352 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 174729 169642 506 1026 0 173699 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 698916

[startup+642.3 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12025
/proc/meminfo: memFree=25299880/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=702104 CPUtime=1002.12 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 165337 0 0 0 100189 23 0 0 20 0 1 0 342145783 718954496 174392 33554432000 4194304 8395647 140735720159280 140735720155352 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 175526 174392 506 1026 0 174496 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 702104

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12025
/proc/meminfo: memFree=25292060/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=702104 CPUtime=1062.11 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 165396 0 0 0 106188 23 0 0 20 0 1 0 342145783 718954496 174451 33554432000 4194304 8395647 140735720159280 140735720155352 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 175526 174451 506 1026 0 174496 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 702104

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12026
/proc/meminfo: memFree=25289456/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=705140 CPUtime=1122.1 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 166037 0 0 0 112187 23 0 0 20 0 1 0 342145783 722063360 175092 33554432000 4194304 8395647 140735720159280 140735720155352 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 176285 175092 506 1026 0 175255 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 705140

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12026
/proc/meminfo: memFree=25287968/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=706164 CPUtime=1182.09 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 166393 0 0 0 118186 23 0 0 20 0 1 0 342145783 723111936 175448 33554432000 4194304 8395647 140735720159280 140735720155352 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 176541 175448 506 1026 0 175511 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 706164

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12029
/proc/meminfo: memFree=25287212/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=706164 CPUtime=1242.08 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 166393 0 0 0 124185 23 0 0 20 0 1 0 342145783 723111936 175448 33554432000 4194304 8395647 140735720159280 140735720155352 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 176541 175448 506 1026 0 175511 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 706164

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12067
/proc/meminfo: memFree=26204148/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=708132 CPUtime=1302.09 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 166479 0 0 0 130185 24 0 0 20 0 1 0 342145783 725127168 175534 33554432000 4194304 8395647 140735720159280 140735720155352 4911307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177033 175534 506 1026 0 176003 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 708132

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12067
/proc/meminfo: memFree=26165868/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=710176 CPUtime=1362.07 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 167113 0 0 0 136183 24 0 0 20 0 1 0 342145783 727220224 176168 33554432000 4194304 8395647 140735720159280 140735720155144 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177544 176168 506 1026 0 176514 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 710176

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12068
/proc/meminfo: memFree=26168400/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=711204 CPUtime=1422.07 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 167459 0 0 0 142183 24 0 0 20 0 1 0 342145783 728272896 176514 33554432000 4194304 8395647 140735720159280 140735720155080 4955743 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177801 176514 506 1026 0 176771 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 711204

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12068
/proc/meminfo: memFree=26158900/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=711612 CPUtime=1482.05 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 167563 0 0 0 148181 24 0 0 20 0 1 0 342145783 728690688 176618 33554432000 4194304 8395647 140735720159280 140735720155080 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177903 176618 506 1026 0 176873 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 711612

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12068
/proc/meminfo: memFree=26177136/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=711612 CPUtime=1542.04 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 167564 0 0 0 154180 24 0 0 20 0 1 0 342145783 728690688 176658 33554432000 4194304 8395647 140735720159280 140735720155080 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177903 176658 506 1026 0 176873 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 711612

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12068
/proc/meminfo: memFree=26170428/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=711612 CPUtime=1602.03 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 167564 0 0 0 160179 24 0 0 20 0 1 0 342145783 728690688 176668 33554432000 4194304 8395647 140735720159280 140735720155080 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177903 176668 506 1026 0 176873 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 711612

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12068
/proc/meminfo: memFree=26135432/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=711612 CPUtime=1662.02 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 167564 0 0 0 166178 24 0 0 20 0 1 0 342145783 728690688 176668 33554432000 4194304 8395647 140735720159280 140735720155080 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177903 176668 506 1026 0 176873 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 711612

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12069
/proc/meminfo: memFree=26168660/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=711612 CPUtime=1722.01 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 167564 0 0 0 172177 24 0 0 20 0 1 0 342145783 728690688 177184 33554432000 4194304 8395647 140735720159280 140735720155080 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177903 177184 506 1026 0 176873 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 711612

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12069
/proc/meminfo: memFree=26187920/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=711612 CPUtime=1782.01 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 167564 0 0 0 178177 24 0 0 20 0 1 0 342145783 728690688 177184 33554432000 4194304 8395647 140735720159280 140735720155080 4911307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177903 177184 506 1026 0 176873 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 711612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12069
/proc/meminfo: memFree=26104116/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=711612 CPUtime=1800.01 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 167564 0 0 0 179977 24 0 0 20 0 1 0 342145783 728690688 177184 33554432000 4194304 8395647 140735720159280 140735720155080 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177903 177184 506 1026 0 176873 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 711612

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

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12070
/proc/meminfo: memFree=26104116/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=711612 CPUtime=1800.31 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 167576 0 0 0 180007 24 0 0 20 0 1 0 342145783 728690688 177196 33554432000 4194304 8395647 140735720159280 140735720155080 4923323 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177903 177196 517 1026 0 176873 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 711612

[startup+1801 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12070
/proc/meminfo: memFree=26104116/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=711612 CPUtime=1800.7 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 167576 0 0 0 180046 24 0 0 20 0 1 0 342145783 728690688 177196 33554432000 4194304 8395647 140735720159280 140735720155112 6345238 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177903 177196 517 1026 0 176873 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (KiB) 711612

[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12070
/proc/meminfo: memFree=26104116/32873844 swapFree=7128/7128
[pid=11992] ppid=11990 vsize=711612 CPUtime=1800.8 cores=0,2,4,6
/proc/11992/stat : 11992 (pbscip.linux.x8) R 11990 11992 11206 0 -1 4202496 167576 0 0 0 180056 24 0 0 20 0 1 0 342145783 728690688 177196 33554432000 4194304 8395647 140735720159280 140735720155112 4750154 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11992/statm: 177903 177196 517 1026 0 176873 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 711612

Child status: 0
Real time (s): 1801.15
CPU time (s): 1800.86
CPU user time (s): 1800.61
CPU system time (s): 0.247962
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 711612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.61
system time used= 0.247962
maximum resident set size= 708788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167592
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= 22
involuntary context switches= 1852

runsolver used 3.49947 second user time and 8.37573 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-03 23:59:48
IDJOB=3741698
IDBENCH=89899
IDSOLVER=2326
FILE ID=node105/3741698-1338760787
RUNJOBID= node105-1338749876-11222
PBS_JOBID= 14636807
Free space on /tmp= 71216 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= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-co-100.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-3741698-1338760787/watcher-3741698-1338760787 -o /tmp/evaluation-result-3741698-1338760787/solver-3741698-1338760787 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741698-1338760787.opb -t 1800 -m 15500

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

MD5SUM BENCH= cc8ca0c69f8ca12b192f0c3a37614bc3
RANDOM SEED=556501615

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
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		: 2666.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26595076 kB
Buffers:          568148 kB
Cached:          3807044 kB
SwapCached:         1700 kB
Active:          2136504 kB
Inactive:        3255648 kB
Active(anon):     994680 kB
Inactive(anon):    23196 kB
Active(file):    1141824 kB
Inactive(file):  3232452 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:             30076 kB
Writeback:             0 kB
AnonPages:       1039840 kB
Mapped:            11464 kB
Shmem:                 0 kB
Slab:             744900 kB
SReclaimable:     186372 kB
SUnreclaim:       558528 kB
KernelStack:        1448 kB
PageTables:         6244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1222260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    671744 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= 71216 MiB
End job on node105 at 2012-06-04 00:29:50