Trace number 3450588

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.04 1800.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_1.opb
MD5SUM93a95f0846e71f0984a2317cf811edef
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark1797.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
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 constraint26
Maximum length of a constraint49
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)15716
Sum of products size (including duplicates)31432
Number of different products15716
Sum of products size31432

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3450588-1307101413.opb>
0.03/0.06	c original problem has 16216 variables (16216 bin, 0 int, 0 impl, 0 cont) and 16716 constraints
0.03/0.06	c problem read
0.03/0.06	c presolving settings loaded
0.09/0.14	o 500
0.09/0.14	c feasible solution found by trivial heuristic, objective value  5.000000e+02
0.09/0.14	c presolving:
0.49/0.51	c (round 1) 0 del vars, 16216 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1060856 impls, 0 clqs
0.59/0.62	c (round 2) 15716 del vars, 16216 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 1060856 impls, 0 clqs
0.59/0.62	c    (0.6s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.62	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.62	c presolving (3 rounds):
0.59/0.62	c  15716 deleted vars, 16216 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.62	c  1060856 implications, 0 cliques
0.59/0.62	c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.59/0.62	c     500 constraints of type <logicor>
0.59/0.62	c transformed objective value is always integral (scale: 1)
0.59/0.62	c Presolving Time: 0.52
0.59/0.62	c - non default parameters ----------------------------------------------------------------------
0.59/0.62	c # SCIP version 2.0.1.5
0.59/0.62	c 
0.59/0.62	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.62	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.62	c conflict/interconss = 0
0.59/0.62	c 
0.59/0.62	c # should binary conflicts be preferred?
0.59/0.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62	c conflict/preferbinary = TRUE
0.59/0.62	c 
0.59/0.62	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.62	c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.62	c constraints/agelimit = 1
0.59/0.62	c 
0.59/0.62	c # should enforcement of pseudo solution be disabled?
0.59/0.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62	c constraints/disableenfops = TRUE
0.59/0.62	c 
0.59/0.62	c # frequency for displaying node information lines
0.59/0.62	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.62	c display/freq = 10000
0.59/0.62	c 
0.59/0.62	c # maximal time in seconds to run
0.59/0.62	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62	c limits/time = 1800
0.59/0.62	c 
0.59/0.62	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.62	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62	c limits/memory = 13950
0.59/0.62	c 
0.59/0.62	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.62	c # [type: int, range: [1,2], default: 1]
0.59/0.62	c timing/clocktype = 2
0.59/0.62	c 
0.59/0.62	c # belongs reading time to solving time?
0.59/0.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62	c timing/reading = TRUE
0.59/0.62	c 
0.59/0.62	c # should presolving try to simplify inequalities
0.59/0.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62	c constraints/linear/simplifyinequalities = TRUE
0.59/0.62	c 
0.59/0.62	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62	c constraints/indicator/addCouplingCons = TRUE
0.59/0.62	c 
0.59/0.62	c # should presolving try to simplify knapsacks
0.59/0.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.62	c 
0.59/0.62	c -----------------------------------------------------------------------------------------------
0.59/0.62	c start solving
0.59/0.62	c 
2.90/3.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.90/3.00	c t 3.0s|     1 |     0 | 10566 |     - |  36M|   0 | 266 | 500 | 500 | 500 | 500 |   0 |   0 |   0 | 1.517738e+01 | 5.000000e+02 |3194.38%
2.90/3.00	o 266
2.90/3.00	c r 3.0s|     1 |     0 | 10566 |     - |  36M|   0 | 266 | 500 | 500 | 500 | 500 |   0 |   0 |   0 | 1.517738e+01 | 2.660000e+02 |1652.61%
3.00/3.00	o 265
3.00/3.00	c R 3.0s|     1 |     0 | 10566 |     - |  36M|   0 | 266 | 500 | 500 | 500 | 500 |   0 |   0 |   0 | 1.517738e+01 | 2.650000e+02 |1646.02%
3.00/3.00	o 264
3.00/3.00	c s 3.0s|     1 |     0 | 10566 |     - |  36M|   0 | 266 | 500 | 500 | 500 | 500 |   0 |   0 |   0 | 1.517738e+01 | 2.640000e+02 |1639.43%
3.00/3.06	o 62
3.00/3.06	c z 3.1s|     1 |     0 | 10566 |     - |  36M|   0 | 266 | 500 | 500 | 500 | 500 |   0 |   0 |   0 | 1.517738e+01 | 6.200000e+01 | 308.50%
3.00/3.07	c   3.1s|     1 |     0 | 10566 |     - |  36M|   0 | 266 | 500 | 500 | 500 | 500 |   0 |   0 |   0 | 1.517738e+01 | 6.200000e+01 | 308.50%
3.00/3.07	o 50
3.00/3.07	c b 3.1s|     1 |     0 | 10566 |     - |  36M|   0 | 266 | 500 | 500 | 500 | 500 |   0 |   0 |   0 | 1.517738e+01 | 5.000000e+01 | 229.44%
12.29/12.36	c  12.4s|     1 |     2 | 10566 |     - |  36M|   0 | 266 | 500 | 500 | 500 | 500 |   0 |   0 |  19 | 1.517738e+01 | 5.000000e+01 | 229.44%
51.30/51.31	o 50
51.30/51.31	c z51.3s|    13 |    14 | 21526 | 913.3 |  36M|  12 | 118 | 500 | 500 | 500 | 500 |   0 |   0 | 161 | 1.517738e+01 | 5.000000e+01 | 229.44%
51.30/51.35	o 36
51.30/51.35	c b51.3s|    14 |    15 | 21857 | 868.5 |  36M|  13 | 108 | 500 | 500 | 500 | 500 |   0 |   0 | 161 | 1.517738e+01 | 3.600000e+01 | 137.20%
67.10/67.17	o 35
67.10/67.17	c v67.2s|    55 |    56 | 75709 |1206.4 |  36M|  17 |   - | 500 | 500 | 500 | 500 |   0 |   0 | 202 | 1.517738e+01 | 3.500000e+01 | 130.61%
67.10/67.17	o 34
67.10/67.17	c v67.2s|    55 |    56 | 75785 |1207.8 |  36M|  17 |   - | 500 | 500 | 500 | 500 |   0 |   0 | 202 | 1.517738e+01 | 3.400000e+01 | 124.02%
67.10/67.18	o 32
67.10/67.18	c v67.2s|    55 |    56 | 75902 |1209.9 |  36M|  17 |   - | 500 | 500 | 500 | 500 |   0 |   0 | 202 | 1.517738e+01 | 3.200000e+01 | 110.84%
67.10/67.19	o 30
67.10/67.19	c v67.2s|    55 |    56 | 76026 |1212.2 |  36M|  17 |   - | 500 | 500 | 500 | 500 |   0 |   0 | 202 | 1.517738e+01 | 3.000000e+01 |  97.66%
188.29/188.31	o 29
188.29/188.31	c v 188s|   208 |   209 |357447 |1675.8 |  36M|  33 |   - | 500 | 500 | 500 | 500 |   0 |   0 | 365 | 1.535746e+01 | 2.900000e+01 |  88.83%
435.10/435.17	o 28
435.10/435.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
435.10/435.17	c v 435s|   435 |   436 |  1010k|2304.3 |  37M|  54 |   - | 500 | 500 | 500 | 500 |   0 |   0 | 884 | 1.604134e+01 | 2.800000e+01 |  74.55%
531.50/531.55	o 27
531.50/531.55	c v 532s|   587 |   588 |  1351k|2288.0 |  37M|  61 |   - | 500 | 500 | 500 | 500 |   0 |   0 |1023 | 1.612278e+01 | 2.700000e+01 |  67.46%
1800.01/1800.01	c 
1800.01/1800.01	c SCIP Status        : solving was interrupted [time limit reached]
1800.01/1800.01	c Solving Time (sec) : 1800.01
1800.01/1800.01	c Solving Nodes      : 3219
1800.01/1800.01	c Primal Bound       : +2.70000000000000e+01 (663 solutions)
1800.01/1800.01	c Dual Bound         : +1.66881705307805e+01
1800.01/1800.01	c Gap                : 61.79 %

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-3450588-1307101413/watcher-3450588-1307101413 -o /tmp/evaluation-result-3450588-1307101413/solver-3450588-1307101413 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450588-1307101413.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.08 2.06 2.01 2/446 10946
/proc/meminfo: memFree=31176896/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=14640 CPUtime=0 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 2649 0 0 0 0 0 0 0 25 0 1 0 821740041 14991360 2602 33554432000 4194304 9163163 140735137163792 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10946/statm: 3660 2602 409 1214 0 2442 0

[startup+0.036578 s]
/proc/loadavg: 2.08 2.06 2.01 2/446 10946
/proc/meminfo: memFree=31176896/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=23756 CPUtime=0.03 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 4918 0 0 0 3 0 0 0 25 0 1 0 821740041 24326144 4871 33554432000 4194304 9163163 140735137163792 18446744073709551615 8045625 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10946/statm: 5939 4876 409 1214 0 4721 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23756

[startup+0.100568 s]
/proc/loadavg: 2.08 2.06 2.01 2/446 10946
/proc/meminfo: memFree=31176896/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=55840 CPUtime=0.09 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 12916 0 0 0 8 1 0 0 25 0 1 0 821740041 57180160 12868 33554432000 4194304 9163163 140735137163792 18446744073709551615 4816320 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 13960 12868 447 1214 0 12742 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55840

[startup+0.300532 s]
/proc/loadavg: 2.08 2.06 2.01 2/446 10946
/proc/meminfo: memFree=31176896/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=84620 CPUtime=0.29 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 19533 0 0 0 28 1 0 0 25 0 1 0 821740041 86650880 19482 33554432000 4194304 9163163 140735137163792 18446744073709551615 6922992 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 21155 19482 500 1214 0 19937 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84620

[startup+0.700459 s]
/proc/loadavg: 2.08 2.06 2.01 2/446 10946
/proc/meminfo: memFree=31176896/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=106684 CPUtime=0.69 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 25943 0 0 0 67 2 0 0 25 0 1 0 821740041 109244416 25126 33554432000 4194304 9163163 140735137163792 18446744073709551615 7390352 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 26671 25126 640 1214 0 25453 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106684

[startup+1.50032 s]
/proc/loadavg: 2.08 2.06 2.01 3/447 10947
/proc/meminfo: memFree=31077440/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=108976 CPUtime=1.49 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 26541 0 0 0 146 3 0 0 25 0 1 0 821740041 111591424 25717 33554432000 4194304 9163163 140735137163792 18446744073709551615 7346248 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27244 25717 641 1214 0 26026 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108976

[startup+3.10115 s]
/proc/loadavg: 2.08 2.06 2.01 3/447 10947
/proc/meminfo: memFree=31073720/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=108716 CPUtime=3.09 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 29156 0 0 0 304 5 0 0 25 0 1 0 821740041 111325184 25830 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27179 25830 701 1214 0 25961 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108716

[startup+6.3006 s]
/proc/loadavg: 2.08 2.06 2.01 3/447 10975
/proc/meminfo: memFree=31206864/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110460 CPUtime=6.29 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 29461 0 0 0 623 6 0 0 25 0 1 0 821740041 113111040 26135 33554432000 4194304 9163163 140735137163792 18446744073709551615 7396517 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27615 26135 704 1214 0 26397 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 110460

[startup+12.7005 s]
/proc/loadavg: 2.06 2.05 2.01 3/447 10975
/proc/meminfo: memFree=31198596/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110712 CPUtime=12.69 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 29579 0 0 0 1261 8 0 0 25 0 1 0 821740041 113369088 26253 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27678 26253 707 1214 0 26460 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110712

[startup+25.5002 s]
/proc/loadavg: 2.13 2.07 2.01 3/447 10976
/proc/meminfo: memFree=31198360/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110712 CPUtime=25.49 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 29580 0 0 0 2535 14 0 0 25 0 1 0 821740041 113369088 26254 33554432000 4194304 9163163 140735137163792 18446744073709551615 7374215 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27678 26254 707 1214 0 26460 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 110712

[startup+51.1007 s]
/proc/loadavg: 2.09 2.06 2.01 3/447 10976
/proc/meminfo: memFree=31198308/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110712 CPUtime=51.09 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 29580 0 0 0 5081 28 0 0 25 0 1 0 821740041 113369088 26254 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27678 26254 707 1214 0 26460 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 110712

[startup+102.317 s]
/proc/loadavg: 2.17 2.08 2.01 3/447 10978
/proc/meminfo: memFree=31194936/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=111244 CPUtime=102.31 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 33785 0 0 0 10178 53 0 0 25 0 1 0 821740041 113913856 26381 33554432000 4194304 9163163 140735137163792 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27811 26381 711 1214 0 26593 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 111244

[startup+162.301 s]
/proc/loadavg: 2.12 2.08 2.01 3/447 10979
/proc/meminfo: memFree=31195640/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=111088 CPUtime=162.29 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 40940 0 0 0 16153 76 0 0 25 0 1 0 821740041 113754112 26411 33554432000 4194304 9163163 140735137163792 18446744073709551615 7390101 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27772 26411 711 1214 0 26554 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 111088

[startup+222.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/447 10981
/proc/meminfo: memFree=31197084/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110612 CPUtime=222.3 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 45841 0 0 0 22125 105 0 0 25 0 1 0 821740041 113266688 26293 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27653 26293 711 1214 0 26435 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 110612

[startup+282.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/447 10983
/proc/meminfo: memFree=31197056/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110964 CPUtime=282.29 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 48516 0 0 0 28096 133 0 0 25 0 1 0 821740041 113627136 26379 33554432000 4194304 9163163 140735137163792 18446744073709551615 7390821 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27741 26379 711 1214 0 26523 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 110964

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/447 10984
/proc/meminfo: memFree=31197644/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110480 CPUtime=342.29 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 53471 0 0 0 34065 164 0 0 25 0 1 0 821740041 113131520 26193 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27620 26193 711 1214 0 26402 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 110480

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/447 10986
/proc/meminfo: memFree=31197372/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=109624 CPUtime=402.3 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 57843 0 0 0 40038 192 0 0 25 0 1 0 821740041 112254976 26003 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27406 26003 711 1214 0 26188 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 109624

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10987
/proc/meminfo: memFree=31198192/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110340 CPUtime=462.3 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 62995 0 0 0 46001 229 0 0 25 0 1 0 821740041 112988160 26201 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27585 26201 725 1214 0 26367 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 110340

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10989
/proc/meminfo: memFree=31197920/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110720 CPUtime=522.3 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 66435 0 0 0 51967 263 0 0 25 0 1 0 821740041 113377280 26338 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27680 26338 725 1214 0 26462 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 110720

[startup+582.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/447 10991
/proc/meminfo: memFree=31199128/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=109380 CPUtime=582.3 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 70055 0 0 0 57939 291 0 0 25 0 1 0 821740041 112005120 26003 33554432000 4194304 9163163 140735137163792 18446744073709551615 7390364 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27345 26003 725 1214 0 26127 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 109380

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/447 10997
/proc/meminfo: memFree=31197256/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110328 CPUtime=822.29 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 87403 0 0 0 81790 439 0 0 25 0 1 0 821740041 112975872 26261 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27582 26261 725 1214 0 26364 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 110328

[startup+882.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/447 10999
/proc/meminfo: memFree=31196336/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=111068 CPUtime=882.3 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 95017 0 0 0 87757 473 0 0 25 0 1 0 821740041 113733632 26427 33554432000 4194304 9163163 140735137163792 18446744073709551615 7390508 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27767 26427 725 1214 0 26549 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 111068

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 11000
/proc/meminfo: memFree=31196908/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=108956 CPUtime=942.3 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 102133 0 0 0 93724 506 0 0 25 0 1 0 821740041 111570944 25900 33554432000 4194304 9163163 140735137163792 18446744073709551615 7370212 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27239 25900 725 1214 0 26021 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 108956

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 11002
/proc/meminfo: memFree=31197996/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=109832 CPUtime=1002.3 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 113572 0 0 0 99692 538 0 0 25 0 1 0 821740041 112467968 26093 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27458 26093 725 1214 0 26240 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 109832

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 11012
/proc/meminfo: memFree=31197128/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110632 CPUtime=1062.3 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 119823 0 0 0 105656 574 0 0 25 0 1 0 821740041 113287168 26267 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27658 26267 725 1214 0 26440 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 110632

[startup+1122.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/447 11014
/proc/meminfo: memFree=31197180/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110752 CPUtime=1122.3 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 129111 0 0 0 111619 611 0 0 25 0 1 0 821740041 113410048 26351 33554432000 4194304 9163163 140735137163792 18446744073709551615 7359034 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27688 26351 725 1214 0 26470 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 110752

[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/447 11016
/proc/meminfo: memFree=31196644/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=110624 CPUtime=1182.3 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 131825 0 0 0 117584 646 0 0 25 0 1 0 821740041 113278976 26337 33554432000 4194304 9163163 140735137163792 18446744073709551615 7348624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27656 26337 725 1214 0 26438 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 110624

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 11017
/proc/meminfo: memFree=31196360/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=111276 CPUtime=1242.31 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 139993 0 0 0 123547 684 0 0 25 0 1 0 821740041 113946624 26405 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 27819 26405 725 1214 0 26601 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 111276

[startup+1302.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/447 11022
/proc/meminfo: memFree=31194672/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=112180 CPUtime=1302.31 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 143320 0 0 0 129509 722 0 0 25 0 1 0 821740041 114872320 26710 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 28045 26710 725 1214 0 26827 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 112180

[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/447 11023
/proc/meminfo: memFree=31195140/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=112680 CPUtime=1362.31 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 143442 0 0 0 135479 752 0 0 25 0 1 0 821740041 115384320 26832 33554432000 4194304 9163163 140735137163792 18446744073709551615 7346251 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 28170 26832 725 1214 0 26952 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 112680

[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 11025
/proc/meminfo: memFree=31194476/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=112988 CPUtime=1422.32 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 143536 0 0 0 141450 782 0 0 25 0 1 0 821740041 115699712 26926 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 28247 26926 725 1214 0 27029 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 112988

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 11027
/proc/meminfo: memFree=31196052/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=112988 CPUtime=1482.3 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 143536 0 0 0 147415 815 0 0 25 0 1 0 821740041 115699712 26926 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 28247 26926 725 1214 0 27029 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 112988

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 11028
/proc/meminfo: memFree=31195032/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=112988 CPUtime=1542.31 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 143537 0 0 0 153379 852 0 0 25 0 1 0 821740041 115699712 26927 33554432000 4194304 9163163 140735137163792 18446744073709551615 7412852 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 28247 26927 725 1214 0 27029 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 112988

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 11030
/proc/meminfo: memFree=31194520/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=112988 CPUtime=1602.31 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 143537 0 0 0 159344 887 0 0 25 0 1 0 821740041 115699712 26927 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 28247 26927 725 1214 0 27029 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 112988

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 11031
/proc/meminfo: memFree=31195484/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=112988 CPUtime=1662.31 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 143537 0 0 0 165312 919 0 0 25 0 1 0 821740041 115699712 26927 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 28247 26927 725 1214 0 27029 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 112988

[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/447 11033
/proc/meminfo: memFree=31194464/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=112988 CPUtime=1722.31 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 143537 0 0 0 171280 951 0 0 25 0 1 0 821740041 115699712 26927 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 28247 26927 725 1214 0 27029 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 112988

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/447 11035
/proc/meminfo: memFree=31192700/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=112988 CPUtime=1782.31 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 143540 0 0 0 177244 987 0 0 25 0 1 0 821740041 115699712 26930 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 28247 26930 725 1214 0 27029 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 112988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/447 11035
/proc/meminfo: memFree=31193928/32950928 swapFree=34365992/67111528
[pid=10946] ppid=10944 vsize=112988 CPUtime=1800.02 cores=0,2,4,6
/proc/10946/stat : 10946 (scip-2.0.1.4b.l) R 10944 10946 10081 0 -1 4202496 143540 0 0 0 179005 997 0 0 25 0 1 0 821740041 115699712 26930 33554432000 4194304 9163163 140735137163792 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10946/statm: 28247 26930 725 1214 0 27029 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 112988

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.04
CPU user time (s): 1790.06
CPU system time (s): 9.97848
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 124532

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

runsolver used 8.27674 second user time and 17.1004 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-03 13:43:33
IDJOB=3450588
IDBENCH=48112
IDSOLVER=1948
FILE ID=node120/3450588-1307101413
RUNJOBID= node120-1307093855-10099
PBS_JOBID= 13498002
Free space on /tmp= 73800 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_1.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-3450588-1307101413/watcher-3450588-1307101413 -o /tmp/evaluation-result-3450588-1307101413/solver-3450588-1307101413 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450588-1307101413.opb -t 1800 -m 15500

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

MD5SUM BENCH= 93a95f0846e71f0984a2317cf811edef
RANDOM SEED=1917801843

node120.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.809
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.61
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.809
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.07
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.809
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.809
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.809
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.78
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.809
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.809
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.809
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:     32950928 kB
MemFree:      31177176 kB
Buffers:        259616 kB
Cached:         973484 kB
SwapCached:      12852 kB
Active:         557040 kB
Inactive:       925408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31177176 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:           12448 kB
Writeback:           8 kB
AnonPages:      246644 kB
Mapped:          12172 kB
Slab:           132032 kB
PageTables:      91804 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 105621532 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= 73788 MiB
End job on node120 at 2011-06-03 14:13:35