Trace number 3740388

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.2 1795.52

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1204_1.std.opb
MD5SUM39f6007b4ce39f67a0f335ae8319bbe2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark74
Best CPU time to get the best result obtained on this benchmark0.292955
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234329
Number of constraints which are clauses233129
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint38
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.38/1.40	c SCIP version 1.1.0.7
1.38/1.40	c LP-Solver SoPlex 1.4.1
1.38/1.40	c user parameter file <scip.set> not found - using default parameters
1.38/1.40	c read problem <HOME/instance-3740388-1338760370.opb>
1.38/1.40	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234329 constraints
1.79/1.87	c start presolving problem
1.79/1.87	c presolving:
8.70/8.79	c (round 1) 4379 del vars, 12871 del conss, 2953 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16165154 impls, 0 clqs
12.69/12.74	c (round 2) 10955 del vars, 34436 del conss, 9145 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16192809 impls, 0 clqs
13.78/13.82	c (round 3) 12829 del vars, 44136 del conss, 10064 chg bounds, 37 chg sides, 27 chg coeffs, 0 upgd conss, 16202413 impls, 0 clqs
14.29/14.33	c (round 4) 13527 del vars, 46952 del conss, 10420 chg bounds, 50 chg sides, 54 chg coeffs, 0 upgd conss, 16206919 impls, 0 clqs
14.59/14.61	c (round 5) 13828 del vars, 48304 del conss, 10578 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 16208738 impls, 0 clqs
14.79/14.80	c (round 6) 13978 del vars, 48944 del conss, 10651 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 16209744 impls, 0 clqs
14.89/14.92	c (round 7) 14034 del vars, 49236 del conss, 10668 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 16210294 impls, 0 clqs
14.98/15.03	c (round 8) 14041 del vars, 49298 del conss, 10671 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 16210322 impls, 0 clqs
934.75/934.95	c    (932.0s) probing: 1000/58799 (1.7%) - 7 fixings, 1 aggregations, 10971543 implications, 0 bound changes
1615.54/1615.82	c    (1612.3s) probing: 2000/58799 (3.4%) - 8 fixings, 1 aggregations, 17117828 implications, 0 bound changes
1794.47/1794.85	c    (1791.1s) probing: 2281/58799 (3.9%) - 8 fixings, 1 aggregations, 18706403 implications, 0 bound changes
1794.47/1794.85	c    (1791.1s) probing aborted: solving stopped
1794.47/1794.85	c (round 9) 14052 del vars, 49314 del conss, 10672 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 77862098 impls, 0 clqs
1794.47/1794.85	c presolving (9 rounds):
1794.47/1794.85	c  14052 deleted vars, 49314 deleted constraints, 10672 tightened bounds, 0 added holes, 53 changed sides, 58 changed coefficients
1794.47/1794.85	c  77862098 implications, 0 cliques
1794.47/1794.85	c presolving was interrupted.
1794.47/1794.85	c Presolving Time: 1790.80
1794.47/1794.85	c OPT-LIN
1794.47/1794.85	c -----------------------------------------------------------------------------------------------
1794.47/1794.85	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1794.47/1794.85	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1794.47/1794.85	c limits/memory = c 13950
1794.47/1794.85	c # maximal time in seconds to run
1794.47/1794.85	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1794.47/1794.85	c limits/time = c 1791
1794.47/1794.85	c # frequency for displaying node information lines
1794.47/1794.85	c # [type: int, range: [-1,2147483647], default: 100]
1794.47/1794.85	c display/freq = c 10000
1794.47/1794.85	c -----------------------------------------------------------------------------------------------
1794.47/1794.85	c start solving problem
1794.47/1794.85	c presolving:
1794.47/1794.85	c presolving (9 rounds):
1794.47/1794.85	c  14052 deleted vars, 49314 deleted constraints, 10672 tightened bounds, 0 added holes, 53 changed sides, 58 changed coefficients
1794.47/1794.85	c  77862098 implications, 0 cliques
1794.47/1794.85	c presolving was interrupted.
1794.47/1794.85	c Presolving Time: 1790.80
1794.47/1794.85	c 
1794.47/1794.85	c SCIP Status        : solving was interrupted [time limit reached]
1794.47/1794.85	c Solving Time (sec) : 1791.11
1794.47/1794.85	c Solving Nodes      : 0
1794.47/1794.85	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1794.47/1794.85	c NODE         0
1794.47/1794.85	c DUAL BOUND   -1e+20
1794.47/1794.85	c PRIMAL BOUND 1e+20
1794.47/1794.85	c GAP          1e+20
1794.47/1794.85	s UNKNOWN
1794.47/1794.85	c SCIP Status        : solving was interrupted [time limit reached]
1794.47/1794.85	c Solving Time       :    1791.11
1794.47/1794.85	c Original Problem   :
1794.47/1794.85	c   Problem name     : HOME/instance-3740388-1338760370.opb
1794.47/1794.85	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.47/1794.85	c   Constraints      : 234329 initial, 234329 maximal
1794.47/1794.85	c Presolved Problem  :
1794.47/1794.85	c   Problem name     : t_HOME/instance-3740388-1338760370.opb
1794.47/1794.85	c   Variables        : 58790 (58790 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.47/1794.85	c   Constraints      : 185015 initial, 185015 maximal
1794.47/1794.85	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.47/1794.85	c   trivial          :       0.03       1025          0          0          0          0          0          0          0
1794.47/1794.85	c   dualfix          :       0.10        121          0          0          0          0          0          0          0
1794.47/1794.85	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.47/1794.85	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.47/1794.85	c   implics          :       0.47          0          0          0          0          0          0          0          0
1794.47/1794.85	c   probing          :    1777.95          8          1          0          0          0          0          0          0
1794.47/1794.85	c   linear           :      12.10       9647       3250          0      10672          0      49314         53         58
1794.47/1794.85	c   root node        :          -          0          -          -          0          -          -          -          -
1794.47/1794.85	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.47/1794.85	c   integral         :          0          0          0          0          0          0          0          0          0          0
1794.47/1794.85	c   linear           :          0+         0     109929          0          0          5          0          0          0          0
1794.47/1794.85	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1794.47/1794.85	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.47/1794.85	c   integral         :       0.00       0.00       0.00       0.00       0.00
1794.47/1794.85	c   linear           :    1062.16       0.00    1062.16       0.00       0.00
1794.47/1794.85	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.47/1794.85	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.47/1794.85	c   rootredcost      :       0.02          0          0          0
1794.47/1794.85	c   pseudoobj        :       0.00          0          0          0
1794.47/1794.85	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.47/1794.85	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1794.47/1794.85	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1794.47/1794.85	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.47/1794.85	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.47/1794.85	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.47/1794.85	c   applied globally :          -          -          -          0        0.0          -          -          -
1794.47/1794.85	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.17/1795.52	c Time complete: 1795.19.

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-3740388-1338760370/watcher-3740388-1338760370 -o /tmp/evaluation-result-3740388-1338760370/solver-3740388-1338760370 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740388-1338760370.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.01 2.01 2.00 3/176 3363
/proc/meminfo: memFree=30159476/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=8876 CPUtime=0 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 1559 0 0 0 0 0 0 0 20 0 1 0 342165613 9089024 1511 33554432000 4194304 7823515 140735856145472 140735856142184 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 2219 1511 354 887 0 1329 0

[startup+0.0434051 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3363
/proc/meminfo: memFree=30159476/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=16572 CPUtime=0.03 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 3493 0 0 0 3 0 0 0 20 0 1 0 342165613 16969728 3445 33554432000 4194304 7823515 140735856145472 140735856142184 4512305 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 4143 3445 354 887 0 3253 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16572

[startup+0.10034 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3363
/proc/meminfo: memFree=30159476/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=25836 CPUtime=0.09 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 5787 0 0 0 8 1 0 0 20 0 1 0 342165613 26456064 5739 33554432000 4194304 7823515 140735856145472 140735856142184 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 6459 5739 354 887 0 5569 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25836

[startup+0.300275 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3363
/proc/meminfo: memFree=30159476/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=51592 CPUtime=0.29 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 12255 0 0 0 27 2 0 0 20 0 1 0 342165613 52830208 12207 33554432000 4194304 7823515 140735856145472 140735856142184 4511625 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 12898 12207 354 887 0 12008 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51592

[startup+0.700272 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3363
/proc/meminfo: memFree=30159476/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=76120 CPUtime=0.69 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 18340 0 0 0 66 3 0 0 20 0 1 0 342165613 77946880 18292 33554432000 4194304 7823515 140735856145472 140735856011576 6908057 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 19030 18292 354 887 0 18140 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76120

[startup+1.50031 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3364
/proc/meminfo: memFree=30056184/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=213840 CPUtime=1.49 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 52942 0 0 0 140 9 0 0 20 0 1 0 342165613 218972160 52541 33554432000 4194304 7823515 140735856145472 140735856011576 6911743 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 53534 52573 370 887 0 52644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 213840

[startup+3.10031 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3364
/proc/meminfo: memFree=29799380/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=476268 CPUtime=3.09 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 117681 0 0 0 288 21 0 0 20 0 1 0 342165613 487698432 117279 33554432000 4194304 7823515 140735856145472 140735856142408 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 119067 117279 427 887 0 118177 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 476268

[startup+6.30032 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3364
/proc/meminfo: memFree=29490604/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=728920 CPUtime=6.29 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 178932 0 0 0 596 33 0 0 20 0 1 0 342165613 746414080 178530 33554432000 4194304 7823515 140735856145472 140735856142408 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 182230 178531 427 887 0 181340 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 728920

[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 3375
/proc/meminfo: memFree=29306812/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=838192 CPUtime=12.69 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 205297 0 0 0 1224 45 0 0 20 0 1 0 342165613 858308608 204895 33554432000 4194304 7823515 140735856145472 140735856142408 5417536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 209548 204895 432 887 0 208658 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 838192

[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 3375
/proc/meminfo: memFree=29162724/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=941496 CPUtime=25.49 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 229955 0 0 0 2478 71 0 0 20 0 1 0 342165613 964091904 229444 33554432000 4194304 7823515 140735856145472 140735856141336 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 235374 229444 440 887 0 234484 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 941496

[startup+51.1004 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 3375
/proc/meminfo: memFree=29035964/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=992560 CPUtime=51.08 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 241975 0 0 0 5035 73 0 0 20 0 1 0 342165613 1016381440 241464 33554432000 4194304 7823515 140735856145472 140735856141336 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 248140 241464 440 887 0 247250 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 992560

[startup+102.307 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 3375
/proc/meminfo: memFree=28767680/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=1078936 CPUtime=102.28 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 263216 0 0 0 10150 78 0 0 20 0 1 0 342165613 1104830464 262705 33554432000 4194304 7823515 140735856145472 140735856142168 5803104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 269734 262705 440 887 0 268844 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1078936

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3375
/proc/meminfo: memFree=28410216/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=1160000 CPUtime=162.26 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 283254 0 0 0 16144 82 0 0 20 0 1 0 342165613 1187840000 282743 33554432000 4194304 7823515 140735856145472 140735856142168 5802402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 290000 282743 440 887 0 289110 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1160000

[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 3375
/proc/meminfo: memFree=28061556/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=1284820 CPUtime=222.26 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 313836 0 0 0 22138 88 0 0 20 0 1 0 342165613 1315655680 313325 33554432000 4194304 7823515 140735856145472 140735856142152 5061266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 321205 313325 440 887 0 320315 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1284820

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 3375
/proc/meminfo: memFree=27861828/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=1334732 CPUtime=282.25 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 325858 0 0 0 28135 90 0 0 20 0 1 0 342165613 1366765568 325347 33554432000 4194304 7823515 140735856145472 140735856142168 5803635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 333683 325347 441 887 0 332793 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1334732

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3376
/proc/meminfo: memFree=27610128/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=1403264 CPUtime=342.24 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 343094 0 0 0 34131 93 0 0 20 0 1 0 342165613 1436942336 342583 33554432000 4194304 7823515 140735856145472 140735856141336 5803135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 350816 342583 441 887 0 349926 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1403264

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3376
/proc/meminfo: memFree=27113608/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=1571396 CPUtime=402.23 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 385023 0 0 0 40123 100 0 0 20 0 1 0 342165613 1609109504 384512 33554432000 4194304 7823515 140735856145472 140735856141336 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 392849 384512 441 887 0 391959 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1571396

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 3379
/proc/meminfo: memFree=26996076/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=1676812 CPUtime=462.21 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 410974 0 0 0 46117 104 0 0 20 0 1 0 342165613 1717055488 410463 33554432000 4194304 7823515 140735856145472 140735856142168 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 419203 410463 441 887 0 418313 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1676812

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3402
/proc/meminfo: memFree=26872916/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=1782068 CPUtime=522.21 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 437527 0 0 0 52110 111 0 0 20 0 1 0 342165613 1824837632 437016 33554432000 4194304 7823515 140735856145472 140735856142168 5020319 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 445517 437016 441 887 0 444627 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1782068

[startup+582.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 3402
/proc/meminfo: memFree=26764948/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=1887008 CPUtime=582.2 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 463555 0 0 0 58102 118 0 0 20 0 1 0 342165613 1932296192 463044 33554432000 4194304 7823515 140735856145472 140735856142712 5803146 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 471752 463044 441 887 0 470862 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1887008

[startup+642.3 s]

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

/proc/meminfo: memFree=26281120/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2348664 CPUtime=1062.12 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 578351 0 0 0 106056 156 0 0 20 0 1 0 342165613 2405031936 577840 33554432000 4194304 7823515 140735856145472 140735856142168 5066007 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 587166 577840 446 887 0 586276 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2348664

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3407
/proc/meminfo: memFree=26218660/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2411324 CPUtime=1122.12 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 593646 0 0 0 112050 162 0 0 20 0 1 0 342165613 2469195776 593135 33554432000 4194304 7823515 140735856145472 140735856142152 5061277 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 602831 593135 446 887 0 601941 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2411324

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3407
/proc/meminfo: memFree=26187440/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2441264 CPUtime=1182.11 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 600828 0 0 0 118046 165 0 0 20 0 1 0 342165613 2499854336 600317 33554432000 4194304 7823515 140735856145472 140735856142168 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 610316 600317 446 887 0 609426 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2441264

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3408
/proc/meminfo: memFree=26117656/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2509056 CPUtime=1242.1 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 617891 0 0 0 124040 170 0 0 20 0 1 0 342165613 2569273344 617380 33554432000 4194304 7823515 140735856145472 140735856142152 5020319 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 627264 617380 446 887 0 626374 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2509056

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3408
/proc/meminfo: memFree=26088172/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2538252 CPUtime=1302.1 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 624984 0 0 0 130037 173 0 0 20 0 1 0 342165613 2599170048 624473 33554432000 4194304 7823515 140735856145472 140735856142152 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 634563 624473 446 887 0 633673 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 2538252

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3408
/proc/meminfo: memFree=26054968/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2570724 CPUtime=1362.08 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 633079 0 0 0 136031 177 0 0 20 0 1 0 342165613 2632421376 632568 33554432000 4194304 7823515 140735856145472 140735856142152 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 642681 632568 446 887 0 641791 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2570724

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3408
/proc/meminfo: memFree=26021824/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2599988 CPUtime=1422.08 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 640376 0 0 0 142028 180 0 0 20 0 1 0 342165613 2662387712 639865 33554432000 4194304 7823515 140735856145472 140735856142152 5006720 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 649997 639865 446 887 0 649107 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2599988

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3408
/proc/meminfo: memFree=25997424/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2619964 CPUtime=1482.06 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 645662 0 0 0 148022 184 0 0 20 0 1 0 342165613 2682843136 645151 33554432000 4194304 7823515 140735856145472 140735856142152 5066048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 654991 645151 446 887 0 654101 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2619964

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3409
/proc/meminfo: memFree=25946852/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2656988 CPUtime=1542.05 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 654413 0 0 0 154016 189 0 0 20 0 1 0 342165613 2720755712 653902 33554432000 4194304 7823515 140735856145472 140735856142152 5066007 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 664247 653902 446 887 0 663357 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2656988

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3409
/proc/meminfo: memFree=25908316/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2681144 CPUtime=1602.04 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 660851 0 0 0 160011 193 0 0 20 0 1 0 342165613 2745491456 660340 33554432000 4194304 7823515 140735856145472 140735856142152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 670286 660340 446 887 0 669396 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2681144

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 3450
/proc/meminfo: memFree=27830732/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2718536 CPUtime=1662.02 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 669793 0 0 0 166004 198 0 0 20 0 1 0 342165613 2783780864 669355 33554432000 4194304 7823515 140735856145472 140735856142152 5061266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3363/statm: 679634 669355 446 887 0 678744 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2718536

[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 3450
/proc/meminfo: memFree=27655184/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2752804 CPUtime=1721.98 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 678870 0 0 0 171996 202 0 0 20 0 1 0 342165613 2818871296 678395 33554432000 4194304 7823515 140735856145472 140735856142152 5066015 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3363/statm: 688201 678395 446 887 0 687311 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 2752804

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3450
/proc/meminfo: memFree=27502320/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2788128 CPUtime=1781.98 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 688453 0 0 0 177991 207 0 0 20 0 1 0 342165613 2855043072 688256 33554432000 4194304 7823515 140735856145472 140735856141336 5066015 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3363/statm: 697032 688256 446 887 0 696142 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 2788128

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3450
/proc/meminfo: memFree=27496244/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2789148 CPUtime=1785.17 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 688971 0 0 0 178310 207 0 0 20 0 1 0 342165613 2856087552 688774 33554432000 4194304 7823515 140735856145472 140735856142168 5066015 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3363/statm: 697287 688774 446 887 0 696397 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 2789148

[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3450
/proc/meminfo: memFree=27483084/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2795176 CPUtime=1791.58 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 690100 0 0 0 178950 208 0 0 20 0 1 0 342165613 2862260224 689903 33554432000 4194304 7823515 140735856145472 140735856141528 5066015 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3363/statm: 698794 689903 446 887 0 697904 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 2795176

[startup+1793.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3450
/proc/meminfo: memFree=27481100/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2796188 CPUtime=1793.17 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 690208 0 0 0 179109 208 0 0 20 0 1 0 342165613 2863296512 690011 33554432000 4194304 7823515 140735856145472 140735856142152 5066015 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3363/statm: 699047 690011 446 887 0 698157 0
Current children cumulated CPU time (s) 1793.17
Current children cumulated vsize (KiB) 2796188

[startup+1794.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3450
/proc/meminfo: memFree=27472668/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2796188 CPUtime=1793.97 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 690310 0 0 0 179189 208 0 0 20 0 1 0 342165613 2863296512 690113 33554432000 4194304 7823515 140735856145472 140735856142152 5066015 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3363/statm: 699047 690113 446 887 0 698157 0
Current children cumulated CPU time (s) 1793.97
Current children cumulated vsize (KiB) 2796188

[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3450
/proc/meminfo: memFree=27470064/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=2799204 CPUtime=1794.78 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 690715 0 0 0 179270 208 0 0 20 0 1 0 342165613 2866384896 690518 33554432000 4194304 7823515 140735856145472 140735856142152 4211392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3363/statm: 699801 690518 456 887 0 698911 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 2799204

[startup+1795.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3450
/proc/meminfo: memFree=27470064/32873844 swapFree=7116/7116
[pid=3363] ppid=3361 vsize=744380 CPUtime=1795.17 cores=1,3,5,7
/proc/3363/stat : 3363 (pbscip.linux.x8) R 3361 3363 2584 0 -1 4202496 690724 0 0 0 179295 222 0 0 20 0 1 0 342165613 762245120 80688 33554432000 4194304 7823515 140735856145472 140735856142152 7132266 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3363/statm: 186095 80648 465 887 0 185205 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 744380

Child status: 0
Real time (s): 1795.52
CPU time (s): 1795.2
CPU user time (s): 1792.96
CPU system time (s): 2.24766
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 2799204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.96
system time used= 2.24766
maximum resident set size= 2762072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 690732
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= 65
involuntary context switches= 1847

runsolver used 3.11653 second user time and 8.59169 second system time

The end

Launcher Data 

Begin job on node103 at 2012-06-03 23:52:50
IDJOB=3740388
IDBENCH=77281
IDSOLVER=2321
FILE ID=node103/3740388-1338760370
RUNJOBID= node103-1338749472-2601
PBS_JOBID= 14636802
Free space on /tmp= 71104 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-j1204_1.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-3740388-1338760370/watcher-3740388-1338760370 -o /tmp/evaluation-result-3740388-1338760370/solver-3740388-1338760370 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740388-1338760370.opb

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

MD5SUM BENCH= 39f6007b4ce39f67a0f335ae8319bbe2
RANDOM SEED=215255468

node103.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.189
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	: 5332.37
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.189
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.189
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.189
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.189
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.189
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	: 5411.36
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.189
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.189
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:        30160012 kB
Buffers:          193036 kB
Cached:           378504 kB
SwapCached:         5648 kB
Active:          1559004 kB
Inactive:         380784 kB
Active(anon):    1365884 kB
Inactive(anon):     4740 kB
Active(file):     193120 kB
Inactive(file):   376044 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       1393664 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             633324 kB
SReclaimable:      74084 kB
SUnreclaim:       559240 kB
KernelStack:        1472 kB
PageTables:         6904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1514360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71092 MiB
End job on node103 at 2012-06-04 00:22:46