Trace number 3486361

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 2 2011-06-10 (fixed)? (TO) 1800.17 1800.12

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9044_5.std.opb
MD5SUM638846b734321e375a597a595e35d62d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark84
Best CPU time to get the best result obtained on this benchmark0.745886
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints192746
Number of constraints which are clauses191546
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint68
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3486361-1307794482.opb>
1.10/1.12	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192746 constraints
1.10/1.12	c problem read
1.10/1.12	c presolving settings loaded
1.79/1.82	c presolving:
8.49/8.57	c (round 1) 4946 del vars, 14111 del conss, 0 add conss, 3795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13150806 impls, 0 clqs
11.19/11.23	c (round 2) 9412 del vars, 33839 del conss, 0 add conss, 8034 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13175612 impls, 0 clqs
12.10/12.13	c (round 3) 11357 del vars, 42218 del conss, 0 add conss, 9208 chg bounds, 41 chg sides, 39 chg coeffs, 0 upgd conss, 13191178 impls, 0 clqs
12.49/12.59	c (round 4) 12283 del vars, 46261 del conss, 0 add conss, 9764 chg bounds, 77 chg sides, 93 chg coeffs, 0 upgd conss, 13201151 impls, 0 clqs
12.89/12.94	c (round 5) 12891 del vars, 48665 del conss, 0 add conss, 10142 chg bounds, 85 chg sides, 104 chg coeffs, 0 upgd conss, 13207761 impls, 0 clqs
13.10/13.18	c (round 6) 13296 del vars, 50420 del conss, 0 add conss, 10380 chg bounds, 109 chg sides, 137 chg coeffs, 0 upgd conss, 13211775 impls, 0 clqs
13.29/13.32	c (round 7) 13517 del vars, 51451 del conss, 0 add conss, 10482 chg bounds, 109 chg sides, 137 chg coeffs, 0 upgd conss, 13214282 impls, 0 clqs
13.39/13.43	c (round 8) 13637 del vars, 52016 del conss, 0 add conss, 10553 chg bounds, 109 chg sides, 137 chg coeffs, 0 upgd conss, 13215579 impls, 0 clqs
13.49/13.51	c (round 9) 13707 del vars, 52356 del conss, 0 add conss, 10596 chg bounds, 109 chg sides, 137 chg coeffs, 0 upgd conss, 13215943 impls, 0 clqs
13.49/13.57	c (round 10) 13741 del vars, 52523 del conss, 0 add conss, 10618 chg bounds, 109 chg sides, 137 chg coeffs, 0 upgd conss, 13216117 impls, 0 clqs
13.59/13.63	c (round 11) 13757 del vars, 52600 del conss, 0 add conss, 10628 chg bounds, 109 chg sides, 137 chg coeffs, 0 upgd conss, 13216163 impls, 0 clqs
13.59/13.67	c (round 12) 13757 del vars, 52616 del conss, 0 add conss, 10628 chg bounds, 109 chg sides, 137 chg coeffs, 0 upgd conss, 13216163 impls, 0 clqs
14.20/14.27	c (round 13) 13757 del vars, 52616 del conss, 0 add conss, 10628 chg bounds, 109 chg sides, 137 chg coeffs, 140130 upgd conss, 13216163 impls, 0 clqs
14.79/14.84	c (round 14) 13757 del vars, 52628 del conss, 38 add conss, 10628 chg bounds, 185 chg sides, 364 chg coeffs, 140130 upgd conss, 13216163 impls, 0 clqs
623.00/623.00	c    (623.0s) probing: 1000/41025 (2.4%) - 0 fixings, 0 aggregations, 10843962 implications, 0 bound changes
1071.42/1071.44	c    (1071.4s) probing: 2000/41025 (4.9%) - 0 fixings, 0 aggregations, 17839036 implications, 0 bound changes
1071.62/1071.66	c    (1071.7s) probing: 2001/41025 (4.9%) - 0 fixings, 0 aggregations, 17842632 implications, 0 bound changes
1071.62/1071.66	c    (1071.7s) probing aborted: 2000/2000 successive useless probings
1071.62/1071.66	c presolving (15 rounds):
1071.62/1071.66	c  13757 deleted vars, 52635 deleted constraints, 40 added constraints, 10628 tightened bounds, 0 added holes, 189 changed sides, 384 changed coefficients
1071.62/1071.66	c  75367197 implications, 0 cliques
1071.62/1071.66	c presolved problem has 41025 variables (41025 bin, 0 int, 0 impl, 0 cont) and 140151 constraints
1071.62/1071.66	c    1091 constraints of type <knapsack>
1071.62/1071.66	c  118788 constraints of type <setppc>
1071.62/1071.66	c   20272 constraints of type <logicor>
1071.62/1071.66	c transformed objective value is always integral (scale: 1)
1071.62/1071.66	c Presolving Time: 1070.35
1071.62/1071.66	c - non default parameters ----------------------------------------------------------------------
1071.62/1071.66	c # SCIP version 2.0.1.4
1071.62/1071.66	c 
1071.62/1071.66	c # frequency for displaying node information lines
1071.62/1071.66	c # [type: int, range: [-1,2147483647], default: 100]
1071.62/1071.66	c display/freq = 10000
1071.62/1071.66	c 
1071.62/1071.66	c # maximal time in seconds to run
1071.62/1071.66	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1071.62/1071.66	c limits/time = 1797
1071.62/1071.66	c 
1071.62/1071.66	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1071.62/1071.66	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1071.62/1071.66	c limits/memory = 13950
1071.62/1071.66	c 
1071.62/1071.66	c # default clock type (1: CPU user seconds, 2: wall clock time)
1071.62/1071.66	c # [type: int, range: [1,2], default: 1]
1071.62/1071.66	c timing/clocktype = 2
1071.62/1071.66	c 
1071.62/1071.66	c # belongs reading time to solving time?
1071.62/1071.66	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1071.62/1071.66	c timing/reading = TRUE
1071.62/1071.66	c 
1071.62/1071.66	c # should presolving try to simplify inequalities
1071.62/1071.66	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1071.62/1071.66	c constraints/linear/simplifyinequalities = TRUE
1071.62/1071.66	c 
1071.62/1071.66	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1071.62/1071.66	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1071.62/1071.66	c constraints/indicator/addCouplingCons = TRUE
1071.62/1071.66	c 
1071.62/1071.66	c # should presolving try to simplify knapsacks
1071.62/1071.66	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1071.62/1071.66	c constraints/knapsack/simplifyinequalities = TRUE
1071.62/1071.66	c 
1071.62/1071.66	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1071.62/1071.66	c # [type: int, range: [-1,2147483647], default: -1]
1071.62/1071.66	c separating/rapidlearning/freq = 0
1071.62/1071.66	c 
1071.62/1071.66	c -----------------------------------------------------------------------------------------------
1071.62/1071.66	c start solving
1071.62/1071.69	c 
1075.31/1075.36	o 300
1075.31/1075.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1075.31/1075.36	c T1075s|     1 |     0 |     0 |     - |2209M|   0 |   - |  41k| 140k|  41k| 140k|   0 |   0 |   0 |      --      | 3.000000e+02 |    Inf 
1176.02/1176.07	c  1176s|     1 |     0 | 33980 |     - |2200M|   0 | 116 |  41k| 139k|  41k| 140k|   0 |   0 |   0 | 8.400000e+01 | 3.000000e+02 | 257.14%

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3486361-1307794482/watcher-3486361-1307794482 -o /tmp/evaluation-result-3486361-1307794482/solver-3486361-1307794482 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486361-1307794482.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: 1.84 1.97 1.89 3/177 23503
/proc/meminfo: memFree=31667536/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=10512 CPUtime=0 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 1637 0 0 0 0 0 0 0 20 0 1 0 891046417 10764288 1591 33554432000 4194304 8979876 140735847283712 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23503/statm: 2628 1591 366 1169 0 1455 0

[startup+0.07314 s]
/proc/loadavg: 1.84 1.97 1.89 3/177 23503
/proc/meminfo: memFree=31667536/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=23952 CPUtime=0.06 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 4971 0 0 0 6 0 0 0 20 0 1 0 891046417 24526848 4925 33554432000 4194304 8979876 140735847283712 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23503/statm: 5988 4925 366 1169 0 4815 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23952

[startup+0.101117 s]
/proc/loadavg: 1.84 1.97 1.89 3/177 23503
/proc/meminfo: memFree=31667536/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=27412 CPUtime=0.09 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 5866 0 0 0 9 0 0 0 20 0 1 0 891046417 28069888 5820 33554432000 4194304 8979876 140735847283712 18446744073709551615 4446976 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23503/statm: 6853 5820 366 1169 0 5680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27412

[startup+0.301114 s]
/proc/loadavg: 1.84 1.97 1.89 3/177 23503
/proc/meminfo: memFree=31667536/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=45784 CPUtime=0.29 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 10450 0 0 0 28 1 0 0 21 0 1 0 891046417 46882816 10404 33554432000 4194304 8979876 140735847283712 18446744073709551615 7836078 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23503/statm: 11446 10404 366 1169 0 10273 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45784

[startup+0.701043 s]
/proc/loadavg: 1.84 1.97 1.89 3/177 23503
/proc/meminfo: memFree=31667536/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=70616 CPUtime=0.69 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 16647 0 0 0 68 1 0 0 22 0 1 0 891046417 72310784 16601 33554432000 4194304 8979876 140735847283712 18446744073709551615 6201582 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23503/statm: 17654 16601 366 1169 0 16481 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70616

[startup+1.5009 s]
/proc/loadavg: 1.84 1.97 1.89 4/179 23505
/proc/meminfo: memFree=31476380/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=260208 CPUtime=1.49 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 63713 0 0 0 142 7 0 0 25 0 1 0 891046417 266452992 63634 33554432000 4194304 8979876 140735847283712 18446744073709551615 5435123 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23503/statm: 65052 63634 449 1169 0 63879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 260208

[startup+3.10058 s]
/proc/loadavg: 1.84 1.97 1.89 4/179 23505
/proc/meminfo: memFree=30996996/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=425696 CPUtime=3.09 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 113072 0 0 0 295 14 0 0 25 0 1 0 891046417 435912704 104518 33554432000 4194304 8979876 140735847283712 18446744073709551615 6499200 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23503/statm: 106424 104518 494 1169 0 105251 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 425696

[startup+6.30099 s]
/proc/loadavg: 1.85 1.97 1.89 4/179 23505
/proc/meminfo: memFree=30531028/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=615940 CPUtime=6.29 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 159635 0 0 0 609 20 0 0 25 0 1 0 891046417 630722560 151081 33554432000 4194304 8979876 140735847283712 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23503/statm: 153985 151081 494 1169 0 152812 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 615940

[startup+12.7008 s]
/proc/loadavg: 1.86 1.97 1.90 4/179 23505
/proc/meminfo: memFree=30272496/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=699612 CPUtime=12.69 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 180849 0 0 0 1246 23 0 0 25 0 1 0 891046417 716402688 170748 33554432000 4194304 8979876 140735847283712 18446744073709551615 6504341 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23503/statm: 174903 170748 504 1169 0 173730 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 699612

[startup+25.5005 s]
/proc/loadavg: 1.89 1.97 1.90 4/179 23505
/proc/meminfo: memFree=30124240/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=800508 CPUtime=25.49 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 216572 0 0 0 2522 27 0 0 25 0 1 0 891046417 819720192 194551 33554432000 4194304 8979876 140735847283712 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23503/statm: 200127 194551 564 1169 0 198954 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 800508

[startup+51.1009 s]
/proc/loadavg: 1.93 1.97 1.90 4/179 23506
/proc/meminfo: memFree=30033144/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=850476 CPUtime=51.08 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 228232 0 0 0 5080 28 0 0 25 0 1 0 891046417 870887424 206178 33554432000 4194304 8979876 140735847283712 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 212619 206178 564 1169 0 211446 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 850476

[startup+102.308 s]
/proc/loadavg: 1.97 1.97 1.90 4/179 23508
/proc/meminfo: memFree=29795788/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=968084 CPUtime=102.29 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 257292 0 0 0 10197 32 0 0 25 0 1 0 891046417 991318016 235238 33554432000 4194304 8979876 140735847283712 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 242021 235238 564 1169 0 240848 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 968084

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 4/179 23509
/proc/meminfo: memFree=29559792/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=1099944 CPUtime=162.29 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 291584 0 0 0 16192 37 0 0 25 0 1 0 891046417 1126342656 269134 33554432000 4194304 8979876 140735847283712 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 274986 269134 564 1169 0 273813 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1099944

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.91 4/179 23511
/proc/meminfo: memFree=29197192/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=1289084 CPUtime=222.29 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 338288 0 0 0 22187 42 0 0 25 0 1 0 891046417 1320022016 315772 33554432000 4194304 8979876 140735847283712 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 322271 315772 564 1169 0 321098 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1289084

[startup+282.301 s]
/proc/loadavg: 2.04 1.99 1.91 4/179 23512
/proc/meminfo: memFree=28866212/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=1437352 CPUtime=282.29 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 375010 0 0 0 28183 46 0 0 25 0 1 0 891046417 1471848448 352329 33554432000 4194304 8979876 140735847283712 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 359338 352329 564 1169 0 358165 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1437352

[startup+342.301 s]
/proc/loadavg: 2.06 2.00 1.92 4/179 23514
/proc/meminfo: memFree=28590540/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=1575244 CPUtime=342.3 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 409237 0 0 0 34179 51 0 0 25 0 1 0 891046417 1613049856 386556 33554432000 4194304 8979876 140735847283712 18446744073709551615 6495032 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 393811 386556 564 1169 0 392638 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1575244

[startup+402.301 s]
/proc/loadavg: 2.08 2.02 1.93 4/179 23515
/proc/meminfo: memFree=28283856/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=1793712 CPUtime=402.3 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 463337 0 0 0 40172 58 0 0 25 0 1 0 891046417 1836761088 440656 33554432000 4194304 8979876 140735847283712 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 448428 440656 564 1169 0 447255 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1793712

[startup+462.301 s]
/proc/loadavg: 2.11 2.03 1.93 4/179 23517
/proc/meminfo: memFree=28051324/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=1939960 CPUtime=462.3 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 499886 0 0 0 46168 62 0 0 25 0 1 0 891046417 1986519040 477205 33554432000 4194304 8979876 140735847283712 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 484990 477205 564 1169 0 483817 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1939960

[startup+522.301 s]
/proc/loadavg: 2.04 2.02 1.93 4/179 23519
/proc/meminfo: memFree=27732856/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=2082472 CPUtime=522.3 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 535291 0 0 0 52164 66 0 0 25 0 1 0 891046417 2132451328 512610 33554432000 4194304 8979876 140735847283712 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 520618 512610 564 1169 0 519445 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2082472

[startup+582.301 s]
/proc/loadavg: 2.13 2.04 1.94 4/179 23520
/proc/meminfo: memFree=27504680/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=2221988 CPUtime=582.3 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 569351 0 0 0 58158 72 0 0 25 0 1 0 891046417 2275315712 546670 33554432000 4194304 8979876 140735847283712 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 555497 546670 564 1169 0 554324 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2221988

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.02 1.95 4/179 23528
/proc/meminfo: memFree=26718232/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=2617868 CPUtime=882.31 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 668840 0 0 0 88146 85 0 0 25 0 1 0 891046417 2680696832 646159 33554432000 4194304 8979876 140735847283712 18446744073709551615 6502548 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 654467 646159 569 1169 0 653294 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2617868

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 1.95 4/179 23530
/proc/meminfo: memFree=26610804/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=2683012 CPUtime=942.31 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 684912 0 0 0 94145 86 0 0 25 0 1 0 891046417 2747404288 662231 33554432000 4194304 8979876 140735847283712 18446744073709551615 4875168 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 670753 662231 569 1169 0 669580 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2683012

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/179 23532
/proc/meminfo: memFree=26500408/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=2764172 CPUtime=1002.31 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 704953 0 0 0 100143 88 0 0 25 0 1 0 891046417 2830512128 682272 33554432000 4194304 8979876 140735847283712 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 691043 682272 569 1169 0 689870 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2764172

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23533
/proc/meminfo: memFree=26198660/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=2814244 CPUtime=1062.32 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 717608 0 0 0 106143 89 0 0 25 0 1 0 891046417 2881785856 694927 33554432000 4194304 8979876 140735847283712 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 703561 694927 569 1169 0 702388 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2814244

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23535
/proc/meminfo: memFree=25925944/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3085868 CPUtime=1122.32 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 783809 0 0 0 112132 100 0 0 25 0 1 0 891046417 3159928832 757179 33554432000 4194304 8979876 140735847283712 18446744073709551615 7193019 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 771467 757179 800 1169 0 770294 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3085868

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23536
/proc/meminfo: memFree=25932244/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3088404 CPUtime=1182.32 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 794242 0 0 0 118128 104 0 0 25 0 1 0 891046417 3162525696 754840 33554432000 4194304 8979876 140735847283712 18446744073709551615 7836148 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 772101 754840 756 1169 0 770928 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3088404

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23538
/proc/meminfo: memFree=25930724/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3088404 CPUtime=1242.32 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 794295 0 0 0 124128 104 0 0 25 0 1 0 891046417 3162525696 754877 33554432000 4194304 8979876 140735847283712 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 772101 754877 766 1169 0 770928 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3088404

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23540
/proc/meminfo: memFree=25930312/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3088404 CPUtime=1302.33 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 794295 0 0 0 130129 104 0 0 25 0 1 0 891046417 3162525696 754877 33554432000 4194304 8979876 140735847283712 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 772101 754877 766 1169 0 770928 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3088404

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23541
/proc/meminfo: memFree=25930404/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3088404 CPUtime=1362.32 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 794295 0 0 0 136128 104 0 0 25 0 1 0 891046417 3162525696 754877 33554432000 4194304 8979876 140735847283712 18446744073709551615 6254416 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 772101 754877 766 1169 0 770928 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3088404

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23543
/proc/meminfo: memFree=25930492/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3088404 CPUtime=1422.33 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 794295 0 0 0 142129 104 0 0 25 0 1 0 891046417 3162525696 754877 33554432000 4194304 8979876 140735847283712 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 772101 754877 766 1169 0 770928 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3088404

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23544
/proc/meminfo: memFree=25930472/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3088404 CPUtime=1482.33 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 794295 0 0 0 148129 104 0 0 25 0 1 0 891046417 3162525696 754877 33554432000 4194304 8979876 140735847283712 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 772101 754877 766 1169 0 770928 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3088404

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23546
/proc/meminfo: memFree=25930312/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3088404 CPUtime=1542.33 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 794295 0 0 0 154129 104 0 0 25 0 1 0 891046417 3162525696 754877 33554432000 4194304 8979876 140735847283712 18446744073709551615 6254540 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 772101 754877 766 1169 0 770928 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3088404

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23548
/proc/meminfo: memFree=25930284/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3088404 CPUtime=1602.33 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 794295 0 0 0 160129 104 0 0 25 0 1 0 891046417 3162525696 754877 33554432000 4194304 8979876 140735847283712 18446744073709551615 6254528 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 772101 754877 766 1169 0 770928 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3088404

[startup+1662.3 s]
/proc/loadavg: 2.10 2.03 1.96 4/179 23549
/proc/meminfo: memFree=25930372/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3088404 CPUtime=1662.33 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 794295 0 0 0 166129 104 0 0 25 0 1 0 891046417 3162525696 754877 33554432000 4194304 8979876 140735847283712 18446744073709551615 6254540 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 772101 754877 766 1169 0 770928 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3088404

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.96 4/179 23551
/proc/meminfo: memFree=25930212/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3088404 CPUtime=1722.33 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 794295 0 0 0 172129 104 0 0 25 0 1 0 891046417 3162525696 754877 33554432000 4194304 8979876 140735847283712 18446744073709551615 4689705 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 772101 754877 766 1169 0 770928 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3088404

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 1.96 4/179 23552
/proc/meminfo: memFree=25929804/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3088404 CPUtime=1782.33 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 794295 0 0 0 178129 104 0 0 25 0 1 0 891046417 3162525696 754877 33554432000 4194304 8979876 140735847283712 18446744073709551615 6254371 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 772101 754877 766 1169 0 770928 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3088404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.11 2.04 1.97 4/179 23553
/proc/meminfo: memFree=25923720/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=3088404 CPUtime=1800.04 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4202496 795817 0 0 0 179900 104 0 0 25 0 1 0 891046417 3162525696 756399 33554432000 4194304 8979876 140735847283712 18446744073709551615 6255408 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/23503/statm: 772101 756399 766 1169 0 770928 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3088404

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

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

[startup+1800.11 s]
/proc/loadavg: 2.11 2.04 1.97 4/179 23553
/proc/meminfo: memFree=25923720/32951124 swapFree=67063556/67111528
[pid=23503] ppid=23499 vsize=0 CPUtime=1800.14 cores=0,2,4,6
/proc/23503/stat : 23503 (scip-2.0.1.4_2.) R 23499 23503 23458 0 -1 4203524 795817 0 0 0 179900 114 0 0 25 0 1 0 891046417 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23503/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.12
CPU time (s): 1800.17
CPU user time (s): 1799
CPU system time (s): 1.16582
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3111820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.16582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 795817
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1642

runsolver used 3.09753 second user time and 6.65299 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-11 14:14:42
IDJOB=3486361
IDBENCH=78075
IDSOLVER=1977
FILE ID=node134/3486361-1307794482
RUNJOBID= node134-1307794482-23476
PBS_JOBID= 13550917
Free space on /tmp= 74112 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9044_5.std.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3486361-1307794482/watcher-3486361-1307794482 -o /tmp/evaluation-result-3486361-1307794482/solver-3486361-1307794482 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486361-1307794482.opb -t 1800 -m 15500

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

MD5SUM BENCH= 638846b734321e375a597a595e35d62d
RANDOM SEED=472747130

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31668392 kB
Buffers:        314272 kB
Cached:         745592 kB
SwapCached:      10284 kB
Active:         545392 kB
Inactive:       532688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31668392 kB
SwapTotal:    67111528 kB
SwapFree:     67063556 kB
Dirty:           45816 kB
Writeback:           0 kB
AnonPages:       15572 kB
Mapped:           9048 kB
Slab:           139040 kB
PageTables:       4280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   157732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74076 MiB
End job on node134 at 2011-06-11 14:44:44