Trace number 3486317

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12060_5.std.opb
MD5SUMa5005fc9f27cd5643854e7c3033a2662
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark107
Best CPU time to get the best result obtained on this benchmark1800.09
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 constraints256266
Number of constraints which are clauses255066
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.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-3486317-1307793488.opb>
1.29/1.38	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256266 constraints
1.29/1.38	c problem read
1.29/1.38	c presolving settings loaded
2.20/2.25	c presolving:
10.39/10.42	c (round 1) 8199 del vars, 24830 del conss, 0 add conss, 6551 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17028722 impls, 0 clqs
14.49/14.54	c (round 2) 15092 del vars, 53112 del conss, 0 add conss, 13059 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17064276 impls, 0 clqs
15.69/15.75	c (round 3) 17266 del vars, 64640 del conss, 0 add conss, 14221 chg bounds, 24 chg sides, 27 chg coeffs, 0 upgd conss, 17079706 impls, 0 clqs
16.59/16.60	c (round 4) 18461 del vars, 69354 del conss, 0 add conss, 15022 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17090535 impls, 0 clqs
17.09/17.18	c (round 5) 19355 del vars, 72985 del conss, 0 add conss, 15618 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17097130 impls, 0 clqs
17.49/17.52	c (round 6) 19819 del vars, 74996 del conss, 0 add conss, 15901 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17102290 impls, 0 clqs
17.69/17.74	c (round 7) 20139 del vars, 76314 del conss, 0 add conss, 16087 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17105307 impls, 0 clqs
17.79/17.89	c (round 8) 20296 del vars, 77033 del conss, 0 add conss, 16184 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17106989 impls, 0 clqs
17.99/18.00	c (round 9) 20394 del vars, 77492 del conss, 0 add conss, 16234 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17108138 impls, 0 clqs
17.99/18.08	c (round 10) 20426 del vars, 77689 del conss, 0 add conss, 16253 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17108375 impls, 0 clqs
18.09/18.14	c (round 11) 20440 del vars, 77770 del conss, 0 add conss, 16260 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17108451 impls, 0 clqs
18.79/18.86	c (round 12) 20440 del vars, 77785 del conss, 0 add conss, 16260 chg bounds, 45 chg sides, 45 chg coeffs, 178481 upgd conss, 17108451 impls, 0 clqs
19.89/19.91	c (round 13) 20440 del vars, 77797 del conss, 65 add conss, 16260 chg bounds, 134 chg sides, 326 chg coeffs, 178481 upgd conss, 17108451 impls, 0 clqs
898.52/898.50	c    (898.5s) probing: 1000/52402 (1.9%) - 0 fixings, 0 aggregations, 14621652 implications, 0 bound changes
1619.25/1619.28	c    (1619.3s) probing: 2000/52402 (3.8%) - 0 fixings, 0 aggregations, 23563713 implications, 0 bound changes
1619.74/1619.72	c    (1619.7s) probing: 2001/52402 (3.8%) - 0 fixings, 0 aggregations, 23568577 implications, 0 bound changes
1619.74/1619.72	c    (1619.7s) probing aborted: 2000/2000 successive useless probings
1619.74/1619.73	c presolving (14 rounds):
1619.74/1619.73	c  20440 deleted vars, 77806 deleted constraints, 67 added constraints, 16260 tightened bounds, 0 added holes, 136 changed sides, 341 changed coefficients
1619.74/1619.73	c  105018629 implications, 0 cliques
1619.74/1619.73	c presolved problem has 52402 variables (52402 bin, 0 int, 0 impl, 0 cont) and 178527 constraints
1619.74/1619.73	c    1149 constraints of type <knapsack>
1619.74/1619.73	c  151491 constraints of type <setppc>
1619.74/1619.73	c   25887 constraints of type <logicor>
1619.74/1619.73	c transformed objective value is always integral (scale: 1)
1619.74/1619.73	c Presolving Time: 1618.11
1619.74/1619.73	c - non default parameters ----------------------------------------------------------------------
1619.74/1619.73	c # SCIP version 2.0.1.4
1619.74/1619.73	c 
1619.74/1619.73	c # frequency for displaying node information lines
1619.74/1619.73	c # [type: int, range: [-1,2147483647], default: 100]
1619.74/1619.73	c display/freq = 10000
1619.74/1619.73	c 
1619.74/1619.73	c # maximal time in seconds to run
1619.74/1619.73	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1619.74/1619.73	c limits/time = 1797
1619.74/1619.73	c 
1619.74/1619.73	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1619.74/1619.73	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1619.74/1619.73	c limits/memory = 13950
1619.74/1619.73	c 
1619.74/1619.73	c # default clock type (1: CPU user seconds, 2: wall clock time)
1619.74/1619.73	c # [type: int, range: [1,2], default: 1]
1619.74/1619.73	c timing/clocktype = 2
1619.74/1619.73	c 
1619.74/1619.73	c # belongs reading time to solving time?
1619.74/1619.73	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1619.74/1619.73	c timing/reading = TRUE
1619.74/1619.73	c 
1619.74/1619.73	c # should presolving try to simplify inequalities
1619.74/1619.73	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1619.74/1619.73	c constraints/linear/simplifyinequalities = TRUE
1619.74/1619.73	c 
1619.74/1619.73	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1619.74/1619.73	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1619.74/1619.73	c constraints/indicator/addCouplingCons = TRUE
1619.74/1619.73	c 
1619.74/1619.73	c # should presolving try to simplify knapsacks
1619.74/1619.73	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1619.74/1619.73	c constraints/knapsack/simplifyinequalities = TRUE
1619.74/1619.73	c 
1619.74/1619.73	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1619.74/1619.73	c # [type: int, range: [-1,2147483647], default: -1]
1619.74/1619.73	c separating/rapidlearning/freq = 0
1619.74/1619.73	c 
1619.74/1619.73	c -----------------------------------------------------------------------------------------------
1619.74/1619.73	c start solving
1619.74/1619.77	c

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3486317-1307793488/watcher-3486317-1307793488 -o /tmp/evaluation-result-3486317-1307793488/solver-3486317-1307793488 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486317-1307793488.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.92 1.98 1.99 2/177 14057
/proc/meminfo: memFree=31391532/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=10312 CPUtime=0 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 1572 0 0 0 0 0 0 0 25 0 1 0 969579491 10559488 1526 33554432000 4194304 8979876 140735113712064 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14057/statm: 2578 1526 366 1169 0 1405 0

[startup+0.034013 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 14057
/proc/meminfo: memFree=31391532/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=16968 CPUtime=0.02 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 3260 0 0 0 2 0 0 0 25 0 1 0 969579491 17375232 3214 33554432000 4194304 8979876 140735113712064 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14057/statm: 4242 3214 366 1169 0 3069 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16968

[startup+0.101014 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 14057
/proc/meminfo: memFree=31391532/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=27540 CPUtime=0.09 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 5903 0 0 0 9 0 0 0 25 0 1 0 969579491 28200960 5857 33554432000 4194304 8979876 140735113712064 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14057/statm: 6885 5857 366 1169 0 5712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27540

[startup+0.300964 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 14057
/proc/meminfo: memFree=31391532/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=52516 CPUtime=0.29 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 12128 0 0 0 28 1 0 0 25 0 1 0 969579491 53776384 12082 33554432000 4194304 8979876 140735113712064 18446744073709551615 7836083 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14057/statm: 13129 12082 366 1169 0 11956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52516

[startup+0.700893 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 14057
/proc/meminfo: memFree=31391532/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=75404 CPUtime=0.69 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 17824 0 0 0 67 2 0 0 25 0 1 0 969579491 77213696 17778 33554432000 4194304 8979876 140735113712064 18446744073709551615 5426646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14057/statm: 18851 17778 366 1169 0 17678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75404

[startup+1.50075 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14058
/proc/meminfo: memFree=31293340/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=225412 CPUtime=1.49 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 55193 0 0 0 143 6 0 0 25 0 1 0 969579491 230821888 55109 33554432000 4194304 8979876 140735113712064 18446744073709551615 4318833 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 56353 55109 416 1169 0 55180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 225412

[startup+3.10046 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14058
/proc/meminfo: memFree=30968012/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=494392 CPUtime=3.09 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 133420 0 0 0 294 15 0 0 25 0 1 0 969579491 506257408 120968 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 123598 120968 487 1169 0 122425 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 494392

[startup+6.30086 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 14058
/proc/meminfo: memFree=30739228/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=719892 CPUtime=6.3 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 189433 0 0 0 608 22 0 0 25 0 1 0 969579491 737169408 176981 33554432000 4194304 8979876 140735113712064 18446744073709551615 6502545 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 179973 176981 494 1169 0 178800 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 719892

[startup+12.7007 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 14058
/proc/meminfo: memFree=30505916/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=907116 CPUtime=12.69 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 234273 0 0 0 1242 27 0 0 25 0 1 0 969579491 928886784 221221 33554432000 4194304 8979876 140735113712064 18446744073709551615 6504351 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 226779 221221 504 1169 0 225606 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 907116

[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 14058
/proc/meminfo: memFree=30426192/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=990748 CPUtime=25.49 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 274512 0 0 0 2517 32 0 0 25 0 1 0 969579491 1014525952 241387 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 247687 241387 583 1169 0 246514 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 990748

[startup+51.1006 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 14059
/proc/meminfo: memFree=30391728/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=1027140 CPUtime=51.1 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 283120 0 0 0 5077 33 0 0 25 0 1 0 969579491 1051791360 249863 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 256785 249863 583 1169 0 255612 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1027140

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14060
/proc/meminfo: memFree=30305940/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=1115156 CPUtime=102.3 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 304451 0 0 0 10195 35 0 0 25 0 1 0 969579491 1141919744 271194 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 278789 271194 583 1169 0 277616 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1115156

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14062
/proc/meminfo: memFree=30185764/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=1234752 CPUtime=162.29 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 334607 0 0 0 16191 38 0 0 25 0 1 0 969579491 1264386048 301350 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 308688 301350 583 1169 0 307515 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1234752

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14073
/proc/meminfo: memFree=30071620/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=1350460 CPUtime=222.3 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 362885 0 0 0 22188 42 0 0 25 0 1 0 969579491 1382871040 329265 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 337615 329265 583 1169 0 336442 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1350460

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14074
/proc/meminfo: memFree=29947584/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=1477024 CPUtime=282.3 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 394525 0 0 0 28185 45 0 0 25 0 1 0 969579491 1512472576 360740 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 369256 360740 583 1169 0 368083 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1477024

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14076
/proc/meminfo: memFree=29801840/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=1621792 CPUtime=342.31 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 430350 0 0 0 34181 50 0 0 25 0 1 0 969579491 1660715008 396565 33554432000 4194304 8979876 140735113712064 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 405448 396565 583 1169 0 404275 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1621792

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14115
/proc/meminfo: memFree=28970588/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=1827800 CPUtime=402.3 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 481476 0 0 0 40175 55 0 0 25 0 1 0 969579491 1871667200 447592 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 456950 447592 583 1169 0 455777 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1827800

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14117
/proc/meminfo: memFree=28717728/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=1940036 CPUtime=462.31 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 509770 0 0 0 46171 60 0 0 25 0 1 0 969579491 1986596864 475886 33554432000 4194304 8979876 140735113712064 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 485009 475886 583 1169 0 483836 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1940036

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14119
/proc/meminfo: memFree=28420212/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=2078008 CPUtime=522.31 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 544300 0 0 0 52167 64 0 0 25 0 1 0 969579491 2127880192 510416 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 519502 510416 583 1169 0 518329 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2078008

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14120
/proc/meminfo: memFree=28192892/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=2210420 CPUtime=582.31 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 576110 0 0 0 58162 69 0 0 25 0 1 0 969579491 2263470080 542226 33554432000 4194304 8979876 140735113712064 18446744073709551615 5207388 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 552605 542226 583 1169 0 551432 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2210420

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14128
/proc/meminfo: memFree=26966832/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=2887988 CPUtime=882.32 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 744315 0 0 0 88141 91 0 0 25 0 1 0 969579491 2957299712 710431 33554432000 4194304 8979876 140735113712064 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 721997 710431 583 1169 0 720824 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2887988

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14130
/proc/meminfo: memFree=26817884/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=2981892 CPUtime=942.32 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 767343 0 0 0 94139 93 0 0 25 0 1 0 969579491 3053457408 733459 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 745473 733459 588 1169 0 744300 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2981892

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14131
/proc/meminfo: memFree=26674628/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=3063416 CPUtime=1002.33 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 788014 0 0 0 100136 97 0 0 25 0 1 0 969579491 3136937984 754130 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 765854 754130 588 1169 0 764681 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 3063416

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 14133
/proc/meminfo: memFree=26421264/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=3129780 CPUtime=1062.32 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 804827 0 0 0 106133 99 0 0 25 0 1 0 969579491 3204894720 770943 33554432000 4194304 8979876 140735113712064 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 782445 770943 588 1169 0 781272 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3129780

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14135
/proc/meminfo: memFree=26283844/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=3203520 CPUtime=1122.33 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 824063 0 0 0 112131 102 0 0 25 0 1 0 969579491 3280404480 790179 33554432000 4194304 8979876 140735113712064 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 800880 790179 588 1169 0 799707 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3203520

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14136
/proc/meminfo: memFree=26152128/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=3299392 CPUtime=1182.33 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 846856 0 0 0 118128 105 0 0 25 0 1 0 969579491 3378577408 812972 33554432000 4194304 8979876 140735113712064 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 824848 812972 588 1169 0 823675 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3299392

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14138
/proc/meminfo: memFree=26043588/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=3372688 CPUtime=1242.33 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 865027 0 0 0 124125 108 0 0 25 0 1 0 969579491 3453632512 831143 33554432000 4194304 8979876 140735113712064 18446744073709551615 4889220 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 843172 831143 588 1169 0 841999 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3372688

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14139
/proc/meminfo: memFree=25936680/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=3434868 CPUtime=1302.34 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 880788 0 0 0 130123 111 0 0 25 0 1 0 969579491 3517304832 846904 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 858717 846904 588 1169 0 857544 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3434868

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14141
/proc/meminfo: memFree=25620704/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=3498524 CPUtime=1362.34 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 896165 0 0 0 136121 113 0 0 25 0 1 0 969579491 3582488576 862281 33554432000 4194304 8979876 140735113712064 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 874631 862281 588 1169 0 873458 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3498524

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14143
/proc/meminfo: memFree=25517372/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=3581352 CPUtime=1422.34 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 916539 0 0 0 142119 115 0 0 25 0 1 0 969579491 3667304448 882655 33554432000 4194304 8979876 140735113712064 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 895338 882655 588 1169 0 894165 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3581352

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14144
/proc/meminfo: memFree=25441088/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=3637204 CPUtime=1482.34 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 930437 0 0 0 148117 117 0 0 25 0 1 0 969579491 3724496896 896553 33554432000 4194304 8979876 140735113712064 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 909301 896553 588 1169 0 908128 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3637204

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14146
/proc/meminfo: memFree=25376320/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=3687988 CPUtime=1542.34 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 943142 0 0 0 154115 119 0 0 25 0 1 0 969579491 3776499712 909258 33554432000 4194304 8979876 140735113712064 18446744073709551615 5537645 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 921997 909258 588 1169 0 920824 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3687988

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 14147
/proc/meminfo: memFree=25287880/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=3776076 CPUtime=1602.34 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 965211 0 0 0 160111 123 0 0 25 0 1 0 969579491 3866701824 931327 33554432000 4194304 8979876 140735113712064 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 944019 931327 588 1169 0 942846 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3776076

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14149
/proc/meminfo: memFree=24983172/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=4107076 CPUtime=1662.34 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 1043960 0 0 0 166095 139 0 0 25 0 1 0 969579491 4205645824 1007498 33554432000 4194304 8979876 140735113712064 18446744073709551615 7179875 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 1026769 1007498 771 1169 0 1025596 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 4107076

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14151
/proc/meminfo: memFree=24968512/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=4115812 CPUtime=1722.35 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 1047631 0 0 0 172088 147 0 0 25 0 1 0 969579491 4214591488 1011113 33554432000 4194304 8979876 140735113712064 18446744073709551615 7147031 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 1028953 1011113 791 1169 0 1027780 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 4115812

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14152
/proc/meminfo: memFree=24959184/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=4131208 CPUtime=1782.35 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 1050152 0 0 0 178082 153 0 0 25 0 1 0 969579491 4230356992 1013412 33554432000 4194304 8979876 140735113712064 18446744073709551615 7147027 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 1032802 1013412 686 1169 0 1031629 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 4131208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14153
/proc/meminfo: memFree=24944420/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=4145020 CPUtime=1800.06 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4202496 1054440 0 0 0 179851 155 0 0 25 0 1 0 969579491 4244500480 1017674 33554432000 4194304 8979876 140735113712064 18446744073709551615 7147413 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14057/statm: 1036255 1017674 1292 1169 0 1035082 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 4145020

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 2.01 2.00 3/178 14153
/proc/meminfo: memFree=24944420/32950928 swapFree=67051096/67111528
[pid=14057] ppid=14055 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/14057/stat : 14057 (scip-2.0.1.4_2.) R 14055 14057 13131 0 -1 4203524 1054440 0 0 0 179851 165 0 0 25 0 1 0 969579491 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14057/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.16
CPU time (s): 1800.22
CPU user time (s): 1798.51
CPU system time (s): 1.70274
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4145020

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

runsolver used 2.80657 second user time and 6.86796 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-11 13:58:08
IDJOB=3486317
IDBENCH=77502
IDSOLVER=1977
FILE ID=node113/3486317-1307793488
RUNJOBID= node113-1307784414-13150
PBS_JOBID= 13550901
Free space on /tmp= 74084 MiB

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

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

MD5SUM BENCH= a5005fc9f27cd5643854e7c3033a2662
RANDOM SEED=1496397101

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31392216 kB
Buffers:        267528 kB
Cached:         923800 kB
SwapCached:      14384 kB
Active:         675124 kB
Inactive:       680400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31392216 kB
SwapTotal:    67111528 kB
SwapFree:     67051096 kB
Dirty:           25368 kB
Writeback:           0 kB
AnonPages:      161888 kB
Mapped:          12140 kB
Slab:           139208 kB
PageTables:       5104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   355524 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= 74064 MiB
End job on node113 at 2011-06-11 14:28:10