Trace number 3489747

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_2 2011-06-10 (fixed)? (TO) 1802.2 1802.13

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12040_1.std.opb
MD5SUM6fb8c842434b82a13287e61400a56efc
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark82
Best CPU time to get the best result obtained on this benchmark1800.12
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 constraints245500
Number of constraints which are clauses244300
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.5 [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-3489747-1307792985.opb>
1.29/1.38	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245500 constraints
1.29/1.38	c problem read
1.29/1.38	c presolving settings loaded
1.79/1.86	c presolving:
9.89/9.95	c (round 1) 5471 del vars, 15862 del conss, 0 add conss, 4095 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16790072 impls, 0 clqs
13.79/13.87	c (round 2) 11421 del vars, 39185 del conss, 0 add conss, 9700 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16821114 impls, 0 clqs
14.99/15.01	c (round 3) 13592 del vars, 49337 del conss, 0 add conss, 10884 chg bounds, 17 chg sides, 27 chg coeffs, 0 upgd conss, 16834186 impls, 0 clqs
15.69/15.70	c (round 4) 14648 del vars, 53526 del conss, 0 add conss, 11537 chg bounds, 56 chg sides, 71 chg coeffs, 0 upgd conss, 16842727 impls, 0 clqs
16.09/16.17	c (round 5) 15293 del vars, 56094 del conss, 0 add conss, 11970 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16847799 impls, 0 clqs
16.39/16.47	c (round 6) 15691 del vars, 57702 del conss, 0 add conss, 12214 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16850736 impls, 0 clqs
16.59/16.64	c (round 7) 15877 del vars, 58610 del conss, 0 add conss, 12316 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852000 impls, 0 clqs
16.69/16.75	c (round 8) 15963 del vars, 59000 del conss, 0 add conss, 12373 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852452 impls, 0 clqs
16.79/16.84	c (round 9) 16007 del vars, 59224 del conss, 0 add conss, 12409 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852518 impls, 0 clqs
16.89/16.90	c (round 10) 16009 del vars, 59267 del conss, 0 add conss, 12410 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852532 impls, 0 clqs
17.60/17.62	c (round 11) 16009 del vars, 59269 del conss, 0 add conss, 12410 chg bounds, 66 chg sides, 94 chg coeffs, 186231 upgd conss, 16852532 impls, 0 clqs
18.69/18.75	c (round 12) 16009 del vars, 59291 del conss, 58 add conss, 12410 chg bounds, 165 chg sides, 360 chg coeffs, 186231 upgd conss, 16852532 impls, 0 clqs
947.22/947.21	c    (947.2s) probing: 1000/56833 (1.8%) - 0 fixings, 0 aggregations, 13269339 implications, 0 bound changes
1492.35/1492.35	c    (1492.3s) probing: 2000/56833 (3.5%) - 0 fixings, 0 aggregations, 20102037 implications, 0 bound changes
1492.75/1492.78	c    (1492.8s) probing: 2001/56833 (3.5%) - 0 fixings, 0 aggregations, 20108109 implications, 0 bound changes
1492.75/1492.78	c    (1492.8s) probing aborted: 2000/2000 successive useless probings
1492.75/1492.78	c presolving (13 rounds):
1492.75/1492.78	c  16009 deleted vars, 59301 deleted constraints, 58 added constraints, 12410 tightened bounds, 0 added holes, 165 changed sides, 362 changed coefficients
1492.75/1492.78	c  84975936 implications, 0 cliques
1492.75/1492.78	c presolved problem has 56833 variables (56833 bin, 0 int, 0 impl, 0 cont) and 186257 constraints
1492.75/1492.78	c    1123 constraints of type <knapsack>
1492.75/1492.78	c  157010 constraints of type <setppc>
1492.75/1492.78	c   28124 constraints of type <logicor>
1492.75/1492.78	c transformed objective value is always integral (scale: 1)
1492.75/1492.78	c Presolving Time: 1491.05
1492.75/1492.78	c - non default parameters ----------------------------------------------------------------------
1492.75/1492.78	c # SCIP version 2.0.1.5
1492.75/1492.78	c 
1492.75/1492.78	c # frequency for displaying node information lines
1492.75/1492.78	c # [type: int, range: [-1,2147483647], default: 100]
1492.75/1492.78	c display/freq = 10000
1492.75/1492.78	c 
1492.75/1492.78	c # maximal time in seconds to run
1492.75/1492.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1492.75/1492.78	c limits/time = 1797
1492.75/1492.78	c 
1492.75/1492.78	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1492.75/1492.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1492.75/1492.78	c limits/memory = 13950
1492.75/1492.78	c 
1492.75/1492.78	c # default clock type (1: CPU user seconds, 2: wall clock time)
1492.75/1492.78	c # [type: int, range: [1,2], default: 1]
1492.75/1492.78	c timing/clocktype = 2
1492.75/1492.78	c 
1492.75/1492.78	c # belongs reading time to solving time?
1492.75/1492.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.75/1492.78	c timing/reading = TRUE
1492.75/1492.78	c 
1492.75/1492.78	c # should presolving try to simplify inequalities
1492.75/1492.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.75/1492.78	c constraints/linear/simplifyinequalities = TRUE
1492.75/1492.78	c 
1492.75/1492.78	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1492.75/1492.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.75/1492.78	c constraints/indicator/addCouplingCons = TRUE
1492.75/1492.78	c 
1492.75/1492.78	c # should presolving try to simplify knapsacks
1492.75/1492.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.75/1492.78	c constraints/knapsack/simplifyinequalities = TRUE
1492.75/1492.78	c 
1492.75/1492.78	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1492.75/1492.78	c # [type: int, range: [-1,2147483647], default: -1]
1492.75/1492.78	c separating/rapidlearning/freq = 0
1492.75/1492.78	c 
1492.75/1492.78	c -----------------------------------------------------------------------------------------------
1492.75/1492.78	c start solving
1492.84/1492.82	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-3489747-1307792985/watcher-3489747-1307792985 -o /tmp/evaluation-result-3489747-1307792985/solver-3489747-1307792985 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489747-1307792985.opb -t 1800 -m 15500 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9905
/proc/meminfo: memFree=30500352/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=12696 CPUtime=0 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 2167 0 0 0 0 0 0 0 25 0 1 0 969529176 13000704 2122 33554432000 4194304 9016284 140737436054160 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9905/statm: 3174 2122 353 1178 0 1992 0

[startup+0.095235 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9905
/proc/meminfo: memFree=30500352/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=31232 CPUtime=0.08 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 6806 0 0 0 8 0 0 0 25 0 1 0 969529176 31981568 6761 33554432000 4194304 9016284 140737436054160 18446744073709551615 7805042 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9905/statm: 7808 6761 360 1178 0 6626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31232

[startup+0.100229 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9905
/proc/meminfo: memFree=30500352/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=32392 CPUtime=0.08 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 7097 0 0 0 8 0 0 0 25 0 1 0 969529176 33169408 7052 33554432000 4194304 9016284 140737436054160 18446744073709551615 7870488 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9905/statm: 8098 7052 360 1178 0 6916 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32392

[startup+0.300191 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9905
/proc/meminfo: memFree=30500352/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=59140 CPUtime=0.29 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 13784 0 0 0 28 1 0 0 25 0 1 0 969529176 60559360 13739 33554432000 4194304 9016284 140737436054160 18446744073709551615 5208219 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9905/statm: 14785 13739 360 1178 0 13603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59140

[startup+0.701118 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9905
/proc/meminfo: memFree=30500352/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=88696 CPUtime=0.69 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 21174 0 0 0 67 2 0 0 25 0 1 0 969529176 90824704 21129 33554432000 4194304 9016284 140737436054160 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9905/statm: 22174 21129 360 1178 0 20992 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88696

[startup+1.50097 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9906
/proc/meminfo: memFree=30378724/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=255300 CPUtime=1.49 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 62656 0 0 0 143 6 0 0 25 0 1 0 969529176 261427200 62583 33554432000 4194304 9016284 140737436054160 18446744073709551615 4327792 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9905/statm: 63825 62583 406 1178 0 62643 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 255300

[startup+3.10066 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9906
/proc/meminfo: memFree=30095180/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=513060 CPUtime=3.09 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 125799 0 0 0 297 12 0 0 25 0 1 0 969529176 525373440 125726 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9905/statm: 128265 125726 485 1178 0 127083 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 513060

[startup+6.30105 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9906
/proc/meminfo: memFree=29828992/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=729304 CPUtime=6.29 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 179082 0 0 0 611 18 0 0 25 0 1 0 969529176 746807296 179009 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 182326 179009 485 1178 0 181144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 729304

[startup+12.7008 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 9906
/proc/meminfo: memFree=29619332/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=889004 CPUtime=12.69 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 217562 0 0 0 1246 23 0 0 25 0 1 0 969529176 910340096 217232 33554432000 4194304 9016284 140737436054160 18446744073709551615 6481218 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 222251 217232 496 1178 0 221069 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 889004

[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 9906
/proc/meminfo: memFree=29482680/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1011696 CPUtime=25.49 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 264884 0 0 0 2521 28 0 0 25 0 1 0 969529176 1035976704 247198 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 252924 247198 638 1178 0 251742 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1011696

[startup+51.1006 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9907
/proc/meminfo: memFree=29408864/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1065276 CPUtime=51.09 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 276797 0 0 0 5080 29 0 0 25 0 1 0 969529176 1090842624 259111 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 266319 259111 638 1178 0 265137 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1065276

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9908
/proc/meminfo: memFree=29283376/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1126184 CPUtime=102.3 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 292245 0 0 0 10198 32 0 0 25 0 1 0 969529176 1153212416 274559 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 281546 274559 638 1178 0 280364 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1126184

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9910
/proc/meminfo: memFree=29038032/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1262936 CPUtime=162.29 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 325609 0 0 0 16194 35 0 0 25 0 1 0 969529176 1293246464 307923 33554432000 4194304 9016284 140737436054160 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 315734 307923 638 1178 0 314552 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1262936

[startup+222.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 9912
/proc/meminfo: memFree=28868708/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1354140 CPUtime=222.3 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 348626 0 0 0 22192 38 0 0 25 0 1 0 969529176 1386639360 330940 33554432000 4194304 9016284 140737436054160 18446744073709551615 4330747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 338535 330940 638 1178 0 337353 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1354140

[startup+282.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9913
/proc/meminfo: memFree=28721588/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1424384 CPUtime=282.3 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 365709 0 0 0 28190 40 0 0 25 0 1 0 969529176 1458569216 348023 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 356096 348023 638 1178 0 354914 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1424384

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 9915
/proc/meminfo: memFree=28364276/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1577596 CPUtime=342.3 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 403833 0 0 0 34185 45 0 0 25 0 1 0 969529176 1615458304 386147 33554432000 4194304 9016284 140737436054160 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 394399 386147 638 1178 0 393217 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1577596

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9916
/proc/meminfo: memFree=28233652/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1649004 CPUtime=402.3 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 421467 0 0 0 40183 47 0 0 25 0 1 0 969529176 1688580096 403781 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 412251 403781 638 1178 0 411069 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1649004

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9918
/proc/meminfo: memFree=27941328/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1812164 CPUtime=462.31 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 461945 0 0 0 46179 52 0 0 25 0 1 0 969529176 1855655936 444259 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 453041 444259 638 1178 0 451859 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1812164

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9919
/proc/meminfo: memFree=27781436/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1906432 CPUtime=522.31 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 485422 0 0 0 52176 55 0 0 25 0 1 0 969529176 1952186368 467736 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 476608 467736 638 1178 0 475426 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1906432

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9921
/proc/meminfo: memFree=27587204/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=2027816 CPUtime=582.31 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 515803 0 0 0 58173 58 0 0 25 0 1 0 969529176 2076483584 498117 33554432000 4194304 9016284 140737436054160 18446744073709551615 5519524 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 506954 498117 638 1178 0 505772 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2027816

[startup+642.301 s]

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

/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 693867 0 0 0 106149 84 0 0 25 0 1 0 969529176 2812747776 676181 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480086 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 686706 676181 643 1178 0 685524 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2746824

[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9945
/proc/meminfo: memFree=26101512/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=2795336 CPUtime=1122.33 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 705519 0 0 0 112147 86 0 0 25 0 1 0 969529176 2862424064 687833 33554432000 4194304 9016284 140737436054160 18446744073709551615 5512320 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 698834 687833 643 1178 0 697652 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2795336

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9946
/proc/meminfo: memFree=26014648/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=2852524 CPUtime=1182.34 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 719263 0 0 0 118146 88 0 0 25 0 1 0 969529176 2920984576 701577 33554432000 4194304 9016284 140737436054160 18446744073709551615 5510704 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 713131 701577 643 1178 0 711949 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 2852524

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9948
/proc/meminfo: memFree=25927896/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=2894820 CPUtime=1242.34 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 730493 0 0 0 124144 90 0 0 25 0 1 0 969529176 2964295680 712807 33554432000 4194304 9016284 140737436054160 18446744073709551615 4878660 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 723705 712807 643 1178 0 722523 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 2894820

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9949
/proc/meminfo: memFree=25818728/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=2950980 CPUtime=1302.34 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 744195 0 0 0 130142 92 0 0 25 0 1 0 969529176 3021803520 726509 33554432000 4194304 9016284 140737436054160 18446744073709551615 7875499 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 737745 726509 643 1178 0 736563 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2950980

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9951
/proc/meminfo: memFree=25418152/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3045584 CPUtime=1362.34 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 767538 0 0 0 136139 95 0 0 25 0 1 0 969529176 3118678016 749852 33554432000 4194304 9016284 140737436054160 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 761396 749852 643 1178 0 760214 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3045584

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9953
/proc/meminfo: memFree=25361440/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3081968 CPUtime=1422.35 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 776457 0 0 0 142138 97 0 0 25 0 1 0 969529176 3155935232 758771 33554432000 4194304 9016284 140737436054160 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 770492 758771 643 1178 0 769310 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3081968

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9954
/proc/meminfo: memFree=25317384/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3115304 CPUtime=1482.35 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 785459 0 0 0 148137 98 0 0 25 0 1 0 969529176 3190071296 767773 33554432000 4194304 9016284 140737436054160 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 778826 767773 643 1178 0 777644 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 3115304

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9956
/proc/meminfo: memFree=24986756/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3458660 CPUtime=1542.35 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 865257 0 0 0 154121 114 0 0 25 0 1 0 969529176 3541667840 844536 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181827 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 864665 844536 884 1178 0 863483 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3458660

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 9957
/proc/meminfo: memFree=24969220/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3469520 CPUtime=1602.35 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 869273 0 0 0 160115 120 0 0 25 0 1 0 969529176 3552788480 848316 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181476 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 867380 848316 785 1178 0 866198 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3469520

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9959
/proc/meminfo: memFree=24908652/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3482512 CPUtime=1662.36 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 875061 0 0 0 166108 128 0 0 25 0 1 0 969529176 3566092288 853805 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181472 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 870628 853805 963 1178 0 869446 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 3482512

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9960
/proc/meminfo: memFree=24861968/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3522544 CPUtime=1722.35 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 886333 0 0 0 172101 134 0 0 25 0 1 0 969529176 3607085056 864520 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 880636 864520 743 1178 0 879454 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3522544

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10001
/proc/meminfo: memFree=27683344/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3524280 CPUtime=1782.36 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 886930 0 0 0 178096 140 0 0 25 0 1 0 969529176 3608862720 865038 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 881070 865038 777 1178 0 879888 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 3524280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 10002
/proc/meminfo: memFree=27565056/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3524280 CPUtime=1800.06 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 886932 0 0 0 179865 141 0 0 25 0 1 0 969529176 3608862720 865040 33554432000 4194304 9016284 140737436054160 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 881070 865040 777 1178 0 879888 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3524280

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9905

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

[startup+1801.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 10003
/proc/meminfo: memFree=27561948/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3524280 CPUtime=1801.46 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 886933 0 0 0 180005 141 0 0 25 0 1 0 969529176 3608862720 865041 33554432000 4194304 9016284 140737436054160 18446744073709551615 7156517 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 881070 865041 777 1178 0 879888 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 3524280

[startup+1801.81 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 10003
/proc/meminfo: memFree=27559592/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3524280 CPUtime=1801.86 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 886933 0 0 0 180045 141 0 0 25 0 1 0 969529176 3608862720 865041 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181775 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 881070 865041 777 1178 0 879888 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 3524280

[startup+1802 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 10003
/proc/meminfo: memFree=27559592/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3524280 CPUtime=1802.06 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 886933 0 0 0 180065 141 0 0 25 0 1 0 969529176 3608862720 865041 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181376 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 881070 865041 777 1178 0 879888 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 3524280

[startup+1802.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 10003
/proc/meminfo: memFree=27559592/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=0 CPUtime=1802.15 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4203524 886933 0 0 0 180065 150 0 0 25 0 1 0 969529176 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/9905/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.13
CPU time (s): 1802.2
CPU user time (s): 1800.66
CPU system time (s): 1.53877
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3524280

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

runsolver used 2.89056 second user time and 6.80097 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-11 13:49:45
IDJOB=3489747
IDBENCH=77578
IDSOLVER=1979
FILE ID=node115/3489747-1307792985
RUNJOBID= node115-1307783957-9112
PBS_JOBID= 13550896
Free space on /tmp= 74096 MiB

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

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

MD5SUM BENCH= 6fb8c842434b82a13287e61400a56efc
RANDOM SEED=1867968172

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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.75
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.811
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.811
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.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30501508 kB
Buffers:        282088 kB
Cached:         988040 kB
SwapCached:       9476 kB
Active:        1448976 kB
Inactive:       807376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30501508 kB
SwapTotal:    67111528 kB
SwapFree:     67056212 kB
Dirty:           49588 kB
Writeback:           0 kB
AnonPages:      983784 kB
Mapped:          15536 kB
Slab:           126060 kB
PageTables:       6284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1197424 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= 74084 MiB
End job on node115 at 2011-06-11 14:19:47