Trace number 3450819

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
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1802.12 1802.06

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir08_area_partials.opb
MD5SUM7a3c9826bd8191760f7756d2d26889fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark49
Best CPU time to get the best result obtained on this benchmark452.675
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 49
Optimality of the best value was proved YES
Number of variables40727
Total number of constraints174550
Number of constraints which are clauses174550
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint1018
Number of terms in the objective function 1821
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1821
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1821
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 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-3450819-1307100435.opb>
1.19/1.27	c original problem has 40727 variables (40727 bin, 0 int, 0 impl, 0 cont) and 174550 constraints
1.19/1.27	c problem read
1.19/1.27	c presolving settings loaded
1.59/1.64	o 1821
1.59/1.64	c feasible solution found by trivial heuristic, objective value  1.821000e+03
1.59/1.64	c presolving:
3.69/3.72	c (round 1) 1120 del vars, 2198 del conss, 0 add conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4318374 impls, 0 clqs
4.19/4.29	c (round 2) 1123 del vars, 2198 del conss, 0 add conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 172318 upgd conss, 4318374 impls, 0 clqs
4.49/4.52	c (round 3) 1123 del vars, 2198 del conss, 0 add conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 172352 upgd conss, 4318374 impls, 0 clqs
25.09/25.12	c    (25.1s) probing: 635/39604 (1.6%) - 0 fixings, 9 aggregations, 8973 implications, 0 bound changes
25.09/25.12	c    (25.1s) probing aborted: 100/100 successive totally useless probings
25.09/25.12	c (round 4) 1132 del vars, 2198 del conss, 0 add conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 172352 upgd conss, 4329872 impls, 0 clqs
25.20/25.27	c (round 5) 1132 del vars, 2225 del conss, 0 add conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 172352 upgd conss, 4329872 impls, 0 clqs
25.59/25.68	c    (25.7s) probing: 645/39604 (1.6%) - 0 fixings, 9 aggregations, 8973 implications, 0 bound changes
25.59/25.68	c    (25.7s) probing aborted: 100/100 successive totally useless probings
25.59/25.69	c presolving (6 rounds):
25.59/25.69	c  1132 deleted vars, 2225 deleted constraints, 0 added constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
25.59/25.69	c  4329872 implications, 0 cliques
25.59/25.69	c presolved problem has 39595 variables (39595 bin, 0 int, 0 impl, 0 cont) and 172325 constraints
25.59/25.69	c  134486 constraints of type <setppc>
25.59/25.69	c   37839 constraints of type <logicor>
25.59/25.69	c transformed objective value is always integral (scale: 1)
25.59/25.69	c Presolving Time: 24.15
25.59/25.69	c - non default parameters ----------------------------------------------------------------------
25.59/25.69	c # SCIP version 2.0.1.5
25.59/25.69	c 
25.59/25.69	c # frequency for displaying node information lines
25.59/25.69	c # [type: int, range: [-1,2147483647], default: 100]
25.59/25.69	c display/freq = 10000
25.59/25.69	c 
25.59/25.69	c # maximal time in seconds to run
25.59/25.69	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.59/25.69	c limits/time = 1800
25.59/25.69	c 
25.59/25.69	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
25.59/25.69	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.59/25.69	c limits/memory = 13950
25.59/25.69	c 
25.59/25.69	c # default clock type (1: CPU user seconds, 2: wall clock time)
25.59/25.69	c # [type: int, range: [1,2], default: 1]
25.59/25.69	c timing/clocktype = 2
25.59/25.69	c 
25.59/25.69	c # belongs reading time to solving time?
25.59/25.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.59/25.69	c timing/reading = TRUE
25.59/25.69	c 
25.59/25.69	c # should presolving try to simplify inequalities
25.59/25.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.59/25.69	c constraints/linear/simplifyinequalities = TRUE
25.59/25.69	c 
25.59/25.69	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
25.59/25.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.59/25.69	c constraints/indicator/addCouplingCons = TRUE
25.59/25.69	c 
25.59/25.69	c # should presolving try to simplify knapsacks
25.59/25.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.59/25.69	c constraints/knapsack/simplifyinequalities = TRUE
25.59/25.69	c 
25.59/25.69	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
25.59/25.69	c # [type: int, range: [-1,2147483647], default: -1]
25.59/25.69	c separating/rapidlearning/freq = 0
25.59/25.69	c 
25.59/25.69	c -----------------------------------------------------------------------------------------------
25.59/25.69	c start solving
25.69/25.70	c 
25.69/25.76	o 1818
25.69/25.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
25.69/25.76	c t25.8s|     1 |     0 |     0 |     - | 313M|   0 |   - |  39k| 172k|   0 |   0 |   0 |   0 |   0 |      --      | 1.818000e+03 |    Inf 
26.19/26.20	o 1733
26.19/26.20	c b26.2s|     1 |     0 |     0 |     - | 412M|   0 |   - |  39k| 172k|  39k| 172k|   0 |   0 |   0 |      --      | 1.733000e+03 |    Inf 
49.89/49.90	c  49.9s|     1 |     0 | 11750 |     - | 411M|   0 | 567 |  39k| 172k|  39k| 172k|   0 |   0 |   0 | 4.845000e+01 | 1.733000e+03 |3476.88%
95.40/95.44	c  95.4s|     1 |     0 | 14566 |     - | 419M|   0 | 717 |  39k| 172k|  39k| 172k|   2 |   0 |   0 | 4.853069e+01 | 1.733000e+03 |3470.94%
378.60/378.63	c   379s|     1 |     0 | 18377 |     - | 419M|   0 | 711 |  39k| 172k|  39k| 172k|   3 |   0 |   0 | 4.900000e+01 | 1.733000e+03 |3436.73%
736.82/736.80	c   737s|     1 |     0 | 27097 |     - | 421M|   0 | 857 |  39k| 172k|  39k| 172k|   4 |   0 |   0 | 4.900000e+01 | 1.733000e+03 |3436.73%
1180.72/1180.78	c  1181s|     1 |     2 | 27097 |     - | 421M|   0 | 857 |  39k| 172k|  39k| 172k|   4 |   0 |  20 | 4.900000e+01 | 1.733000e+03 |3436.73%

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 2/575 24523
/proc/meminfo: memFree=23439048/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=15676 CPUtime=0.01 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 2918 0 0 0 1 0 0 0 25 0 1 0 821641252 16052224 2870 33554432000 4194304 9163163 140735506340816 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24523/statm: 3919 2870 395 1214 0 2701 0

[startup+0.0268989 s]
/proc/loadavg: 2.00 2.02 2.00 2/575 24523
/proc/meminfo: memFree=23439048/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=18540 CPUtime=0.02 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 3622 0 0 0 2 0 0 0 25 0 1 0 821641252 18984960 3574 33554432000 4194304 9163163 140735506340816 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24523/statm: 4635 3574 395 1214 0 3417 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18540

[startup+0.100916 s]
/proc/loadavg: 2.00 2.02 2.00 2/575 24523
/proc/meminfo: memFree=23439048/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=26904 CPUtime=0.09 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 5699 0 0 0 9 0 0 0 25 0 1 0 821641252 27549696 5651 33554432000 4194304 9163163 140735506340816 18446744073709551615 6922376 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24523/statm: 6726 5651 395 1214 0 5508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26904

[startup+0.300838 s]
/proc/loadavg: 2.00 2.02 2.00 2/575 24523
/proc/meminfo: memFree=23439048/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=46500 CPUtime=0.29 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 10597 0 0 0 28 1 0 0 25 0 1 0 821641252 47616000 10549 33554432000 4194304 9163163 140735506340816 18446744073709551615 8031863 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24523/statm: 11625 10549 395 1214 0 10407 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46500

[startup+0.700804 s]
/proc/loadavg: 2.00 2.02 2.00 2/575 24523
/proc/meminfo: memFree=23439048/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=79156 CPUtime=0.69 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 18782 0 0 0 67 2 0 0 25 0 1 0 821641252 81055744 18734 33554432000 4194304 9163163 140735506340816 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24523/statm: 19789 18734 395 1214 0 18571 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79156

[startup+1.50067 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 24524
/proc/meminfo: memFree=23349632/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=236276 CPUtime=1.49 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 57702 0 0 0 143 6 0 0 25 0 1 0 821641252 241946624 57634 33554432000 4194304 9163163 140735506340816 18446744073709551615 8039298 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 59069 57634 439 1214 0 57851 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 236276

[startup+3.10037 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 24524
/proc/meminfo: memFree=23153464/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=371956 CPUtime=3.09 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 89749 0 0 0 299 10 0 0 25 0 1 0 821641252 380882944 89681 33554432000 4194304 9163163 140735506340816 18446744073709551615 6567850 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 92989 89681 520 1214 0 91771 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 371956

[startup+6.30079 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 24524
/proc/meminfo: memFree=23010084/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=443884 CPUtime=6.29 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 120483 0 0 0 616 13 0 0 25 0 1 0 821641252 454537216 106974 33554432000 4194304 9163163 140735506340816 18446744073709551615 4794534 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 110971 106974 587 1214 0 109753 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 443884

[startup+12.7006 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 24525
/proc/meminfo: memFree=23008720/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=444816 CPUtime=12.69 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 120717 0 0 0 1256 13 0 0 25 0 1 0 821641252 455491584 107208 33554432000 4194304 9163163 140735506340816 18446744073709551615 4794304 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 111204 107208 587 1214 0 109986 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 444816

[startup+25.5002 s]
/proc/loadavg: 2.15 2.05 2.01 3/576 24525
/proc/meminfo: memFree=22995596/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=458428 CPUtime=25.49 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 124120 0 0 0 2536 13 0 0 25 0 1 0 821641252 469430272 110611 33554432000 4194304 9163163 140735506340816 18446744073709551615 8045607 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 114607 110611 587 1214 0 113389 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 458428

[startup+51.1006 s]
/proc/loadavg: 2.10 2.05 2.01 3/576 24526
/proc/meminfo: memFree=22729900/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=748568 CPUtime=51.09 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 195257 0 0 0 5085 24 0 0 25 0 1 0 821641252 766533632 177191 33554432000 4194304 9163163 140735506340816 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 187142 177191 755 1214 0 185924 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 748568

[startup+102.322 s]
/proc/loadavg: 2.09 2.05 2.01 3/576 24527
/proc/meminfo: memFree=22691468/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=783804 CPUtime=102.32 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 206511 0 0 0 10206 26 0 0 25 0 1 0 821641252 802615296 187031 33554432000 4194304 9163163 140735506340816 18446744073709551615 6611600 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 195951 187031 1058 1214 0 194733 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 783804

[startup+162.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/576 24529
/proc/meminfo: memFree=22689812/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=783804 CPUtime=162.29 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 206519 0 0 0 16200 29 0 0 25 0 1 0 821641252 802615296 187039 33554432000 4194304 9163163 140735506340816 18446744073709551615 7051532 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 195951 187039 1058 1214 0 194733 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 783804

[startup+222.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/576 24530
/proc/meminfo: memFree=22690276/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=783804 CPUtime=222.3 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 206519 0 0 0 22198 32 0 0 25 0 1 0 821641252 802615296 187039 33554432000 4194304 9163163 140735506340816 18446744073709551615 6297033 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 195951 187039 1058 1214 0 194733 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 783804

[startup+282.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/576 24532
/proc/meminfo: memFree=22690372/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=783804 CPUtime=282.3 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 206519 0 0 0 28195 35 0 0 25 0 1 0 821641252 802615296 187039 33554432000 4194304 9163163 140735506340816 18446744073709551615 6611600 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 195951 187039 1058 1214 0 194733 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 783804

[startup+342.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/576 24533
/proc/meminfo: memFree=22690080/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=783804 CPUtime=342.3 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 206519 0 0 0 34192 38 0 0 25 0 1 0 821641252 802615296 187039 33554432000 4194304 9163163 140735506340816 18446744073709551615 7054424 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 195951 187039 1058 1214 0 194733 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 783804

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 24535
/proc/meminfo: memFree=22666860/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=804928 CPUtime=402.3 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 212439 0 0 0 40188 42 0 0 25 0 1 0 821641252 824246272 192681 33554432000 4194304 9163163 140735506340816 18446744073709551615 6611600 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 201232 192681 780 1214 0 200014 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 804928

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 24537
/proc/meminfo: memFree=22665680/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=804928 CPUtime=462.3 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 212439 0 0 0 46185 45 0 0 25 0 1 0 821641252 824246272 192681 33554432000 4194304 9163163 140735506340816 18446744073709551615 6674399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 201232 192681 780 1214 0 200014 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 804928

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 24538
/proc/meminfo: memFree=22665524/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=804928 CPUtime=522.3 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 212439 0 0 0 52182 48 0 0 25 0 1 0 821641252 824246272 192681 33554432000 4194304 9163163 140735506340816 18446744073709551615 7051368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 201232 192681 780 1214 0 200014 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 804928

[startup+582.301 s]
/proc/loadavg: 2.16 2.05 2.01 3/576 24540
/proc/meminfo: memFree=22665344/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=804928 CPUtime=582.31 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 212630 0 0 0 58179 52 0 0 25 0 1 0 821641252 824246272 192872 33554432000 4194304 9163163 140735506340816 18446744073709551615 6611600 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 201232 192872 780 1214 0 200014 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 804928

[startup+642.301 s]

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

/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 218287 0 0 0 100157 75 0 0 25 0 1 0 821641252 837206016 198471 33554432000 4194304 9163163 140735506340816 18446744073709551615 6611600 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 204396 198471 751 1214 0 203178 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 817584

[startup+1062.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/576 24580
/proc/meminfo: memFree=22609416/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=817584 CPUtime=1062.32 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 218287 0 0 0 106153 79 0 0 25 0 1 0 821641252 837206016 198471 33554432000 4194304 9163163 140735506340816 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 204396 198471 751 1214 0 203178 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 817584

[startup+1122.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/576 24581
/proc/meminfo: memFree=22596236/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=831884 CPUtime=1122.32 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 274986 0 0 0 112142 90 0 0 25 0 1 0 821641252 851849216 201411 33554432000 4194304 9163163 140735506340816 18446744073709551615 7359730 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 207971 201411 724 1214 0 206753 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 831884

[startup+1182.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/576 24583
/proc/meminfo: memFree=22594600/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=831884 CPUtime=1182.32 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 275253 0 0 0 118138 94 0 0 25 0 1 0 821641252 851849216 201678 33554432000 4194304 9163163 140735506340816 18446744073709551615 7348579 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 207971 201678 724 1214 0 206753 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 831884

[startup+1242.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/576 24584
/proc/meminfo: memFree=22589596/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=836944 CPUtime=1242.33 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 277166 0 0 0 124133 100 0 0 25 0 1 0 821641252 857030656 203591 33554432000 4194304 9163163 140735506340816 18446744073709551615 7359612 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 209236 203591 1424 1214 0 208018 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 836944

[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/576 24586
/proc/meminfo: memFree=22588448/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=836944 CPUtime=1302.35 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 277295 0 0 0 130130 105 0 0 25 0 1 0 821641252 857030656 203616 33554432000 4194304 9163163 140735506340816 18446744073709551615 6974848 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 209236 203616 1320 1214 0 208018 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 836944

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 24588
/proc/meminfo: memFree=22584320/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=836944 CPUtime=1362.33 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 277515 0 0 0 136124 109 0 0 25 0 1 0 821641252 857030656 203622 33554432000 4194304 9163163 140735506340816 18446744073709551615 6974871 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 209236 203622 1106 1214 0 208018 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 836944

[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 24589
/proc/meminfo: memFree=22588764/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=837740 CPUtime=1422.35 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 277786 0 0 0 142121 114 0 0 25 0 1 0 821641252 857845760 203825 33554432000 4194304 9163163 140735506340816 18446744073709551615 7348633 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 209435 203825 1038 1214 0 208217 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 837740

[startup+1482.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/576 24591
/proc/meminfo: memFree=22588600/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=837740 CPUtime=1482.33 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 277844 0 0 0 148114 119 0 0 25 0 1 0 821641252 857845760 203832 33554432000 4194304 9163163 140735506340816 18446744073709551615 7317276 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 209435 203832 987 1214 0 208217 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 837740

[startup+1542.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/576 24592
/proc/meminfo: memFree=22588452/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=837740 CPUtime=1542.34 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 277876 0 0 0 154111 123 0 0 25 0 1 0 821641252 857845760 203840 33554432000 4194304 9163163 140735506340816 18446744073709551615 7110308 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 209435 203840 963 1214 0 208217 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 837740

[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/576 24594
/proc/meminfo: memFree=22581596/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=837740 CPUtime=1602.34 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 277884 0 0 0 160105 129 0 0 25 0 1 0 821641252 857845760 203844 33554432000 4194304 9163163 140735506340816 18446744073709551615 7348628 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 209435 203844 959 1214 0 208217 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 837740

[startup+1662.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/576 24596
/proc/meminfo: memFree=22586780/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=837740 CPUtime=1662.34 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 277946 0 0 0 166100 134 0 0 25 0 1 0 821641252 857845760 203864 33554432000 4194304 9163163 140735506340816 18446744073709551615 7349325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 209435 203864 917 1214 0 208217 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 837740

[startup+1722.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/576 24597
/proc/meminfo: memFree=22586508/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=837740 CPUtime=1722.34 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 278177 0 0 0 172097 137 0 0 25 0 1 0 821641252 857845760 203902 33554432000 4194304 9163163 140735506340816 18446744073709551615 7345685 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 209435 203902 724 1214 0 208217 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 837740

[startup+1782.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/576 24599
/proc/meminfo: memFree=22577432/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=840072 CPUtime=1782.35 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 279984 0 0 0 178094 141 0 0 25 0 1 0 821641252 860233728 205709 33554432000 4194304 9163163 140735506340816 18446744073709551615 7317967 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 210018 205709 724 1214 0 208800 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 840072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.06 2.01 3/576 24599
/proc/meminfo: memFree=22579164/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=840072 CPUtime=1800.06 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 279993 0 0 0 179864 142 0 0 25 0 1 0 821641252 860233728 205718 33554432000 4194304 9163163 140735506340816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 210018 205718 724 1214 0 208800 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 840072

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -24523

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

[startup+1801.4 s]
/proc/loadavg: 2.06 2.06 2.01 3/577 24600
/proc/meminfo: memFree=22578412/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=840072 CPUtime=1801.44 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 279993 0 0 0 180002 142 0 0 25 0 1 0 821641252 860233728 205718 33554432000 4194304 9163163 140735506340816 18446744073709551615 7348353 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 210018 205718 724 1214 0 208800 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 840072

[startup+1801.82 s]
/proc/loadavg: 2.06 2.06 2.01 3/577 24600
/proc/meminfo: memFree=22578412/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=840072 CPUtime=1801.86 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 279993 0 0 0 180044 142 0 0 25 0 1 0 821641252 860233728 205718 33554432000 4194304 9163163 140735506340816 18446744073709551615 7414062 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 210018 205718 724 1214 0 208800 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 840072

[startup+1802 s]
/proc/loadavg: 2.06 2.06 2.01 3/577 24600
/proc/meminfo: memFree=22578412/32951124 swapFree=58940260/67111528
[pid=24523] ppid=24521 vsize=840072 CPUtime=1802.04 cores=0,2,4,6
/proc/24523/stat : 24523 (scip-2.0.1.4b.l) R 24521 24523 23203 0 -1 4202496 279993 0 0 0 180062 142 0 0 25 0 1 0 821641252 860233728 205718 33554432000 4194304 9163163 140735506340816 18446744073709551615 7345648 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24523/statm: 210018 205718 724 1214 0 208800 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 840072

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.06
CPU time (s): 1802.12
CPU user time (s): 1800.65
CPU system time (s): 1.46978
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1016644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.65
system time used= 1.46978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279993
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= 2
involuntary context switches= 3499

runsolver used 11.1013 second user time and 23.3175 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-03 13:27:15
IDJOB=3450819
IDBENCH=25025
IDSOLVER=1948
FILE ID=node139/3450819-1307100435
RUNJOBID= node139-1307093003-23221
PBS_JOBID= 13497985
Free space on /tmp= 73448 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir08_area_partials.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450819-1307100435/watcher-3450819-1307100435 -o /tmp/evaluation-result-3450819-1307100435/solver-3450819-1307100435 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450819-1307100435.opb -t 1800 -m 15500

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

MD5SUM BENCH= 7a3c9826bd8191760f7756d2d26889fa
RANDOM SEED=2072250384

node139.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5321.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23439080 kB
Buffers:        239992 kB
Cached:         602708 kB
SwapCached:       3628 kB
Active:        8720780 kB
Inactive:       487380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23439080 kB
SwapTotal:    67111528 kB
SwapFree:     58940260 kB
Dirty:           17772 kB
Writeback:           0 kB
AnonPages:     8363832 kB
Mapped:          36020 kB
Slab:           152836 kB
PageTables:      79004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 171055320 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73436 MiB
End job on node139 at 2011-06-03 13:57:17