Trace number 3450809

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) 1800.06 1800.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUMd25f6086317f033c233c4700493f03d1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved NO
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
Number of bits of the biggest sum of numbers10
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.01	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-3450809-1307099765.opb>
0.09/0.16	c original problem has 6027 variables (6027 bin, 0 int, 0 impl, 0 cont) and 21278 constraints
0.09/0.16	c problem read
0.09/0.16	c presolving settings loaded
0.19/0.20	c presolving:
0.19/0.29	c (round 1) 598 del vars, 1173 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 0 upgd conss, 167468 impls, 0 clqs
0.19/0.30	c (round 2) 598 del vars, 1200 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 0 upgd conss, 167468 impls, 0 clqs
0.29/0.37	c (round 3) 598 del vars, 1201 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 20077 upgd conss, 167468 impls, 0 clqs
0.79/0.88	c    (0.9s) probing: 420/5429 (7.7%) - 0 fixings, 0 aggregations, 2868 implications, 0 bound changes
0.79/0.88	c    (0.9s) probing aborted: 100/100 successive totally useless probings
0.79/0.88	c presolving (4 rounds):
0.79/0.88	c  598 deleted vars, 1201 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 9 changed sides, 10 changed coefficients
0.79/0.88	c  173204 implications, 0 cliques
0.79/0.88	c presolved problem has 5429 variables (5429 bin, 0 int, 0 impl, 0 cont) and 20077 constraints
0.79/0.88	c       1 constraints of type <knapsack>
0.79/0.88	c   15287 constraints of type <setppc>
0.79/0.88	c    4789 constraints of type <logicor>
0.79/0.88	c transformed objective value is always integral (scale: 1)
0.79/0.88	c Presolving Time: 0.68
0.79/0.88	c - non default parameters ----------------------------------------------------------------------
0.79/0.88	c # SCIP version 2.0.1.5
0.79/0.88	c 
0.79/0.88	c # frequency for displaying node information lines
0.79/0.88	c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.88	c display/freq = 10000
0.79/0.88	c 
0.79/0.88	c # maximal time in seconds to run
0.79/0.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88	c limits/time = 1800
0.79/0.88	c 
0.79/0.88	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88	c limits/memory = 13950
0.79/0.88	c 
0.79/0.88	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.88	c # [type: int, range: [1,2], default: 1]
0.79/0.88	c timing/clocktype = 2
0.79/0.88	c 
0.79/0.88	c # belongs reading time to solving time?
0.79/0.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88	c timing/reading = TRUE
0.79/0.88	c 
0.79/0.88	c # should presolving try to simplify inequalities
0.79/0.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88	c constraints/linear/simplifyinequalities = TRUE
0.79/0.88	c 
0.79/0.88	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.79/0.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88	c constraints/indicator/addCouplingCons = TRUE
0.79/0.88	c 
0.79/0.88	c # should presolving try to simplify knapsacks
0.79/0.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88	c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.88	c 
0.79/0.88	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.88	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.88	c separating/rapidlearning/freq = 0
0.79/0.88	c 
0.79/0.88	c -----------------------------------------------------------------------------------------------
0.79/0.88	c start solving
0.79/0.88	c 
4.40/4.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.40/4.46	c   4.5s|     1 |     0 |  9338 |     - |  42M|   0 |1044 |5429 |  20k|5429 |  20k|   0 |  62 |   0 | 1.052714e+01 |      --      |    Inf 
30.58/30.61	c  30.6s|     1 |     0 | 34367 |     - |  43M|   0 | 553 |5429 |  20k|5429 |  20k|  14 |  62 |   0 | 1.166473e+01 |      --      |    Inf 
33.29/33.36	c  33.4s|     1 |     0 | 34369 |     - |  43M|   0 | 553 |5429 |  20k|5429 |  20k|  16 |  62 |   0 | 1.166473e+01 |      --      |    Inf 
36.09/36.12	c  36.1s|     1 |     0 | 34371 |     - |  43M|   0 | 553 |5429 |  20k|5429 |  20k|  18 |  62 |   0 | 1.166473e+01 |      --      |    Inf 
38.78/38.84	c  38.8s|     1 |     0 | 34372 |     - |  43M|   0 | 553 |5429 |  20k|5429 |  20k|  19 |  62 |   0 | 1.166473e+01 |      --      |    Inf 
56.78/56.80	c  56.8s|     1 |     2 | 34372 |     - |  43M|   0 | 553 |5429 |  20k|5429 |  20k|  19 |  62 |  20 | 1.166473e+01 |      --      |    Inf 
249.00/249.09	o 28
249.00/249.09	c f 249s|    41 |    42 |166331 |3299.0 |  45M|  18 |   - |5429 |  20k|5429 |  20k|  19 |  97 | 180 | 1.172099e+01 | 2.800000e+01 | 138.89%
420.10/420.14	o 27
420.10/420.14	c f 420s|    55 |    56 |372302 |6258.0 |  45M|  18 |   - |5429 |  20k|5429 |  20k|  19 | 125 | 210 | 1.188611e+01 | 2.700000e+01 | 127.16%
428.10/428.10	o 26
428.10/428.10	c l 428s|    57 |    58 |384643 |6254.8 |  44M|  18 |   - |5429 |  20k|5429 |  20k|  19 | 125 | 210 | 1.188611e+01 | 2.600000e+01 | 118.74%
439.60/439.66	o 25
439.60/439.66	c g 440s|    59 |    60 |402762 |6351.6 |  45M|  18 |   - |5429 |  20k|5429 |  20k|  19 | 135 | 210 | 1.188611e+01 | 2.500000e+01 | 110.33%
577.80/577.88	o 24
577.80/577.88	c g 578s|    82 |    83 |586706 |6818.9 |  45M|  18 |   - |5429 |  20k|5429 |  20k|  19 | 170 | 240 | 1.188611e+01 | 2.400000e+01 | 101.92%
1082.61/1082.66	o 22
1082.61/1082.66	c g1083s|   202 |   203 |  1216k|5881.7 |  47M|  38 |   - |5429 |  20k|5429 |  20k|  19 | 417 | 344 | 1.222689e+01 | 2.200000e+01 |  79.93%
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.01	c Solving Time (sec) : 1800.00
1800.04/1800.01	c Solving Nodes      : 386
1800.04/1800.01	c Primal Bound       : +2.20000000000000e+01 (6 solutions)
1800.04/1800.01	c Dual Bound         : +1.22992186569191e+01
1800.04/1800.01	c Gap                : 78.87 %

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-3450809-1307099765/watcher-3450809-1307099765 -o /tmp/evaluation-result-3450809-1307099765/solver-3450809-1307099765 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450809-1307099765.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.03 2.04 2.01 3/505 2824
/proc/meminfo: memFree=29064512/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/2824/stat : 2824 (runsolver) R 2822 2824 2157 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 821579161 12079104 51 33554432000 4194304 5432328 140734555509056 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/2824/statm: 2949 51 31 303 0 2643 0

[startup+0.08193 s]
/proc/loadavg: 2.03 2.04 2.01 3/505 2824
/proc/meminfo: memFree=29064512/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=20192 CPUtime=0.07 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 4018 0 0 0 7 0 0 0 25 0 1 0 821579161 20676608 3971 33554432000 4194304 9163163 140734483503568 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2824/statm: 5048 3971 395 1214 0 3830 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20192

[startup+0.100874 s]
/proc/loadavg: 2.03 2.04 2.01 3/505 2824
/proc/meminfo: memFree=29064512/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=23532 CPUtime=0.09 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 4853 0 0 0 9 0 0 0 25 0 1 0 821579161 24096768 4806 33554432000 4194304 9163163 140734483503568 18446744073709551615 6136368 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2824/statm: 5883 4806 395 1214 0 4665 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23532

[startup+0.300835 s]
/proc/loadavg: 2.03 2.04 2.01 3/505 2824
/proc/meminfo: memFree=29064512/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=55256 CPUtime=0.29 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 12764 0 0 0 28 1 0 0 25 0 1 0 821579161 56582144 12459 33554432000 4194304 9163163 140734483503568 18446744073709551615 4816943 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 13814 12459 517 1214 0 12596 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55256

[startup+0.700799 s]
/proc/loadavg: 2.03 2.04 2.01 3/505 2824
/proc/meminfo: memFree=29064512/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=64888 CPUtime=0.69 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 16088 0 0 0 67 2 0 0 25 0 1 0 821579161 66445312 14997 33554432000 4194304 9163163 140734483503568 18446744073709551615 5944184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 16222 14997 565 1214 0 15004 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64888

[startup+1.50064 s]
/proc/loadavg: 2.03 2.04 2.01 3/506 2825
/proc/meminfo: memFree=28984636/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=104660 CPUtime=1.48 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 25732 0 0 0 145 3 0 0 25 0 1 0 821579161 107171840 24346 33554432000 4194304 9163163 140734483503568 18446744073709551615 7379386 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 26165 24346 710 1214 0 24947 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 104660

[startup+3.10037 s]
/proc/loadavg: 2.03 2.04 2.01 3/506 2825
/proc/meminfo: memFree=28967028/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=104940 CPUtime=3.09 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 26052 0 0 0 305 4 0 0 25 0 1 0 821579161 107458560 24635 33554432000 4194304 9163163 140734483503568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 26235 24635 717 1214 0 25017 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104940

[startup+6.30081 s]
/proc/loadavg: 2.02 2.04 2.01 3/506 2825
/proc/meminfo: memFree=28965708/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=103972 CPUtime=6.28 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 26412 0 0 0 624 4 0 0 25 0 1 0 821579161 106467328 24748 33554432000 4194304 9163163 140734483503568 18446744073709551615 7348556 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 25993 24748 705 1214 0 24775 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 103972

[startup+12.7007 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 2825
/proc/meminfo: memFree=28964936/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=103972 CPUtime=12.68 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 26465 0 0 0 1263 5 0 0 25 0 1 0 821579161 106467328 24795 33554432000 4194304 9163163 140734483503568 18446744073709551615 7348399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 25993 24795 707 1214 0 24775 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 103972

[startup+25.5004 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 2825
/proc/meminfo: memFree=28901444/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=103972 CPUtime=25.49 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 26495 0 0 0 2541 8 0 0 25 0 1 0 821579161 106467328 24822 33554432000 4194304 9163163 140734483503568 18446744073709551615 6677681 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 25993 24822 715 1214 0 24775 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 103972

[startup+51.1009 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 2826
/proc/meminfo: memFree=28896600/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=105852 CPUtime=51.09 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 45465 0 0 0 5093 16 0 0 25 0 1 0 821579161 108392448 25246 33554432000 4194304 9163163 140734483503568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 26463 25246 754 1214 0 25245 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 105852

[startup+102.319 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 2828
/proc/meminfo: memFree=28894820/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=109028 CPUtime=102.31 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 54122 0 0 0 10202 29 0 0 25 0 1 0 821579161 111644672 26346 33554432000 4194304 9163163 140734483503568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 27257 26346 754 1214 0 26039 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 109028

[startup+162.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/506 2829
/proc/meminfo: memFree=28873076/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=109028 CPUtime=162.29 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 54122 0 0 0 16187 42 0 0 25 0 1 0 821579161 111644672 26346 33554432000 4194304 9163163 140734483503568 18446744073709551615 6974878 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 27257 26346 754 1214 0 26039 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 109028

[startup+222.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/506 2831
/proc/meminfo: memFree=28872656/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=109544 CPUtime=222.29 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 54257 0 0 0 22172 57 0 0 25 0 1 0 821579161 112173056 26481 33554432000 4194304 9163163 140734483503568 18446744073709551615 4684048 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 27386 26481 754 1214 0 26168 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 109544

[startup+282.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 2832
/proc/meminfo: memFree=28875324/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=108168 CPUtime=282.3 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 55082 0 0 0 28160 70 0 0 25 0 1 0 821579161 110764032 25948 33554432000 4194304 9163163 140734483503568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 27042 25948 754 1214 0 25824 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 108168

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 2834
/proc/meminfo: memFree=28870656/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=113152 CPUtime=342.3 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 58147 0 0 0 34150 80 0 0 25 0 1 0 821579161 115867648 27122 33554432000 4194304 9163163 140734483503568 18446744073709551615 7348226 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 28288 27122 757 1214 0 27070 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 113152

[startup+402.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/506 2837
/proc/meminfo: memFree=28869220/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=114972 CPUtime=402.29 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 82793 0 0 0 40132 97 0 0 25 0 1 0 821579161 117731328 27510 33554432000 4194304 9163163 140734483503568 18446744073709551615 7345673 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 28743 27510 758 1214 0 27525 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 114972

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 2838
/proc/meminfo: memFree=28869152/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=114364 CPUtime=462.3 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 85975 0 0 0 46118 112 0 0 25 0 1 0 821579161 117108736 27431 33554432000 4194304 9163163 140734483503568 18446744073709551615 6974015 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 28591 27431 755 1214 0 27373 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 114364

[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 2840
/proc/meminfo: memFree=28869948/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=113304 CPUtime=522.29 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 87144 0 0 0 52106 123 0 0 25 0 1 0 821579161 116023296 27246 33554432000 4194304 9163163 140734483503568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 28326 27246 755 1214 0 27108 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 113304

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 2841
/proc/meminfo: memFree=28869252/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=113428 CPUtime=582.3 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 90217 0 0 0 58095 135 0 0 25 0 1 0 821579161 116150272 27460 33554432000 4194304 9163163 140734483503568 18446744073709551615 7375423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 28357 27460 755 1214 0 27139 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 113428

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/506 2848
/proc/meminfo: memFree=28861216/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=115972 CPUtime=822.3 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 94362 0 0 0 82044 186 0 0 25 0 1 0 821579161 118755328 28109 33554432000 4194304 9163163 140734483503568 18446744073709551615 7225178 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 28993 28109 909 1214 0 27775 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 115972

[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 2849
/proc/meminfo: memFree=28862520/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=115988 CPUtime=882.31 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 102849 0 0 0 88030 201 0 0 25 0 1 0 821579161 118771712 27849 33554432000 4194304 9163163 140734483503568 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 28997 27849 1053 1214 0 27779 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 115988

[startup+942.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/506 2851
/proc/meminfo: memFree=28863348/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=115996 CPUtime=942.31 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 115256 0 0 0 94018 213 0 0 25 0 1 0 821579161 118779904 27645 33554432000 4194304 9163163 140734483503568 18446744073709551615 7318913 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 28999 27645 1000 1214 0 27781 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 115996

[startup+1002.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/506 2853
/proc/meminfo: memFree=28861192/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=114348 CPUtime=1002.31 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 116433 0 0 0 100007 224 0 0 25 0 1 0 821579161 117092352 27676 33554432000 4194304 9163163 140734483503568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 28587 27676 755 1214 0 27369 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 114348

[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 2854
/proc/meminfo: memFree=28858024/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=117596 CPUtime=1062.32 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 117263 0 0 0 105994 238 0 0 25 0 1 0 821579161 120418304 28500 33554432000 4194304 9163163 140734483503568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29399 28500 755 1214 0 28181 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 117596

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 2856
/proc/meminfo: memFree=28845956/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=119164 CPUtime=1122.31 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 117676 0 0 0 111980 251 0 0 25 0 1 0 821579161 122023936 28913 33554432000 4194304 9163163 140734483503568 18446744073709551615 7348694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29791 28913 755 1214 0 28573 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 119164

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 2857
/proc/meminfo: memFree=28816356/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=117472 CPUtime=1182.32 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 119799 0 0 0 117967 265 0 0 25 0 1 0 821579161 120291328 27825 33554432000 4194304 9163163 140734483503568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29368 27825 755 1214 0 28150 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 117472

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 2859
/proc/meminfo: memFree=28817036/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=119068 CPUtime=1242.31 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 122546 0 0 0 123954 277 0 0 25 0 1 0 821579161 121925632 28870 33554432000 4194304 9163163 140734483503568 18446744073709551615 7225310 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29767 28870 1044 1214 0 28549 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 119068

[startup+1302.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/506 2861
/proc/meminfo: memFree=28816480/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=119044 CPUtime=1302.32 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 124430 0 0 0 129943 289 0 0 25 0 1 0 821579161 121901056 28863 33554432000 4194304 9163163 140734483503568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29761 28863 1027 1214 0 28543 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 119044

[startup+1362.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/506 2862
/proc/meminfo: memFree=28816668/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=119084 CPUtime=1362.32 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 127611 0 0 0 135931 301 0 0 25 0 1 0 821579161 121942016 28873 33554432000 4194304 9163163 140734483503568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29771 28873 1061 1214 0 28553 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 119084

[startup+1422.32 s]
/proc/loadavg: 2.03 2.04 2.00 3/506 2864
/proc/meminfo: memFree=28817972/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=117372 CPUtime=1422.34 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 128658 0 0 0 141921 313 0 0 25 0 1 0 821579161 120188928 28287 33554432000 4194304 9163163 140734483503568 18446744073709551615 7348516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29343 28287 755 1214 0 28125 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 117372

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 2865
/proc/meminfo: memFree=28819012/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=117372 CPUtime=1482.32 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 128687 0 0 0 147911 321 0 0 25 0 1 0 821579161 120188928 28316 33554432000 4194304 9163163 140734483503568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29343 28316 755 1214 0 28125 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 117372

[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/506 2903
/proc/meminfo: memFree=30103752/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=117380 CPUtime=1542.32 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 140655 0 0 0 153899 333 0 0 25 0 1 0 821579161 120197120 27987 33554432000 4194304 9163163 140734483503568 18446744073709551615 7318917 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29345 27987 755 1214 0 28127 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 117380

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 2905
/proc/meminfo: memFree=30101760/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=119132 CPUtime=1602.33 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 143845 0 0 0 159887 346 0 0 25 0 1 0 821579161 121991168 28435 33554432000 4194304 9163163 140734483503568 18446744073709551615 7348559 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29783 28435 755 1214 0 28565 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 119132

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/506 2906
/proc/meminfo: memFree=30101344/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=119012 CPUtime=1662.32 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 151816 0 0 0 165872 360 0 0 25 0 1 0 821579161 121868288 28349 33554432000 4194304 9163163 140734483503568 18446744073709551615 7348559 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29753 28349 755 1214 0 28535 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 119012

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 2908
/proc/meminfo: memFree=30101032/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=119012 CPUtime=1722.32 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 152070 0 0 0 171860 372 0 0 25 0 1 0 821579161 121868288 28603 33554432000 4194304 9163163 140734483503568 18446744073709551615 7225486 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29753 28603 755 1214 0 28535 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 119012

[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/506 2909
/proc/meminfo: memFree=30099100/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=120820 CPUtime=1782.33 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 159181 0 0 0 177846 387 0 0 25 0 1 0 821579161 123719680 28797 33554432000 4194304 9163163 140734483503568 18446744073709551615 7225280 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 30205 28797 755 1214 0 28987 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 120820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.14 2.05 2.01 3/506 2910
/proc/meminfo: memFree=30101560/32951124 swapFree=51712236/67111528
[pid=2824] ppid=2822 vsize=119220 CPUtime=1800.04 cores=0,2,4,6
/proc/2824/stat : 2824 (scip-2.0.1.4b.l) R 2822 2824 2157 0 -1 4202496 160096 0 0 0 179614 390 0 0 25 0 1 0 821579161 122081280 28655 33554432000 4194304 9163163 140734483503568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2824/statm: 29805 28655 975 1214 0 28587 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 119220

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1796.16
CPU system time (s): 3.90741
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 147960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.16
system time used= 3.9074
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160096
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= 5
involuntary context switches= 21412

runsolver used 9.57054 second user time and 19.894 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-03 13:16:05
IDJOB=3450809
IDBENCH=25015
IDSOLVER=1948
FILE ID=node103/3450809-1307099765
RUNJOBID= node103-1307092333-2175
PBS_JOBID= 13497971
Free space on /tmp= 73852 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/decomp/normalized-matrix_5x3_6.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-3450809-1307099765/watcher-3450809-1307099765 -o /tmp/evaluation-result-3450809-1307099765/solver-3450809-1307099765 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450809-1307099765.opb -t 1800 -m 15500

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

MD5SUM BENCH= d25f6086317f033c233c4700493f03d1
RANDOM SEED=1258373301

node103.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.858
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.71
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.858
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.858
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.858
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.77
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.858
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.75
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.858
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.858
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.83
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.858
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29064552 kB
Buffers:        278256 kB
Cached:         461480 kB
SwapCached:      23760 kB
Active:        3213292 kB
Inactive:       377796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29064552 kB
SwapTotal:    67111528 kB
SwapFree:     51712236 kB
Dirty:           12840 kB
Writeback:           0 kB
AnonPages:     2848900 kB
Mapped:          25388 kB
Slab:           149008 kB
PageTables:      76272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163443548 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= 73856 MiB
End job on node103 at 2011-06-03 13:46:07