Trace number 3453499

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.21 1802.19

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.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-3453499-1307120244.opb>
1.69/1.70	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256266 constraints
1.69/1.70	c problem read
1.69/1.70	c presolving settings loaded
2.49/2.59	c presolving:
9.09/9.11	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
11.69/11.74	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
12.39/12.46	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
12.89/12.95	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
13.21/13.28	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
13.39/13.48	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
13.59/13.62	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
13.69/13.72	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
13.79/13.81	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
13.79/13.88	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
13.89/13.94	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
14.59/14.68	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
15.69/15.73	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
654.69/654.71	c    (654.7s) probing: 1000/52402 (1.9%) - 0 fixings, 0 aggregations, 14621652 implications, 0 bound changes
1251.10/1251.13	c    (1251.1s) probing: 2000/52402 (3.8%) - 0 fixings, 0 aggregations, 23563713 implications, 0 bound changes
1251.50/1251.56	c    (1251.6s) probing: 2001/52402 (3.8%) - 0 fixings, 0 aggregations, 23568577 implications, 0 bound changes
1251.50/1251.56	c    (1251.6s) probing aborted: 2000/2000 successive useless probings
1251.50/1251.57	c presolving (14 rounds):
1251.50/1251.57	c  20440 deleted vars, 77806 deleted constraints, 67 added constraints, 16260 tightened bounds, 0 added holes, 136 changed sides, 341 changed coefficients
1251.50/1251.57	c  105018629 implications, 0 cliques
1251.50/1251.57	c presolved problem has 52402 variables (52402 bin, 0 int, 0 impl, 0 cont) and 178527 constraints
1251.50/1251.57	c    1149 constraints of type <knapsack>
1251.50/1251.57	c  151491 constraints of type <setppc>
1251.50/1251.57	c   25887 constraints of type <logicor>
1251.50/1251.57	c transformed objective value is always integral (scale: 1)
1251.50/1251.57	c Presolving Time: 1249.62
1251.50/1251.57	c - non default parameters ----------------------------------------------------------------------
1251.50/1251.57	c # SCIP version 2.0.1.4
1251.50/1251.57	c 
1251.50/1251.57	c # frequency for displaying node information lines
1251.50/1251.57	c # [type: int, range: [-1,2147483647], default: 100]
1251.50/1251.57	c display/freq = 10000
1251.50/1251.57	c 
1251.50/1251.57	c # maximal time in seconds to run
1251.50/1251.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1251.50/1251.57	c limits/time = 1800
1251.50/1251.57	c 
1251.50/1251.57	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1251.50/1251.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1251.50/1251.57	c limits/memory = 13950
1251.50/1251.57	c 
1251.50/1251.57	c # default clock type (1: CPU user seconds, 2: wall clock time)
1251.50/1251.57	c # [type: int, range: [1,2], default: 1]
1251.50/1251.57	c timing/clocktype = 2
1251.50/1251.57	c 
1251.50/1251.57	c # belongs reading time to solving time?
1251.50/1251.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1251.50/1251.57	c timing/reading = TRUE
1251.50/1251.57	c 
1251.50/1251.57	c # should presolving try to simplify inequalities
1251.50/1251.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1251.50/1251.57	c constraints/linear/simplifyinequalities = TRUE
1251.50/1251.57	c 
1251.50/1251.57	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1251.50/1251.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1251.50/1251.57	c constraints/indicator/addCouplingCons = TRUE
1251.50/1251.57	c 
1251.50/1251.57	c # should presolving try to simplify knapsacks
1251.50/1251.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1251.50/1251.57	c constraints/knapsack/simplifyinequalities = TRUE
1251.50/1251.57	c 
1251.50/1251.57	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1251.50/1251.57	c # [type: int, range: [-1,2147483647], default: -1]
1251.50/1251.57	c separating/rapidlearning/freq = 0
1251.50/1251.57	c 
1251.50/1251.57	c -----------------------------------------------------------------------------------------------
1251.50/1251.57	c start solving
1251.60/1251.60	c

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453499-1307120244/watcher-3453499-1307120244 -o /tmp/evaluation-result-3453499-1307120244/solver-3453499-1307120244 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453499-1307120244.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.10 1.58 1.82 2/527 11219
/proc/meminfo: memFree=24936420/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=11572 CPUtime=0 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1883 0 0 0 0 0 0 0 21 0 1 0 902255129 11849728 1837 33554432000 4194304 9128323 140734076357296 18446744073709551615 8008266 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11219/statm: 2893 1837 400 1205 0 1684 0

[startup+0.06085 s]
/proc/loadavg: 1.10 1.58 1.82 2/527 11219
/proc/meminfo: memFree=24936420/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=19972 CPUtime=0.05 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 3976 0 0 0 5 0 0 0 21 0 1 0 902255129 20451328 3929 33554432000 4194304 9128323 140734076357296 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11219/statm: 4993 3929 400 1205 0 3784 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19972

[startup+0.100843 s]
/proc/loadavg: 1.10 1.58 1.82 2/527 11219
/proc/meminfo: memFree=24936420/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=27512 CPUtime=0.09 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 5888 0 0 0 9 0 0 0 21 0 1 0 902255129 28172288 5840 33554432000 4194304 9128323 140734076357296 18446744073709551615 6192220 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11219/statm: 6878 5840 400 1205 0 5669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27512

[startup+0.300808 s]
/proc/loadavg: 1.10 1.58 1.82 2/527 11219
/proc/meminfo: memFree=24936420/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=50216 CPUtime=0.29 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 11587 0 0 0 27 2 0 0 22 0 1 0 902255129 51421184 11507 33554432000 4194304 9128323 140734076357296 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11219/statm: 12554 11507 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216

[startup+0.700738 s]
/proc/loadavg: 1.10 1.58 1.82 2/527 11219
/proc/meminfo: memFree=24936420/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=69412 CPUtime=0.69 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 16372 0 0 0 66 3 0 0 24 0 1 0 902255129 71077888 16284 33554432000 4194304 9128323 140734076357296 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11219/statm: 17353 16284 400 1205 0 16144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69412

[startup+1.50058 s]
/proc/loadavg: 1.10 1.58 1.82 3/528 11220
/proc/meminfo: memFree=24789836/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=127884 CPUtime=1.49 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 30958 0 0 0 145 4 0 0 25 0 1 0 902255129 130953216 30854 33554432000 4194304 9128323 140734076357296 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11219/statm: 31971 30854 400 1205 0 30762 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127884

[startup+3.10032 s]
/proc/loadavg: 1.17 1.58 1.82 3/528 11220
/proc/meminfo: memFree=24260028/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=465548 CPUtime=3.09 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 126275 0 0 0 293 16 0 0 25 0 1 0 902255129 476721152 113728 33554432000 4194304 9128323 140734076357296 18446744073709551615 6890226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11219/statm: 116387 113728 501 1205 0 115178 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 465548

[startup+6.30076 s]
/proc/loadavg: 1.17 1.58 1.82 3/528 11221
/proc/meminfo: memFree=23595984/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=757584 CPUtime=6.29 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 198994 0 0 0 605 24 0 0 25 0 1 0 902255129 775766016 186447 33554432000 4194304 9128323 140734076357296 18446744073709551615 6593113 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11219/statm: 189396 186447 510 1205 0 188187 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 757584

[startup+12.7006 s]
/proc/loadavg: 1.30 1.60 1.82 3/528 11221
/proc/meminfo: memFree=23214964/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=908796 CPUtime=12.69 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 234767 0 0 0 1241 28 0 0 25 0 1 0 902255129 930607104 221620 33554432000 4194304 9128323 140734076357296 18446744073709551615 6594374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11219/statm: 227199 221620 523 1205 0 225990 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 908796

[startup+25.5004 s]
/proc/loadavg: 1.41 1.61 1.82 3/528 11221
/proc/meminfo: memFree=22999336/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=1009796 CPUtime=25.49 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 279022 0 0 0 2516 33 0 0 25 0 1 0 902255129 1034031104 245742 33554432000 4194304 9128323 140734076357296 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11219/statm: 252449 245742 573 1205 0 251240 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1009796

[startup+51.1009 s]
/proc/loadavg: 1.61 1.64 1.83 3/528 11222
/proc/meminfo: memFree=22898464/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=1064696 CPUtime=51.09 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 292397 0 0 0 5074 35 0 0 25 0 1 0 902255129 1090248704 259117 33554432000 4194304 9128323 140734076357296 18446744073709551615 5488614 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 266174 259117 573 1205 0 264965 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1064696

[startup+102.32 s]
/proc/loadavg: 1.84 1.70 1.83 3/528 11223
/proc/meminfo: memFree=22576012/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=1230012 CPUtime=102.31 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 333427 0 0 0 10191 40 0 0 25 0 1 0 902255129 1259532288 300147 33554432000 4194304 9128323 140734076357296 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 307503 300147 573 1205 0 306294 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1230012

[startup+162.3 s]
/proc/loadavg: 1.94 1.75 1.84 3/528 11225
/proc/meminfo: memFree=22256444/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=1390332 CPUtime=162.28 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 372625 0 0 0 16184 44 0 0 25 0 1 0 902255129 1423699968 338982 33554432000 4194304 9128323 140734076357296 18446744073709551615 4352224 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 347583 338982 573 1205 0 346374 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1390332

[startup+222.301 s]
/proc/loadavg: 1.98 1.79 1.84 3/528 11236
/proc/meminfo: memFree=21879092/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=1615904 CPUtime=222.29 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 428832 0 0 0 22178 51 0 0 25 0 1 0 902255129 1654685696 395024 33554432000 4194304 9128323 140734076357296 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 403976 395024 573 1205 0 402767 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1615904

[startup+282.3 s]
/proc/loadavg: 2.09 1.86 1.86 3/528 11238
/proc/meminfo: memFree=21374456/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=1874492 CPUtime=282.29 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 493276 0 0 0 28171 58 0 0 25 0 1 0 902255129 1919479808 459369 33554432000 4194304 9128323 140734076357296 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 468623 459369 573 1205 0 467414 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1874492

[startup+342.301 s]
/proc/loadavg: 2.15 1.92 1.88 3/528 11239
/proc/meminfo: memFree=21007632/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=2054608 CPUtime=342.29 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 538241 0 0 0 34166 63 0 0 25 0 1 0 902255129 2103918592 504334 33554432000 4194304 9128323 140734076357296 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 513652 504334 573 1205 0 512443 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 2054608

[startup+402.3 s]
/proc/loadavg: 2.09 1.95 1.89 3/528 11241
/proc/meminfo: memFree=20709520/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=2215468 CPUtime=402.29 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 576787 0 0 0 40159 70 0 0 25 0 1 0 902255129 2268639232 542880 33554432000 4194304 9128323 140734076357296 18446744073709551615 4794279 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 553867 542880 573 1205 0 552658 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 2215468

[startup+462.301 s]
/proc/loadavg: 2.03 1.95 1.90 3/528 11243
/proc/meminfo: memFree=20287892/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=2448472 CPUtime=462.28 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 636134 0 0 0 46150 78 0 0 25 0 1 0 902255129 2507235328 602227 33554432000 4194304 9128323 140734076357296 18446744073709551615 8012574 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 612118 602227 573 1205 0 610909 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2448472

[startup+522.3 s]
/proc/loadavg: 2.01 1.96 1.90 3/528 11244
/proc/meminfo: memFree=19974272/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=2559624 CPUtime=522.28 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 663904 0 0 0 52146 82 0 0 25 0 1 0 902255129 2621054976 629997 33554432000 4194304 9128323 140734076357296 18446744073709551615 4782515 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 639906 629997 573 1205 0 638697 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2559624

[startup+582.301 s]
/proc/loadavg: 2.00 1.96 1.91 3/528 11246
/proc/meminfo: memFree=19724880/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=2752172 CPUtime=582.29 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 711113 0 0 0 58141 88 0 0 25 0 1 0 902255129 2818224128 677206 33554432000 4194304 9128323 140734076357296 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 688043 677206 573 1205 0 686834 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2752172

[startup+642.3 s]

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

/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 908417 0 0 0 106111 118 0 0 25 0 1 0 902255129 3634946048 874510 33554432000 4194304 9128323 140734076357296 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 887438 874510 577 1205 0 886229 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 3549752

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/528 11260
/proc/meminfo: memFree=18186816/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=3624324 CPUtime=1122.29 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 927172 0 0 0 112108 121 0 0 25 0 1 0 902255129 3711307776 893265 33554432000 4194304 9128323 140734076357296 18446744073709551615 5488720 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 906081 893265 577 1205 0 904872 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 3624324

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/528 11262
/proc/meminfo: memFree=18066752/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=3683100 CPUtime=1182.3 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 942452 0 0 0 118105 125 0 0 25 0 1 0 902255129 3771494400 908545 33554432000 4194304 9128323 140734076357296 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 920775 908545 577 1205 0 919566 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 3683100

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/528 11263
/proc/meminfo: memFree=17672536/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=3779184 CPUtime=1242.3 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 966310 0 0 0 124102 128 0 0 25 0 1 0 902255129 3869884416 932403 33554432000 4194304 9128323 140734076357296 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 944796 932403 577 1205 0 943587 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3779184

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/528 11265
/proc/meminfo: memFree=17350108/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4106256 CPUtime=1302.31 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1043791 0 0 0 130087 144 0 0 25 0 1 0 902255129 4204806144 1007374 33554432000 4194304 9128323 140734076357296 18446744073709551615 7315409 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1026564 1007374 843 1205 0 1025355 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 4106256

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/528 11267
/proc/meminfo: memFree=17316864/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4119728 CPUtime=1362.3 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1048143 0 0 0 136078 152 0 0 25 0 1 0 902255129 4218601472 1011646 33554432000 4194304 9128323 140734076357296 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1029932 1011646 876 1205 0 1028723 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 4119728

[startup+1422.32 s]
/proc/loadavg: 2.07 2.03 1.95 3/528 11268
/proc/meminfo: memFree=17291916/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4139348 CPUtime=1422.33 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1054317 0 0 0 142073 160 0 0 25 0 1 0 902255129 4238692352 1017071 33554432000 4194304 9128323 140734076357296 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1034837 1017071 810 1205 0 1033628 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 4139348

[startup+1482.3 s]
/proc/loadavg: 2.18 2.06 1.97 3/528 11270
/proc/meminfo: memFree=17249608/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4161828 CPUtime=1482.3 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1061591 0 0 0 148064 166 0 0 25 0 1 0 902255129 4261711872 1024159 33554432000 4194304 9128323 140734076357296 18446744073709551615 7316182 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1040457 1024159 1126 1205 0 1039248 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 4161828

[startup+1542.3 s]
/proc/loadavg: 2.12 2.07 1.97 3/528 11271
/proc/meminfo: memFree=17248340/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4161828 CPUtime=1542.3 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1062001 0 0 0 154058 172 0 0 25 0 1 0 902255129 4261711872 1024185 33554432000 4194304 9128323 140734076357296 18446744073709551615 7380899 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1040457 1024185 742 1205 0 1039248 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 4161828

[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 1.97 3/528 11273
/proc/meminfo: memFree=17248312/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4161828 CPUtime=1602.3 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1062006 0 0 0 160054 176 0 0 25 0 1 0 902255129 4261711872 1024190 33554432000 4194304 9128323 140734076357296 18446744073709551615 7278876 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1040457 1024190 742 1205 0 1039248 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 4161828

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/528 11276
/proc/meminfo: memFree=17246548/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4161828 CPUtime=1662.3 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1062013 0 0 0 166051 179 0 0 25 0 1 0 902255129 4261711872 1024197 33554432000 4194304 9128323 140734076357296 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1040457 1024197 742 1205 0 1039248 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 4161828

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/528 11277
/proc/meminfo: memFree=17246644/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4161828 CPUtime=1722.31 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1062038 0 0 0 172048 183 0 0 25 0 1 0 902255129 4261711872 1024204 33554432000 4194304 9128323 140734076357296 18446744073709551615 7285004 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1040457 1024204 724 1205 0 1039248 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 4161828

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11280
/proc/meminfo: memFree=17244136/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4161828 CPUtime=1782.31 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1062042 0 0 0 178045 186 0 0 25 0 1 0 902255129 4261711872 1024208 33554432000 4194304 9128323 140734076357296 18446744073709551615 7346332 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1040457 1024208 724 1205 0 1039248 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 4161828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.97 3/529 11282
/proc/meminfo: memFree=17243248/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4161828 CPUtime=1800.02 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1062042 0 0 0 179815 187 0 0 25 0 1 0 902255129 4261711872 1024208 33554432000 4194304 9128323 140734076357296 18446744073709551615 7316156 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1040457 1024208 724 1205 0 1039248 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4161828

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -11219

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 1.97 3/530 11283
/proc/meminfo: memFree=17243612/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4161828 CPUtime=1801.41 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1062042 0 0 0 179954 187 0 0 25 0 1 0 902255129 4261711872 1024208 33554432000 4194304 9128323 140734076357296 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1040457 1024208 724 1205 0 1039248 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 4161828

[startup+1801.82 s]
/proc/loadavg: 2.00 2.02 1.97 3/530 11283
/proc/meminfo: memFree=17243240/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4161828 CPUtime=1801.83 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1062042 0 0 0 179996 187 0 0 25 0 1 0 902255129 4261711872 1024208 33554432000 4194304 9128323 140734076357296 18446744073709551615 7312808 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1040457 1024208 724 1205 0 1039248 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 4161828

[startup+1802 s]
/proc/loadavg: 2.00 2.02 1.97 3/530 11283
/proc/meminfo: memFree=17243240/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=4161828 CPUtime=1802.01 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4202496 1062042 0 0 0 180014 187 0 0 25 0 1 0 902255129 4261711872 1024208 33554432000 4194304 9128323 140734076357296 18446744073709551615 7316161 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11219/statm: 1040457 1024208 724 1205 0 1039248 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 4161828

[startup+1802.1 s]
/proc/loadavg: 2.00 2.02 1.97 3/530 11283
/proc/meminfo: memFree=17243240/32951124 swapFree=56241860/67111528
[pid=11219] ppid=11216 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/11219/stat : 11219 (scip-2.0.1.4.li) R 11216 11219 5807 0 -1 4203524 1062042 0 0 0 180016 195 0 0 25 0 1 0 902255129 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/11219/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.19
CPU time (s): 1802.21
CPU user time (s): 1800.16
CPU system time (s): 2.04369
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4161828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.16
system time used= 2.04369
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1062042
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= 3
involuntary context switches= 1707

runsolver used 8.77567 second user time and 22.4656 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-03 18:57:25
IDJOB=3453499
IDBENCH=77502
IDSOLVER=1949
FILE ID=node119/3453499-1307120244
RUNJOBID= node119-1307120244-11197
PBS_JOBID= 13497988
Free space on /tmp= 73604 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/j120opt/normalized-j12060_5.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-3453499-1307120244/watcher-3453499-1307120244 -o /tmp/evaluation-result-3453499-1307120244/solver-3453499-1307120244 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453499-1307120244.opb -t 1800 -m 15500

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

MD5SUM BENCH= a5005fc9f27cd5643854e7c3033a2662
RANDOM SEED=1082372600

node119.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.815
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.63
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.815
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.815
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.815
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.83
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.815
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.67
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.815
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.815
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.74
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.815
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:     32951124 kB
MemFree:      24936452 kB
Buffers:        206392 kB
Cached:         580404 kB
SwapCached:      59076 kB
Active:         736900 kB
Inactive:      6980156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24936452 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:           40420 kB
Writeback:           0 kB
AnonPages:     6874248 kB
Mapped:          34952 kB
Slab:           149128 kB
PageTables:      79080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163912848 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= 73608 MiB
End job on node119 at 2011-06-03 19:27:27