Trace number 3452240

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 SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.1 1800.04

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_4.opb
MD5SUMefe239846afd4f2627c83cec32ebc27d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1797.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint61
Maximum length of a constraint107
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37458
Sum of products size (including duplicates)74916
Number of different products37458
Sum of products size74916

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [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-3452240-1307102562.opb>
0.04/0.05	c original problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.04/0.05	c problem read
0.04/0.05	c presolving settings loaded
0.19/0.21	o 500
0.19/0.21	c feasible solution found by trivial heuristic, objective value  5.000000e+02
0.19/0.21	c presolving:
2.38/2.46	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 5774346 impls, 0 clqs
3.21/3.27	c    (3.3s) probing: 101/37958 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.21/3.27	c    (3.3s) probing aborted: 100/100 successive totally useless probings
3.21/3.27	c presolving (2 rounds):
3.21/3.27	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.21/3.27	c  5774346 implications, 0 cliques
3.21/3.27	c presolved problem has 37958 variables (37958 bin, 0 int, 0 impl, 0 cont) and 37958 constraints
3.21/3.27	c   37458 constraints of type <and>
3.21/3.27	c     500 constraints of type <logicor>
3.21/3.27	c transformed objective value is always integral (scale: 1)
3.21/3.27	c Presolving Time: 3.21
3.21/3.27	c - non default parameters ----------------------------------------------------------------------
3.21/3.27	c # SCIP version 2.0.1.4
3.21/3.27	c 
3.21/3.27	c # frequency for displaying node information lines
3.21/3.27	c # [type: int, range: [-1,2147483647], default: 100]
3.21/3.27	c display/freq = 10000
3.21/3.27	c 
3.21/3.27	c # maximal time in seconds to run
3.21/3.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.21/3.27	c limits/time = 1800
3.21/3.27	c 
3.21/3.27	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.21/3.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.21/3.27	c limits/memory = 13950
3.21/3.27	c 
3.21/3.27	c # default clock type (1: CPU user seconds, 2: wall clock time)
3.21/3.27	c # [type: int, range: [1,2], default: 1]
3.21/3.27	c timing/clocktype = 2
3.21/3.27	c 
3.21/3.27	c # belongs reading time to solving time?
3.21/3.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.21/3.27	c timing/reading = TRUE
3.21/3.27	c 
3.21/3.27	c # should presolving try to simplify inequalities
3.21/3.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.21/3.27	c constraints/linear/simplifyinequalities = TRUE
3.21/3.27	c 
3.21/3.27	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.21/3.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.21/3.27	c constraints/indicator/addCouplingCons = TRUE
3.21/3.27	c 
3.21/3.27	c # should presolving try to simplify knapsacks
3.21/3.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.21/3.27	c constraints/knapsack/simplifyinequalities = TRUE
3.21/3.27	c 
3.21/3.27	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.21/3.27	c # [type: int, range: [-1,2147483647], default: -1]
3.21/3.27	c separating/rapidlearning/freq = 0
3.21/3.27	c 
3.21/3.27	c -----------------------------------------------------------------------------------------------
3.21/3.27	c start solving
3.21/3.28	c 
3.79/3.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.79/3.86	c t 3.9s|     1 |     0 |  1000 |     - | 299M|   0 |1000 |  37k|  37k|  37k|  75k|   0 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf 
13.79/13.86	c  13.9s|     1 |     0 |  2500 |     - | 300M|   0 |1000 |  37k|  37k|  37k|  76k|1002 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf 
20.39/20.46	c  20.5s|     1 |     0 |  4000 |     - | 301M|   0 |1000 |  37k|  37k|  37k|  77k|2006 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf 
27.51/27.51	c  27.5s|     1 |     0 |  5500 |     - | 301M|   0 |1000 |  37k|  37k|  37k|  78k|3010 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf 
27.51/27.59	o 28
27.51/27.59	c s27.6s|     1 |     0 |  5500 |     - | 302M|   0 |1000 |  37k|  37k|  37k|  78k|3010 |   0 |   0 | 0.000000e+00 | 2.800000e+01 |    Inf 
34.18/34.20	c  34.2s|     1 |     0 |  7000 |     - | 302M|   0 |1000 |  37k|  37k|  37k|  79k|4016 |   0 |   0 | 0.000000e+00 | 2.800000e+01 |    Inf 
34.28/34.30	o 24
34.28/34.30	c s34.3s|     1 |     0 |  7000 |     - | 303M|   0 |1000 |  37k|  37k|  37k|  79k|4016 |   0 |   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
41.09/41.17	c  41.2s|     1 |     0 |  8501 |     - | 303M|   0 |1000 |  37k|  37k|  37k|  80k|5021 |   0 |   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
41.19/41.24	o 23
41.19/41.24	c s41.2s|     1 |     0 |  8501 |     - | 304M|   0 |1000 |  37k|  37k|  37k|  80k|5021 |   0 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
48.30/48.38	c  48.4s|     1 |     0 | 10003 |     - | 304M|   0 |1000 |  37k|  37k|  37k|  81k|6024 |   0 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
48.98/49.05	c  49.0s|     1 |     2 | 10003 |     - | 304M|   0 |1000 |  37k|  37k|  37k|  81k|6024 |   0 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
260.00/260.02	o 20
260.00/260.02	c * 260s|    73 |    71 |194890 |2567.9 | 302M|  33 |   - |  37k|  39k|  37k|  21k|  41k|1934 | 407 | 1.000000e+00 | 2.000000e+01 |1900.00%
262.39/262.48	o 19
262.39/262.48	c * 262s|    76 |    68 |197482 |2499.7 | 304M|  33 |   - |  37k|  39k|  37k|  20k|  41k|1934 | 410 | 1.000000e+00 | 1.900000e+01 |1800.00%
429.40/429.46	o 18
429.40/429.46	c * 429s|   129 |   102 |374341 |2846.4 | 305M|  33 |   - |  37k|  39k|  37k|  21k|  64k|2207 | 732 | 1.000000e+00 | 1.800000e+01 |1700.00%
1219.94/1219.98	o 17
1219.94/1219.98	c *1220s|   701 |   300 |  1356k|1923.5 | 312M|  33 |   - |  37k|  39k|  37k|  18k| 285k|2915 |1835 | 1.000000e+00 | 1.700000e+01 |1600.00%
1800.05/1800.01	c 
1800.05/1800.01	c SCIP Status        : solving was interrupted [time limit reached]
1800.05/1800.01	c Solving Time (sec) : 1800.00
1800.05/1800.01	c Solving Nodes      : 1172
1800.05/1800.01	c Primal Bound       : +1.70000000000000e+01 (8 solutions)
1800.05/1800.01	c Dual Bound         : +1.00000000000000e+00
1800.05/1800.01	c Gap                : 1600.00 %

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

running on 4 cores: 1,3,5,7

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: 1.96 2.02 1.99 3/429 26625
/proc/meminfo: memFree=28950772/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=11136 CPUtime=0.01 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 1787 0 0 0 1 0 0 0 18 0 1 0 821856671 11403264 1741 33554432000 4194304 9128323 140736334552336 18446744073709551615 6885977 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26625/statm: 2784 1741 401 1205 0 1575 0

[startup+0.0507001 s]
/proc/loadavg: 1.96 2.02 1.99 3/429 26625
/proc/meminfo: memFree=28950772/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=13772 CPUtime=0.04 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 2430 0 0 0 4 0 0 0 18 0 1 0 821856671 14102528 2384 33554432000 4194304 9128323 140736334552336 18446744073709551615 7447842 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26625/statm: 3443 2384 401 1205 0 2234 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13772

[startup+0.100696 s]
/proc/loadavg: 1.96 2.02 1.99 3/429 26625
/proc/meminfo: memFree=28950772/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=39872 CPUtime=0.09 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 8688 0 0 0 8 1 0 0 18 0 1 0 821856671 40828928 8641 33554432000 4194304 9128323 140736334552336 18446744073709551615 8117552 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 9968 8641 475 1205 0 8759 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39872

[startup+0.300658 s]
/proc/loadavg: 1.96 2.02 1.99 3/429 26625
/proc/meminfo: memFree=28950772/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=94340 CPUtime=0.29 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 21733 0 0 0 28 1 0 0 18 0 1 0 821856671 96604160 21686 33554432000 4194304 9128323 140736334552336 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 23585 21697 499 1205 0 22376 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94340

[startup+0.700583 s]
/proc/loadavg: 1.96 2.02 1.99 3/429 26625
/proc/meminfo: memFree=28950772/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=137080 CPUtime=0.68 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 32442 0 0 0 66 2 0 0 18 0 1 0 821856671 140369920 32395 33554432000 4194304 9128323 140736334552336 18446744073709551615 4832258 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 34270 32395 499 1205 0 33061 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 137080

[startup+1.50045 s]
/proc/loadavg: 1.96 2.02 1.99 3/430 26626
/proc/meminfo: memFree=28788464/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=216448 CPUtime=1.49 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 52245 0 0 0 144 5 0 0 20 0 1 0 821856671 221642752 52198 33554432000 4194304 9128323 140736334552336 18446744073709551615 6584049 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 54112 52198 499 1205 0 52903 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 216448

[startup+3.10115 s]
/proc/loadavg: 1.96 2.02 1.99 3/430 26626
/proc/meminfo: memFree=28687156/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=301016 CPUtime=3.09 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 74522 0 0 0 301 8 0 0 25 0 1 0 821856671 308240384 73439 33554432000 4194304 9128323 140736334552336 18446744073709551615 4964865 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 75254 73439 620 1205 0 74045 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 301016

[startup+6.30054 s]
/proc/loadavg: 1.96 2.02 1.99 3/430 26626
/proc/meminfo: memFree=28475688/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=481160 CPUtime=6.29 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 122405 0 0 0 616 13 0 0 25 0 1 0 821856671 492707840 117627 33554432000 4194304 9128323 140736334552336 18446744073709551615 8008895 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 120290 117627 704 1205 0 119081 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 481160

[startup+12.7004 s]
/proc/loadavg: 1.96 2.02 1.99 3/430 26626
/proc/meminfo: memFree=28470140/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=481160 CPUtime=12.69 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 122427 0 0 0 1256 13 0 0 25 0 1 0 821856671 492707840 117634 33554432000 4194304 9128323 140736334552336 18446744073709551615 18446744073699065947 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 120290 117634 696 1205 0 119081 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 481160

[startup+25.501 s]
/proc/loadavg: 1.97 2.02 1.99 3/430 26626
/proc/meminfo: memFree=28435392/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=505448 CPUtime=25.49 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 129081 0 0 0 2535 14 0 0 25 0 1 0 821856671 517578752 123881 33554432000 4194304 9128323 140736334552336 18446744073709551615 6694295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 126362 123881 776 1205 0 125153 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 505448

[startup+51.1012 s]
/proc/loadavg: 1.98 2.02 1.99 3/430 26627
/proc/meminfo: memFree=28408668/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=515344 CPUtime=51.09 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 169842 0 0 0 5076 33 0 0 25 0 1 0 821856671 527712256 126115 33554432000 4194304 9128323 140736334552336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 128836 126115 755 1205 0 127627 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 515344

[startup+102.317 s]
/proc/loadavg: 1.99 2.01 1.99 3/430 26631
/proc/meminfo: memFree=28355968/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=525656 CPUtime=102.3 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 172333 0 0 0 10170 60 0 0 25 0 1 0 821856671 538271744 128606 33554432000 4194304 9128323 140736334552336 18446744073709551615 7191072 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 131414 128606 767 1205 0 130205 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 525656

[startup+162.301 s]
/proc/loadavg: 1.99 2.01 1.99 3/430 26633
/proc/meminfo: memFree=28297992/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=535924 CPUtime=162.3 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 175024 0 0 0 16140 90 0 0 25 0 1 0 821856671 548786176 131274 33554432000 4194304 9128323 140736334552336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 133981 131274 769 1205 0 132772 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 535924

[startup+222.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/430 26635
/proc/meminfo: memFree=28236684/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=545296 CPUtime=222.29 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 177338 0 0 0 22107 122 0 0 25 0 1 0 821856671 558383104 133588 33554432000 4194304 9128323 140736334552336 18446744073709551615 7191072 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 136324 133588 769 1205 0 135115 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 545296

[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/430 26663
/proc/meminfo: memFree=28282592/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=549764 CPUtime=282.29 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 178457 0 0 0 28072 157 0 0 25 0 1 0 821856671 562958336 134707 33554432000 4194304 9128323 140736334552336 18446744073709551615 6890239 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 137441 134707 770 1205 0 136232 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 549764

[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 26665
/proc/meminfo: memFree=28279088/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=552052 CPUtime=342.3 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 179044 0 0 0 34044 186 0 0 25 0 1 0 821856671 565301248 135294 33554432000 4194304 9128323 140736334552336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 138013 135294 770 1205 0 136804 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 552052

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 26666
/proc/meminfo: memFree=28263592/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=557768 CPUtime=402.31 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 180374 0 0 0 40012 219 0 0 25 0 1 0 821856671 571154432 136624 33554432000 4194304 9128323 140736334552336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 139442 136624 770 1205 0 138233 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 557768

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 26668
/proc/meminfo: memFree=28256320/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=558468 CPUtime=462.3 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 180659 0 0 0 45978 252 0 0 25 0 1 0 821856671 571871232 136885 33554432000 4194304 9128323 140736334552336 18446744073709551615 7267353 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 139617 136885 770 1205 0 138408 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 558468

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 26670
/proc/meminfo: memFree=28246508/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=561624 CPUtime=522.31 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 181447 0 0 0 51948 283 0 0 25 0 1 0 821856671 575102976 137673 33554432000 4194304 9128323 140736334552336 18446744073709551615 7192240 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 140406 137673 770 1205 0 139197 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 561624

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 26671
/proc/meminfo: memFree=28235340/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=567520 CPUtime=582.31 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 182750 0 0 0 57921 310 0 0 25 0 1 0 821856671 581140480 138976 33554432000 4194304 9128323 140736334552336 18446744073709551615 7326061 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 141880 138976 770 1205 0 140671 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 567520

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.05 2.04 2.01 3/430 26678
/proc/meminfo: memFree=28204172/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=580824 CPUtime=822.32 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 210253 0 0 0 81779 453 0 0 25 0 1 0 821856671 594763776 142457 33554432000 4194304 9128323 140736334552336 18446744073709551615 7162928 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 145206 142457 782 1205 0 143997 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 580824

[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 26679
/proc/meminfo: memFree=28196280/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=586548 CPUtime=882.32 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 211790 0 0 0 87733 499 0 0 25 0 1 0 821856671 600625152 143994 33554432000 4194304 9128323 140736334552336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 146637 143994 782 1205 0 145428 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 586548

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 26681
/proc/meminfo: memFree=28189688/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=593208 CPUtime=942.32 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 213457 0 0 0 93698 534 0 0 25 0 1 0 821856671 607444992 145661 33554432000 4194304 9128323 140736334552336 18446744073709551615 7192037 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 148302 145661 782 1205 0 147093 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 593208

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 26682
/proc/meminfo: memFree=28185912/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=597164 CPUtime=1002.32 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 214445 0 0 0 99658 574 0 0 25 0 1 0 821856671 611495936 146649 33554432000 4194304 9128323 140736334552336 18446744073709551615 6732490 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 149291 146649 782 1205 0 148082 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 597164

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 26684
/proc/meminfo: memFree=28179452/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=601500 CPUtime=1062.32 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 215529 0 0 0 105616 616 0 0 25 0 1 0 821856671 615936000 147733 33554432000 4194304 9128323 140736334552336 18446744073709551615 7285004 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 150375 147733 782 1205 0 149166 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 601500

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 26686
/proc/meminfo: memFree=28177704/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=603916 CPUtime=1122.32 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 215934 0 0 0 111582 650 0 0 25 0 1 0 821856671 618409984 148138 33554432000 4194304 9128323 140736334552336 18446744073709551615 4785281 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 150979 148138 782 1205 0 149770 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 603916

[startup+1182.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/430 26687
/proc/meminfo: memFree=28173760/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=606708 CPUtime=1182.32 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 216831 0 0 0 117549 683 0 0 25 0 1 0 821856671 621268992 149035 33554432000 4194304 9128323 140736334552336 18446744073709551615 4840379 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 151677 149035 782 1205 0 150468 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 606708

[startup+1242.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/430 26689
/proc/meminfo: memFree=28168904/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=611404 CPUtime=1242.33 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 218006 0 0 0 123523 710 0 0 25 0 1 0 821856671 626077696 150210 33554432000 4194304 9128323 140736334552336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 152851 150210 782 1205 0 151642 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 611404

[startup+1302.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/430 26690
/proc/meminfo: memFree=28163680/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=613200 CPUtime=1302.34 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 218454 0 0 0 129491 743 0 0 25 0 1 0 821856671 627916800 150658 33554432000 4194304 9128323 140736334552336 18446744073709551615 6673844 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 153300 150658 782 1205 0 152091 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 613200

[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/430 26692
/proc/meminfo: memFree=28159300/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=619260 CPUtime=1362.34 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 219985 0 0 0 135457 777 0 0 25 0 1 0 821856671 634122240 152174 33554432000 4194304 9128323 140736334552336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 154815 152174 782 1205 0 153606 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 619260

[startup+1422.32 s]
/proc/loadavg: 2.03 2.05 2.01 3/430 26694
/proc/meminfo: memFree=28158296/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=619832 CPUtime=1422.35 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 220024 0 0 0 141426 809 0 0 25 0 1 0 821856671 634707968 152213 33554432000 4194304 9128323 140736334552336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 154958 152213 782 1205 0 153749 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 619832

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 26695
/proc/meminfo: memFree=28151408/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=625620 CPUtime=1482.34 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 221505 0 0 0 147391 843 0 0 25 0 1 0 821856671 640634880 153694 33554432000 4194304 9128323 140736334552336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 156405 153694 782 1205 0 155196 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 625620

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/430 26697
/proc/meminfo: memFree=28147520/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=630048 CPUtime=1542.34 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 222481 0 0 0 153360 874 0 0 25 0 1 0 821856671 645169152 154670 33554432000 4194304 9128323 140736334552336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 157512 154670 782 1205 0 156303 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 630048

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 26698
/proc/meminfo: memFree=28142112/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=635760 CPUtime=1602.34 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 224000 0 0 0 159328 906 0 0 25 0 1 0 821856671 651018240 156188 33554432000 4194304 9128323 140736334552336 18446744073709551615 4241984 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 158940 156188 782 1205 0 157731 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 635760

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 26700
/proc/meminfo: memFree=28134752/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=638880 CPUtime=1662.34 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 224894 0 0 0 165299 935 0 0 25 0 1 0 821856671 654213120 157082 33554432000 4194304 9128323 140736334552336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 159720 157082 782 1205 0 158511 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 638880

[startup+1722.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/430 26702
/proc/meminfo: memFree=28130600/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=642844 CPUtime=1722.34 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 225929 0 0 0 171260 974 0 0 25 0 1 0 821856671 658272256 158117 33554432000 4194304 9128323 140736334552336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 160711 158117 782 1205 0 159502 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 642844

[startup+1782.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/430 26703
/proc/meminfo: memFree=28126216/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=646292 CPUtime=1782.35 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 226790 0 0 0 177217 1018 0 0 25 0 1 0 821856671 661803008 158978 33554432000 4194304 9128323 140736334552336 18446744073709551615 7192200 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26625/statm: 161573 158978 782 1205 0 160364 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 646292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.09 2.04 2.01 3/430 26704
/proc/meminfo: memFree=28124100/32951124 swapFree=43324008/67111528
[pid=26625] ppid=26623 vsize=648376 CPUtime=1800.06 cores=1,3,5,7
/proc/26625/stat : 26625 (scip-2.0.1.4.li) R 26623 26625 22076 0 -1 4202496 227311 0 0 0 178976 1030 0 0 25 0 1 0 821856671 663937024 159499 33554432000 4194304 9128323 140736334552336 18446744073709551615 4692798 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26625/statm: 162094 159499 782 1205 0 160885 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 648376

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.04
CPU time (s): 1800.1
CPU user time (s): 1789.77
CPU system time (s): 10.3294
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 673436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.77
system time used= 10.3294
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227311
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= 6
involuntary context switches= 4382

runsolver used 7.52286 second user time and 18.3242 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-03 14:02:42
IDJOB=3452240
IDBENCH=48104
IDSOLVER=1949
FILE ID=node105/3452240-1307102562
RUNJOBID= node105-1307092947-22095
PBS_JOBID= 13497984
Free space on /tmp= 73752 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_4.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452240-1307102562/watcher-3452240-1307102562 -o /tmp/evaluation-result-3452240-1307102562/solver-3452240-1307102562 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452240-1307102562.opb -t 1800 -m 15500

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

MD5SUM BENCH= efe239846afd4f2627c83cec32ebc27d
RANDOM SEED=945567124

node105.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.825
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.65
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.825
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.825
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.82
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.825
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.825
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	: 5410.70
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.825
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.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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:      28950928 kB
Buffers:        298316 kB
Cached:         794680 kB
SwapCached:      20984 kB
Active:        3031112 kB
Inactive:       653696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28950928 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:           13040 kB
Writeback:           0 kB
AnonPages:     2588444 kB
Mapped:          22304 kB
Slab:           166144 kB
PageTables:      81708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115065780 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= 73740 MiB
End job on node105 at 2011-06-03 14:32:44