Trace number 3692304

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.1.1.4. Exp with SoPlex 1.6.0.3 fixed? (TO) 1802.1 1802.42

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
MD5SUM7937d419688402745c19e3544f97b6e8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark1800.83
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables99789
Total number of constraints388956
Number of constraints which are clauses388925
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint1
Maximum length of a constraint3140
Number of terms in the objective function 3140
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 3140
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 3178
Number of bits of the biggest sum of numbers12
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.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3692304-1338035385.opb>
0.98/1.06	c original problem has 99789 variables (99789 bin, 0 int, 0 impl, 0 cont) and 388956 constraints
0.98/1.06	c problem read in 1.05
1.77/1.88	c presolving:
3.98/4.07	c (round 1) 3085 del vars, 6113 del conss, 0 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
4.08/4.19	c (round 2) 3085 del vars, 6191 del conss, 0 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
5.68/5.76	c (round 3) 3085 del vars, 6195 del conss, 0 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 382761 upgd conss, 3505402 impls, 0 clqs
8.18/8.26	c    (8.2s) probing: 51/96704 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.18/8.26	c    (8.2s) probing aborted: 50/50 successive totally useless probings
8.18/8.26	c (round 4) 3085 del vars, 277749 del conss, 90518 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 382761 upgd conss, 3505402 impls, 0 clqs
10.57/10.68	c (round 5) 6285 del vars, 280949 del conss, 90518 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 382761 upgd conss, 3512552 impls, 0 clqs
12.67/12.76	c    (12.8s) probing: 56/96704 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
12.67/12.76	c    (12.8s) probing aborted: 50/50 successive totally useless probings
12.78/12.89	c presolving (6 rounds):
12.78/12.89	c  6285 deleted vars, 280949 deleted constraints, 90518 added constraints, 5 tightened bounds, 0 added holes, 26 changed sides, 30 changed coefficients
12.78/12.89	c  3512552 implications, 0 cliques
12.78/12.89	c presolved problem has 93504 variables (93504 bin, 0 int, 0 impl, 0 cont) and 198525 constraints
12.78/12.89	c       1 constraints of type <knapsack>
12.78/12.89	c  108150 constraints of type <setppc>
12.78/12.89	c   87318 constraints of type <and>
12.78/12.89	c    3056 constraints of type <logicor>
12.78/12.89	c transformed objective value is always integral (scale: 1)
12.78/12.89	c Presolving Time: 11.25
12.78/12.89	c - non default parameters ----------------------------------------------------------------------
12.78/12.89	c # SCIP version 2.1.1.4
12.78/12.89	c 
12.78/12.89	c # maximal time in seconds to run
12.78/12.89	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.78/12.89	c limits/time = 1797
12.78/12.89	c 
12.78/12.89	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.78/12.89	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.78/12.89	c limits/memory = 13950
12.78/12.89	c 
12.78/12.89	c # default clock type (1: CPU user seconds, 2: wall clock time)
12.78/12.89	c # [type: int, range: [1,2], default: 1]
12.78/12.89	c timing/clocktype = 2
12.78/12.89	c 
12.78/12.89	c # belongs reading time to solving time?
12.78/12.89	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.78/12.89	c timing/reading = TRUE
12.78/12.89	c 
12.78/12.89	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
12.78/12.89	c # [type: int, range: [-1,2147483647], default: -1]
12.78/12.89	c separating/rapidlearning/freq = 0
12.78/12.89	c 
12.78/12.89	c -----------------------------------------------------------------------------------------------
12.78/12.89	c start solving
12.98/13.06	c 
105.56/105.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
105.56/105.64	c   106s|     1 |     0 |  2019 |     - | 823M|   0 | 179 |  93k| 198k|  93k| 285k|   0 |  10 |   0 | 7.235294e+00 |      --      |    Inf 
735.14/735.31	o 32
735.14/735.31	c U 735s|     1 |     0 | 19458 |     - | 840M|   0 | 179 |  93k| 198k|  93k| 285k|   0 |  60 |   0 | 7.235294e+00 | 3.200000e+01 | 342.28%
914.80/915.03	c   915s|     1 |     0 | 19832 |     - | 844M|   0 |  21 |  93k| 198k|  93k| 285k| 139 |  60 |   0 | 8.000000e+00 | 3.200000e+01 | 300.00%
1090.48/1090.78	c  1091s|     1 |     0 | 20761 |     - | 849M|   0 | 245 |  93k| 198k|  93k| 286k| 222 |  60 |   0 | 8.333333e+00 | 3.200000e+01 | 284.00%
1272.46/1272.78	c  1273s|     1 |     0 | 23397 |     - | 853M|   0 | 228 |  93k| 198k|  93k| 286k| 638 |  60 |   0 | 8.863636e+00 | 3.200000e+01 | 261.03%
1449.83/1450.19	c  1450s|     1 |     0 | 23691 |     - | 864M|   0 | 202 |  93k| 198k|  93k| 286k|1047 |  60 |   0 | 9.166667e+00 | 3.200000e+01 | 249.09%
1631.49/1631.83	c  1632s|     1 |     0 | 25342 |     - | 868M|   0 | 485 |  93k| 198k|  93k| 287k|1598 |  60 |   0 | 9.666667e+00 | 3.200000e+01 | 231.03%
1690.59/1690.96	c  1691s|     1 |     0 | 26649 |     - | 872M|   0 | 538 |  93k| 198k|  93k| 288k|3120 |  60 |   0 | 1.007645e+01 | 3.200000e+01 | 217.57%
1744.28/1744.67	c  1745s|     1 |     0 | 28524 |     - | 899M|   0 | 585 |  93k| 198k|  93k| 290k|4672 |  60 |   0 | 1.060000e+01 | 3.200000e+01 | 201.89%

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692304-1338035385/watcher-3692304-1338035385 -o /tmp/evaluation-result-3692304-1338035385/solver-3692304-1338035385 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692304-1338035385.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.14 2.04 2.01 3/176 6843
/proc/meminfo: memFree=28968752/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/6843/stat : 6843 (runsolver) D 6841 6843 6495 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 269664415 12095488 52 33554432000 4194304 5436572 140733805847504 140733805843800 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 2953 52 31 304 0 2645 0

[startup+0.0183301 s]
/proc/loadavg: 2.14 2.04 2.01 3/176 6843
/proc/meminfo: memFree=28968752/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=18216 CPUtime=0 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 3310 0 0 0 0 0 0 0 20 0 1 0 269664415 18653184 3265 33554432000 4194304 10219143 140735491281200 140735491144744 7589947 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/6843/statm: 4554 3265 421 1471 0 3074 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18216

[startup+0.100196 s]
/proc/loadavg: 2.14 2.04 2.01 3/176 6843
/proc/meminfo: memFree=28968752/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=37452 CPUtime=0.08 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 8129 0 0 0 8 0 0 0 20 0 1 0 269664415 38350848 8084 33554432000 4194304 10219143 140735491281200 140735491146360 6051223 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/6843/statm: 9363 8084 421 1471 0 7883 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 37452

[startup+0.300164 s]
/proc/loadavg: 2.14 2.04 2.01 3/176 6843
/proc/meminfo: memFree=28968752/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=83432 CPUtime=0.28 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 19613 0 0 0 26 2 0 0 20 0 1 0 269664415 85434368 19568 33554432000 4194304 10219143 140735491281200 140735491146376 7154815 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/6843/statm: 20858 19568 421 1471 0 19378 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 83432

[startup+0.700166 s]
/proc/loadavg: 2.14 2.04 2.01 3/176 6843
/proc/meminfo: memFree=28968752/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=173644 CPUtime=0.68 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 42121 0 0 0 63 5 0 0 20 0 1 0 269664415 177811456 42076 33554432000 4194304 10219143 140735491281200 140735491145880 7393733 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/6843/statm: 43411 42076 421 1471 0 41931 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 173644

[startup+1.50028 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 6844
/proc/meminfo: memFree=28734020/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=539144 CPUtime=1.48 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 133277 0 0 0 131 17 0 0 20 0 1 0 269664415 552083456 133152 33554432000 4194304 10219143 140735491281200 140735491145880 8930603 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 134786 133152 484 1471 0 133306 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 539144

[startup+3.10024 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 6844
/proc/meminfo: memFree=28343164/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=685928 CPUtime=3.08 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 167688 0 0 0 276 32 0 0 20 0 1 0 269664415 702390272 167563 33554432000 4194304 10219143 140735491281200 140735491278200 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 171482 167563 569 1471 0 170002 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 685928

[startup+6.30019 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 6844
/proc/meminfo: memFree=28124364/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=802936 CPUtime=6.28 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 219534 0 0 0 557 71 0 0 20 0 1 0 269664415 822206464 195772 33554432000 4194304 10219143 140735491281200 140735491278664 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 200734 195772 600 1471 0 199254 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 802936

[startup+12.7002 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 6844
/proc/meminfo: memFree=28131860/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=845072 CPUtime=12.67 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 224848 0 0 0 1181 86 0 0 20 0 1 0 269664415 865353728 206324 33554432000 4194304 10219143 140735491281200 140735491278824 4819061 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 211268 206324 628 1471 0 209788 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 845072

[startup+25.5002 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 6847
/proc/meminfo: memFree=27820520/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=1180628 CPUtime=25.47 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 291067 0 0 0 2449 98 0 0 20 0 1 0 269664415 1208963072 287137 33554432000 4194304 10219143 140735491281200 140735491277080 4819061 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 295157 287137 705 1471 0 293677 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1180628

[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 6847
/proc/meminfo: memFree=27808072/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=1192320 CPUtime=51.07 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 293936 0 0 0 5005 102 0 0 20 0 1 0 269664415 1220935680 290006 33554432000 4194304 10219143 140735491281200 140735491277080 6191162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 298080 290006 705 1471 0 296600 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1192320

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 6848
/proc/meminfo: memFree=27628324/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=1382028 CPUtime=102.27 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 316040 0 0 0 10113 114 0 0 20 0 1 0 269664415 1415196672 334990 33554432000 4194304 10219143 140735491281200 140735491277512 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 345507 334990 776 1471 0 344027 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1382028

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 6848
/proc/meminfo: memFree=27603960/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=1385920 CPUtime=162.25 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 319652 0 0 0 16103 122 0 0 20 0 1 0 269664415 1419182080 339122 33554432000 4194304 10219143 140735491281200 140735491272360 8056480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 346480 339122 795 1471 0 345000 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1385920

[startup+222.3 s]
/proc/loadavg: 1.95 2.00 1.99 3/178 7001
/proc/meminfo: memFree=26770444/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=1876400 CPUtime=222.23 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 419212 0 0 0 22072 151 0 0 20 0 1 0 269664415 1921433600 460813 33554432000 4194304 10219143 140735491281200 140735491275272 6191162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 469100 460813 817 1471 0 467620 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1876400

[startup+282.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/177 7001
/proc/meminfo: memFree=26766204/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=1876400 CPUtime=282.22 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 419429 0 0 0 28069 153 0 0 20 0 1 0 269664415 1921433600 461025 33554432000 4194304 10219143 140735491281200 140735491274216 5379664 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 469100 461025 817 1471 0 467620 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1876400

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7001
/proc/meminfo: memFree=26766388/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=1876400 CPUtime=342.21 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 419430 0 0 0 34068 153 0 0 20 0 1 0 269664415 1921433600 461046 33554432000 4194304 10219143 140735491281200 140735491274216 5379691 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 469100 461046 817 1471 0 467620 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1876400

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7002
/proc/meminfo: memFree=26736200/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=1876400 CPUtime=402.21 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 419580 0 0 0 40067 154 0 0 20 0 1 0 269664415 1921433600 461196 33554432000 4194304 10219143 140735491281200 140735491274216 5379696 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 469100 461196 817 1471 0 467620 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1876400

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7002
/proc/meminfo: memFree=26731044/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=1876400 CPUtime=462.19 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 420199 0 0 0 46065 154 0 0 20 0 1 0 269664415 1921433600 462218 33554432000 4194304 10219143 140735491281200 140735491274216 5379664 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 469100 462218 817 1471 0 467620 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1876400

[startup+522.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7002
/proc/meminfo: memFree=26687236/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=1908120 CPUtime=522.18 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 426260 0 0 0 52063 155 0 0 20 0 1 0 269664415 1953914880 468485 33554432000 4194304 10219143 140735491281200 140735491273864 5379691 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 477030 468485 817 1471 0 475550 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1908120

[startup+582.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7002
/proc/meminfo: memFree=26636220/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=1977984 CPUtime=582.17 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 438879 0 0 0 58059 158 0 0 20 0 1 0 269664415 2025455616 481162 33554432000 4194304 10219143 140735491281200 140735491273864 5379691 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 494496 481162 817 1471 0 493016 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1977984

[startup+642.3 s]

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

/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 595946 0 0 0 99940 269 0 0 20 0 1 0 269664415 2783170560 649806 33554432000 4194304 10219143 140735491281200 140735491276360 7266285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 649806 866 1471 0 678005 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 2717940

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7007
/proc/meminfo: memFree=25894004/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1062.09 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 595948 0 0 0 105935 274 0 0 20 0 1 0 269664415 2783170560 656795 33554432000 4194304 10219143 140735491281200 140735491276360 7268854 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 656795 866 1471 0 678005 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 2717940

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 7007
/proc/meminfo: memFree=25858940/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1122.07 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 596156 0 0 0 111930 277 0 0 20 0 1 0 269664415 2783170560 663916 33554432000 4194304 10219143 140735491281200 140735491276584 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 663916 866 1471 0 678005 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 2717940

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7007
/proc/meminfo: memFree=25768348/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1182.06 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 596156 0 0 0 117925 281 0 0 20 0 1 0 269664415 2783170560 670712 33554432000 4194304 10219143 140735491281200 140735491276360 7266287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 670712 866 1471 0 678005 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 2717940

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 7010
/proc/meminfo: memFree=25755924/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1242.05 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 596157 0 0 0 123920 285 0 0 20 0 1 0 269664415 2783170560 673756 33554432000 4194304 10219143 140735491281200 140735491276360 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 673756 866 1471 0 678005 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2717940

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 7010
/proc/meminfo: memFree=25751260/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1302.05 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597324 0 0 0 129915 290 0 0 20 0 1 0 269664415 2783170560 674923 33554432000 4194304 10219143 140735491281200 140735491276584 8891081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 674923 867 1471 0 678005 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 2717940

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7011
/proc/meminfo: memFree=25744208/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1362.04 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597324 0 0 0 135910 294 0 0 20 0 1 0 269664415 2783170560 674992 33554432000 4194304 10219143 140735491281200 140735491276360 7266291 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 674992 867 1471 0 678005 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 2717940

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7011
/proc/meminfo: memFree=25736920/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1422.04 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597324 0 0 0 141907 297 0 0 20 0 1 0 269664415 2783170560 675325 33554432000 4194304 10219143 140735491281200 140735491276360 7268822 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 675325 867 1471 0 678005 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2717940

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7011
/proc/meminfo: memFree=25734412/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1482.01 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597642 0 0 0 147901 300 0 0 20 0 1 0 269664415 2783170560 675957 33554432000 4194304 10219143 140735491281200 140735491276584 8891071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 675957 867 1471 0 678005 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 2717940

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7011
/proc/meminfo: memFree=25731464/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1542.01 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597642 0 0 0 153897 304 0 0 20 0 1 0 269664415 2783170560 676711 33554432000 4194304 10219143 140735491281200 140735491276360 7266291 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 676711 867 1471 0 678005 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 2717940

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7011
/proc/meminfo: memFree=25727648/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1602 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597642 0 0 0 159892 308 0 0 20 0 1 0 269664415 2783170560 677555 33554432000 4194304 10219143 140735491281200 140735491276360 7268822 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 677555 867 1471 0 678005 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 2717940

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7012
/proc/meminfo: memFree=25727676/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1661.99 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597642 0 0 0 165887 312 0 0 20 0 1 0 269664415 2783170560 677580 33554432000 4194304 10219143 140735491281200 140735491276584 7266285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 677580 867 1471 0 678005 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 2717940

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7012
/proc/meminfo: memFree=25727708/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1721.98 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597642 0 0 0 171883 315 0 0 20 0 1 0 269664415 2783170560 677580 33554432000 4194304 10219143 140735491281200 140735491276360 7266285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 677580 867 1471 0 678005 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 2717940

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7012
/proc/meminfo: memFree=25709808/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1781.98 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597642 0 0 0 177880 318 0 0 20 0 1 0 269664415 2783170560 677580 33554432000 4194304 10219143 140735491281200 140735491276360 7266267 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 677580 867 1471 0 678005 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 2717940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7012
/proc/meminfo: memFree=25709984/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1800.08 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597642 0 0 0 179690 318 0 0 20 0 1 0 269664415 2783170560 677580 33554432000 4194304 10219143 140735491281200 140735491276360 7266267 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 677580 867 1471 0 678005 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2717940

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -6843

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

[startup+1801.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 7013
/proc/meminfo: memFree=25709984/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1801.07 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597642 0 0 0 179789 318 0 0 20 0 1 0 269664415 2783170560 677580 33554432000 4194304 10219143 140735491281200 140735491275392 7266291 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 677580 867 1471 0 678005 0
Current children cumulated CPU time (s) 1801.07
Current children cumulated vsize (KiB) 2717940

[startup+1802.2 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 7013
/proc/meminfo: memFree=25709100/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1801.87 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597642 0 0 0 179869 318 0 0 20 0 1 0 269664415 2783170560 677580 33554432000 4194304 10219143 140735491281200 140735491275392 5150000 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 677580 867 1471 0 678005 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 2717940

[startup+1802.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 7013
/proc/meminfo: memFree=25709100/32873648 swapFree=7112/7112
[pid=6843] ppid=6841 vsize=2717940 CPUtime=1802.07 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4exp) R 6841 6843 6495 0 -1 4202496 597642 0 0 0 179889 318 0 0 20 0 1 0 269664415 2783170560 677580 33554432000 4194304 10219143 140735491281200 140735491275392 5150000 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6843/statm: 679485 677580 867 1471 0 678005 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 2717940

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.42
CPU time (s): 1802.1
CPU user time (s): 1798.9
CPU system time (s): 3.19951
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 2717940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 3.19951
maximum resident set size= 2710320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 597642
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= 62
involuntary context switches= 1863

runsolver used 4.55331 second user time and 10.4094 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-26 14:29:45
IDJOB=3692304
IDBENCH=25013
IDSOLVER=2271
FILE ID=node126/3692304-1338035385
RUNJOBID= node126-1338035260-6511
PBS_JOBID= 14624371
Free space on /tmp= 71388 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692304-1338035385/watcher-3692304-1338035385 -o /tmp/evaluation-result-3692304-1338035385/solver-3692304-1338035385 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692304-1338035385.opb -t 1800 -m 15500

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

MD5SUM BENCH= 7937d419688402745c19e3544f97b6e8
RANDOM SEED=986926960

node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28969660 kB
Buffers:          267316 kB
Cached:          2374496 kB
SwapCached:        17768 kB
Active:          1217496 kB
Inactive:        1915872 kB
Active(anon):     474192 kB
Inactive(anon):    19404 kB
Active(file):     743304 kB
Inactive(file):  1896468 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086928 kB
Dirty:             25232 kB
Writeback:             4 kB
AnonPages:        481504 kB
Mapped:            13440 kB
Shmem:                 0 kB
Slab:             632844 kB
SReclaimable:      76884 kB
SUnreclaim:       555960 kB
KernelStack:        1448 kB
PageTables:         4868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     606472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71372 MiB
End job on node126 at 2012-05-26 14:59:48