Trace number 2704964

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1790.06 1790.51

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3034_9.std.opb
MD5SUM377ee7208be6090fd498d8b22f3d2526
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark60
Best CPU time to get the best result obtained on this benchmark4.24735
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18662
Total number of constraints65679
Number of constraints which are clauses64479
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 constraint10
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2704964-1278582965.opb>
0.89/0.99	c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 65679 constraints
0.89/0.99	c problem read
0.89/0.99	c presolving settings loaded
1.29/1.32	c presolving:
5.40/5.50	c (round 1) 1336 del vars, 3534 del conss, 1003 chg bounds, 44 chg sides, 36 chg coeffs, 0 upgd conss, 4448200 impls, 0 clqs
6.69/6.70	c (round 2) 2558 del vars, 8878 del conss, 2113 chg bounds, 78 chg sides, 61 chg coeffs, 0 upgd conss, 4456006 impls, 0 clqs
6.99/7.03	c (round 3) 3045 del vars, 11144 del conss, 2400 chg bounds, 138 chg sides, 103 chg coeffs, 0 upgd conss, 4458955 impls, 0 clqs
7.09/7.18	c (round 4) 3201 del vars, 11935 del conss, 2500 chg bounds, 161 chg sides, 131 chg coeffs, 0 upgd conss, 4459798 impls, 0 clqs
7.19/7.25	c (round 5) 3255 del vars, 12220 del conss, 2526 chg bounds, 161 chg sides, 131 chg coeffs, 0 upgd conss, 4459975 impls, 0 clqs
7.29/7.30	c (round 6) 3267 del vars, 12295 del conss, 2529 chg bounds, 161 chg sides, 131 chg coeffs, 0 upgd conss, 4460029 impls, 0 clqs
7.29/7.35	c (round 7) 3267 del vars, 12304 del conss, 2529 chg bounds, 161 chg sides, 131 chg coeffs, 0 upgd conss, 4460029 impls, 0 clqs
7.70/7.76	c (round 8) 3267 del vars, 12304 del conss, 2529 chg bounds, 161 chg sides, 131 chg coeffs, 53375 upgd conss, 4460029 impls, 0 clqs
7.99/8.04	c (round 9) 3267 del vars, 12313 del conss, 2529 chg bounds, 189 chg sides, 1066 chg coeffs, 53375 upgd conss, 4461043 impls, 1249 clqs
8.19/8.26	c (round 10) 3267 del vars, 12327 del conss, 2529 chg bounds, 575 chg sides, 2470 chg coeffs, 53375 upgd conss, 4461043 impls, 1404 clqs
8.39/8.45	c (round 11) 3267 del vars, 12327 del conss, 2529 chg bounds, 822 chg sides, 3023 chg coeffs, 53375 upgd conss, 4461043 impls, 1427 clqs
476.96/477.13	c    (476.1s) probing: 1000/15395 (6.5%) - 0 fixings, 0 aggregations, 4457462 implications, 0 bound changes
962.45/962.78	c    (961.8s) probing: 2000/15395 (13.0%) - 3 fixings, 1 aggregations, 7969312 implications, 0 bound changes
1395.35/1395.75	c    (1394.8s) probing: 3000/15395 (19.5%) - 15 fixings, 5 aggregations, 10958142 implications, 2 bound changes
1736.66/1737.15	c    (1736.2s) probing: 4000/15395 (26.0%) - 15 fixings, 11 aggregations, 13462726 implications, 2 bound changes
1789.54/1790.06	c    (1789.1s) probing: 4171/15395 (27.1%) - 15 fixings, 12 aggregations, 13896521 implications, 2 bound changes
1789.54/1790.06	c    (1789.1s) probing aborted: solving stopped
1789.54/1790.07	c (round 12) 3294 del vars, 12327 del conss, 2531 chg bounds, 824 chg sides, 3031 chg coeffs, 53375 upgd conss, 40645397 impls, 1427 clqs
1789.54/1790.07	c presolving (12 rounds):
1789.54/1790.07	c  3294 deleted vars, 12327 deleted constraints, 2531 tightened bounds, 0 added holes, 824 changed sides, 3031 changed coefficients
1789.54/1790.07	c  40645397 implications, 1427 cliques
1789.54/1790.07	c presolving was interrupted.
1789.54/1790.07	c Presolving Time: 1788.86
1789.54/1790.07	c - non default parameters ----------------------------------------------------------------------
1789.54/1790.07	c # SCIP version 1.2.1.3
1789.54/1790.07	c 
1789.54/1790.07	c # frequency for displaying node information lines
1789.54/1790.07	c # [type: int, range: [-1,2147483647], default: 100]
1789.54/1790.07	c display/freq = 10000
1789.54/1790.07	c 
1789.54/1790.07	c # maximal time in seconds to run
1789.54/1790.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.54/1790.07	c limits/time = 1789.01
1789.54/1790.07	c 
1789.54/1790.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.54/1790.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.54/1790.07	c limits/memory = 1620
1789.54/1790.07	c 
1789.54/1790.07	c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.54/1790.07	c # [type: int, range: [1,2], default: 1]
1789.54/1790.07	c timing/clocktype = 2
1789.54/1790.07	c 
1789.54/1790.07	c # should presolving try to simplify inequalities
1789.54/1790.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.54/1790.07	c constraints/linear/simplifyinequalities = TRUE
1789.54/1790.07	c 
1789.54/1790.07	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.54/1790.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.54/1790.07	c constraints/indicator/addCouplingCons = TRUE
1789.54/1790.07	c 
1789.54/1790.07	c # should presolving try to simplify knapsacks
1789.54/1790.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.54/1790.07	c constraints/knapsack/simplifyinequalities = TRUE
1789.54/1790.07	c 
1789.54/1790.07	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.54/1790.07	c # [type: int, range: [-1,2147483647], default: -1]
1789.54/1790.07	c separating/rapidlearning/freq = 0
1789.54/1790.07	c 
1789.54/1790.07	c -----------------------------------------------------------------------------------------------
1789.54/1790.07	c start solving
1789.54/1790.09	c presolving:
1789.54/1790.09	c presolving (12 rounds):
1789.54/1790.09	c  3294 deleted vars, 12327 deleted constraints, 2531 tightened bounds, 0 added holes, 824 changed sides, 3031 changed coefficients
1789.54/1790.09	c  40645397 implications, 1427 cliques
1789.54/1790.09	c presolving was interrupted.
1789.54/1790.09	c Presolving Time: 1788.89
1789.54/1790.09	c 
1789.54/1790.09	c SCIP Status        : solving was interrupted [time limit reached]
1789.54/1790.09	c Solving Time (sec) : 1789.10
1789.54/1790.09	c Solving Nodes      : 0
1789.54/1790.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.54/1790.09	s UNKNOWN
1789.54/1790.09	c SCIP Status        : solving was interrupted [time limit reached]
1789.54/1790.09	c Solving Time       :    1789.10
1789.54/1790.09	c Original Problem   :
1789.54/1790.09	c   Problem name     : HOME/instance-2704964-1278582965.opb
1789.54/1790.09	c   Variables        : 18662 (18662 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.09	c   Constraints      : 65679 initial, 65679 maximal
1789.54/1790.09	c Presolved Problem  :
1789.54/1790.09	c   Problem name     : t_HOME/instance-2704964-1278582965.opb
1789.54/1790.09	c   Variables        : 15368 (15368 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.09	c   Constraints      : 53708 initial, 53708 maximal
1789.54/1790.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.54/1790.09	c   trivial          :       0.04        194          0          0          0          0          0          0          0
1789.54/1790.09	c   dualfix          :       0.06         31          0          0          0          0          0          0          0
1789.54/1790.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.09	c   implics          :       0.28          0          0          0          0          0          0          0          0
1789.54/1790.09	c   probing          :    1781.43         15         12          0          2          0          0          0          0
1789.54/1790.09	c   knapsack         :       0.34          0          0          0          0          0         22        663       2900
1789.54/1790.09	c   setppc           :       0.32          0          0          0          0          0          1          0          0
1789.54/1790.09	c   linear           :       6.06       2335        707          0       2529          0      12304        161        131
1789.54/1790.09	c   logicor          :       0.11          0          0          0          0          0          0          0          0
1789.54/1790.09	c   root node        :          -          0          -          -          0          -          -          -          -
1789.54/1790.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.54/1790.09	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.54/1790.09	c   knapsack         :          0+         0     230649          0          0          1          0          0          0          0
1789.54/1790.09	c   setppc           :          0+         0     230648          0          0          2          0          0          0          0
1789.54/1790.09	c   linear           :          0+         0          0          0          0          0          0          0          0          0
1789.54/1790.09	c   logicor          :          0+         0     208957          0          0          0          0          0          0          0
1789.54/1790.09	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.54/1790.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.54/1790.09	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.54/1790.09	c   knapsack         :      26.22       0.00      26.22       0.00       0.00
1789.54/1790.09	c   setppc           :    1268.50       0.00    1268.50       0.00       0.00
1789.54/1790.09	c   linear           :       0.00       0.00       0.00       0.00       0.00
1789.54/1790.09	c   logicor          :      12.54       0.00      12.54       0.00       0.00
1789.54/1790.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.54/1790.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.54/1790.09	c   vbounds          :       0.21          1          0          0
1789.54/1790.09	c   rootredcost      :       0.18          0          0          0
1789.54/1790.09	c   pseudoobj        :       0.11          0          0          0
1789.54/1790.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.54/1790.09	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.54/1790.09	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.54/1790.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.54/1790.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.54/1790.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.54/1790.09	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.54/1790.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.50	c Time complete: 1790.05.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704964-1278582965/watcher-2704964-1278582965 -o /tmp/evaluation-result-2704964-1278582965/solver-2704964-1278582965 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704964-1278582965.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 28412
/proc/meminfo: memFree=1831296/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=7904 CPUtime=0
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 1064 0 0 0 0 0 0 0 20 0 1 0 26503286 8093696 975 1992294400 4194304 8395647 140733422491760 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28412/statm: 1976 983 365 1026 0 946 0

[startup+0.0363829 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 28412
/proc/meminfo: memFree=1831296/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=12848 CPUtime=0.02
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 2475 0 0 0 2 0 0 0 20 0 1 0 26503286 13156352 2386 1992294400 4194304 8395647 140733422491760 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28412/statm: 3212 2398 393 1026 0 2182 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12848

[startup+0.101387 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 28412
/proc/meminfo: memFree=1831296/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=18376 CPUtime=0.09
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 3872 0 0 0 8 1 0 0 20 0 1 0 26503286 18817024 3783 1992294400 4194304 8395647 140733422491760 18446744073709551615 7324701 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28412/statm: 4594 3783 393 1026 0 3564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18376

[startup+0.301405 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 28412
/proc/meminfo: memFree=1831296/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=25056 CPUtime=0.29
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 5571 0 0 0 27 2 0 0 20 0 1 0 26503286 25657344 5482 1992294400 4194304 8395647 140733422491760 18446744073709551615 7361725 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28412/statm: 6264 5482 393 1026 0 5234 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25056

[startup+0.701441 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 28412
/proc/meminfo: memFree=1831296/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=37336 CPUtime=0.69
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 8628 0 0 0 66 3 0 0 20 0 1 0 26503286 38232064 8539 1992294400 4194304 8395647 140733422491760 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28412/statm: 9334 8539 393 1026 0 8304 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37336

[startup+1.50151 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28413
/proc/meminfo: memFree=1787516/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=119244 CPUtime=1.49
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 28726 0 0 0 138 11 0 0 22 0 1 0 26503286 122105856 28283 1992294400 4194304 8395647 140733422491760 18446744073709551615 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 29811 28294 463 1026 0 28781 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119244

[startup+3.10166 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28413
/proc/meminfo: memFree=1684100/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=193748 CPUtime=3.09
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 47520 0 0 0 292 17 0 0 25 0 1 0 26503286 198397952 47077 1992294400 4194304 8395647 140733422491760 18446744073709551615 7385221 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 48437 47077 469 1026 0 47407 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 193748

[startup+6.30094 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28415
/proc/meminfo: memFree=1588000/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=255108 CPUtime=6.29
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 61961 0 0 0 607 22 0 0 25 0 1 0 26503286 261230592 61518 1992294400 4194304 8395647 140733422491760 18446744073709551615 4247653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 63777 61518 475 1026 0 62747 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 255108

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28415
/proc/meminfo: memFree=1532324/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=313156 CPUtime=12.68
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 77656 0 0 0 1241 27 0 0 25 0 1 0 26503286 320671744 75513 1992294400 4194304 8395647 140733422491760 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 78289 75513 514 1026 0 77259 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 313156

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28415
/proc/meminfo: memFree=1502936/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=344496 CPUtime=25.48
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 84549 0 0 0 2519 29 0 0 25 0 1 0 26503286 352763904 82406 1992294400 4194304 8395647 140733422491760 18446744073709551615 4910721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 86124 82406 514 1026 0 85094 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 344496

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28415
/proc/meminfo: memFree=1455692/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=390844 CPUtime=51.08
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 96319 0 0 0 5074 34 0 0 25 0 1 0 26503286 400224256 94176 1992294400 4194304 8395647 140733422491760 18446744073709551615 6080375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 97711 94176 514 1026 0 96681 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 390844

[startup+102.309 s]
/proc/loadavg: 1.04 1.01 0.96 2/107 28417
/proc/meminfo: memFree=1352524/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=497300 CPUtime=102.27
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 122263 0 0 0 10184 43 0 0 25 0 1 0 26503286 509235200 120120 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 124325 120120 514 1026 0 123295 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 497300

[startup+162.301 s]
/proc/loadavg: 1.05 1.02 0.97 2/107 28419
/proc/meminfo: memFree=1257292/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=594848 CPUtime=162.25
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 146147 0 0 0 16172 53 0 0 25 0 1 0 26503286 609124352 144004 1992294400 4194304 8395647 140733422491760 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 148712 144004 514 1026 0 147682 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 594848

[startup+222.301 s]
/proc/loadavg: 1.17 1.06 0.98 2/107 28419
/proc/meminfo: memFree=1211908/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=638376 CPUtime=222.24
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 157104 0 0 0 22167 57 0 0 25 0 1 0 26503286 653697024 154961 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 159594 154961 514 1026 0 158564 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 638376

[startup+282.301 s]
/proc/loadavg: 1.06 1.05 0.98 2/107 28421
/proc/meminfo: memFree=1163176/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=683132 CPUtime=282.23
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 169321 0 0 0 28160 63 0 0 25 0 1 0 26503286 699527168 167178 1992294400 4194304 8395647 140733422491760 18446744073709551615 4228079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 170783 167178 514 1026 0 169753 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 683132

[startup+342.301 s]
/proc/loadavg: 1.02 1.04 0.98 2/107 28432
/proc/meminfo: memFree=1134224/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=714416 CPUtime=342.2
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 176361 0 0 0 34154 66 0 0 25 0 1 0 26503286 731561984 174218 1992294400 4194304 8395647 140733422491760 18446744073709551615 4910721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 178604 174218 514 1026 0 177574 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 714416

[startup+402.301 s]
/proc/loadavg: 1.01 1.03 0.98 2/107 28434
/proc/meminfo: memFree=1101116/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=745936 CPUtime=402.18
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 184714 0 0 0 40149 69 0 0 25 0 1 0 26503286 763838464 182571 1992294400 4194304 8395647 140733422491760 18446744073709551615 5211811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 186484 182571 514 1026 0 185454 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 745936

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 0.98 2/107 28436
/proc/meminfo: memFree=1066644/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=780388 CPUtime=462.17
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 193243 0 0 0 46144 73 0 0 25 0 1 0 26503286 799117312 191100 1992294400 4194304 8395647 140733422491760 18446744073709551615 5211842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 195097 191100 514 1026 0 194067 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 780388

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 0.98 2/107 28436
/proc/meminfo: memFree=1039116/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=807628 CPUtime=522.16
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 200112 0 0 0 52139 77 0 0 25 0 1 0 26503286 827011072 197969 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 201907 197969 519 1026 0 200877 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 807628

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 28438
/proc/meminfo: memFree=1005884/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=841124 CPUtime=582.14
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 208390 0 0 0 58134 80 0 0 25 0 1 0 26503286 861310976 206247 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 210281 206247 519 1026 0 209251 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 841124

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28440
/proc/meminfo: memFree=975752/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=871536 CPUtime=642.13
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 215866 0 0 0 64129 84 0 0 25 0 1 0 26503286 892452864 213723 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 217884 213723 519 1026 0 216854 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 871536

[startup+702.301 s]

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

/proc/meminfo: memFree=795704/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1050652 CPUtime=1002.04
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 260790 0 0 0 100101 103 0 0 25 0 1 0 26503286 1075867648 258647 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 262663 258647 519 1026 0 261633 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1050652

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28452
/proc/meminfo: memFree=759496/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1088056 CPUtime=1062.02
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 269873 0 0 0 106095 107 0 0 25 0 1 0 26503286 1114169344 267730 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 272014 267730 519 1026 0 270984 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1088056

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28452
/proc/meminfo: memFree=729612/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1118140 CPUtime=1122.01
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 277300 0 0 0 112091 110 0 0 25 0 1 0 26503286 1144975360 275157 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 279535 275157 519 1026 0 278505 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1118140

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28454
/proc/meminfo: memFree=702208/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1146376 CPUtime=1182
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 284209 0 0 0 118086 114 0 0 25 0 1 0 26503286 1173889024 282066 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 286594 282066 519 1026 0 285564 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1146376

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28456
/proc/meminfo: memFree=671580/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1173560 CPUtime=1241.98
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 291720 0 0 0 124082 116 0 0 25 0 1 0 26503286 1201725440 289577 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 293390 289577 519 1026 0 292360 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1173560

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28458
/proc/meminfo: memFree=638224/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1208744 CPUtime=1301.97
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 300045 0 0 0 130077 120 0 0 25 0 1 0 26503286 1237753856 297902 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 302186 297902 519 1026 0 301156 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1208744

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28460
/proc/meminfo: memFree=594328/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1251984 CPUtime=1361.95
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 311019 0 0 0 136070 125 0 0 25 0 1 0 26503286 1282031616 308876 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 312996 308876 519 1026 0 311966 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1251984

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28462
/proc/meminfo: memFree=564196/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1282224 CPUtime=1421.94
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 318455 0 0 0 142066 128 0 0 25 0 1 0 26503286 1312997376 316312 1992294400 4194304 8395647 140733422491760 18446744073709551615 4715374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 320556 316312 519 1026 0 319526 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1282224

[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 0.99 2/107 28465
/proc/meminfo: memFree=527308/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1321484 CPUtime=1481.92
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 327615 0 0 0 148060 132 0 0 25 0 1 0 26503286 1353199616 325472 1992294400 4194304 8395647 140733422491760 18446744073709551615 5211803 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 330371 325472 519 1026 0 329341 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1321484

[startup+1542.3 s]
/proc/loadavg: 1.01 1.01 0.99 2/107 28467
/proc/meminfo: memFree=498416/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1345600 CPUtime=1541.91
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 334781 0 0 0 154055 136 0 0 25 0 1 0 26503286 1377894400 332638 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 336400 332638 519 1026 0 335370 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1345600

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28469
/proc/meminfo: memFree=469524/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1374736 CPUtime=1601.89
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 342036 0 0 0 160050 139 0 0 25 0 1 0 26503286 1407729664 339893 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 343684 339893 519 1026 0 342654 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1374736

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28471
/proc/meminfo: memFree=434308/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1412896 CPUtime=1661.88
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 350799 0 0 0 166045 143 0 0 25 0 1 0 26503286 1446805504 348656 1992294400 4194304 8395647 140733422491760 18446744073709551615 6014228 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 353224 348656 519 1026 0 352194 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1412896

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28471
/proc/meminfo: memFree=397604/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1451044 CPUtime=1721.87
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 359969 0 0 0 172040 147 0 0 25 0 1 0 26503286 1485869056 357826 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 362761 357826 519 1026 0 361731 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1451044

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28473
/proc/meminfo: memFree=357304/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1489248 CPUtime=1781.85
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 370339 0 0 0 178035 150 0 0 25 0 1 0 26503286 1524989952 368196 1992294400 4194304 8395647 140733422491760 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 372312 368196 519 1026 0 371282 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1489248

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28473
/proc/meminfo: memFree=354700/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1491272 CPUtime=1785.04
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 370713 0 0 0 178354 150 0 0 25 0 1 0 26503286 1527062528 368570 1992294400 4194304 8395647 140733422491760 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 372818 368570 519 1026 0 371788 0
Current children cumulated CPU time (s) 1785.04
Current children cumulated vsize (KiB) 1491272

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28473
/proc/meminfo: memFree=352468/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1493292 CPUtime=1788.24
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 371227 0 0 0 178674 150 0 0 25 0 1 0 26503286 1529131008 369084 1992294400 4194304 8395647 140733422491760 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 373323 369084 519 1026 0 372293 0
Current children cumulated CPU time (s) 1788.24
Current children cumulated vsize (KiB) 1493292

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28473
/proc/meminfo: memFree=352468/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1495272 CPUtime=1789.04
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 371462 0 0 0 178754 150 0 0 25 0 1 0 26503286 1531158528 369319 1992294400 4194304 8395647 140733422491760 18446744073709551615 6080657 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28412/statm: 373818 369319 519 1026 0 372788 0
Current children cumulated CPU time (s) 1789.04
Current children cumulated vsize (KiB) 1495272

[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28473
/proc/meminfo: memFree=351228/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=1496296 CPUtime=1789.85
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 371871 0 0 0 178834 151 0 0 25 0 1 0 26503286 1532207104 366784 1992294400 4194304 8395647 140733422491760 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28412/statm: 369813 366784 526 1026 0 368783 0
Current children cumulated CPU time (s) 1789.85
Current children cumulated vsize (KiB) 1496296

[startup+1790.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28473
/proc/meminfo: memFree=351228/2059040 swapFree=4140064/4192956
[pid=28412] ppid=28410 vsize=41612 CPUtime=1790.04
/proc/28412/stat : 28412 (pbscip.linux.x8) R 28410 28412 27876 0 -1 4202496 371876 0 0 0 178838 166 0 0 25 0 1 0 26503286 42610688 7145 1992294400 4194304 8395647 140733422491760 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28412/statm: 10403 7145 531 1026 0 9373 0
Current children cumulated CPU time (s) 1790.04
Current children cumulated vsize (KiB) 41612

Child status: 0
Real time (s): 1790.51
CPU time (s): 1790.06
CPU user time (s): 1788.39
CPU system time (s): 1.66975
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1496296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.39
system time used= 1.66975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371884
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= 3
involuntary context switches= 3289

runsolver used 2.84357 second user time and 8.5597 second system time

The end

Launcher Data 

Begin job on node051 at 2010-07-08 11:56:06
IDJOB=2704964
IDBENCH=78553
IDSOLVER=1213
FILE ID=node051/2704964-1278582965
PBS_JOBID= 11240075
Free space on /tmp= 62516 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 377ee7208be6090fd498d8b22f3d2526
RANDOM SEED=1340006463

node051.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1831884 kB
Buffers:         25456 kB
Cached:         114132 kB
SwapCached:       6140 kB
Active:          45860 kB
Inactive:       107924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1831884 kB
SwapTotal:     4192956 kB
SwapFree:      4140064 kB
Dirty:           12176 kB
Writeback:           0 kB
AnonPages:       12536 kB
Mapped:          12064 kB
Slab:            51476 kB
PageTables:       4212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181264 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62504 MiB
End job on node051 at 2010-07-08 12:25:56