Trace number 3451827

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.22 1802.17

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.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-3451827-1307119591.opb>
1.79/1.80	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245500 constraints
1.79/1.80	c problem read
1.79/1.80	c presolving settings loaded
2.29/2.32	c presolving:
9.29/9.33	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
12.00/12.11	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
12.79/12.87	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
13.29/13.31	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
13.59/13.61	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
13.79/13.81	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
13.89/13.93	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
13.99/14.02	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
14.09/14.10	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
14.09/14.16	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
14.89/14.97	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
16.19/16.22	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
768.11/768.18	c    (768.2s) probing: 1000/56833 (1.8%) - 0 fixings, 0 aggregations, 13269339 implications, 0 bound changes
1313.83/1313.86	c    (1313.9s) probing: 2000/56833 (3.5%) - 0 fixings, 0 aggregations, 20102037 implications, 0 bound changes
1314.33/1314.30	c    (1314.3s) probing: 2001/56833 (3.5%) - 0 fixings, 0 aggregations, 20108109 implications, 0 bound changes
1314.33/1314.30	c    (1314.3s) probing aborted: 2000/2000 successive useless probings
1314.33/1314.31	c presolving (13 rounds):
1314.33/1314.31	c  16009 deleted vars, 59301 deleted constraints, 58 added constraints, 12410 tightened bounds, 0 added holes, 165 changed sides, 362 changed coefficients
1314.33/1314.31	c  84975936 implications, 0 cliques
1314.33/1314.31	c presolved problem has 56833 variables (56833 bin, 0 int, 0 impl, 0 cont) and 186257 constraints
1314.33/1314.31	c    1123 constraints of type <knapsack>
1314.33/1314.31	c  157010 constraints of type <setppc>
1314.33/1314.31	c   28124 constraints of type <logicor>
1314.33/1314.31	c transformed objective value is always integral (scale: 1)
1314.33/1314.31	c Presolving Time: 1312.12
1314.33/1314.31	c - non default parameters ----------------------------------------------------------------------
1314.33/1314.31	c # SCIP version 2.0.1.5
1314.33/1314.31	c 
1314.33/1314.31	c # frequency for displaying node information lines
1314.33/1314.31	c # [type: int, range: [-1,2147483647], default: 100]
1314.33/1314.31	c display/freq = 10000
1314.33/1314.31	c 
1314.33/1314.31	c # maximal time in seconds to run
1314.33/1314.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1314.33/1314.31	c limits/time = 1800
1314.33/1314.31	c 
1314.33/1314.31	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1314.33/1314.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1314.33/1314.31	c limits/memory = 13950
1314.33/1314.31	c 
1314.33/1314.31	c # default clock type (1: CPU user seconds, 2: wall clock time)
1314.33/1314.31	c # [type: int, range: [1,2], default: 1]
1314.33/1314.31	c timing/clocktype = 2
1314.33/1314.31	c 
1314.33/1314.31	c # belongs reading time to solving time?
1314.33/1314.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1314.33/1314.31	c timing/reading = TRUE
1314.33/1314.31	c 
1314.33/1314.31	c # should presolving try to simplify inequalities
1314.33/1314.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1314.33/1314.31	c constraints/linear/simplifyinequalities = TRUE
1314.33/1314.31	c 
1314.33/1314.31	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1314.33/1314.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1314.33/1314.31	c constraints/indicator/addCouplingCons = TRUE
1314.33/1314.31	c 
1314.33/1314.31	c # should presolving try to simplify knapsacks
1314.33/1314.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1314.33/1314.31	c constraints/knapsack/simplifyinequalities = TRUE
1314.33/1314.31	c 
1314.33/1314.31	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1314.33/1314.31	c # [type: int, range: [-1,2147483647], default: -1]
1314.33/1314.31	c separating/rapidlearning/freq = 0
1314.33/1314.31	c 
1314.33/1314.31	c -----------------------------------------------------------------------------------------------
1314.33/1314.31	c start solving
1314.33/1314.35	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-3451827-1307119591/watcher-3451827-1307119591 -o /tmp/evaluation-result-3451827-1307119591/solver-3451827-1307119591 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451827-1307119591.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 26159
/proc/meminfo: memFree=22323560/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=14528 CPUtime=0 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 2573 0 0 0 0 0 0 0 25 0 1 0 823557374 14876672 2527 33554432000 4194304 9163163 140736463162448 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26159/statm: 3632 2541 395 1214 0 2414 0

[startup+0.050426 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 26159
/proc/meminfo: memFree=22323560/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=21160 CPUtime=0.04 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 4258 0 0 0 4 0 0 0 25 0 1 0 823557374 21667840 4212 33554432000 4194304 9163163 140736463162448 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26159/statm: 5290 4212 395 1214 0 4072 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21160

[startup+0.100417 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 26159
/proc/meminfo: memFree=22323560/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=29048 CPUtime=0.09 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 6259 0 0 0 9 0 0 0 25 0 1 0 823557374 29745152 6213 33554432000 4194304 9163163 140736463162448 18446744073709551615 7956086 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26159/statm: 7262 6213 395 1214 0 6044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29048

[startup+0.300369 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 26159
/proc/meminfo: memFree=22323560/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=55656 CPUtime=0.29 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 12905 0 0 0 28 1 0 0 25 0 1 0 823557374 56991744 12859 33554432000 4194304 9163163 140736463162448 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26159/statm: 13914 12859 395 1214 0 12696 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55656

[startup+0.7003 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 26159
/proc/meminfo: memFree=22323560/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=78328 CPUtime=0.69 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 18565 0 0 0 67 2 0 0 25 0 1 0 823557374 80207872 18519 33554432000 4194304 9163163 140736463162448 18446744073709551615 4338914 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26159/statm: 19582 18519 395 1214 0 18364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78328

[startup+1.50119 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26160
/proc/meminfo: memFree=22229308/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=141844 CPUtime=1.49 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 34380 0 0 0 144 5 0 0 25 0 1 0 823557374 145248256 34334 33554432000 4194304 9163163 140736463162448 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26159/statm: 35461 34367 395 1214 0 34243 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141844

[startup+3.1009 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26160
/proc/meminfo: memFree=21988124/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=475432 CPUtime=3.09 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 116389 0 0 0 294 15 0 0 25 0 1 0 823557374 486842368 116322 33554432000 4194304 9163163 140736463162448 18446744073709551615 6562638 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 118858 116322 497 1214 0 117640 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 475432

[startup+6.30032 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26160
/proc/meminfo: memFree=21651836/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=743000 CPUtime=6.29 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 182448 0 0 0 607 22 0 0 25 0 1 0 823557374 760832000 182381 33554432000 4194304 9163163 140736463162448 18446744073709551615 4352453 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 185750 182381 506 1214 0 184532 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 743000

[startup+12.7012 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26160
/proc/meminfo: memFree=21437084/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=890280 CPUtime=12.69 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 217826 0 0 0 1242 27 0 0 25 0 1 0 823557374 911646720 217502 33554432000 4194304 9163163 140736463162448 18446744073709551615 6568812 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 222570 217502 518 1214 0 221352 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 890280

[startup+25.5007 s]
/proc/loadavg: 2.07 2.04 2.00 3/425 26160
/proc/meminfo: memFree=21272272/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1049628 CPUtime=25.49 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 273199 0 0 0 2515 34 0 0 25 0 1 0 823557374 1074819072 255487 33554432000 4194304 9163163 140736463162448 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 262407 255487 629 1214 0 261189 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1049628

[startup+51.1012 s]
/proc/loadavg: 2.05 2.04 2.00 3/425 26161
/proc/meminfo: memFree=21181284/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1102692 CPUtime=51.1 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 285868 0 0 0 5073 37 0 0 25 0 1 0 823557374 1129156608 268156 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 275673 268156 629 1214 0 274455 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1102692

[startup+102.317 s]
/proc/loadavg: 2.07 2.04 2.00 3/425 26162
/proc/meminfo: memFree=20971584/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1237248 CPUtime=102.31 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 319149 0 0 0 10190 41 0 0 25 0 1 0 823557374 1266941952 301437 33554432000 4194304 9163163 140736463162448 18446744073709551615 5464947 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 309312 301437 629 1214 0 308094 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1237248

[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 26164
/proc/meminfo: memFree=20765972/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1352052 CPUtime=162.29 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 348115 0 0 0 16185 44 0 0 25 0 1 0 823557374 1384501248 330403 33554432000 4194304 9163163 140736463162448 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 338013 330403 629 1214 0 336795 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1352052

[startup+222.301 s]
/proc/loadavg: 2.15 2.06 2.01 3/425 26166
/proc/meminfo: memFree=20527864/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1521628 CPUtime=222.3 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 390127 0 0 0 22180 50 0 0 25 0 1 0 823557374 1558147072 372415 33554432000 4194304 9163163 140736463162448 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 380407 372415 629 1214 0 379189 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1521628

[startup+282.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/425 26167
/proc/meminfo: memFree=20323236/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1639056 CPUtime=282.3 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 418920 0 0 0 28177 53 0 0 25 0 1 0 823557374 1678393344 401208 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 409764 401208 629 1214 0 408546 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1639056

[startup+342.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/425 26169
/proc/meminfo: memFree=20073092/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1836480 CPUtime=342.3 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 467847 0 0 0 34171 59 0 0 25 0 1 0 823557374 1880555520 450135 33554432000 4194304 9163163 140736463162448 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 459120 450135 629 1214 0 457902 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1836480

[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 26170
/proc/meminfo: memFree=19889408/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1961528 CPUtime=402.31 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 499391 0 0 0 40167 64 0 0 25 0 1 0 823557374 2008604672 481679 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 490382 481679 629 1214 0 489164 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1961528

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26172
/proc/meminfo: memFree=19599100/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=2159304 CPUtime=462.31 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 548531 0 0 0 46160 71 0 0 25 0 1 0 823557374 2211127296 530819 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 539826 530819 629 1214 0 538608 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2159304

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 26174
/proc/meminfo: memFree=19435020/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=2273792 CPUtime=522.31 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 576588 0 0 0 52156 75 0 0 25 0 1 0 823557374 2328363008 558876 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 568448 558876 629 1214 0 567230 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2273792

[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/425 26175
/proc/meminfo: memFree=19281096/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=2364844 CPUtime=582.31 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 598853 0 0 0 58152 79 0 0 25 0 1 0 823557374 2421600256 581141 33554432000 4194304 9163163 140736463162448 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 591211 581141 629 1214 0 589993 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2364844

[startup+642.3 s]

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

/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 730426 0 0 0 106131 101 0 0 25 0 1 0 823557374 2964254720 712714 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 723695 712714 633 1214 0 722477 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2894780

[startup+1122.3 s]
/proc/loadavg: 1.04 1.30 1.65 2/419 26220
/proc/meminfo: memFree=23053400/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=2935920 CPUtime=1122.32 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 741221 0 0 0 112130 102 0 0 25 0 1 0 823557374 3006382080 723509 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 733980 723509 633 1214 0 732762 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2935920

[startup+1182.3 s]
/proc/loadavg: 1.01 1.24 1.61 2/419 26221
/proc/meminfo: memFree=22947244/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3046560 CPUtime=1182.32 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 767712 0 0 0 118126 106 0 0 25 0 1 0 823557374 3119677440 750000 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 761640 750000 633 1214 0 760422 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3046560

[startup+1242.3 s]
/proc/loadavg: 1.00 1.19 1.57 2/419 26223
/proc/meminfo: memFree=22912504/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3081928 CPUtime=1242.33 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 776432 0 0 0 124125 108 0 0 25 0 1 0 823557374 3155894272 758720 33554432000 4194304 9163163 140736463162448 18446744073709551615 4840662 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 770482 758720 633 1214 0 769264 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3081928

[startup+1302.3 s]
/proc/loadavg: 1.00 1.15 1.53 2/419 26224
/proc/meminfo: memFree=22875912/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3114248 CPUtime=1302.34 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 785186 0 0 0 130125 109 0 0 25 0 1 0 823557374 3188989952 767474 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 778562 767474 633 1214 0 777344 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3114248

[startup+1362.3 s]
/proc/loadavg: 1.09 1.15 1.51 2/419 26226
/proc/meminfo: memFree=22568980/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3458972 CPUtime=1362.34 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 865069 0 0 0 136113 121 0 0 25 0 1 0 823557374 3541987328 844322 33554432000 4194304 9163163 140736463162448 18446744073709551615 7349329 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 864743 844322 929 1214 0 863525 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3458972

[startup+1422.32 s]
/proc/loadavg: 1.03 1.12 1.47 2/419 26228
/proc/meminfo: memFree=22554460/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3469580 CPUtime=1422.35 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 868808 0 0 0 142110 125 0 0 25 0 1 0 823557374 3552849920 847884 33554432000 4194304 9163163 140736463162448 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 867395 847884 891 1214 0 866177 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3469580

[startup+1482.3 s]
/proc/loadavg: 1.01 1.10 1.44 2/419 26229
/proc/meminfo: memFree=22530504/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3483192 CPUtime=1482.34 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 875232 0 0 0 148105 129 0 0 25 0 1 0 823557374 3566788608 853926 33554432000 4194304 9163163 140736463162448 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 870798 853926 999 1214 0 869580 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3483192

[startup+1542.3 s]
/proc/loadavg: 1.06 1.09 1.41 2/419 26231
/proc/meminfo: memFree=22491428/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3518740 CPUtime=1542.33 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 885193 0 0 0 154101 132 0 0 25 0 1 0 823557374 3603189760 863521 33554432000 4194304 9163163 140736463162448 18446744073709551615 7349129 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 879685 863521 776 1214 0 878467 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3518740

[startup+1602.3 s]
/proc/loadavg: 1.02 1.07 1.39 2/419 26232
/proc/meminfo: memFree=22485944/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1602.34 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887074 0 0 0 160098 136 0 0 25 0 1 0 823557374 3609559040 865137 33554432000 4194304 9163163 140736463162448 18446744073709551615 7349209 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865137 816 1214 0 880022 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3524960

[startup+1662.3 s]
/proc/loadavg: 1.01 1.06 1.36 2/419 26234
/proc/meminfo: memFree=22485796/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1662.35 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887104 0 0 0 166098 137 0 0 25 0 1 0 823557374 3609559040 865161 33554432000 4194304 9163163 140736463162448 18446744073709551615 7349105 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865161 810 1214 0 880022 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3524960

[startup+1722.3 s]
/proc/loadavg: 1.00 1.05 1.33 2/419 26236
/proc/meminfo: memFree=22485524/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1722.35 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887117 0 0 0 172095 140 0 0 25 0 1 0 823557374 3609559040 865174 33554432000 4194304 9163163 140736463162448 18446744073709551615 7345702 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865174 810 1214 0 880022 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3524960

[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.31 2/419 26237
/proc/meminfo: memFree=22484756/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1782.34 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887118 0 0 0 178093 141 0 0 25 0 1 0 823557374 3609559040 865175 33554432000 4194304 9163163 140736463162448 18446744073709551615 8041965 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865175 810 1214 0 880022 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3524960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.03 1.30 2/419 26238
/proc/meminfo: memFree=22485492/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1800.05 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887118 0 0 0 179863 142 0 0 25 0 1 0 823557374 3609559040 865175 33554432000 4194304 9163163 140736463162448 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865175 810 1214 0 880022 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3524960

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -26159

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.03 1.30 2/420 26239
/proc/meminfo: memFree=22484740/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1801.44 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887118 0 0 0 180002 142 0 0 25 0 1 0 823557374 3609559040 865175 33554432000 4194304 9163163 140736463162448 18446744073709551615 7349397 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865175 810 1214 0 880022 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 3524960

[startup+1801.82 s]
/proc/loadavg: 1.00 1.03 1.30 2/420 26239
/proc/meminfo: memFree=22484864/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1801.86 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887118 0 0 0 180044 142 0 0 25 0 1 0 823557374 3609559040 865175 33554432000 4194304 9163163 140736463162448 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865175 810 1214 0 880022 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 3524960

[startup+1802 s]
/proc/loadavg: 1.00 1.03 1.30 2/420 26239
/proc/meminfo: memFree=22484864/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1802.04 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887118 0 0 0 180062 142 0 0 25 0 1 0 823557374 3609559040 865175 33554432000 4194304 9163163 140736463162448 18446744073709551615 7346711 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865175 810 1214 0 880022 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3524960

[startup+1802.1 s]
/proc/loadavg: 1.00 1.03 1.30 2/420 26239
/proc/meminfo: memFree=22484864/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=0 CPUtime=1802.15 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4203524 887118 0 0 0 180064 151 0 0 25 0 1 0 823557374 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/26159/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.17
CPU time (s): 1802.22
CPU user time (s): 1800.64
CPU system time (s): 1.57876
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3524960

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

runsolver used 7.82981 second user time and 16.8204 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-03 18:46:32
IDJOB=3451827
IDBENCH=77578
IDSOLVER=1948
FILE ID=node134/3451827-1307119591
RUNJOBID= node134-1307111058-25015
PBS_JOBID= 13498008
Free space on /tmp= 73976 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-j12040_1.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-3451827-1307119591/watcher-3451827-1307119591 -o /tmp/evaluation-result-3451827-1307119591/solver-3451827-1307119591 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451827-1307119591.opb -t 1800 -m 15500

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

MD5SUM BENCH= 6fb8c842434b82a13287e61400a56efc
RANDOM SEED=1835416277

node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22323856 kB
Buffers:        268732 kB
Cached:         636060 kB
SwapCached:       9540 kB
Active:        9737524 kB
Inactive:       589512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22323856 kB
SwapTotal:    67111528 kB
SwapFree:     44043512 kB
Dirty:           20236 kB
Writeback:          12 kB
AnonPages:     9420388 kB
Mapped:          23444 kB
Slab:           136212 kB
PageTables:      96424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114410812 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= 73984 MiB
End job on node134 at 2011-06-03 19:16:34