Trace number 3479103

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 NameAnswerCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1802.15 1802.08

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-pb-simp-nonunif.opb
MD5SUM9aa42c73a35201f84335d5956a9f26be
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark7.38588
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23848
Total number of constraints1451912
Number of constraints which are clauses1447776
Number of constraints which are cardinality constraints (but not clauses)4136
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint176
Number of terms in the objective function 176
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 176
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 174
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 350
Number of bits of the biggest sum of numbers9
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 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-3479103-1307445871.opb>
9.59/9.60	c original problem has 23848 variables (23848 bin, 0 int, 0 impl, 0 cont) and 1451912 constraints
9.59/9.60	c problem read
9.59/9.60	c presolving settings loaded
11.20/11.29	c presolving:
16.89/16.97	c (round 1) 12122 del vars, 1322528 del conss, 0 add conss, 11680 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 2964772 impls, 0 clqs
16.99/17.02	c (round 2) 12134 del vars, 1329256 del conss, 0 add conss, 11680 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 2964772 impls, 0 clqs
16.99/17.05	c (round 3) 12136 del vars, 1329258 del conss, 0 add conss, 11680 chg bounds, 170 chg sides, 340 chg coeffs, 0 upgd conss, 2964880 impls, 0 clqs
17.60/17.67	c (round 4) 12136 del vars, 1329258 del conss, 0 add conss, 11680 chg bounds, 170 chg sides, 340 chg coeffs, 122654 upgd conss, 2964880 impls, 0 clqs
31.79/31.83	c    (31.8s) probing: 1000/11712 (8.5%) - 0 fixings, 0 aggregations, 9805 implications, 0 bound changes
48.09/48.11	c    (48.1s) probing: 2000/11712 (17.1%) - 0 fixings, 0 aggregations, 27489 implications, 0 bound changes
48.09/48.12	c    (48.1s) probing: 2001/11712 (17.1%) - 0 fixings, 0 aggregations, 27538 implications, 0 bound changes
48.09/48.12	c    (48.1s) probing aborted: 2000/2000 successive useless probings
48.09/48.12	c presolving (5 rounds):
48.09/48.12	c  12136 deleted vars, 1329258 deleted constraints, 0 added constraints, 11680 tightened bounds, 0 added holes, 170 changed sides, 340 changed coefficients
48.09/48.12	c  3022484 implications, 0 cliques
48.09/48.12	c presolved problem has 11712 variables (11712 bin, 0 int, 0 impl, 0 cont) and 122654 constraints
48.09/48.12	c   82508 constraints of type <setppc>
48.09/48.12	c   40146 constraints of type <logicor>
48.09/48.12	c transformed objective value is always integral (scale: 1)
48.09/48.12	c Presolving Time: 36.88
48.09/48.12	c - non default parameters ----------------------------------------------------------------------
48.09/48.12	c # SCIP version 2.0.1.5
48.09/48.12	c 
48.09/48.12	c # frequency for displaying node information lines
48.09/48.12	c # [type: int, range: [-1,2147483647], default: 100]
48.09/48.12	c display/freq = 10000
48.09/48.12	c 
48.09/48.12	c # maximal time in seconds to run
48.09/48.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
48.09/48.12	c limits/time = 1800
48.09/48.12	c 
48.09/48.12	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
48.09/48.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
48.09/48.12	c limits/memory = 13950
48.09/48.12	c 
48.09/48.12	c # default clock type (1: CPU user seconds, 2: wall clock time)
48.09/48.12	c # [type: int, range: [1,2], default: 1]
48.09/48.12	c timing/clocktype = 2
48.09/48.12	c 
48.09/48.12	c # belongs reading time to solving time?
48.09/48.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
48.09/48.12	c timing/reading = TRUE
48.09/48.12	c 
48.09/48.12	c # should presolving try to simplify inequalities
48.09/48.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
48.09/48.12	c constraints/linear/simplifyinequalities = TRUE
48.09/48.12	c 
48.09/48.12	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
48.09/48.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
48.09/48.12	c constraints/indicator/addCouplingCons = TRUE
48.09/48.12	c 
48.09/48.12	c # should presolving try to simplify knapsacks
48.09/48.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
48.09/48.12	c constraints/knapsack/simplifyinequalities = TRUE
48.09/48.12	c 
48.09/48.12	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
48.09/48.12	c # [type: int, range: [-1,2147483647], default: -1]
48.09/48.12	c separating/rapidlearning/freq = 0
48.09/48.12	c 
48.09/48.12	c -----------------------------------------------------------------------------------------------
48.09/48.12	c start solving
48.09/48.13	c 
48.09/48.15	o 171
48.09/48.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
48.09/48.15	c t48.2s|     1 |     0 |     0 |     - | 817M|   0 |   - |  11k| 122k|   0 |   0 |   0 |   0 |   0 |      --      | 1.710000e+02 |    Inf 
48.29/48.40	o 170
48.29/48.40	c b48.4s|     1 |     0 |     0 |     - | 881M|   0 |   - |  11k| 122k|  11k| 122k|   0 |   0 |   0 |      --      | 1.700000e+02 |    Inf 
117.19/117.26	c   117s|     1 |     0 | 25243 |     - | 881M|   0 |  11k|  11k| 122k|  11k| 122k|   0 |   0 |   0 | 9.000000e+00 | 1.700000e+02 |1788.89%
295.20/295.27	c   295s|     1 |     0 | 62778 |     - | 883M|   0 |9906 |  11k| 122k|  11k| 124k|2000 |   0 |   0 | 2.451152e+01 | 1.700000e+02 | 593.55%
523.73/523.79	c   524s|     1 |     0 | 92063 |     - | 884M|   0 |7786 |  11k| 122k|  11k| 125k|2856 |   0 |   0 | 3.100000e+01 | 1.700000e+02 | 448.39%
610.01/610.03	c   610s|     1 |     0 | 96791 |     - | 884M|   0 |7922 |  11k| 122k|  11k| 125k|2962 |   0 |   0 | 3.200000e+01 | 1.700000e+02 | 431.25%
808.42/808.41	c   808s|     1 |     0 |102511 |     - | 884M|   0 |8068 |  11k| 122k|  11k| 125k|3028 |   0 |   0 | 3.200000e+01 | 1.700000e+02 | 431.25%
985.03/985.02	c   985s|     1 |     0 |103479 |     - | 884M|   0 |8122 |  11k| 122k|  11k| 125k|3039 |   0 |   0 | 3.200000e+01 | 1.700000e+02 | 431.25%
1172.64/1172.71	c  1173s|     1 |     0 |106213 |     - | 884M|   0 |7981 |  11k| 122k|  11k| 125k|3042 |   0 |   0 | 3.200000e+01 | 1.700000e+02 | 431.25%
1353.24/1353.23	c  1353s|     1 |     0 |107417 |     - | 884M|   0 |7938 |  11k| 122k|  11k| 125k|3045 |   0 |   0 | 3.200000e+01 | 1.700000e+02 | 431.25%
1535.25/1535.29	c  1535s|     1 |     0 |108812 |     - | 884M|   0 |7837 |  11k| 122k|  11k| 125k|3053 |   0 |   0 | 3.200000e+01 | 1.700000e+02 | 431.25%
1616.86/1616.88	c  1617s|     1 |     2 |108812 |     - | 884M|   0 |7837 |  11k| 122k|  11k| 125k|3053 |   0 |  20 | 3.200000e+01 | 1.700000e+02 | 431.25%

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-3479103-1307445871/watcher-3479103-1307445871 -o /tmp/evaluation-result-3479103-1307445871/solver-3479103-1307445871 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479103-1307445871.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.04 1.99 1.39 2/515 8247
/proc/meminfo: memFree=22032220/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=13704 CPUtime=0 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 2395 0 0 0 0 0 0 0 23 0 1 0 934817907 14032896 2348 33554432000 4194304 9163163 140734621772016 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8247/statm: 3426 2348 395 1214 0 2208 0

[startup+0.120371 s]
/proc/loadavg: 2.04 1.99 1.39 2/515 8247
/proc/meminfo: memFree=22032220/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=27132 CPUtime=0.11 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 5782 0 0 0 11 0 0 0 24 0 1 0 934817907 27783168 5735 33554432000 4194304 9163163 140734621772016 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8247/statm: 6783 5735 395 1214 0 5565 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 27132

[startup+0.200363 s]
/proc/loadavg: 2.04 1.99 1.39 2/515 8247
/proc/meminfo: memFree=22032220/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=31948 CPUtime=0.19 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 6984 0 0 0 19 0 0 0 24 0 1 0 934817907 32714752 6937 33554432000 4194304 9163163 140734621772016 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8247/statm: 7987 6937 395 1214 0 6769 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31948

[startup+0.300336 s]
/proc/loadavg: 2.04 1.99 1.39 2/515 8247
/proc/meminfo: memFree=22032220/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=38200 CPUtime=0.29 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 8548 0 0 0 28 1 0 0 25 0 1 0 934817907 39116800 8501 33554432000 4194304 9163163 140734621772016 18446744073709551615 7994651 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8247/statm: 9550 8501 395 1214 0 8332 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38200

[startup+0.700258 s]
/proc/loadavg: 2.04 1.99 1.39 2/515 8247
/proc/meminfo: memFree=22032220/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=60804 CPUtime=0.69 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 14190 0 0 0 68 1 0 0 25 0 1 0 934817907 62263296 14143 33554432000 4194304 9163163 140734621772016 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8247/statm: 15201 14143 395 1214 0 13983 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60804

[startup+1.50111 s]
/proc/loadavg: 2.04 1.99 1.39 3/516 8248
/proc/meminfo: memFree=21946404/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=108760 CPUtime=1.49 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 26176 0 0 0 145 4 0 0 25 0 1 0 934817907 111370240 26129 33554432000 4194304 9163163 140734621772016 18446744073709551615 8041854 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8247/statm: 27190 26129 395 1214 0 25972 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108760

[startup+3.10081 s]
/proc/loadavg: 2.04 1.99 1.39 3/516 8248
/proc/meminfo: memFree=21845592/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=202680 CPUtime=3.09 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 49639 0 0 0 303 6 0 0 25 0 1 0 934817907 207544320 49592 33554432000 4194304 9163163 140734621772016 18446744073709551615 4337779 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8247/statm: 50670 49592 395 1214 0 49452 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 202680

[startup+6.30119 s]
/proc/loadavg: 2.04 1.99 1.39 3/516 8248
/proc/meminfo: memFree=21700936/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=389636 CPUtime=6.29 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 96306 0 0 0 616 13 0 0 25 0 1 0 934817907 398987264 96259 33554432000 4194304 9163163 140734621772016 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8247/statm: 97409 96259 395 1214 0 96191 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 389636

[startup+12.701 s]
/proc/loadavg: 2.04 1.99 1.39 4/516 8249
/proc/meminfo: memFree=20524932/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1542844 CPUtime=12.69 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 382527 0 0 0 1224 45 0 0 25 0 1 0 934817907 1579872256 379438 33554432000 4194304 9163163 140734621772016 18446744073709551615 4209138 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 385711 379438 512 1214 0 384493 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1542844

[startup+25.5005 s]
/proc/loadavg: 2.03 1.99 1.40 3/516 8249
/proc/meminfo: memFree=20840520/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1217356 CPUtime=25.49 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 410993 0 0 0 2499 50 0 0 25 0 1 0 934817907 1246572544 298024 33554432000 4194304 9163163 140734621772016 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 304339 298024 606 1214 0 303121 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1217356

[startup+51.1007 s]
/proc/loadavg: 2.02 1.99 1.42 3/516 8250
/proc/meminfo: memFree=20746544/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1303992 CPUtime=51.09 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 437108 0 0 0 5056 53 0 0 25 0 1 0 934817907 1335287808 318026 33554432000 4194304 9163163 140734621772016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 325998 318026 792 1214 0 324780 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1303992

[startup+102.301 s]
/proc/loadavg: 2.01 1.99 1.45 3/516 8251
/proc/meminfo: memFree=20685276/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1354960 CPUtime=102.31 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 450237 0 0 0 10171 60 0 0 25 0 1 0 934817907 1387479040 330705 33554432000 4194304 9163163 140734621772016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 338740 330705 732 1214 0 337522 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1354960

[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.48 3/516 8252
/proc/meminfo: memFree=20675448/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1354960 CPUtime=162.29 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 452391 0 0 0 16164 65 0 0 25 0 1 0 934817907 1387479040 332784 33554432000 4194304 9163163 140734621772016 18446744073709551615 7349118 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 338740 332784 732 1214 0 337522 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1354960

[startup+222.32 s]
/proc/loadavg: 2.00 1.99 1.51 3/516 8254
/proc/meminfo: memFree=20718060/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1354960 CPUtime=222.32 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 452391 0 0 0 22162 70 0 0 25 0 1 0 934817907 1387479040 332784 33554432000 4194304 9163163 140734621772016 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 338740 332784 732 1214 0 337522 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 1354960

[startup+282.301 s]
/proc/loadavg: 2.15 2.03 1.55 3/516 8256
/proc/meminfo: memFree=20719888/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1354960 CPUtime=282.3 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 452391 0 0 0 28156 74 0 0 25 0 1 0 934817907 1387479040 332784 33554432000 4194304 9163163 140734621772016 18446744073709551615 7349313 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 338740 332784 732 1214 0 337522 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1354960

[startup+342.301 s]
/proc/loadavg: 2.05 2.02 1.57 4/516 8257
/proc/meminfo: memFree=20674092/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1360904 CPUtime=342.31 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 453825 0 0 0 34152 79 0 0 25 0 1 0 934817907 1393565696 334151 33554432000 4194304 9163163 140734621772016 18446744073709551615 7274247 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 340226 334151 689 1214 0 339008 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1360904

[startup+402.301 s]
/proc/loadavg: 2.02 2.01 1.59 3/516 8259
/proc/meminfo: memFree=20678012/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1360904 CPUtime=402.3 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 453825 0 0 0 40147 83 0 0 25 0 1 0 934817907 1393565696 334151 33554432000 4194304 9163163 140734621772016 18446744073709551615 7413840 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 340226 334151 689 1214 0 339008 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1360904

[startup+462.3 s]
/proc/loadavg: 2.15 2.05 1.63 3/516 8261
/proc/meminfo: memFree=20636432/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1360904 CPUtime=462.3 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 453825 0 0 0 46144 86 0 0 25 0 1 0 934817907 1393565696 334151 33554432000 4194304 9163163 140734621772016 18446744073709551615 7370516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 340226 334151 689 1214 0 339008 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1360904

[startup+522.301 s]
/proc/loadavg: 2.05 2.04 1.65 3/516 8262
/proc/meminfo: memFree=20662824/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1360904 CPUtime=522.31 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 453825 0 0 0 52142 89 0 0 25 0 1 0 934817907 1393565696 334151 33554432000 4194304 9163163 140734621772016 18446744073709551615 6974848 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 340226 334151 689 1214 0 339008 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1360904

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 1.67 3/516 8264
/proc/meminfo: memFree=20682264/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1360904 CPUtime=582.31 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 453825 0 0 0 58138 93 0 0 25 0 1 0 934817907 1393565696 334151 33554432000 4194304 9163163 140734621772016 18446744073709551615 6284276 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 340226 334151 689 1214 0 339008 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1360904

[startup+642.301 s]

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

/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 453951 0 0 0 106099 134 0 0 25 0 1 0 934817907 1393565696 334276 33554432000 4194304 9163163 140734621772016 18446744073709551615 7054483 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 340226 334276 688 1214 0 339008 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1360904

[startup+1122.3 s]
/proc/loadavg: 2.11 2.05 1.82 3/516 8309
/proc/meminfo: memFree=21291680/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1360904 CPUtime=1122.33 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 453951 0 0 0 112094 139 0 0 25 0 1 0 934817907 1393565696 334276 33554432000 4194304 9163163 140734621772016 18446744073709551615 8041854 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 340226 334276 688 1214 0 339008 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1360904

[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 1.83 3/516 8311
/proc/meminfo: memFree=21291040/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1364832 CPUtime=1182.33 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 453997 0 0 0 118088 145 0 0 25 0 1 0 934817907 1397587968 334322 33554432000 4194304 9163163 140734621772016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 341208 334322 688 1214 0 339990 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1364832

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.83 3/516 8312
/proc/meminfo: memFree=21290036/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1364832 CPUtime=1242.34 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 453997 0 0 0 124081 153 0 0 25 0 1 0 934817907 1397587968 334322 33554432000 4194304 9163163 140734621772016 18446744073709551615 7051398 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 341208 334322 688 1214 0 339990 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1364832

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.84 3/516 8314
/proc/meminfo: memFree=21290120/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1364832 CPUtime=1302.34 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 453997 0 0 0 130076 158 0 0 25 0 1 0 934817907 1397587968 334322 33554432000 4194304 9163163 140734621772016 18446744073709551615 6676813 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 341208 334322 688 1214 0 339990 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1364832

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.84 3/516 8315
/proc/meminfo: memFree=21289460/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1364832 CPUtime=1362.35 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 454000 0 0 0 136071 164 0 0 25 0 1 0 934817907 1397587968 334325 33554432000 4194304 9163163 140734621772016 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 341208 334325 688 1214 0 339990 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 1364832

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/516 8317
/proc/meminfo: memFree=21292648/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1364832 CPUtime=1422.35 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 454000 0 0 0 142066 169 0 0 25 0 1 0 934817907 1397587968 334325 33554432000 4194304 9163163 140734621772016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 341208 334325 688 1214 0 339990 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1364832

[startup+1482.3 s]
/proc/loadavg: 2.13 2.04 1.87 3/516 8319
/proc/meminfo: memFree=21291732/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1364832 CPUtime=1482.34 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 454000 0 0 0 148058 176 0 0 25 0 1 0 934817907 1397587968 334325 33554432000 4194304 9163163 140734621772016 18446744073709551615 8045879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 341208 334325 688 1214 0 339990 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1364832

[startup+1542.32 s]
/proc/loadavg: 2.05 2.03 1.87 3/516 8320
/proc/meminfo: memFree=21262924/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1390616 CPUtime=1542.36 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 461393 0 0 0 154055 181 0 0 25 0 1 0 934817907 1423990784 341718 33554432000 4194304 9163163 140734621772016 18446744073709551615 7225472 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 347654 341718 708 1214 0 346436 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 1390616

[startup+1602.3 s]
/proc/loadavg: 2.10 2.05 1.89 3/516 8322
/proc/meminfo: memFree=21262140/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1390616 CPUtime=1602.36 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 461393 0 0 0 160049 187 0 0 25 0 1 0 934817907 1423990784 341718 33554432000 4194304 9163163 140734621772016 18446744073709551615 7317905 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 347654 341718 708 1214 0 346436 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 1390616

[startup+1662.3 s]
/proc/loadavg: 2.12 2.07 1.91 4/516 8324
/proc/meminfo: memFree=21261832/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1390616 CPUtime=1662.35 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 461396 0 0 0 166043 192 0 0 25 0 1 0 934817907 1423990784 341721 33554432000 4194304 9163163 140734621772016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 347654 341721 711 1214 0 346436 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1390616

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 1.91 3/516 8325
/proc/meminfo: memFree=21261788/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1390616 CPUtime=1722.36 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 461396 0 0 0 172038 198 0 0 25 0 1 0 934817907 1423990784 341721 33554432000 4194304 9163163 140734621772016 18446744073709551615 7110296 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 347654 341721 711 1214 0 346436 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 1390616

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 1.91 3/516 8327
/proc/meminfo: memFree=21260260/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1390616 CPUtime=1782.35 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 461396 0 0 0 178033 202 0 0 25 0 1 0 934817907 1423990784 341721 33554432000 4194304 9163163 140734621772016 18446744073709551615 7317905 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 347654 341721 711 1214 0 346436 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1390616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.04 1.91 3/516 8327
/proc/meminfo: memFree=21261004/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1390616 CPUtime=1800.07 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 461396 0 0 0 179803 204 0 0 25 0 1 0 934817907 1423990784 341721 33554432000 4194304 9163163 140734621772016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 347654 341721 711 1214 0 346436 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1390616

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8247

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

[startup+1800.7 s]
/proc/loadavg: 2.01 2.04 1.91 3/517 8328
/proc/meminfo: memFree=21260252/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1390616 CPUtime=1800.77 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 461396 0 0 0 179873 204 0 0 25 0 1 0 934817907 1423990784 341721 33554432000 4194304 9163163 140734621772016 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 347654 341721 711 1214 0 346436 0
Current children cumulated CPU time (s) 1800.77
Current children cumulated vsize (KiB) 1390616

[startup+1801.5 s]
/proc/loadavg: 2.01 2.04 1.91 3/517 8328
/proc/meminfo: memFree=21260252/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1390616 CPUtime=1801.56 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 461396 0 0 0 179952 204 0 0 25 0 1 0 934817907 1423990784 341721 33554432000 4194304 9163163 140734621772016 18446744073709551615 7348628 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 347654 341721 711 1214 0 346436 0
Current children cumulated CPU time (s) 1801.56
Current children cumulated vsize (KiB) 1390616

[startup+1801.92 s]
/proc/loadavg: 2.01 2.04 1.91 3/517 8328
/proc/meminfo: memFree=21260252/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1390616 CPUtime=1801.98 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 461396 0 0 0 179994 204 0 0 25 0 1 0 934817907 1423990784 341721 33554432000 4194304 9163163 140734621772016 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 347654 341721 711 1214 0 346436 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 1390616

[startup+1802 s]
/proc/loadavg: 2.01 2.04 1.91 3/517 8328
/proc/meminfo: memFree=21260252/32950928 swapFree=58671692/67111528
[pid=8247] ppid=8245 vsize=1390616 CPUtime=1802.06 cores=0,2,4,6
/proc/8247/stat : 8247 (scip-2.0.1.4b.l) R 8245 8247 8125 0 -1 4202496 461396 0 0 0 180002 204 0 0 25 0 1 0 934817907 1423990784 341721 33554432000 4194304 9163163 140734621772016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8247/statm: 347654 341721 711 1214 0 346436 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 1390616

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.15
CPU user time (s): 1800.04
CPU system time (s): 2.10568
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1606572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 2.10568
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461396
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= 2720

runsolver used 9.78351 second user time and 21.2698 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-07 13:24:32
IDJOB=3479103
IDBENCH=89837
IDSOLVER=1948
FILE ID=node115/3479103-1307445871
RUNJOBID= node115-1307444787-8143
PBS_JOBID= 13520319
Free space on /tmp= 73892 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-pb-simp-nonunif.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-3479103-1307445871/watcher-3479103-1307445871 -o /tmp/evaluation-result-3479103-1307445871/solver-3479103-1307445871 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479103-1307445871.opb -t 1800 -m 15500

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

MD5SUM BENCH= 9aa42c73a35201f84335d5956a9f26be
RANDOM SEED=694681118

node115.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.811
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.62
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.811
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	: 5226.15
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.811
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.75
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.811
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.811
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	: 5332.77
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.811
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.74
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.811
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.75
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.811
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:     32950928 kB
MemFree:      22032376 kB
Buffers:        248328 kB
Cached:         614156 kB
SwapCached:      65880 kB
Active:        2011548 kB
Inactive:      8649516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22032376 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:           61744 kB
Writeback:          16 kB
AnonPages:     9736988 kB
Mapped:          30448 kB
Slab:           110792 kB
PageTables:      77544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 152570276 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= 73888 MiB
End job on node115 at 2011-06-07 13:54:35