Trace number 3489731

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12019_2.std.opb
MD5SUM9033b116fa6917a1af0ec218f9c6d61f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark85
Best CPU time to get the best result obtained on this benchmark1798.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234215
Number of constraints which are clauses233015
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-3489731-1307792537.opb>
1.29/1.32	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234215 constraints
1.29/1.32	c problem read
1.29/1.32	c presolving settings loaded
1.69/1.78	c presolving:
9.11/9.54	c (round 1) 4398 del vars, 13084 del conss, 0 add conss, 2965 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16076284 impls, 0 clqs
13.79/13.80	c (round 2) 11168 del vars, 36411 del conss, 0 add conss, 9346 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16108532 impls, 0 clqs
14.99/15.03	c (round 3) 13435 del vars, 46988 del conss, 0 add conss, 10602 chg bounds, 42 chg sides, 38 chg coeffs, 0 upgd conss, 16122735 impls, 0 clqs
15.69/15.72	c (round 4) 14522 del vars, 51139 del conss, 0 add conss, 11284 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16129377 impls, 0 clqs
15.99/16.05	c (round 5) 15038 del vars, 53265 del conss, 0 add conss, 11579 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16132875 impls, 0 clqs
16.19/16.27	c (round 6) 15307 del vars, 54312 del conss, 0 add conss, 11720 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16135292 impls, 0 clqs
16.29/16.38	c (round 7) 15416 del vars, 54843 del conss, 0 add conss, 11770 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136129 impls, 0 clqs
16.39/16.48	c (round 8) 15478 del vars, 55098 del conss, 0 add conss, 11804 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136513 impls, 0 clqs
16.49/16.55	c (round 9) 15506 del vars, 55237 del conss, 0 add conss, 11824 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136585 impls, 0 clqs
16.59/16.61	c (round 10) 15506 del vars, 55268 del conss, 0 add conss, 11824 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136585 impls, 0 clqs
17.29/17.32	c (round 11) 15506 del vars, 55268 del conss, 0 add conss, 11824 chg bounds, 63 chg sides, 76 chg coeffs, 178947 upgd conss, 16136585 impls, 0 clqs
18.39/18.48	c (round 12) 15506 del vars, 55289 del conss, 43 add conss, 11824 chg bounds, 143 chg sides, 317 chg coeffs, 178947 upgd conss, 16136585 impls, 0 clqs
816.91/816.93	c    (816.9s) probing: 1000/57336 (1.7%) - 0 fixings, 0 aggregations, 10873707 implications, 0 bound changes
1292.61/1292.67	c    (1292.7s) probing: 2000/57336 (3.5%) - 0 fixings, 0 aggregations, 16263897 implications, 0 bound changes
1292.81/1292.87	c    (1292.9s) probing: 2001/57336 (3.5%) - 0 fixings, 0 aggregations, 16269118 implications, 0 bound changes
1292.81/1292.87	c    (1292.9s) probing aborted: 2000/2000 successive useless probings
1292.81/1292.87	c presolving (13 rounds):
1292.81/1292.87	c  15506 deleted vars, 55294 deleted constraints, 43 added constraints, 11824 tightened bounds, 0 added holes, 143 changed sides, 320 changed coefficients
1292.81/1292.87	c  73269355 implications, 0 cliques
1292.81/1292.87	c presolved problem has 57336 variables (57336 bin, 0 int, 0 impl, 0 cont) and 178964 constraints
1292.81/1292.87	c    1135 constraints of type <knapsack>
1292.81/1292.87	c  149503 constraints of type <setppc>
1292.81/1292.87	c   28326 constraints of type <logicor>
1292.81/1292.87	c transformed objective value is always integral (scale: 1)
1292.81/1292.87	c Presolving Time: 1291.21
1292.81/1292.87	c - non default parameters ----------------------------------------------------------------------
1292.81/1292.87	c # SCIP version 2.0.1.5
1292.81/1292.87	c 
1292.81/1292.87	c # frequency for displaying node information lines
1292.81/1292.87	c # [type: int, range: [-1,2147483647], default: 100]
1292.81/1292.87	c display/freq = 10000
1292.81/1292.87	c 
1292.81/1292.87	c # maximal time in seconds to run
1292.81/1292.87	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1292.81/1292.87	c limits/time = 1797
1292.81/1292.87	c 
1292.81/1292.87	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1292.81/1292.87	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1292.81/1292.87	c limits/memory = 13950
1292.81/1292.87	c 
1292.81/1292.87	c # default clock type (1: CPU user seconds, 2: wall clock time)
1292.81/1292.87	c # [type: int, range: [1,2], default: 1]
1292.81/1292.87	c timing/clocktype = 2
1292.81/1292.87	c 
1292.81/1292.87	c # belongs reading time to solving time?
1292.81/1292.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1292.81/1292.87	c timing/reading = TRUE
1292.81/1292.87	c 
1292.81/1292.87	c # should presolving try to simplify inequalities
1292.81/1292.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1292.81/1292.87	c constraints/linear/simplifyinequalities = TRUE
1292.81/1292.87	c 
1292.81/1292.87	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1292.81/1292.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1292.81/1292.87	c constraints/indicator/addCouplingCons = TRUE
1292.81/1292.87	c 
1292.81/1292.87	c # should presolving try to simplify knapsacks
1292.81/1292.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1292.81/1292.87	c constraints/knapsack/simplifyinequalities = TRUE
1292.81/1292.87	c 
1292.81/1292.87	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1292.81/1292.87	c # [type: int, range: [-1,2147483647], default: -1]
1292.81/1292.87	c separating/rapidlearning/freq = 0
1292.81/1292.87	c 
1292.81/1292.87	c -----------------------------------------------------------------------------------------------
1292.81/1292.87	c start solving
1292.91/1292.91	c 
1725.82/1725.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1725.82/1725.86	c  1726s|     1 |     0 | 68738 |     - |2262M|   0 |1845 |  57k| 179k|  57k| 178k|   0 |  51 |   0 | 8.100000e+01 |      --      |    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-3489731-1307792537/watcher-3489731-1307792537 -o /tmp/evaluation-result-3489731-1307792537/solver-3489731-1307792537 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489731-1307792537.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.00 2.00 2/172 413
/proc/meminfo: memFree=27190676/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=7620 CPUtime=0 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 887 0 0 0 0 0 0 0 18 0 1 0 890853376 7802880 841 33554432000 4194304 9016284 140736930543360 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/413/statm: 1905 853 189 1178 0 723 0

[startup+0.064348 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 413
/proc/meminfo: memFree=27190676/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=26384 CPUtime=0.05 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 5479 0 0 0 5 0 0 0 18 0 1 0 890853376 27017216 5434 33554432000 4194304 9016284 140736930543360 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/413/statm: 6596 5466 360 1178 0 5414 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26384

[startup+0.100336 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 413
/proc/meminfo: memFree=27190676/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=32392 CPUtime=0.09 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 7099 0 0 0 9 0 0 0 18 0 1 0 890853376 33169408 7053 33554432000 4194304 9016284 140736930543360 18446744073709551615 7870448 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/413/statm: 8098 7053 360 1178 0 6916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32392

[startup+0.300305 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 413
/proc/meminfo: memFree=27190676/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=60168 CPUtime=0.29 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 14043 0 0 0 28 1 0 0 18 0 1 0 890853376 61612032 13997 33554432000 4194304 9016284 140736930543360 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/413/statm: 15042 13997 360 1178 0 13860 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60168

[startup+0.700234 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 413
/proc/meminfo: memFree=27190676/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=90996 CPUtime=0.68 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 21739 0 0 0 66 2 0 0 18 0 1 0 890853376 93179904 21693 33554432000 4194304 9016284 140736930543360 18446744073709551615 4447111 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/413/statm: 22749 21693 360 1178 0 21567 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 90996

[startup+1.50106 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 414
/proc/meminfo: memFree=27070788/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=290108 CPUtime=1.49 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 71209 0 0 0 141 8 0 0 20 0 1 0 890853376 297070592 71144 33554432000 4194304 9016284 140736930543360 18446744073709551615 5203632 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 72527 71144 406 1178 0 71345 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 290108

[startup+3.10082 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 414
/proc/meminfo: memFree=26793400/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=509128 CPUtime=3.09 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 124605 0 0 0 297 12 0 0 25 0 1 0 890853376 521347072 124540 33554432000 4194304 9016284 140736930543360 18446744073709551615 6480229 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 127282 124540 485 1178 0 126100 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 509128

[startup+6.30754 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 414
/proc/meminfo: memFree=26524196/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=730844 CPUtime=6.3 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 178625 0 0 0 612 18 0 0 25 0 1 0 890853376 748384256 178560 33554432000 4194304 9016284 140736930543360 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 182711 178561 485 1178 0 181529 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 730844

[startup+12.7066 s]
/proc/loadavg: 2.16 2.03 2.01 3/173 414
/proc/meminfo: memFree=26326116/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=865920 CPUtime=12.7 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 211722 0 0 0 1248 22 0 0 25 0 1 0 890853376 886702080 211400 33554432000 4194304 9016284 140736930543360 18446744073709551615 6481237 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 216480 211400 496 1178 0 215298 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 865920

[startup+25.501 s]
/proc/loadavg: 2.12 2.03 2.01 3/173 414
/proc/meminfo: memFree=26188232/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=989608 CPUtime=25.49 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 258698 0 0 0 2522 27 0 0 25 0 1 0 890853376 1013358592 241528 33554432000 4194304 9016284 140736930543360 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 247402 241528 628 1178 0 246220 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 989608

[startup+51.1067 s]
/proc/loadavg: 2.08 2.03 2.01 3/173 414
/proc/meminfo: memFree=26099884/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=1030048 CPUtime=51.09 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 268446 0 0 0 5081 28 0 0 25 0 1 0 890853376 1054769152 251276 33554432000 4194304 9016284 140736930543360 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 257512 251276 628 1178 0 256330 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1030048

[startup+102.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/173 416
/proc/meminfo: memFree=25964588/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=1103124 CPUtime=102.29 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 286292 0 0 0 10199 30 0 0 25 0 1 0 890853376 1129598976 269122 33554432000 4194304 9016284 140736930543360 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 275781 269122 628 1178 0 274599 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1103124

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/173 418
/proc/meminfo: memFree=25771176/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=1232676 CPUtime=162.3 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 318035 0 0 0 16196 34 0 0 25 0 1 0 890853376 1262260224 300865 33554432000 4194304 9016284 140736930543360 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 308169 300865 628 1178 0 306987 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1232676

[startup+222.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/173 418
/proc/meminfo: memFree=25613184/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=1324396 CPUtime=222.29 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 340885 0 0 0 22193 36 0 0 25 0 1 0 890853376 1356181504 323715 33554432000 4194304 9016284 140736930543360 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 331099 323715 628 1178 0 329917 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1324396

[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/173 420
/proc/meminfo: memFree=25397412/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=1452132 CPUtime=282.29 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 371413 0 0 0 28190 39 0 0 25 0 1 0 890853376 1486983168 354243 33554432000 4194304 9016284 140736930543360 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 363033 354243 628 1178 0 361851 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1452132

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 422
/proc/meminfo: memFree=25209664/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=1519964 CPUtime=342.29 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 388740 0 0 0 34188 41 0 0 25 0 1 0 890853376 1556443136 371570 33554432000 4194304 9016284 140736930543360 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 379991 371570 628 1178 0 378809 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1519964

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 424
/proc/meminfo: memFree=25009884/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=1687940 CPUtime=402.3 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 430956 0 0 0 40182 48 0 0 25 0 1 0 890853376 1728450560 413786 33554432000 4194304 9016284 140736930543360 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 421985 413786 628 1178 0 420803 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1687940

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 426
/proc/meminfo: memFree=24817288/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=1796544 CPUtime=462.3 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 458284 0 0 0 46178 52 0 0 25 0 1 0 890853376 1839661056 441114 33554432000 4194304 9016284 140736930543360 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 449136 441114 628 1178 0 447954 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1796544

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 426
/proc/meminfo: memFree=24672448/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=1903676 CPUtime=522.29 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 484035 0 0 0 52174 55 0 0 25 0 1 0 890853376 1949364224 466865 33554432000 4194304 9016284 140736930543360 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 475919 466865 628 1178 0 474737 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1903676

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 428
/proc/meminfo: memFree=24513084/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=2017020 CPUtime=582.31 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 512522 0 0 0 58171 60 0 0 25 0 1 0 890853376 2065428480 495352 33554432000 4194304 9016284 140736930543360 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 504255 495352 628 1178 0 503073 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2017020

[startup+642.301 s]

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

/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 645315 0 0 0 100154 76 0 0 25 0 1 0 890853376 2616586240 628145 33554432000 4194304 9016284 140736930543360 18446744073709551615 6480429 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 638815 628145 633 1178 0 637633 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 2555260

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 442
/proc/meminfo: memFree=23441604/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=2592564 CPUtime=1062.31 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 655580 0 0 0 106153 78 0 0 25 0 1 0 890853376 2654785536 638410 33554432000 4194304 9016284 140736930543360 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 648141 638410 633 1178 0 646959 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2592564

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 442
/proc/meminfo: memFree=23362488/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=2643632 CPUtime=1122.31 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 667304 0 0 0 112152 79 0 0 25 0 1 0 890853376 2707079168 650134 33554432000 4194304 9016284 140736930543360 18446744073709551615 7875499 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 660908 650134 633 1178 0 659726 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2643632

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 453
/proc/meminfo: memFree=23313996/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=2687060 CPUtime=1182.31 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 679073 0 0 0 118150 81 0 0 25 0 1 0 890853376 2751549440 661903 33554432000 4194304 9016284 140736930543360 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 671765 661903 633 1178 0 670583 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2687060

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/173 455
/proc/meminfo: memFree=23272808/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=2725360 CPUtime=1242.31 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 689315 0 0 0 124149 82 0 0 25 0 1 0 890853376 2790768640 672145 33554432000 4194304 9016284 140736930543360 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 681340 672145 633 1178 0 680158 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2725360

[startup+1302.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/173 505
/proc/meminfo: memFree=25429028/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=3070124 CPUtime=1302.31 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 767914 0 0 0 130140 91 0 0 25 0 1 0 890853376 3143806976 747779 33554432000 4194304 9016284 140736930543360 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 767531 747779 707 1178 0 766349 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3070124

[startup+1362.3 s]
/proc/loadavg: 2.18 2.06 2.02 3/173 507
/proc/meminfo: memFree=25236556/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=3094260 CPUtime=1362.31 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 775126 0 0 0 136136 95 0 0 25 0 1 0 890853376 3168522240 754717 33554432000 4194304 9016284 140736930543360 18446744073709551615 7124289 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 773565 754717 778 1178 0 772383 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3094260

[startup+1422.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/173 510
/proc/meminfo: memFree=25063684/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=3099284 CPUtime=1422.31 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 777562 0 0 0 142132 99 0 0 25 0 1 0 890853376 3173666816 756828 33554432000 4194304 9016284 140736930543360 18446744073709551615 7181501 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 774821 756828 919 1178 0 773639 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 3099284

[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/173 512
/proc/meminfo: memFree=24859804/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=3121700 CPUtime=1482.32 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 783700 0 0 0 148129 103 0 0 25 0 1 0 890853376 3196620800 762339 33554432000 4194304 9016284 140736930543360 18446744073709551615 7181690 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 780425 762339 773 1178 0 779243 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3121700

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/173 514
/proc/meminfo: memFree=24675292/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=3128872 CPUtime=1542.31 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 784272 0 0 0 154125 106 0 0 25 0 1 0 890853376 3203964928 762911 33554432000 4194304 9016284 140736930543360 18446744073709551615 7181476 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 782218 762911 773 1178 0 781036 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 3128872

[startup+1602.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/173 516
/proc/meminfo: memFree=24477636/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=3128872 CPUtime=1602.32 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 785174 0 0 0 160122 110 0 0 25 0 1 0 890853376 3203964928 763813 33554432000 4194304 9016284 140736930543360 18446744073709551615 7181472 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 782218 763813 773 1178 0 781036 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3128872

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/173 518
/proc/meminfo: memFree=24347804/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=3128872 CPUtime=1662.31 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 785378 0 0 0 166119 112 0 0 25 0 1 0 890853376 3203964928 764016 33554432000 4194304 9016284 140736930543360 18446744073709551615 7181481 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 782218 764016 772 1178 0 781036 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 3128872

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/173 518
/proc/meminfo: memFree=24200364/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=3128872 CPUtime=1722.32 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 785469 0 0 0 172117 115 0 0 25 0 1 0 890853376 3203964928 764106 33554432000 4194304 9016284 140736930543360 18446744073709551615 7181481 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 782218 764106 771 1178 0 781036 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3128872

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 520
/proc/meminfo: memFree=24081196/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=3148012 CPUtime=1782.32 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 792665 0 0 0 178111 121 0 0 25 0 1 0 890853376 3223564288 771302 33554432000 4194304 9016284 140736930543360 18446744073709551615 6972411 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 787003 771302 798 1178 0 785821 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3148012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 522
/proc/meminfo: memFree=24058868/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=3148012 CPUtime=1800.02 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 792692 0 0 0 179880 122 0 0 25 0 1 0 890853376 3223564288 771329 33554432000 4194304 9016284 140736930543360 18446744073709551615 7189780 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 787003 771329 798 1178 0 785821 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3148012

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -413

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

[startup+1801.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 523
/proc/meminfo: memFree=24057992/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=3148012 CPUtime=1801.12 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 792692 0 0 0 179990 122 0 0 25 0 1 0 890853376 3223564288 771329 33554432000 4194304 9016284 140736930543360 18446744073709551615 7231912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 787003 771329 798 1178 0 785821 0
Current children cumulated CPU time (s) 1801.12
Current children cumulated vsize (KiB) 3148012

[startup+1801.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 523
/proc/meminfo: memFree=24057740/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=3148012 CPUtime=1801.92 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4202496 792692 0 0 0 180070 122 0 0 25 0 1 0 890853376 3223564288 771329 33554432000 4194304 9016284 140736930543360 18446744073709551615 7189747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/413/statm: 787003 771329 798 1178 0 785821 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 3148012

[startup+1802.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 523
/proc/meminfo: memFree=24057740/32951132 swapFree=67061148/67111528
[pid=413] ppid=411 vsize=0 CPUtime=1802.12 cores=0,2,4,6
/proc/413/stat : 413 (scip-2.0.1.4b_2) R 411 413 31747 0 -1 4203524 792692 0 0 0 180081 131 0 0 25 0 1 0 890853376 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/413/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.12
CPU time (s): 1802.15
CPU user time (s): 1800.81
CPU system time (s): 1.3368
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3148012

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

runsolver used 4.12637 second user time and 8.75467 second system time

The end

Launcher Data 

Begin job on node129 at 2011-06-11 13:42:17
IDJOB=3489731
IDBENCH=77372
IDSOLVER=1979
FILE ID=node129/3489731-1307792537
RUNJOBID= node129-1307783030-31765
PBS_JOBID= 13550887
Free space on /tmp= 74072 MiB

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

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

MD5SUM BENCH= 9033b116fa6917a1af0ec218f9c6d61f
RANDOM SEED=1013580211

node129.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.83
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.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.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	: 5332.82
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.74
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      27190748 kB
Buffers:        423196 kB
Cached:        3180616 kB
SwapCached:      13132 kB
Active:        2974116 kB
Inactive:      2524004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      27190748 kB
SwapTotal:    67111528 kB
SwapFree:     67061148 kB
Dirty:           24476 kB
Writeback:           4 kB
AnonPages:     1891364 kB
Mapped:          11364 kB
Slab:           195268 kB
PageTables:       7812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  2085700 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= 74056 MiB
End job on node129 at 2011-06-11 14:12:20