Trace number 3486294

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.15

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12024_7.std.opb
MD5SUM9510b6ff1580c9ed67c57164f070d9e8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark112
Best CPU time to get the best result obtained on this benchmark1.14382
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 constraints245025
Number of constraints which are clauses243825
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 constraint33
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-3486294-1307793220.opb>
1.19/1.27	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245025 constraints
1.19/1.27	c problem read
1.19/1.27	c presolving settings loaded
1.99/2.07	c presolving:
9.99/10.00	c (round 1) 6326 del vars, 19058 del conss, 0 add conss, 4633 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16678482 impls, 0 clqs
14.59/14.61	c (round 2) 14523 del vars, 50270 del conss, 0 add conss, 12541 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16722779 impls, 0 clqs
15.89/15.96	c (round 3) 17707 del vars, 65021 del conss, 0 add conss, 14326 chg bounds, 50 chg sides, 30 chg coeffs, 0 upgd conss, 16744198 impls, 0 clqs
16.79/16.81	c (round 4) 19126 del vars, 70654 del conss, 0 add conss, 15291 chg bounds, 71 chg sides, 60 chg coeffs, 0 upgd conss, 16754846 impls, 0 clqs
17.19/17.29	c (round 5) 20112 del vars, 74362 del conss, 0 add conss, 15867 chg bounds, 75 chg sides, 68 chg coeffs, 0 upgd conss, 16765245 impls, 0 clqs
17.59/17.63	c (round 6) 20676 del vars, 76612 del conss, 0 add conss, 16220 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16772244 impls, 0 clqs
17.79/17.83	c (round 7) 20995 del vars, 77974 del conss, 0 add conss, 16407 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16775887 impls, 0 clqs
17.89/17.98	c (round 8) 21222 del vars, 78883 del conss, 0 add conss, 16539 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16778163 impls, 0 clqs
17.99/18.09	c (round 9) 21324 del vars, 79368 del conss, 0 add conss, 16595 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16779908 impls, 0 clqs
18.09/18.17	c (round 10) 21401 del vars, 79683 del conss, 0 add conss, 16644 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16780781 impls, 0 clqs
18.29/18.30	c (round 11) 21461 del vars, 79937 del conss, 0 add conss, 16686 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16781088 impls, 0 clqs
18.29/18.36	c (round 12) 21481 del vars, 80050 del conss, 0 add conss, 16694 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16781212 impls, 0 clqs
18.39/18.42	c (round 13) 21485 del vars, 80081 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16781261 impls, 0 clqs
663.21/663.26	c    (663.3s) probing: 1000/51355 (1.9%) - 11 fixings, 4 aggregations, 11109569 implications, 0 bound changes
1145.32/1145.40	c    (1145.4s) probing: 2000/51355 (3.9%) - 11 fixings, 4 aggregations, 17664125 implications, 0 bound changes
1368.11/1368.15	c    (1368.2s) probing: 2506/51355 (4.9%) - 11 fixings, 4 aggregations, 20727895 implications, 0 bound changes
1368.11/1368.15	c    (1368.2s) probing aborted: 2000/2000 successive useless probings
1368.11/1368.16	c (round 14) 21502 del vars, 80093 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 95861611 impls, 0 clqs
1368.51/1368.52	c (round 15) 21505 del vars, 80510 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 95861679 impls, 0 clqs
1369.22/1369.25	c (round 16) 21505 del vars, 80513 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 164512 upgd conss, 95861679 impls, 0 clqs
1526.62/1526.66	c    (1526.7s) probing: 2706/51355 (5.3%) - 11 fixings, 4 aggregations, 21802764 implications, 0 bound changes
1526.62/1526.66	c    (1526.7s) probing aborted: 2000/2000 successive useless probings
1526.62/1526.66	c presolving (17 rounds):
1526.62/1526.66	c  21505 deleted vars, 80513 deleted constraints, 3 added constraints, 16697 tightened bounds, 0 added holes, 93 changed sides, 334 changed coefficients
1526.62/1526.66	c  98810765 implications, 0 cliques
1526.62/1526.66	c presolved problem has 51337 variables (51337 bin, 0 int, 0 impl, 0 cont) and 164515 constraints
1526.62/1526.66	c    1071 constraints of type <knapsack>
1526.62/1526.66	c  138116 constraints of type <setppc>
1526.62/1526.66	c   25328 constraints of type <logicor>
1526.62/1526.66	c transformed objective value is always integral (scale: 1)
1526.62/1526.66	c Presolving Time: 1525.18
1526.62/1526.66	c - non default parameters ----------------------------------------------------------------------
1526.62/1526.66	c # SCIP version 2.0.1.4
1526.62/1526.66	c 
1526.62/1526.66	c # frequency for displaying node information lines
1526.62/1526.66	c # [type: int, range: [-1,2147483647], default: 100]
1526.62/1526.66	c display/freq = 10000
1526.62/1526.66	c 
1526.62/1526.66	c # maximal time in seconds to run
1526.62/1526.66	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1526.62/1526.66	c limits/time = 1797
1526.62/1526.66	c 
1526.62/1526.66	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1526.62/1526.66	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1526.62/1526.66	c limits/memory = 13950
1526.62/1526.66	c 
1526.62/1526.66	c # default clock type (1: CPU user seconds, 2: wall clock time)
1526.62/1526.66	c # [type: int, range: [1,2], default: 1]
1526.62/1526.66	c timing/clocktype = 2
1526.62/1526.66	c 
1526.62/1526.66	c # belongs reading time to solving time?
1526.62/1526.66	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1526.62/1526.66	c timing/reading = TRUE
1526.62/1526.66	c 
1526.62/1526.66	c # should presolving try to simplify inequalities
1526.62/1526.66	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1526.62/1526.66	c constraints/linear/simplifyinequalities = TRUE
1526.62/1526.66	c 
1526.62/1526.66	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1526.62/1526.66	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1526.62/1526.66	c constraints/indicator/addCouplingCons = TRUE
1526.62/1526.66	c 
1526.62/1526.66	c # should presolving try to simplify knapsacks
1526.62/1526.66	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1526.62/1526.66	c constraints/knapsack/simplifyinequalities = TRUE
1526.62/1526.66	c 
1526.62/1526.66	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1526.62/1526.66	c # [type: int, range: [-1,2147483647], default: -1]
1526.62/1526.66	c separating/rapidlearning/freq = 0
1526.62/1526.66	c 
1526.62/1526.66	c -----------------------------------------------------------------------------------------------
1526.62/1526.66	c start solving
1526.62/1526.68	c 
1700.53/1700.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1700.53/1700.57	c  1701s|     1 |     0 | 43815 |     - |2829M|   0 |1083 |  51k| 164k|  51k| 164k|   0 |  64 |   0 | 1.120000e+02 |      --      |    Inf

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-3486294-1307793220/watcher-3486294-1307793220 -o /tmp/evaluation-result-3486294-1307793220/solver-3486294-1307793220 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486294-1307793220.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: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=10320 CPUtime=0 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 1574 0 0 0 0 0 0 0 19 0 1 0 890921660 10567680 1528 33554432000 4194304 8979876 140736815122288 18446744073709551615 7893696 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30253/statm: 2629 1533 366 1169 0 1456 0

[startup+0.0473711 s]
/proc/loadavg: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=19600 CPUtime=0.03 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 3883 0 0 0 3 0 0 0 19 0 1 0 890921660 20070400 3837 33554432000 4194304 8979876 140736815122288 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30253/statm: 4900 3837 366 1169 0 3727 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19600

[startup+0.100353 s]
/proc/loadavg: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=27548 CPUtime=0.08 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 5904 0 0 0 8 0 0 0 19 0 1 0 890921660 28209152 5858 33554432000 4194304 8979876 140736815122288 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30253/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27548

[startup+0.300317 s]
/proc/loadavg: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=52524 CPUtime=0.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 12129 0 0 0 28 1 0 0 20 0 1 0 890921660 53784576 12083 33554432000 4194304 8979876 140736815122288 18446744073709551615 7718692 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30253/statm: 13131 12083 366 1169 0 11958 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52524

[startup+0.700257 s]
/proc/loadavg: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=76692 CPUtime=0.69 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 18133 0 0 0 67 2 0 0 21 0 1 0 890921660 78532608 18087 33554432000 4194304 8979876 140736815122288 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30253/statm: 19173 18087 366 1169 0 18000 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76692

[startup+1.50112 s]
/proc/loadavg: 1.00 1.15 1.56 3/176 30255
/proc/meminfo: memFree=30468240/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=277184 CPUtime=1.49 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 67717 0 0 0 141 8 0 0 23 0 1 0 890921660 283836416 67652 33554432000 4194304 8979876 140736815122288 18446744073709551615 4786896 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30253/statm: 69296 67652 441 1169 0 68123 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 277184

[startup+3.10084 s]
/proc/loadavg: 1.00 1.15 1.56 3/176 30255
/proc/meminfo: memFree=29920336/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=496532 CPUtime=3.09 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 133192 0 0 0 294 15 0 0 25 0 1 0 890921660 508448768 121188 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30253/statm: 124133 121188 494 1169 0 122960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 496532

[startup+6.30029 s]
/proc/loadavg: 1.08 1.17 1.56 4/176 30255
/proc/meminfo: memFree=29386656/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=723620 CPUtime=6.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 189355 0 0 0 608 21 0 0 25 0 1 0 890921660 740986880 177351 33554432000 4194304 8979876 140736815122288 18446744073709551615 4919101 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30253/statm: 180905 177351 494 1169 0 179732 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 723620

[startup+12.7002 s]
/proc/loadavg: 1.31 1.22 1.57 5/176 30255
/proc/meminfo: memFree=28900624/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=884012 CPUtime=12.69 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 228193 0 0 0 1242 27 0 0 25 0 1 0 890921660 905228288 215687 33554432000 4194304 8979876 140736815122288 18446744073709551615 6504338 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30253/statm: 221003 215687 504 1169 0 219830 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 884012

[startup+25.501 s]
/proc/loadavg: 1.75 1.32 1.60 3/176 30255
/proc/meminfo: memFree=28792744/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=924020 CPUtime=25.49 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 238395 0 0 0 2520 29 0 0 25 0 1 0 890921660 946196480 225184 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30253/statm: 231005 225184 563 1169 0 229832 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 924020

[startup+51.1005 s]
/proc/loadavg: 1.83 1.37 1.61 4/176 30256
/proc/meminfo: memFree=28727080/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=959248 CPUtime=51.09 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 247056 0 0 0 5079 30 0 0 25 0 1 0 890921660 982269952 233845 33554432000 4194304 8979876 140736815122288 18446744073709551615 4327190 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 239812 233845 563 1169 0 238639 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 959248

[startup+102.307 s]
/proc/loadavg: 1.93 1.47 1.63 4/176 30257
/proc/meminfo: memFree=28599972/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1028320 CPUtime=102.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 263783 0 0 0 10198 31 0 0 25 0 1 0 890921660 1052999680 250572 33554432000 4194304 8979876 140736815122288 18446744073709551615 5284631 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 257080 250572 563 1169 0 255907 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1028320

[startup+162.3 s]
/proc/loadavg: 1.97 1.56 1.65 4/176 30259
/proc/meminfo: memFree=28342280/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1159180 CPUtime=162.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 296244 0 0 0 16195 34 0 0 25 0 1 0 890921660 1187000320 283033 33554432000 4194304 8979876 140736815122288 18446744073709551615 5284706 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 289795 283033 563 1169 0 288622 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1159180

[startup+222.301 s]
/proc/loadavg: 1.99 1.64 1.66 4/176 30261
/proc/meminfo: memFree=28072320/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1306860 CPUtime=222.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 332181 0 0 0 22190 39 0 0 25 0 1 0 890921660 1338224640 318970 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 326715 318970 563 1169 0 325542 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1306860

[startup+282.3 s]
/proc/loadavg: 1.99 1.70 1.68 3/176 30262
/proc/meminfo: memFree=27834836/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1451680 CPUtime=282.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 367758 0 0 0 28185 44 0 0 25 0 1 0 890921660 1486520320 354547 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503516 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 362920 354547 563 1169 0 361747 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1451680

[startup+342.301 s]
/proc/loadavg: 1.99 1.75 1.70 4/176 30263
/proc/meminfo: memFree=27584720/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1570168 CPUtime=342.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 397291 0 0 0 34182 47 0 0 25 0 1 0 890921660 1607852032 384080 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 392542 384080 563 1169 0 391369 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1570168

[startup+402.301 s]
/proc/loadavg: 2.07 1.82 1.73 4/176 30265
/proc/meminfo: memFree=27220636/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1742600 CPUtime=402.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 440352 0 0 0 40177 52 0 0 25 0 1 0 890921660 1784422400 427141 33554432000 4194304 8979876 140736815122288 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 435650 427141 563 1169 0 434477 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1742600

[startup+462.3 s]
/proc/loadavg: 2.02 1.85 1.74 4/176 30276
/proc/meminfo: memFree=26965320/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1850212 CPUtime=462.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 466528 0 0 0 46173 56 0 0 25 0 1 0 890921660 1894617088 453317 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 462553 453317 563 1169 0 461380 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1850212

[startup+522.301 s]
/proc/loadavg: 2.01 1.88 1.75 4/176 30278
/proc/meminfo: memFree=26672428/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=2003784 CPUtime=522.3 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 504601 0 0 0 52169 61 0 0 25 0 1 0 890921660 2051874816 491390 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 500946 491390 563 1169 0 499773 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2003784

[startup+582.3 s]
/proc/loadavg: 2.00 1.90 1.76 4/176 30279
/proc/meminfo: memFree=26426784/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=2105236 CPUtime=582.3 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 530438 0 0 0 58166 64 0 0 25 0 1 0 890921660 2155761664 517227 33554432000 4194304 8979876 140736815122288 18446744073709551615 5310457 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 526309 517227 563 1169 0 525136 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2105236

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 1.95 1.82 4/176 30290
/proc/meminfo: memFree=25286036/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=2681112 CPUtime=882.31 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 673717 0 0 0 88147 84 0 0 25 0 1 0 890921660 2745458688 660506 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503324 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 670278 660506 568 1169 0 669105 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2681112

[startup+942.301 s]
/proc/loadavg: 2.05 1.97 1.83 3/176 30291
/proc/meminfo: memFree=25057244/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=2785412 CPUtime=942.31 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 699691 0 0 0 94144 87 0 0 25 0 1 0 890921660 2852261888 686480 33554432000 4194304 8979876 140736815122288 18446744073709551615 5278416 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 696353 686480 568 1169 0 695180 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2785412

[startup+1002.3 s]
/proc/loadavg: 2.02 1.97 1.84 4/176 30293
/proc/meminfo: memFree=24888460/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=2853976 CPUtime=1002.31 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 717251 0 0 0 100141 90 0 0 25 0 1 0 890921660 2922471424 704040 33554432000 4194304 8979876 140736815122288 18446744073709551615 5284631 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 713494 704040 568 1169 0 712321 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2853976

[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/176 30295
/proc/meminfo: memFree=24735672/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=2948164 CPUtime=1062.31 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 740268 0 0 0 106138 93 0 0 25 0 1 0 890921660 3018919936 727057 33554432000 4194304 8979876 140736815122288 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 737041 727057 568 1169 0 735868 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2948164

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.85 4/176 30297
/proc/meminfo: memFree=24620464/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3024176 CPUtime=1122.31 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 758796 0 0 0 112135 96 0 0 25 0 1 0 890921660 3096756224 745585 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503324 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 756044 745585 568 1169 0 754871 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3024176

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.85 4/176 30298
/proc/meminfo: memFree=24501784/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3089812 CPUtime=1182.31 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 775094 0 0 0 118132 99 0 0 25 0 1 0 890921660 3163967488 761883 33554432000 4194304 8979876 140736815122288 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 772453 761883 568 1169 0 771280 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3089812

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/176 30299
/proc/meminfo: memFree=24343660/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3156292 CPUtime=1242.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 791931 0 0 0 124130 102 0 0 25 0 1 0 890921660 3232043008 778720 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 789073 778720 568 1169 0 787900 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3156292

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.87 4/176 30301
/proc/meminfo: memFree=24179464/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3231048 CPUtime=1302.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 810967 0 0 0 130127 105 0 0 25 0 1 0 890921660 3308593152 797756 33554432000 4194304 8979876 140736815122288 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 807762 797756 568 1169 0 806589 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3231048

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.87 4/176 30303
/proc/meminfo: memFree=24068072/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3308632 CPUtime=1362.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 829308 0 0 0 136124 108 0 0 25 0 1 0 890921660 3388039168 816097 33554432000 4194304 8979876 140736815122288 18446744073709551615 5284113 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 827158 816097 568 1169 0 825985 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3308632

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.88 4/176 30305
/proc/meminfo: memFree=23929660/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3377680 CPUtime=1422.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 861576 0 0 0 142120 112 0 0 25 0 1 0 890921660 3458744320 833740 33554432000 4194304 8979876 140736815122288 18446744073709551615 4460248 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 844420 833740 587 1169 0 843247 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 3377680

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/176 30306
/proc/meminfo: memFree=23825980/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3429088 CPUtime=1482.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 874334 0 0 0 148118 114 0 0 25 0 1 0 890921660 3511386112 846498 33554432000 4194304 8979876 140736815122288 18446744073709551615 4888957 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 857272 846498 587 1169 0 856099 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3429088

[startup+1542.3 s]
/proc/loadavg: 2.04 1.99 1.90 3/176 30307
/proc/meminfo: memFree=23464748/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3732752 CPUtime=1542.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 949393 0 0 0 154105 127 0 0 25 0 1 0 890921660 3822338048 917021 33554432000 4194304 8979876 140736815122288 18446744073709551615 7146848 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 933188 917021 864 1169 0 932015 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3732752

[startup+1602.3 s]
/proc/loadavg: 2.01 1.99 1.90 4/176 30309
/proc/meminfo: memFree=23389452/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3761368 CPUtime=1602.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 958343 0 0 0 160099 133 0 0 25 0 1 0 890921660 3851640832 925611 33554432000 4194304 8979876 140736815122288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 940342 925611 812 1169 0 939169 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3761368

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 30311
/proc/meminfo: memFree=23332016/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3777324 CPUtime=1662.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 962715 0 0 0 166093 139 0 0 25 0 1 0 890921660 3867979776 929688 33554432000 4194304 8979876 140736815122288 18446744073709551615 7147076 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 944331 929688 789 1169 0 943158 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3777324

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/176 30313
/proc/meminfo: memFree=23277196/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3779852 CPUtime=1722.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 966592 0 0 0 172085 147 0 0 25 0 1 0 890921660 3870568448 932633 33554432000 4194304 8979876 140736815122288 18446744073709551615 6937968 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 944963 932633 1358 1169 0 943790 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3779852

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/176 30314
/proc/meminfo: memFree=22973484/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3779852 CPUtime=1782.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 967086 0 0 0 178076 156 0 0 25 0 1 0 890921660 3870568448 932659 33554432000 4194304 8979876 140736815122288 18446744073709551615 7164623 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 944963 932659 907 1169 0 943790 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3779852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.91 4/176 30315
/proc/meminfo: memFree=22970248/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3779852 CPUtime=1800.03 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 967264 0 0 0 179846 157 0 0 25 0 1 0 890921660 3870568448 932835 33554432000 4194304 8979876 140736815122288 18446744073709551615 6293637 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 944963 932835 1024 1169 0 943790 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3779852

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.00 1.99 1.91 4/176 30315
/proc/meminfo: memFree=22970248/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4203524 967264 0 0 0 179846 167 0 0 25 0 1 0 890921660 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30253/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.15
CPU time (s): 1800.18
CPU user time (s): 1798.47
CPU system time (s): 1.71374
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3779852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.47
system time used= 1.71374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 967264
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= 6
involuntary context switches= 1195

runsolver used 2.94655 second user time and 6.44502 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-11 13:53:40
IDJOB=3486294
IDBENCH=77437
IDSOLVER=1977
FILE ID=node131/3486294-1307793220
RUNJOBID= node131-1307793220-30227
PBS_JOBID= 13550872
Free space on /tmp= 74056 MiB

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

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

MD5SUM BENCH= 9510b6ff1580c9ed67c57164f070d9e8
RANDOM SEED=956378143

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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:     32951132 kB
MemFree:      30658808 kB
Buffers:        288800 kB
Cached:        1732388 kB
SwapCached:       9824 kB
Active:         559576 kB
Inactive:      1481584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30658808 kB
SwapTotal:    67111528 kB
SwapFree:     67054616 kB
Dirty:           48060 kB
Writeback:          40 kB
AnonPages:       17484 kB
Mapped:          12576 kB
Slab:           187040 kB
PageTables:       4848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   195860 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74020 MiB
End job on node131 at 2011-06-11 14:23:42