Trace number 3451807

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) 1802.15 1802.13

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12013_5.std.opb
MD5SUM5495138de3d55ac13cf4e73f1acf7a00
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark93
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234296
Number of constraints which are clauses233096
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 constraint95
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.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-3451807-1307117651.opb>
1.49/1.57	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234296 constraints
1.49/1.57	c problem read
1.49/1.57	c presolving settings loaded
1.99/2.03	c presolving:
8.09/8.15	c (round 1) 4401 del vars, 13292 del conss, 0 add conss, 2967 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16153960 impls, 0 clqs
10.70/10.77	c (round 2) 11561 del vars, 36582 del conss, 0 add conss, 9812 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16185724 impls, 0 clqs
11.50/11.51	c (round 3) 14138 del vars, 48236 del conss, 0 add conss, 11247 chg bounds, 32 chg sides, 36 chg coeffs, 0 upgd conss, 16200531 impls, 0 clqs
11.90/11.93	c (round 4) 15217 del vars, 52455 del conss, 0 add conss, 11913 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16207806 impls, 0 clqs
12.11/12.14	c (round 5) 15691 del vars, 54605 del conss, 0 add conss, 12192 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16210865 impls, 0 clqs
12.20/12.25	c (round 6) 15877 del vars, 55472 del conss, 0 add conss, 12279 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16212299 impls, 0 clqs
12.30/12.33	c (round 7) 15953 del vars, 55840 del conss, 0 add conss, 12309 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16213041 impls, 0 clqs
12.30/12.39	c (round 8) 15977 del vars, 55968 del conss, 0 add conss, 12321 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16213249 impls, 0 clqs
12.40/12.45	c (round 9) 15985 del vars, 56020 del conss, 0 add conss, 12325 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16213317 impls, 0 clqs
13.10/13.14	c (round 10) 15985 del vars, 56032 del conss, 0 add conss, 12325 chg bounds, 64 chg sides, 69 chg coeffs, 178264 upgd conss, 16213317 impls, 0 clqs
13.89/13.97	c (round 11) 15985 del vars, 56035 del conss, 38 add conss, 12325 chg bounds, 114 chg sides, 283 chg coeffs, 178264 upgd conss, 16213317 impls, 0 clqs
583.39/583.44	c    (583.4s) probing: 1000/56857 (1.8%) - 0 fixings, 0 aggregations, 10828825 implications, 0 bound changes
1031.70/1031.75	c    (1031.7s) probing: 2000/56857 (3.5%) - 0 fixings, 0 aggregations, 16118594 implications, 0 bound changes
1032.19/1032.29	c    (1032.3s) probing: 2001/56857 (3.5%) - 0 fixings, 0 aggregations, 16122390 implications, 0 bound changes
1032.19/1032.29	c    (1032.3s) probing aborted: 2000/2000 successive useless probings
1032.19/1032.29	c presolving (12 rounds):
1032.19/1032.29	c  15985 deleted vars, 56043 deleted constraints, 40 added constraints, 12325 tightened bounds, 0 added holes, 117 changed sides, 300 changed coefficients
1032.19/1032.29	c  70691155 implications, 0 cliques
1032.19/1032.29	c presolved problem has 56857 variables (56857 bin, 0 int, 0 impl, 0 cont) and 178293 constraints
1032.19/1032.29	c    1123 constraints of type <knapsack>
1032.19/1032.29	c  149066 constraints of type <setppc>
1032.19/1032.29	c   28104 constraints of type <logicor>
1032.19/1032.29	c transformed objective value is always integral (scale: 1)
1032.19/1032.29	c Presolving Time: 1030.39
1032.19/1032.29	c - non default parameters ----------------------------------------------------------------------
1032.19/1032.29	c # SCIP version 2.0.1.5
1032.19/1032.29	c 
1032.19/1032.29	c # frequency for displaying node information lines
1032.19/1032.29	c # [type: int, range: [-1,2147483647], default: 100]
1032.19/1032.29	c display/freq = 10000
1032.19/1032.29	c 
1032.19/1032.29	c # maximal time in seconds to run
1032.19/1032.29	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1032.19/1032.29	c limits/time = 1800
1032.19/1032.29	c 
1032.19/1032.29	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1032.19/1032.29	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1032.19/1032.29	c limits/memory = 13950
1032.19/1032.29	c 
1032.19/1032.29	c # default clock type (1: CPU user seconds, 2: wall clock time)
1032.19/1032.29	c # [type: int, range: [1,2], default: 1]
1032.19/1032.29	c timing/clocktype = 2
1032.19/1032.29	c 
1032.19/1032.29	c # belongs reading time to solving time?
1032.19/1032.29	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1032.19/1032.29	c timing/reading = TRUE
1032.19/1032.29	c 
1032.19/1032.29	c # should presolving try to simplify inequalities
1032.19/1032.29	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1032.19/1032.29	c constraints/linear/simplifyinequalities = TRUE
1032.19/1032.29	c 
1032.19/1032.29	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1032.19/1032.29	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1032.19/1032.29	c constraints/indicator/addCouplingCons = TRUE
1032.19/1032.29	c 
1032.19/1032.29	c # should presolving try to simplify knapsacks
1032.19/1032.29	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1032.19/1032.29	c constraints/knapsack/simplifyinequalities = TRUE
1032.19/1032.29	c 
1032.19/1032.29	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1032.19/1032.29	c # [type: int, range: [-1,2147483647], default: -1]
1032.19/1032.29	c separating/rapidlearning/freq = 0
1032.19/1032.29	c 
1032.19/1032.29	c -----------------------------------------------------------------------------------------------
1032.19/1032.29	c start solving
1032.29/1032.33	c

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-3451807-1307117651/watcher-3451807-1307117651 -o /tmp/evaluation-result-3451807-1307117651/solver-3451807-1307117651 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451807-1307117651.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.93 2.01 1.99 3/446 12430
/proc/meminfo: memFree=30784500/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=13660 CPUtime=0 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 2409 0 0 0 0 0 0 0 25 0 1 0 823363932 13987840 2362 33554432000 4194304 9163163 140735446657776 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12430/statm: 3415 2364 395 1214 0 2197 0

[startup+0.0459041 s]
/proc/loadavg: 1.93 2.01 1.99 3/446 12430
/proc/meminfo: memFree=30784500/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=21160 CPUtime=0.04 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 4258 0 0 0 4 0 0 0 25 0 1 0 823363932 21667840 4211 33554432000 4194304 9163163 140735446657776 18446744073709551615 8041844 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12430/statm: 5290 4211 395 1214 0 4072 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21160

[startup+0.100901 s]
/proc/loadavg: 1.93 2.01 1.99 3/446 12430
/proc/meminfo: memFree=30784500/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=30072 CPUtime=0.09 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 6519 0 0 0 9 0 0 0 25 0 1 0 823363932 30793728 6472 33554432000 4194304 9163163 140735446657776 18446744073709551615 7962177 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12430/statm: 7518 6472 395 1214 0 6300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30072

[startup+0.300857 s]
/proc/loadavg: 1.93 2.01 1.99 3/446 12430
/proc/meminfo: memFree=30784500/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=56888 CPUtime=0.29 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 13204 0 0 0 28 1 0 0 25 0 1 0 823363932 58253312 13157 33554432000 4194304 9163163 140735446657776 18446744073709551615 6138092 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12430/statm: 14222 13157 395 1214 0 13004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56888

[startup+0.700678 s]
/proc/loadavg: 1.93 2.01 1.99 3/446 12430
/proc/meminfo: memFree=30784500/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=80896 CPUtime=0.69 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 19182 0 0 0 68 1 0 0 25 0 1 0 823363932 82837504 19135 33554432000 4194304 9163163 140735446657776 18446744073709551615 7962222 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12430/statm: 20224 19135 395 1214 0 19006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80896

[startup+1.50054 s]
/proc/loadavg: 1.93 2.01 1.99 3/447 12431
/proc/meminfo: memFree=30682188/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=151572 CPUtime=1.49 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 36862 0 0 0 145 4 0 0 25 0 1 0 823363932 155209728 36815 33554432000 4194304 9163163 140735446657776 18446744073709551615 4337779 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12430/statm: 37893 36815 395 1214 0 36675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151572

[startup+3.10037 s]
/proc/loadavg: 1.93 2.01 1.99 3/447 12431
/proc/meminfo: memFree=30418688/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=509212 CPUtime=3.09 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 124619 0 0 0 295 14 0 0 25 0 1 0 823363932 521433088 124550 33554432000 4194304 9163163 140735446657776 18446744073709551615 6568222 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12430/statm: 127303 124550 506 1214 0 126085 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 509212

[startup+6.30081 s]
/proc/loadavg: 1.93 2.01 1.99 3/447 12431
/proc/meminfo: memFree=30077812/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=783088 CPUtime=6.3 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 191156 0 0 0 608 22 0 0 25 0 1 0 823363932 801882112 191087 33554432000 4194304 9163163 140735446657776 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12430/statm: 195772 191087 506 1214 0 194554 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 783088

[startup+12.7007 s]
/proc/loadavg: 1.94 2.01 1.99 3/447 12431
/proc/meminfo: memFree=29934616/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=895408 CPUtime=12.7 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 225663 0 0 0 1245 25 0 0 25 0 1 0 823363932 916897792 218147 33554432000 4194304 9163163 140735446657776 18446744073709551615 4209138 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12430/statm: 223852 218147 529 1214 0 222634 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 895408

[startup+25.5004 s]
/proc/loadavg: 1.95 2.01 1.99 3/447 12432
/proc/meminfo: memFree=29794588/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=1016880 CPUtime=25.49 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 264036 0 0 0 2519 30 0 0 25 0 1 0 823363932 1041285120 247183 33554432000 4194304 9163163 140735446657776 18446744073709551615 6567491 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12430/statm: 254220 247183 649 1214 0 253002 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1016880

[startup+51.1009 s]
/proc/loadavg: 1.97 2.01 1.99 3/447 12432
/proc/meminfo: memFree=29736912/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=1080832 CPUtime=51.07 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 278765 0 0 0 5076 31 0 0 25 0 1 0 823363932 1106771968 261912 33554432000 4194304 9163163 140735446657776 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 270208 261912 649 1214 0 268990 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1080832

[startup+102.317 s]
/proc/loadavg: 1.98 2.00 1.99 3/447 12434
/proc/meminfo: memFree=29599896/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=1217720 CPUtime=102.29 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 312558 0 0 0 10194 35 0 0 25 0 1 0 823363932 1246945280 295705 33554432000 4194304 9163163 140735446657776 18446744073709551615 4792818 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 304430 295705 649 1214 0 303212 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1217720

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/447 12435
/proc/meminfo: memFree=29470288/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=1352916 CPUtime=162.28 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 346333 0 0 0 16189 39 0 0 25 0 1 0 823363932 1385385984 329480 33554432000 4194304 9163163 140735446657776 18446744073709551615 5459163 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 338229 329480 649 1214 0 337011 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1352916

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/447 12465
/proc/meminfo: memFree=28935568/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=1511204 CPUtime=222.28 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 385883 0 0 0 22183 45 0 0 25 0 1 0 823363932 1547472896 369030 33554432000 4194304 9163163 140735446657776 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 377801 369030 649 1214 0 376583 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1511204

[startup+282.301 s]
/proc/loadavg: 2.13 2.03 2.00 3/447 12466
/proc/meminfo: memFree=28643776/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=1653724 CPUtime=282.28 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 421571 0 0 0 28180 48 0 0 25 0 1 0 823363932 1693413376 404718 33554432000 4194304 9163163 140735446657776 18446744073709551615 8045543 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 413431 404718 649 1214 0 412213 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1653724

[startup+342.301 s]
/proc/loadavg: 2.11 2.04 2.00 3/447 12468
/proc/meminfo: memFree=28342164/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=1823848 CPUtime=342.28 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 464080 0 0 0 34176 52 0 0 25 0 1 0 823363932 1867620352 447227 33554432000 4194304 9163163 140735446657776 18446744073709551615 4831913 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 455962 447227 649 1214 0 454744 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1823848

[startup+402.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/447 12470
/proc/meminfo: memFree=28028148/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=1941808 CPUtime=402.28 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 494301 0 0 0 40172 56 0 0 25 0 1 0 823363932 1988411392 477448 33554432000 4194304 9163163 140735446657776 18446744073709551615 5460464 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 485452 477448 649 1214 0 484234 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1941808

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 12471
/proc/meminfo: memFree=27745656/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=2020472 CPUtime=462.28 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 513569 0 0 0 46168 60 0 0 25 0 1 0 823363932 2068963328 496716 33554432000 4194304 9163163 140735446657776 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 505118 496716 649 1214 0 503900 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2020472

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 12473
/proc/meminfo: memFree=27515852/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=2125540 CPUtime=522.28 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 539464 0 0 0 52165 63 0 0 25 0 1 0 823363932 2176552960 522611 33554432000 4194304 9163163 140735446657776 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 531385 522611 649 1214 0 530167 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2125540

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12474
/proc/meminfo: memFree=27274136/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=2227712 CPUtime=582.29 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 564666 0 0 0 58162 67 0 0 25 0 1 0 823363932 2281177088 547813 33554432000 4194304 9163163 140735446657776 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 556928 547813 649 1214 0 555710 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2227712

[startup+642.301 s]

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

/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 753078 0 0 0 106136 94 0 0 25 0 1 0 823363932 3076468736 733384 33554432000 4194304 9163163 140735446657776 18446744073709551615 7349062 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 751091 733384 825 1214 0 749873 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 3004364

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12489
/proc/meminfo: memFree=25806824/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3023684 CPUtime=1122.29 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 758088 0 0 0 112130 99 0 0 25 0 1 0 823363932 3096252416 738260 33554432000 4194304 9163163 140735446657776 18446744073709551615 7348878 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 755921 738260 799 1214 0 754703 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 3023684

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12490
/proc/meminfo: memFree=25752464/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3036964 CPUtime=1182.3 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 759788 0 0 0 118126 104 0 0 25 0 1 0 823363932 3109851136 739776 33554432000 4194304 9163163 140735446657776 18446744073709551615 7413850 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 759241 739776 712 1214 0 758023 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 3036964

[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/447 12492
/proc/meminfo: memFree=25440672/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3038880 CPUtime=1242.3 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 764334 0 0 0 124121 109 0 0 25 0 1 0 823363932 3111813120 743848 33554432000 4194304 9163163 140735446657776 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 759720 743848 721 1214 0 758502 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3038880

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/447 12494
/proc/meminfo: memFree=25377260/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1302.31 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775374 0 0 0 130119 112 0 0 25 0 1 0 823363932 3154972672 754726 33554432000 4194304 9163163 140735446657776 18446744073709551615 7349062 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754726 720 1214 0 769039 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3081028

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12495
/proc/meminfo: memFree=25351168/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1362.3 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775416 0 0 0 136115 115 0 0 25 0 1 0 823363932 3154972672 754768 33554432000 4194304 9163163 140735446657776 18446744073709551615 7349233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754768 720 1214 0 769039 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 3081028

[startup+1422.32 s]
/proc/loadavg: 2.10 2.03 2.01 3/447 12497
/proc/meminfo: memFree=25316032/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1422.32 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775443 0 0 0 142114 118 0 0 25 0 1 0 823363932 3154972672 754795 33554432000 4194304 9163163 140735446657776 18446744073709551615 7317263 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754795 720 1214 0 769039 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 3081028

[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/447 12498
/proc/meminfo: memFree=25315624/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1482.3 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775458 0 0 0 148110 120 0 0 25 0 1 0 823363932 3154972672 754810 33554432000 4194304 9163163 140735446657776 18446744073709551615 7349272 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754810 720 1214 0 769039 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 3081028

[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 12500
/proc/meminfo: memFree=25340368/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1542.3 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775464 0 0 0 154107 123 0 0 25 0 1 0 823363932 3154972672 754816 33554432000 4194304 9163163 140735446657776 18446744073709551615 7359630 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754816 720 1214 0 769039 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 3081028

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 12502
/proc/meminfo: memFree=25337452/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1602.31 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775472 0 0 0 160105 126 0 0 25 0 1 0 823363932 3154972672 754824 33554432000 4194304 9163163 140735446657776 18446744073709551615 7317276 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754824 720 1214 0 769039 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 3081028

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 12503
/proc/meminfo: memFree=25337136/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1662.3 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775477 0 0 0 166102 128 0 0 25 0 1 0 823363932 3154972672 754829 33554432000 4194304 9163163 140735446657776 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754829 720 1214 0 769039 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 3081028

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12505
/proc/meminfo: memFree=25337204/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1722.31 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775482 0 0 0 172101 130 0 0 25 0 1 0 823363932 3154972672 754834 33554432000 4194304 9163163 140735446657776 18446744073709551615 7349313 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754834 720 1214 0 769039 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 3081028

[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/447 12506
/proc/meminfo: memFree=25335908/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1782.31 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775487 0 0 0 178098 133 0 0 25 0 1 0 823363932 3154972672 754839 33554432000 4194304 9163163 140735446657776 18446744073709551615 7345690 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754839 720 1214 0 769039 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 3081028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.03 2.01 3/447 12507
/proc/meminfo: memFree=25336884/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1800.02 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775488 0 0 0 179869 133 0 0 25 0 1 0 823363932 3154972672 754840 33554432000 4194304 9163163 140735446657776 18446744073709551615 7349221 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754840 720 1214 0 769039 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3081028

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -12430

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

[startup+1801.4 s]
/proc/loadavg: 2.06 2.03 2.01 3/448 12508
/proc/meminfo: memFree=25336008/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1801.41 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775488 0 0 0 180008 133 0 0 25 0 1 0 823363932 3154972672 754840 33554432000 4194304 9163163 140735446657776 18446744073709551615 7345670 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754840 720 1214 0 769039 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 3081028

[startup+1801.82 s]
/proc/loadavg: 2.06 2.03 2.01 3/448 12508
/proc/meminfo: memFree=25336008/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1801.82 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775489 0 0 0 180049 133 0 0 25 0 1 0 823363932 3154972672 754841 33554432000 4194304 9163163 140735446657776 18446744073709551615 7349313 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754841 720 1214 0 769039 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 3081028

[startup+1802 s]
/proc/loadavg: 2.06 2.03 2.01 3/448 12508
/proc/meminfo: memFree=25336008/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=3081028 CPUtime=1802.01 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4202496 775489 0 0 0 180068 133 0 0 25 0 1 0 823363932 3154972672 754841 33554432000 4194304 9163163 140735446657776 18446744073709551615 7312181 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12430/statm: 770257 754841 720 1214 0 769039 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 3081028

[startup+1802.1 s]
/proc/loadavg: 2.06 2.03 2.01 3/448 12508
/proc/meminfo: memFree=25336008/32950928 swapFree=34365992/67111528
[pid=12430] ppid=12428 vsize=0 CPUtime=1802.1 cores=0,2,4,6
/proc/12430/stat : 12430 (scip-2.0.1.4b.l) R 12428 12430 10081 0 -1 4203524 775489 0 0 0 180069 141 0 0 25 0 1 0 823363932 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/12430/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.13
CPU time (s): 1802.15
CPU user time (s): 1800.7
CPU system time (s): 1.45178
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 3081028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.7
system time used= 1.45178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775489
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= 2
involuntary context switches= 2058

runsolver used 8.04478 second user time and 18.3742 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-03 18:14:12
IDJOB=3451807
IDBENCH=77200
IDSOLVER=1948
FILE ID=node120/3451807-1307117651
RUNJOBID= node120-1307110430-11754
PBS_JOBID= 13498002
Free space on /tmp= 73792 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12013_5.std.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-3451807-1307117651/watcher-3451807-1307117651 -o /tmp/evaluation-result-3451807-1307117651/solver-3451807-1307117651 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451807-1307117651.opb -t 1800 -m 15500

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

MD5SUM BENCH= 5495138de3d55ac13cf4e73f1acf7a00
RANDOM SEED=1900399150

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:      30784788 kB
Buffers:        269580 kB
Cached:         988584 kB
SwapCached:      12852 kB
Active:         943092 kB
Inactive:       929772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30784788 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:           19836 kB
Writeback:           0 kB
AnonPages:      611720 kB
Mapped:          11988 kB
Slab:           132604 kB
PageTables:      92552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 106000084 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= 73776 MiB
End job on node120 at 2011-06-03 18:44:14