Trace number 3740498

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1795.91 1796.22

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1207_6.std.opb
MD5SUMd16d5193341210b17a0f2e49373cb527
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark125
Best CPU time to get the best result obtained on this benchmark1800.02
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 constraints234141
Number of constraints which are clauses232941
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 constraint67
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

1.39/1.44	c SCIP version 1.1.0.7
1.39/1.44	c LP-Solver SoPlex 1.4.1
1.39/1.44	c user parameter file <scip.set> not found - using default parameters
1.39/1.44	c read problem <HOME/instance-3740498-1338762126.opb>
1.39/1.44	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234141 constraints
1.89/1.94	c start presolving problem
1.89/1.94	c presolving:
8.79/8.84	c (round 1) 5047 del vars, 15271 del conss, 3503 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034200 impls, 0 clqs
13.29/13.39	c (round 2) 12844 del vars, 42362 del conss, 11000 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16074485 impls, 0 clqs
14.69/14.72	c (round 3) 15687 del vars, 54937 del conss, 12623 chg bounds, 25 chg sides, 19 chg coeffs, 0 upgd conss, 16091281 impls, 0 clqs
15.49/15.53	c (round 4) 16875 del vars, 59552 del conss, 13402 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16098910 impls, 0 clqs
15.89/15.91	c (round 5) 17532 del vars, 62185 del conss, 13759 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16103405 impls, 0 clqs
16.09/16.13	c (round 6) 17834 del vars, 63489 del conss, 13905 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16105955 impls, 0 clqs
16.29/16.30	c (round 7) 17973 del vars, 64070 del conss, 13989 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16107417 impls, 0 clqs
16.39/16.45	c (round 8) 18073 del vars, 64485 del conss, 14049 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16108307 impls, 0 clqs
16.49/16.56	c (round 9) 18105 del vars, 64671 del conss, 14067 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16108617 impls, 0 clqs
16.59/16.67	c (round 10) 18123 del vars, 64769 del conss, 14076 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16108753 impls, 0 clqs
16.68/16.77	c (round 11) 18125 del vars, 64792 del conss, 14077 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16108771 impls, 0 clqs
772.57/772.71	c    (769.7s) probing: 1000/54715 (1.8%) - 9 fixings, 3 aggregations, 10561754 implications, 0 bound changes
1404.85/1405.19	c    (1401.5s) probing: 2000/54715 (3.7%) - 9 fixings, 3 aggregations, 16310210 implications, 0 bound changes
1524.62/1524.94	c    (1521.2s) probing: 2208/54715 (4.0%) - 9 fixings, 3 aggregations, 17404775 implications, 0 bound changes
1524.62/1524.94	c    (1521.2s) probing aborted: 2000/2000 successive useless probings
1524.62/1524.94	c (round 12) 18139 del vars, 64804 del conss, 14078 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 78544711 impls, 0 clqs
1524.93/1525.21	c (round 13) 18139 del vars, 65316 del conss, 14078 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 78544711 impls, 0 clqs
1526.03/1526.32	c (round 14) 18139 del vars, 65316 del conss, 14078 chg bounds, 46 chg sides, 42 chg coeffs, 168825 upgd conss, 78544711 impls, 0 clqs
1527.22/1527.54	c (round 15) 18139 del vars, 65323 del conss, 14078 chg bounds, 71 chg sides, 219 chg coeffs, 168825 upgd conss, 78545599 impls, 2778 clqs
1795.18/1795.59	c    (1791.4s) probing: 2583/54715 (4.7%) - 27 fixings, 17 aggregations, 20078668 implications, 0 bound changes
1795.18/1795.59	c    (1791.4s) probing aborted: solving stopped
1795.18/1795.59	c (round 16) 18171 del vars, 65325 del conss, 14078 chg bounds, 81 chg sides, 256 chg coeffs, 168825 upgd conss, 86398271 impls, 2875 clqs
1795.18/1795.59	c presolving (16 rounds):
1795.18/1795.59	c  18171 deleted vars, 65325 deleted constraints, 14078 tightened bounds, 0 added holes, 81 changed sides, 256 changed coefficients
1795.18/1795.59	c  86398271 implications, 2875 cliques
1795.18/1795.59	c presolving was interrupted.
1795.18/1795.59	c Presolving Time: 1791.11
1795.18/1795.59	c OPT-LIN
1795.18/1795.59	c -----------------------------------------------------------------------------------------------
1795.18/1795.59	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1795.18/1795.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.18/1795.59	c limits/memory = c 13950
1795.18/1795.59	c # maximal time in seconds to run
1795.18/1795.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.18/1795.59	c limits/time = c 1791
1795.18/1795.59	c # frequency for displaying node information lines
1795.18/1795.59	c # [type: int, range: [-1,2147483647], default: 100]
1795.18/1795.59	c display/freq = c 10000
1795.18/1795.59	c -----------------------------------------------------------------------------------------------
1795.18/1795.59	c start solving problem
1795.18/1795.59	c presolving:
1795.18/1795.59	c presolving (16 rounds):
1795.18/1795.59	c  18171 deleted vars, 65325 deleted constraints, 14078 tightened bounds, 0 added holes, 81 changed sides, 256 changed coefficients
1795.18/1795.59	c  86398271 implications, 2875 cliques
1795.18/1795.59	c presolving was interrupted.
1795.18/1795.59	c Presolving Time: 1791.11
1795.18/1795.59	c 
1795.18/1795.59	c SCIP Status        : solving was interrupted [time limit reached]
1795.18/1795.59	c Solving Time (sec) : 1791.43
1795.18/1795.59	c Solving Nodes      : 0
1795.18/1795.59	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1795.18/1795.59	c NODE         0
1795.18/1795.59	c DUAL BOUND   -1e+20
1795.18/1795.59	c PRIMAL BOUND 1e+20
1795.18/1795.59	c GAP          1e+20
1795.18/1795.59	s UNKNOWN
1795.18/1795.59	c SCIP Status        : solving was interrupted [time limit reached]
1795.18/1795.59	c Solving Time       :    1791.43
1795.18/1795.59	c Original Problem   :
1795.18/1795.59	c   Problem name     : HOME/instance-3740498-1338762126.opb
1795.18/1795.59	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.18/1795.59	c   Constraints      : 234141 initial, 234141 maximal
1795.18/1795.59	c Presolved Problem  :
1795.18/1795.59	c   Problem name     : t_HOME/instance-3740498-1338762126.opb
1795.18/1795.59	c   Variables        : 54671 (54671 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.18/1795.59	c   Constraints      : 168848 initial, 168848 maximal
1795.18/1795.59	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.18/1795.59	c   trivial          :       0.06       1308          0          0          0          0          0          0          0
1795.18/1795.59	c   dualfix          :       0.09        121          0          0          0          0          0          0          0
1795.18/1795.59	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.18/1795.59	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.18/1795.59	c   implics          :       1.15          0          0          0          0          0          0          0          0
1795.18/1795.59	c   probing          :    1773.21         27         17          0          0          0          0          0          0
1795.18/1795.59	c   knapsack         :       1.69          0          0          0          0          0          2         35        214
1795.18/1795.59	c   setppc           :       0.00          0          0          0          0          0          7          0          0
1795.18/1795.59	c   linear           :      14.07      12770       3928          0      14078          0      65316         46         42
1795.18/1795.59	c   logicor          :       0.45          0          0          0          0          0          0          0          0
1795.18/1795.59	c   root node        :          -          0          -          -          0          -          -          -          -
1795.18/1795.59	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.18/1795.59	c   integral         :          0          0          0          0          0          0          0          0          0          0
1795.18/1795.59	c   knapsack         :          0+         0      10930          0          0          4          0          0          0          0
1795.18/1795.59	c   setppc           :          0+         0      10926          0          0          0          0          0          0          0
1795.18/1795.59	c   linear           :          0+         0     102102          0          0          5          0          0          0          0
1795.18/1795.59	c   logicor          :          0+         0      10909          0          0          9          0          0          0          0
1795.18/1795.59	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1795.18/1795.59	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.18/1795.59	c   integral         :       0.00       0.00       0.00       0.00       0.00
1795.18/1795.59	c   knapsack         :       0.23       0.00       0.23       0.00       0.00
1795.18/1795.59	c   setppc           :       0.01       0.00       0.01       0.00       0.00
1795.18/1795.59	c   linear           :     888.37       0.00     888.37       0.00       0.00
1795.18/1795.59	c   logicor          :      24.24       0.00      24.24       0.00       0.00
1795.18/1795.59	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.18/1795.59	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.18/1795.59	c   rootredcost      :       0.01          0          0          0
1795.18/1795.59	c   pseudoobj        :       0.03          0          0          0
1795.18/1795.59	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.18/1795.59	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1795.18/1795.59	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1795.18/1795.59	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.18/1795.59	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.18/1795.59	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.18/1795.59	c   applied globally :          -          -          -          0        0.0          -          -          -
1795.18/1795.59	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.89/1796.21	c Time complete: 1795.89.

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11013
/proc/meminfo: memFree=28114968/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=8872 CPUtime=0 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 1559 0 0 0 0 0 0 0 20 0 1 0 342337195 9084928 1512 33554432000 4194304 7823515 140734369978064 140734369910056 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 2218 1512 354 887 0 1328 0

[startup+0.0226929 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11013
/proc/meminfo: memFree=28114968/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=12824 CPUtime=0.01 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 2543 0 0 0 1 0 0 0 20 0 1 0 342337195 13131776 2496 33554432000 4194304 7823515 140734369978064 140734369910056 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 3206 2496 354 887 0 2316 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12824

[startup+0.100292 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11013
/proc/meminfo: memFree=28114968/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=25832 CPUtime=0.09 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 5787 0 0 0 9 0 0 0 20 0 1 0 342337195 26451968 5740 33554432000 4194304 7823515 140734369978064 140734369910056 5879340 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 6458 5740 354 887 0 5568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25832

[startup+0.300333 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11013
/proc/meminfo: memFree=28114968/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=51588 CPUtime=0.29 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 12254 0 0 0 27 2 0 0 20 0 1 0 342337195 52826112 12207 33554432000 4194304 7823515 140734369978064 140734369910056 6908057 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 12897 12207 354 887 0 12007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51588

[startup+0.700347 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11013
/proc/meminfo: memFree=28114968/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=76116 CPUtime=0.69 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 18339 0 0 0 65 4 0 0 20 0 1 0 342337195 77942784 18292 33554432000 4194304 7823515 140734369978064 140734369910056 5874624 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 19029 18292 354 887 0 18139 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76116

[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11014
/proc/meminfo: memFree=28014776/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=194344 CPUtime=1.49 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 48029 0 0 0 141 8 0 0 20 0 1 0 342337195 199008256 47629 33554432000 4194304 7823515 140734369978064 140734369844168 6911832 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 48586 47660 367 887 0 47696 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 194344

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11014
/proc/meminfo: memFree=27765956/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=473720 CPUtime=3.09 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 117046 0 0 0 288 21 0 0 20 0 1 0 342337195 485089280 116645 33554432000 4194304 7823515 140734369978064 140734369975000 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 118430 116645 427 887 0 117540 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 473720

[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11014
/proc/meminfo: memFree=27454236/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=719000 CPUtime=6.29 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 177234 0 0 0 597 32 0 0 20 0 1 0 342337195 736256000 176833 33554432000 4194304 7823515 140734369978064 140734369975000 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 179750 176833 427 887 0 178860 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 719000

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=27262756/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=832024 CPUtime=12.69 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 203780 0 0 0 1224 45 0 0 20 0 1 0 342337195 851992576 203379 33554432000 4194304 7823515 140734369978064 140734369975000 5808261 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 208006 203379 432 887 0 207116 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 832024

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=27153504/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=891376 CPUtime=25.49 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 218197 0 0 0 2471 78 0 0 20 0 1 0 342337195 912769024 217687 33554432000 4194304 7823515 140734369978064 140734369974760 5803127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 222844 217687 440 887 0 221954 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 891376

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=27043980/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=921744 CPUtime=51.08 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 225093 0 0 0 5029 79 0 0 20 0 1 0 342337195 943865856 224583 33554432000 4194304 7823515 140734369978064 140734369974760 5803146 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 230436 224583 440 887 0 229546 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 921744

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=26873880/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1005092 CPUtime=102.28 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 245482 0 0 0 10145 83 0 0 20 0 1 0 342337195 1029214208 244972 33554432000 4194304 7823515 140734369978064 140734369974120 5803158 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 251273 244972 440 887 0 250383 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1005092

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=26698944/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1115392 CPUtime=162.27 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 272926 0 0 0 16139 88 0 0 20 0 1 0 342337195 1142161408 272416 33554432000 4194304 7823515 140734369978064 140734369974744 5066007 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 278848 272416 441 887 0 277958 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1115392

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=26467712/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1223920 CPUtime=222.26 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 299622 0 0 0 22132 94 0 0 20 0 1 0 342337195 1253294080 299112 33554432000 4194304 7823515 140734369978064 140734369974760 4800444 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 305980 299112 441 887 0 305090 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1223920

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=26236992/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1349176 CPUtime=282.24 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 330086 0 0 0 28124 100 0 0 20 0 1 0 342337195 1381556224 329576 33554432000 4194304 7823515 140734369978064 140734369974760 4842008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 337294 329576 441 887 0 336404 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1349176

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11016
/proc/meminfo: memFree=25993468/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1494676 CPUtime=342.24 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 366234 0 0 0 34117 107 0 0 20 0 1 0 342337195 1530548224 365724 33554432000 4194304 7823515 140734369978064 140734369974744 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 373669 365724 441 887 0 372779 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1494676

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11016
/proc/meminfo: memFree=25818672/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1598704 CPUtime=402.23 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 391932 0 0 0 40109 114 0 0 20 0 1 0 342337195 1637072896 391422 33554432000 4194304 7823515 140734369978064 140734369974744 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 399676 391422 441 887 0 398786 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1598704

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11016
/proc/meminfo: memFree=25651904/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1667196 CPUtime=462.22 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 409085 0 0 0 46102 120 0 0 20 0 1 0 342337195 1707208704 408575 33554432000 4194304 7823515 140734369978064 140734369974744 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 416799 408575 441 887 0 415909 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1667196

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11019
/proc/meminfo: memFree=25476232/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1746860 CPUtime=522.21 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 428916 0 0 0 52095 126 0 0 20 0 1 0 342337195 1788784640 428406 33554432000 4194304 7823515 140734369978064 140734369974744 5066048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 436715 428406 441 887 0 435825 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1746860

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11019
/proc/meminfo: memFree=25354360/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1793388 CPUtime=582.2 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 440560 0 0 0 58090 130 0 0 20 0 1 0 342337195 1836429312 440050 33554432000 4194304 7823515 140734369978064 140734369973928 5020793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 448347 440050 441 887 0 447457 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1793388

[startup+642.3 s]

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

/proc/meminfo: memFree=24084364/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2451112 CPUtime=1122.12 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 603562 0 0 0 112033 179 0 0 20 0 1 0 342337195 2509938688 603052 33554432000 4194304 7823515 140734369978064 140734369974744 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 612778 603052 446 887 0 611888 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2451112

[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 11062
/proc/meminfo: memFree=27660388/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2486448 CPUtime=1182.11 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 612396 0 0 0 118028 183 0 0 20 0 1 0 342337195 2546122752 611886 33554432000 4194304 7823515 140734369978064 140734369974744 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 621612 611886 446 887 0 620722 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2486448

[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 11063
/proc/meminfo: memFree=27174288/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2525640 CPUtime=1242.08 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 621832 0 0 0 124020 188 0 0 20 0 1 0 342337195 2586255360 621392 33554432000 4194304 7823515 140734369978064 140734369974744 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 631410 621392 446 887 0 630520 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 2525640

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11063
/proc/meminfo: memFree=26944652/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2610500 CPUtime=1302.07 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 643196 0 0 0 130011 196 0 0 20 0 1 0 342337195 2673152000 643026 33554432000 4194304 7823515 140734369978064 140734369974120 5061266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 652625 643026 446 887 0 651735 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2610500

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11063
/proc/meminfo: memFree=26700912/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2647656 CPUtime=1362.05 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 652636 0 0 0 136005 200 0 0 20 0 1 0 342337195 2711199744 652464 33554432000 4194304 7823515 140734369978064 140734369974744 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 661914 652464 446 887 0 661024 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2647656

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11063
/proc/meminfo: memFree=26410780/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2679960 CPUtime=1422.04 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 660655 0 0 0 142001 203 0 0 20 0 1 0 342337195 2744279040 660482 33554432000 4194304 7823515 140734369978064 140734369974744 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 669990 660482 446 887 0 669100 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2679960

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11063
/proc/meminfo: memFree=26097460/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2708128 CPUtime=1482.03 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 667523 0 0 0 147996 207 0 0 20 0 1 0 342337195 2773123072 667350 33554432000 4194304 7823515 140734369978064 140734369974744 4788458 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 677032 667350 446 887 0 676142 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2708128

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11064
/proc/meminfo: memFree=25796032/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2809416 CPUtime=1542.03 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 691495 0 0 0 153971 232 0 0 20 0 1 0 342337195 2876841984 693538 33554432000 4194304 7823515 140734369978064 140734369974760 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 702354 693538 466 887 0 701464 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2809416

[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 11064
/proc/meminfo: memFree=25569016/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2836248 CPUtime=1602.01 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 697684 0 0 0 159967 234 0 0 20 0 1 0 342337195 2904317952 699726 33554432000 4194304 7823515 140734369978064 140734369974760 4243040 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 709062 699726 466 887 0 708172 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 2836248

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11064
/proc/meminfo: memFree=25424512/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2904400 CPUtime=1662 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 714079 0 0 0 165962 238 0 0 20 0 1 0 342337195 2974105600 716466 33554432000 4194304 7823515 140734369978064 140734369974744 5803643 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 726100 716466 466 887 0 725210 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 2904400

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11067
/proc/meminfo: memFree=25342816/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2947868 CPUtime=1721.99 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 725122 0 0 0 171957 242 0 0 20 0 1 0 342337195 3018616832 727925 33554432000 4194304 7823515 140734369978064 140734369974760 4817351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 736967 727925 466 887 0 736077 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 2947868

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25188224/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=3028488 CPUtime=1781.98 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 744717 0 0 0 177951 247 0 0 20 0 1 0 342337195 3101171712 747692 33554432000 4194304 7823515 140734369978064 140734369974760 4788408 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 757122 747692 466 887 0 756232 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 3028488

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 11067
/proc/meminfo: memFree=25178908/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=3031432 CPUtime=1785.18 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 745370 0 0 0 178271 247 0 0 20 0 1 0 342337195 3104186368 748345 33554432000 4194304 7823515 140734369978064 140734369974744 4787288 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 757858 748345 466 887 0 756968 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 3031432

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25150016/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=3045532 CPUtime=1791.59 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 748612 0 0 0 178911 248 0 0 20 0 1 0 342337195 3118624768 751587 33554432000 4194304 7823515 140734369978064 140734369974760 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 761383 751587 466 887 0 760493 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 3045532

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25145288/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=3046548 CPUtime=1793.18 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 749121 0 0 0 179070 248 0 0 20 0 1 0 342337195 3119665152 752173 33554432000 4194304 7823515 140734369978064 140734369974760 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 761637 752173 466 887 0 760747 0
Current children cumulated CPU time (s) 1793.18
Current children cumulated vsize (KiB) 3046548

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25140576/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=3046548 CPUtime=1794.79 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 749154 0 0 0 179231 248 0 0 20 0 1 0 342337195 3119665152 752206 33554432000 4194304 7823515 140734369978064 140734369974760 5102447 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 761637 752206 466 887 0 760747 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 3046548

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25140576/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=3045380 CPUtime=1795.58 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 749436 0 0 0 179310 248 0 0 20 0 1 0 342337195 3118469120 752030 33554432000 4194304 7823515 140734369978064 140734369973576 4814162 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 761345 752030 476 887 0 760455 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 3045380

[startup+1796.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25140576/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2685040 CPUtime=1795.78 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 749438 0 0 0 179328 250 0 0 20 0 1 0 342337195 2749480960 667063 33554432000 4194304 7823515 140734369978064 140734369973576 5875083 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 671260 667063 478 887 0 670370 0
Current children cumulated CPU time (s) 1795.78
Current children cumulated vsize (KiB) 2685040

[startup+1796.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=27815592/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2660004 CPUtime=1795.89 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 749443 0 0 0 179328 261 0 0 20 0 1 0 342337195 2723844096 58689 33554432000 4194304 7823515 140734369978064 140734369973576 7132266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 665001 58689 483 887 0 664111 0
Current children cumulated CPU time (s) 1795.89
Current children cumulated vsize (KiB) 2660004

Child status: 0
Real time (s): 1796.22
CPU time (s): 1795.91
CPU user time (s): 1793.29
CPU system time (s): 2.6196
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 3047572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.29
system time used= 2.6196
maximum resident set size= 3009952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 749450
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= 62
involuntary context switches= 1841

runsolver used 3.80342 second user time and 8.81266 second system time

The end

Launcher Data

Begin job on node137 at 2012-06-04 00:22:07
IDJOB=3740498
IDBENCH=77618
IDSOLVER=2321
FILE ID=node137/3740498-1338762126
RUNJOBID= node137-1338748474-8627
PBS_JOBID= 14636788
Free space on /tmp= 70300 MiB

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

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

MD5SUM BENCH= d16d5193341210b17a0f2e49373cb527
RANDOM SEED=844128551

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28115380 kB
Buffers:          279320 kB
Cached:          1270248 kB
SwapCached:         5796 kB
Active:          3211444 kB
Inactive:         718308 kB
Active(anon):    2375176 kB
Inactive(anon):     7168 kB
Active(file):     836268 kB
Inactive(file):   711140 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             16676 kB
Writeback:            16 kB
AnonPages:       2442980 kB
Mapped:            11136 kB
Shmem:                 0 kB
Slab:             685112 kB
SReclaimable:     126116 kB
SUnreclaim:       558996 kB
KernelStack:        1440 kB
PageTables:         8972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2534172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70292 MiB
End job on node137 at 2012-06-04 00:52:03