Trace number 3453540

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 SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1802.17 1802.14

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9039_4.std.opb
MD5SUM435fe577a9ef191374ad8154c9f98032
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark81
Best CPU time to get the best result obtained on this benchmark0.71589
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints192648
Number of constraints which are clauses191448
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 constraint50
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.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-3453540-1307121495.opb>
1.19/1.22	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192648 constraints
1.19/1.22	c problem read
1.19/1.22	c presolving settings loaded
1.79/1.86	c presolving:
6.69/6.76	c (round 1) 5084 del vars, 14555 del conss, 0 add conss, 3949 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13022864 impls, 0 clqs
8.19/8.20	c (round 2) 9176 del vars, 33400 del conss, 0 add conss, 7765 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13048334 impls, 0 clqs
8.59/8.64	c (round 3) 11001 del vars, 40969 del conss, 0 add conss, 8891 chg bounds, 59 chg sides, 91 chg coeffs, 0 upgd conss, 13063394 impls, 0 clqs
8.89/8.90	c (round 4) 11999 del vars, 45131 del conss, 0 add conss, 9558 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13070625 impls, 0 clqs
8.99/9.03	c (round 5) 12523 del vars, 47496 del conss, 0 add conss, 9850 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13074624 impls, 0 clqs
9.09/9.12	c (round 6) 12775 del vars, 48611 del conss, 0 add conss, 10006 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13076294 impls, 0 clqs
9.09/9.19	c (round 7) 12865 del vars, 49091 del conss, 0 add conss, 10060 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077120 impls, 0 clqs
9.19/9.24	c (round 8) 12921 del vars, 49373 del conss, 0 add conss, 10100 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077356 impls, 0 clqs
9.19/9.29	c (round 9) 12937 del vars, 49468 del conss, 0 add conss, 10108 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077440 impls, 0 clqs
9.29/9.34	c (round 10) 12941 del vars, 49497 del conss, 0 add conss, 10110 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077452 impls, 0 clqs
9.80/9.88	c (round 11) 12941 del vars, 49501 del conss, 0 add conss, 10110 chg bounds, 74 chg sides, 105 chg coeffs, 143147 upgd conss, 13077452 impls, 0 clqs
10.19/10.28	c (round 12) 12941 del vars, 49506 del conss, 39 add conss, 10110 chg bounds, 178 chg sides, 385 chg coeffs, 143147 upgd conss, 13077452 impls, 0 clqs
487.70/487.73	c    (487.7s) probing: 1000/41841 (2.4%) - 0 fixings, 0 aggregations, 11452976 implications, 0 bound changes
904.41/904.45	c    (904.5s) probing: 2000/41841 (4.8%) - 0 fixings, 0 aggregations, 18773931 implications, 0 bound changes
904.81/904.85	c    (904.9s) probing: 2001/41841 (4.8%) - 0 fixings, 0 aggregations, 18779824 implications, 0 bound changes
904.81/904.85	c    (904.9s) probing aborted: 2000/2000 successive useless probings
904.81/904.85	c presolving (13 rounds):
904.81/904.85	c  12941 deleted vars, 49513 deleted constraints, 39 added constraints, 10110 tightened bounds, 0 added holes, 178 changed sides, 394 changed coefficients
904.81/904.85	c  75341070 implications, 0 cliques
904.81/904.85	c presolved problem has 41841 variables (41841 bin, 0 int, 0 impl, 0 cont) and 143174 constraints
904.81/904.85	c    1119 constraints of type <knapsack>
904.81/904.85	c  121373 constraints of type <setppc>
904.81/904.85	c   20682 constraints of type <logicor>
904.81/904.85	c transformed objective value is always integral (scale: 1)
904.81/904.85	c Presolving Time: 903.45
904.81/904.85	c - non default parameters ----------------------------------------------------------------------
904.81/904.85	c # SCIP version 2.0.1.4
904.81/904.85	c 
904.81/904.85	c # frequency for displaying node information lines
904.81/904.85	c # [type: int, range: [-1,2147483647], default: 100]
904.81/904.85	c display/freq = 10000
904.81/904.85	c 
904.81/904.85	c # maximal time in seconds to run
904.81/904.85	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
904.81/904.85	c limits/time = 1800
904.81/904.85	c 
904.81/904.85	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
904.81/904.85	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
904.81/904.85	c limits/memory = 13950
904.81/904.85	c 
904.81/904.85	c # default clock type (1: CPU user seconds, 2: wall clock time)
904.81/904.85	c # [type: int, range: [1,2], default: 1]
904.81/904.85	c timing/clocktype = 2
904.81/904.85	c 
904.81/904.85	c # belongs reading time to solving time?
904.81/904.85	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
904.81/904.85	c timing/reading = TRUE
904.81/904.85	c 
904.81/904.85	c # should presolving try to simplify inequalities
904.81/904.85	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
904.81/904.85	c constraints/linear/simplifyinequalities = TRUE
904.81/904.85	c 
904.81/904.85	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
904.81/904.85	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
904.81/904.85	c constraints/indicator/addCouplingCons = TRUE
904.81/904.85	c 
904.81/904.85	c # should presolving try to simplify knapsacks
904.81/904.85	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
904.81/904.85	c constraints/knapsack/simplifyinequalities = TRUE
904.81/904.85	c 
904.81/904.85	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
904.81/904.85	c # [type: int, range: [-1,2147483647], default: -1]
904.81/904.85	c separating/rapidlearning/freq = 0
904.81/904.85	c 
904.81/904.85	c -----------------------------------------------------------------------------------------------
904.81/904.85	c start solving
904.81/904.88	c 
1027.01/1027.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1027.01/1027.09	c  1027s|     1 |     0 | 36468 |     - |2211M|   0 | 294 |  41k| 143k|  41k| 143k|   0 |   2 |   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.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-3453540-1307121495/watcher-3453540-1307121495 -o /tmp/evaluation-result-3453540-1307121495/solver-3453540-1307121495 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453540-1307121495.opb -t 1800 -m 15500 

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.05 2.01 3/505 4611
/proc/meminfo: memFree=30345096/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=10456 CPUtime=0 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 1604 0 0 0 0 0 0 0 25 0 1 0 823752110 10706944 1558 33554432000 4194304 9128323 140733195764608 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4611/statm: 2614 1558 400 1205 0 1405 0

[startup+0.0721909 s]
/proc/loadavg: 2.11 2.05 2.01 3/505 4611
/proc/meminfo: memFree=30345096/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=22824 CPUtime=0.06 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 4690 0 0 0 6 0 0 0 25 0 1 0 823752110 23371776 4642 33554432000 4194304 9128323 140733195764608 18446744073709551615 6520002 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4611/statm: 5706 4642 400 1205 0 4497 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22824

[startup+0.100185 s]
/proc/loadavg: 2.11 2.05 2.01 3/505 4611
/proc/meminfo: memFree=30345096/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=27364 CPUtime=0.09 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 5857 0 0 0 9 0 0 0 25 0 1 0 823752110 28020736 5809 33554432000 4194304 9128323 140733195764608 18446744073709551615 8008900 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4611/statm: 6841 5809 400 1205 0 5632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27364

[startup+0.300148 s]
/proc/loadavg: 2.11 2.05 2.01 3/505 4611
/proc/meminfo: memFree=30345096/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=43888 CPUtime=0.29 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 10002 0 0 0 28 1 0 0 25 0 1 0 823752110 44941312 9922 33554432000 4194304 9128323 140733195764608 18446744073709551615 4914167 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4611/statm: 10972 9922 400 1205 0 9763 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43888

[startup+0.701077 s]
/proc/loadavg: 2.11 2.05 2.01 3/505 4611
/proc/meminfo: memFree=30345096/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=65328 CPUtime=0.69 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 15351 0 0 0 67 2 0 0 25 0 1 0 823752110 66895872 15263 33554432000 4194304 9128323 140733195764608 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4611/statm: 16332 15263 400 1205 0 15123 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65328

[startup+1.50094 s]
/proc/loadavg: 2.11 2.05 2.01 3/506 4612
/proc/meminfo: memFree=30193188/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=236160 CPUtime=1.49 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 57794 0 0 0 142 7 0 0 25 0 1 0 823752110 241827840 57610 33554432000 4194304 9128323 140733195764608 18446744073709551615 4338304 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 59040 57610 467 1205 0 57831 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 236160

[startup+3.10065 s]
/proc/loadavg: 2.11 2.05 2.01 3/506 4612
/proc/meminfo: memFree=29697564/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=453744 CPUtime=3.09 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 119768 0 0 0 296 13 0 0 25 0 1 0 823752110 464633856 111302 33554432000 4194304 9128323 140733195764608 18446744073709551615 6592283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 113436 111302 510 1205 0 112227 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 453744

[startup+6.3011 s]
/proc/loadavg: 2.10 2.05 2.01 3/506 4612
/proc/meminfo: memFree=29125700/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=690956 CPUtime=6.29 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 177115 0 0 0 611 18 0 0 25 0 1 0 823752110 707538944 168649 33554432000 4194304 9128323 140733195764608 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 172739 168649 519 1205 0 171530 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 690956

[startup+12.701 s]
/proc/loadavg: 2.09 2.05 2.01 3/506 4613
/proc/meminfo: memFree=28919704/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=776936 CPUtime=12.69 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 212148 0 0 0 1247 22 0 0 25 0 1 0 823752110 795582464 189609 33554432000 4194304 9128323 140733195764608 18446744073709551615 6593423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 194234 189609 580 1205 0 193025 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 776936

[startup+25.5007 s]
/proc/loadavg: 2.07 2.04 2.01 3/506 4613
/proc/meminfo: memFree=28833344/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=823848 CPUtime=25.49 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 223543 0 0 0 2525 24 0 0 25 0 1 0 823752110 843620352 200839 33554432000 4194304 9128323 140733195764608 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 205962 200839 580 1205 0 204753 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 823848

[startup+51.1002 s]
/proc/loadavg: 2.11 2.06 2.01 3/506 4614
/proc/meminfo: memFree=28669528/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=907936 CPUtime=51.09 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 244204 0 0 0 5083 26 0 0 25 0 1 0 823752110 929726464 221500 33554432000 4194304 9128323 140733195764608 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 226984 221500 580 1205 0 225775 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 907936

[startup+102.319 s]
/proc/loadavg: 2.05 2.05 2.00 3/506 4615
/proc/meminfo: memFree=28304844/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=1108804 CPUtime=102.31 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 292047 0 0 0 10199 32 0 0 25 0 1 0 823752110 1135415296 269343 33554432000 4194304 9128323 140733195764608 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 277201 269343 580 1205 0 275992 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1108804

[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 4617
/proc/meminfo: memFree=27870944/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=1305800 CPUtime=162.29 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 342644 0 0 0 16192 37 0 0 25 0 1 0 823752110 1337139200 319478 33554432000 4194304 9128323 140733195764608 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 326450 319478 580 1205 0 325241 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1305800

[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 4618
/proc/meminfo: memFree=27448824/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=1531312 CPUtime=222.29 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 399412 0 0 0 22184 45 0 0 25 0 1 0 823752110 1568063488 376180 33554432000 4194304 9128323 140733195764608 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 382828 376180 580 1205 0 381619 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1531312

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 4620
/proc/meminfo: memFree=27009324/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=1791576 CPUtime=282.29 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 463978 0 0 0 28175 54 0 0 25 0 1 0 823752110 1834573824 440746 33554432000 4194304 9128323 140733195764608 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 447894 440746 580 1205 0 446685 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1791576

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 4621
/proc/meminfo: memFree=26652544/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=1983332 CPUtime=342.29 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 510687 0 0 0 34168 61 0 0 25 0 1 0 823752110 2030931968 487455 33554432000 4194304 9128323 140733195764608 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 495833 487455 580 1205 0 494624 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1983332

[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/506 4623
/proc/meminfo: memFree=26406360/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=2107796 CPUtime=402.3 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 541385 0 0 0 40164 66 0 0 25 0 1 0 823752110 2158383104 518153 33554432000 4194304 9128323 140733195764608 18446744073709551615 6581570 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 526949 518153 580 1205 0 525740 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2107796

[startup+462.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/506 4625
/proc/meminfo: memFree=26155856/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=2207988 CPUtime=462.3 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 566834 0 0 0 46160 70 0 0 25 0 1 0 823752110 2260979712 543602 33554432000 4194304 9128323 140733195764608 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 551997 543602 580 1205 0 550788 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2207988

[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/506 4626
/proc/meminfo: memFree=26008628/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=2301468 CPUtime=522.3 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 590052 0 0 0 52158 72 0 0 25 0 1 0 823752110 2356703232 566820 33554432000 4194304 9128323 140733195764608 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 575367 566820 584 1205 0 574158 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2301468

[startup+582.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/506 4628
/proc/meminfo: memFree=25780060/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=2403096 CPUtime=582.3 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 615999 0 0 0 58155 75 0 0 25 0 1 0 823752110 2460770304 592767 33554432000 4194304 9128323 140733195764608 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 600774 592767 584 1205 0 599565 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2403096

[startup+642.301 s]

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

/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 790449 0 0 0 106115 116 0 0 25 0 1 0 823752110 3162746880 762059 33554432000 4194304 9128323 140733195764608 18446744073709551615 7312754 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762059 1585 1205 0 770946 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3088620

[startup+1122.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/506 4642
/proc/meminfo: memFree=24626132/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1122.31 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 790872 0 0 0 112103 128 0 0 25 0 1 0 823752110 3162746880 762482 33554432000 4194304 9128323 140733195764608 18446744073709551615 7078155 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762482 1585 1205 0 770946 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3088620

[startup+1182.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/506 4644
/proc/meminfo: memFree=24624740/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1182.31 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 118100 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3088620

[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/506 4645
/proc/meminfo: memFree=24623828/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1242.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 124101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3088620

[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/506 4647
/proc/meminfo: memFree=24623048/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1302.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 130101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243514 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3088620

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 4649
/proc/meminfo: memFree=24622888/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1362.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 136101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3088620

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 4650
/proc/meminfo: memFree=24622740/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1422.34 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 142103 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243376 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3088620

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 4652
/proc/meminfo: memFree=24623308/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1482.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 148101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3088620

[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/506 4653
/proc/meminfo: memFree=24624764/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1542.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 154101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3088620

[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/506 4655
/proc/meminfo: memFree=24624588/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1602.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 160101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3088620

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 4657
/proc/meminfo: memFree=24623076/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1662.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 166101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243218 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3088620

[startup+1722.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/506 4658
/proc/meminfo: memFree=24532400/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1722.33 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 172102 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3088620

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/506 4660
/proc/meminfo: memFree=24358144/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1782.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 178101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3088620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.82 2.00 1.99 2/500 4677
/proc/meminfo: memFree=27340416/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1800.03 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 179872 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3088620

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -4611

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

[startup+1801.4 s]
/proc/loadavg: 1.82 2.00 1.99 2/501 4678
/proc/meminfo: memFree=27339664/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1801.42 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791367 0 0 0 180011 131 0 0 25 0 1 0 823752110 3162746880 762905 33554432000 4194304 9128323 140733195764608 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762905 1691 1205 0 770946 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 3088620

[startup+1801.82 s]
/proc/loadavg: 1.82 2.00 1.99 2/501 4678
/proc/meminfo: memFree=27339784/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1801.84 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791367 0 0 0 180053 131 0 0 25 0 1 0 823752110 3162746880 762905 33554432000 4194304 9128323 140733195764608 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762905 1691 1205 0 770946 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3088620

[startup+1802 s]
/proc/loadavg: 1.82 2.00 1.99 2/501 4678
/proc/meminfo: memFree=27339784/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1802.02 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791367 0 0 0 180071 131 0 0 25 0 1 0 823752110 3162746880 762905 33554432000 4194304 9128323 140733195764608 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762905 1691 1205 0 770946 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 3088620

[startup+1802.1 s]
/proc/loadavg: 1.82 2.00 1.99 2/501 4678
/proc/meminfo: memFree=27339784/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=0 CPUtime=1802.12 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4203524 791367 0 0 0 180073 139 0 0 25 0 1 0 823752110 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/4611/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.14
CPU time (s): 1802.17
CPU user time (s): 1800.74
CPU system time (s): 1.43178
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3088620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.74
system time used= 1.43178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 791367
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= 4
involuntary context switches= 1950

runsolver used 8.64768 second user time and 20.8968 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-03 19:18:15
IDJOB=3453540
IDBENCH=77873
IDSOLVER=1949
FILE ID=node103/3453540-1307121495
RUNJOBID= node103-1307117890-4372
PBS_JOBID= 13497971
Free space on /tmp= 73860 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9039_4.std.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453540-1307121495/watcher-3453540-1307121495 -o /tmp/evaluation-result-3453540-1307121495/solver-3453540-1307121495 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453540-1307121495.opb -t 1800 -m 15500

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

MD5SUM BENCH= 435fe577a9ef191374ad8154c9f98032
RANDOM SEED=1335939338

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30346492 kB
Buffers:        291300 kB
Cached:         460856 kB
SwapCached:      23760 kB
Active:        1928276 kB
Inactive:       384092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30346492 kB
SwapTotal:    67111528 kB
SwapFree:     51712236 kB
Dirty:           35748 kB
Writeback:           0 kB
AnonPages:     1556856 kB
Mapped:          24276 kB
Slab:           150128 kB
PageTables:      72988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162088760 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73864 MiB
End job on node103 at 2011-06-03 19:48:17