Trace number 3486290

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.18 1800.13

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12019_5.std.opb
MD5SUMfca2bf846c4de68f23f92649fc394136
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark109
Best CPU time to get the best result obtained on this benchmark1800.13
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 constraints234238
Number of constraints which are clauses233038
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 constraint120
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-3486290-1307793618.opb>
1.39/1.42	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234238 constraints
1.39/1.42	c problem read
1.39/1.42	c presolving settings loaded
2.29/2.31	c presolving:
10.69/10.72	c (round 1) 4914 del vars, 14863 del conss, 0 add conss, 3365 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16007856 impls, 0 clqs
15.09/15.19	c (round 2) 12278 del vars, 39072 del conss, 0 add conss, 10335 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16039526 impls, 0 clqs
16.49/16.53	c (round 3) 14566 del vars, 50352 del conss, 0 add conss, 11555 chg bounds, 25 chg sides, 49 chg coeffs, 0 upgd conss, 16055512 impls, 0 clqs
17.19/17.27	c (round 4) 15471 del vars, 54200 del conss, 0 add conss, 12122 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16060400 impls, 0 clqs
17.39/17.48	c (round 5) 15854 del vars, 55951 del conss, 0 add conss, 12284 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16062584 impls, 0 clqs
17.49/17.59	c (round 6) 15928 del vars, 56364 del conss, 0 add conss, 12314 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063284 impls, 0 clqs
17.59/17.68	c (round 7) 15956 del vars, 56525 del conss, 0 add conss, 12329 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063644 impls, 0 clqs
17.69/17.75	c (round 8) 15968 del vars, 56591 del conss, 0 add conss, 12335 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063740 impls, 0 clqs
17.79/17.81	c (round 9) 15970 del vars, 56613 del conss, 0 add conss, 12336 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063750 impls, 0 clqs
18.60/18.60	c (round 10) 15970 del vars, 56616 del conss, 0 add conss, 12336 chg bounds, 31 chg sides, 55 chg coeffs, 177622 upgd conss, 16063750 impls, 0 clqs
19.89/19.91	c (round 11) 15970 del vars, 56616 del conss, 9 add conss, 12336 chg bounds, 44 chg sides, 182 chg coeffs, 177622 upgd conss, 16063750 impls, 0 clqs
837.02/837.05	c    (837.1s) probing: 1000/56872 (1.8%) - 0 fixings, 0 aggregations, 10880552 implications, 0 bound changes
1428.73/1428.73	c    (1428.7s) probing: 2000/56872 (3.5%) - 0 fixings, 0 aggregations, 16542086 implications, 0 bound changes
1429.43/1429.46	c    (1429.5s) probing: 2001/56872 (3.5%) - 0 fixings, 0 aggregations, 16548096 implications, 0 bound changes
1429.43/1429.46	c    (1429.5s) probing aborted: 2000/2000 successive useless probings
1429.43/1429.46	c presolving (12 rounds):
1429.43/1429.46	c  15970 deleted vars, 56620 deleted constraints, 9 added constraints, 12336 tightened bounds, 0 added holes, 44 changed sides, 184 changed coefficients
1429.43/1429.46	c  74804666 implications, 0 cliques
1429.43/1429.46	c presolved problem has 56872 variables (56872 bin, 0 int, 0 impl, 0 cont) and 177627 constraints
1429.43/1429.46	c    1161 constraints of type <knapsack>
1429.43/1429.46	c  148361 constraints of type <setppc>
1429.43/1429.46	c   28105 constraints of type <logicor>
1429.43/1429.46	c transformed objective value is always integral (scale: 1)
1429.43/1429.46	c Presolving Time: 1427.80
1429.43/1429.46	c - non default parameters ----------------------------------------------------------------------
1429.43/1429.46	c # SCIP version 2.0.1.4
1429.43/1429.46	c 
1429.43/1429.46	c # frequency for displaying node information lines
1429.43/1429.46	c # [type: int, range: [-1,2147483647], default: 100]
1429.43/1429.46	c display/freq = 10000
1429.43/1429.46	c 
1429.43/1429.46	c # maximal time in seconds to run
1429.43/1429.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1429.43/1429.46	c limits/time = 1797
1429.43/1429.46	c 
1429.43/1429.46	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1429.43/1429.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1429.43/1429.46	c limits/memory = 13950
1429.43/1429.46	c 
1429.43/1429.46	c # default clock type (1: CPU user seconds, 2: wall clock time)
1429.43/1429.46	c # [type: int, range: [1,2], default: 1]
1429.43/1429.46	c timing/clocktype = 2
1429.43/1429.46	c 
1429.43/1429.46	c # belongs reading time to solving time?
1429.43/1429.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1429.43/1429.46	c timing/reading = TRUE
1429.43/1429.46	c 
1429.43/1429.46	c # should presolving try to simplify inequalities
1429.43/1429.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1429.43/1429.46	c constraints/linear/simplifyinequalities = TRUE
1429.43/1429.46	c 
1429.43/1429.46	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1429.43/1429.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1429.43/1429.46	c constraints/indicator/addCouplingCons = TRUE
1429.43/1429.46	c 
1429.43/1429.46	c # should presolving try to simplify knapsacks
1429.43/1429.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1429.43/1429.46	c constraints/knapsack/simplifyinequalities = TRUE
1429.43/1429.46	c 
1429.43/1429.46	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1429.43/1429.46	c # [type: int, range: [-1,2147483647], default: -1]
1429.43/1429.46	c separating/rapidlearning/freq = 0
1429.43/1429.46	c 
1429.43/1429.46	c -----------------------------------------------------------------------------------------------
1429.43/1429.46	c start solving
1429.53/1429.50	c

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-3486290-1307793618/watcher-3486290-1307793618 -o /tmp/evaluation-result-3486290-1307793618/solver-3486290-1307793618 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486290-1307793618.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.96 2.02 1.93 3/178 5919
/proc/meminfo: memFree=31423776/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=10152 CPUtime=0 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 1529 0 0 0 0 0 0 0 23 0 1 0 890959974 10395648 1483 33554432000 4194304 8979876 140733209122128 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5919/statm: 2538 1483 366 1169 0 1365 0

[startup+0.0543691 s]
/proc/loadavg: 1.96 2.02 1.93 3/178 5919
/proc/meminfo: memFree=31423776/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=19728 CPUtime=0.04 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 3934 0 0 0 4 0 0 0 23 0 1 0 890959974 20201472 3888 33554432000 4194304 8979876 140733209122128 18446744073709551615 6782507 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5919/statm: 4932 3888 366 1169 0 3759 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19728

[startup+0.100374 s]
/proc/loadavg: 1.96 2.02 1.93 3/178 5919
/proc/meminfo: memFree=31423776/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=27412 CPUtime=0.09 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 5868 0 0 0 9 0 0 0 23 0 1 0 890959974 28069888 5822 33554432000 4194304 8979876 140733209122128 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5919/statm: 6853 5822 366 1169 0 5680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27412

[startup+0.300344 s]
/proc/loadavg: 1.96 2.02 1.93 3/178 5919
/proc/meminfo: memFree=31423776/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=51336 CPUtime=0.29 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 11844 0 0 0 28 1 0 0 25 0 1 0 890959974 52568064 11798 33554432000 4194304 8979876 140733209122128 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5919/statm: 12834 11798 366 1169 0 11661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51336

[startup+0.700306 s]
/proc/loadavg: 1.96 2.02 1.93 3/178 5919
/proc/meminfo: memFree=31423776/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=73560 CPUtime=0.69 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 17389 0 0 0 68 1 0 0 25 0 1 0 890959974 75325440 17343 33554432000 4194304 8979876 140733209122128 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5919/statm: 18439 17365 366 1169 0 17266 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73560

[startup+1.50113 s]
/proc/loadavg: 1.96 2.02 1.93 3/179 5920
/proc/meminfo: memFree=31232584/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=198376 CPUtime=1.49 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 48503 0 0 0 144 5 0 0 25 0 1 0 890959974 203137024 48419 33554432000 4194304 8979876 140733209122128 18446744073709551615 4880925 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 49594 48419 416 1169 0 48421 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 198376

[startup+3.10088 s]
/proc/loadavg: 1.96 2.02 1.93 3/179 5920
/proc/meminfo: memFree=30658216/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=469752 CPUtime=3.09 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 124202 0 0 0 297 12 0 0 25 0 1 0 890959974 481026048 114157 33554432000 4194304 8979876 140733209122128 18446744073709551615 6443307 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 117438 114157 487 1169 0 116265 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 469752

[startup+6.30027 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 5920
/proc/meminfo: memFree=30154544/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=690720 CPUtime=6.29 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 179141 0 0 0 611 18 0 0 25 0 1 0 890959974 707297280 169096 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 172680 169096 494 1169 0 171507 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 690720

[startup+12.7012 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 5921
/proc/meminfo: memFree=29732520/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=875972 CPUtime=12.69 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 224291 0 0 0 1245 24 0 0 25 0 1 0 890959974 896995328 213153 33554432000 4194304 8979876 140733209122128 18446744073709551615 4876237 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 218993 213153 504 1169 0 217820 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 875972

[startup+25.5009 s]
/proc/loadavg: 2.10 2.05 1.94 3/179 5921
/proc/meminfo: memFree=29521080/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=981808 CPUtime=25.49 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 267477 0 0 0 2520 29 0 0 25 0 1 0 890959974 1005371392 238528 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 245452 238528 642 1169 0 244279 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 981808

[startup+51.1003 s]
/proc/loadavg: 2.07 2.05 1.94 3/179 5931
/proc/meminfo: memFree=29451520/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1025888 CPUtime=51.09 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 278038 0 0 0 5079 30 0 0 25 0 1 0 890959974 1050509312 248792 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 256472 248792 642 1169 0 255299 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1025888

[startup+102.306 s]
/proc/loadavg: 2.07 2.05 1.95 3/179 5932
/proc/meminfo: memFree=29343288/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1073880 CPUtime=102.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 289495 0 0 0 10198 32 0 0 25 0 1 0 890959974 1099653120 260249 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503345 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 268470 260249 642 1169 0 267297 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1073880

[startup+162.301 s]
/proc/loadavg: 2.02 2.04 1.95 3/179 5934
/proc/meminfo: memFree=29096124/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1196520 CPUtime=162.29 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 319446 0 0 0 16193 36 0 0 25 0 1 0 890959974 1225236480 290200 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 299130 290200 642 1169 0 297957 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1196520

[startup+222.301 s]
/proc/loadavg: 2.01 2.03 1.95 3/179 5935
/proc/meminfo: memFree=28926592/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1279116 CPUtime=222.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 340562 0 0 0 22190 40 0 0 25 0 1 0 890959974 1309814784 311316 33554432000 4194304 8979876 140733209122128 18446744073709551615 5539211 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 319779 311316 642 1169 0 318606 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1279116

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 5940
/proc/meminfo: memFree=28745084/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1353436 CPUtime=282.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 358986 0 0 0 28187 43 0 0 25 0 1 0 890959974 1385918464 329542 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 338359 329542 642 1169 0 337186 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1353436

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 5941
/proc/meminfo: memFree=28415400/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1512956 CPUtime=342.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 398665 0 0 0 34183 47 0 0 25 0 1 0 890959974 1549266944 368825 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 378239 368825 642 1169 0 377066 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1512956

[startup+402.301 s]
/proc/loadavg: 2.07 2.03 1.95 3/179 5943
/proc/meminfo: memFree=28179028/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1629004 CPUtime=402.29 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 427946 0 0 0 40179 50 0 0 25 0 1 0 890959974 1668100096 397974 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 407251 397974 642 1169 0 406078 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1629004

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/179 5945
/proc/meminfo: memFree=28003904/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1711492 CPUtime=462.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 448635 0 0 0 46177 53 0 0 25 0 1 0 890959974 1752567808 418663 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 427873 418663 642 1169 0 426700 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1711492

[startup+522.301 s]
/proc/loadavg: 2.04 2.03 1.96 3/179 5946
/proc/meminfo: memFree=27817884/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1818060 CPUtime=522.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 475578 0 0 0 52174 56 0 0 25 0 1 0 890959974 1861693440 445606 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 454515 445606 642 1169 0 453342 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1818060

[startup+582.301 s]
/proc/loadavg: 2.09 2.04 1.97 3/179 5948
/proc/meminfo: memFree=27672024/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1890632 CPUtime=582.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 493673 0 0 0 58172 58 0 0 25 0 1 0 890959974 1936007168 463602 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 472658 463602 642 1169 0 471485 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1890632

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 5956
/proc/meminfo: memFree=26764188/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2277244 CPUtime=882.31 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 588090 0 0 0 88157 74 0 0 25 0 1 0 890959974 2331897856 558019 33554432000 4194304 8979876 140733209122128 18446744073709551615 4347916 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 569311 558019 647 1169 0 568138 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2277244

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 5957
/proc/meminfo: memFree=26635936/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2373644 CPUtime=942.31 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 611544 0 0 0 94154 77 0 0 25 0 1 0 890959974 2430611456 581407 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537629 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 593411 581407 647 1169 0 592238 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2373644

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 5959
/proc/meminfo: memFree=26546512/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2422320 CPUtime=1002.31 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 624429 0 0 0 100152 79 0 0 25 0 1 0 890959974 2480455680 594292 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 605580 594292 647 1169 0 604407 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2422320

[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/179 5961
/proc/meminfo: memFree=26425208/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2508784 CPUtime=1062.32 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 646007 0 0 0 106150 82 0 0 25 0 1 0 890959974 2568994816 615870 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 627196 615870 647 1169 0 626023 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2508784

[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/179 5962
/proc/meminfo: memFree=26325240/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2559492 CPUtime=1122.32 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 658361 0 0 0 112148 84 0 0 25 0 1 0 890959974 2620919808 628224 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 639873 628224 647 1169 0 638700 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2559492

[startup+1182.3 s]
/proc/loadavg: 2.12 2.06 1.99 3/179 5964
/proc/meminfo: memFree=26239160/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2598904 CPUtime=1182.32 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 668219 0 0 0 118147 85 0 0 25 0 1 0 890959974 2661277696 638082 33554432000 4194304 8979876 140733209122128 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 649726 638082 647 1169 0 648553 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2598904

[startup+1242.3 s]
/proc/loadavg: 2.19 2.08 2.00 3/179 5965
/proc/meminfo: memFree=26113012/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2673352 CPUtime=1242.32 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 687099 0 0 0 124145 87 0 0 25 0 1 0 890959974 2737512448 656962 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 668338 656962 647 1169 0 667165 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2673352

[startup+1302.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/179 5967
/proc/meminfo: memFree=26037216/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2706832 CPUtime=1302.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 695595 0 0 0 130144 89 0 0 25 0 1 0 890959974 2771795968 665458 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 676708 665458 647 1169 0 675535 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2706832

[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 5969
/proc/meminfo: memFree=25944296/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2763552 CPUtime=1362.32 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 708974 0 0 0 136142 90 0 0 25 0 1 0 890959974 2829877248 678837 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 690888 678837 647 1169 0 689715 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2763552

[startup+1422.31 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 5970
/proc/meminfo: memFree=25867120/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2795712 CPUtime=1422.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 717450 0 0 0 142141 92 0 0 25 0 1 0 890959974 2862809088 687313 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 698928 687313 647 1169 0 697755 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2795712

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 5972
/proc/meminfo: memFree=25495932/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3128384 CPUtime=1482.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 796255 0 0 0 148129 104 0 0 25 0 1 0 890959974 3203465216 763853 33554432000 4194304 8979876 140733209122128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 782096 763853 751 1169 0 780923 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3128384

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 5973
/proc/meminfo: memFree=25441704/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3137080 CPUtime=1542.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 799096 0 0 0 154125 108 0 0 25 0 1 0 890959974 3212369920 766681 33554432000 4194304 8979876 140733209122128 18446744073709551615 7146789 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 784270 766681 750 1169 0 783097 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3137080

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 5975
/proc/meminfo: memFree=25399380/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3145200 CPUtime=1602.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 800669 0 0 0 160121 112 0 0 25 0 1 0 890959974 3220684800 768106 33554432000 4194304 8979876 140733209122128 18446744073709551615 7146987 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 786300 768106 670 1169 0 785127 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3145200

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5977
/proc/meminfo: memFree=25347636/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3156276 CPUtime=1662.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 804274 0 0 0 166119 114 0 0 25 0 1 0 890959974 3232026624 771706 33554432000 4194304 8979876 140733209122128 18446744073709551615 7147076 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 789069 771706 673 1169 0 787896 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3156276

[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 5978
/proc/meminfo: memFree=25227444/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3158340 CPUtime=1722.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 804492 0 0 0 172116 117 0 0 25 0 1 0 890959974 3234140160 771924 33554432000 4194304 8979876 140733209122128 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 789585 771924 673 1169 0 788412 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3158340

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5980
/proc/meminfo: memFree=25131308/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3193696 CPUtime=1782.34 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 815235 0 0 0 178113 121 0 0 25 0 1 0 890959974 3270344704 782492 33554432000 4194304 8979876 140733209122128 18446744073709551615 7193346 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 798424 782492 762 1169 0 797251 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3193696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 4/179 6018
/proc/meminfo: memFree=28012004/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3193696 CPUtime=1800.04 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 815247 0 0 0 179883 121 0 0 25 0 1 0 890959974 3270344704 782504 33554432000 4194304 8979876 140733209122128 18446744073709551615 7156827 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 798424 782504 762 1169 0 797251 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3193696

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.01 2.02 2.00 4/179 6018
/proc/meminfo: memFree=28012004/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=0 CPUtime=1800.15 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4203524 815247 0 0 0 179883 132 0 0 25 0 1 0 890959974 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5919/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.18
CPU user time (s): 1798.83
CPU system time (s): 1.3458
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3193696

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

runsolver used 3.16952 second user time and 6.34603 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-11 14:00:18
IDJOB=3486290
IDBENCH=77546
IDSOLVER=1977
FILE ID=node132/3486290-1307793618
RUNJOBID= node132-1307793618-5891
PBS_JOBID= 13550912
Free space on /tmp= 74076 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12019_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-3486290-1307793618/watcher-3486290-1307793618 -o /tmp/evaluation-result-3486290-1307793618/solver-3486290-1307793618 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486290-1307793618.opb -t 1800 -m 15500

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

MD5SUM BENCH= fca2bf846c4de68f23f92649fc394136
RANDOM SEED=181739480

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31426932 kB
Buffers:        279636 kB
Cached:        1010972 kB
SwapCached:       9968 kB
Active:         626768 kB
Inactive:       687820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31426932 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:           47892 kB
Writeback:           8 kB
AnonPages:       22504 kB
Mapped:          10344 kB
Slab:           144160 kB
PageTables:       4700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   182168 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= 74052 MiB
End job on node132 at 2011-06-11 14:30:20