Trace number 3451842

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1802.17 1802.13

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1209_3.std.opb
MD5SUM1c629e857267ecd100f6323de081d52b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark87
Best CPU time to get the best result obtained on this benchmark0.922858
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 constraints234284
Number of constraints which are clauses233084
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 constraint72
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.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-3451842-1307118646.opb>
1.49/1.53	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234284 constraints
1.49/1.53	c problem read
1.49/1.53	c presolving settings loaded
1.89/1.98	c presolving:
7.99/8.06	c (round 1) 4241 del vars, 13107 del conss, 0 add conss, 2837 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16116580 impls, 0 clqs
10.59/10.65	c (round 2) 11259 del vars, 36952 del conss, 0 add conss, 9511 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16148865 impls, 0 clqs
11.29/11.32	c (round 3) 13579 del vars, 48084 del conss, 0 add conss, 10815 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 16161729 impls, 0 clqs
11.59/11.69	c (round 4) 14618 del vars, 52115 del conss, 0 add conss, 11453 chg bounds, 35 chg sides, 42 chg coeffs, 0 upgd conss, 16168041 impls, 0 clqs
11.89/11.90	c (round 5) 15210 del vars, 54407 del conss, 0 add conss, 11799 chg bounds, 35 chg sides, 42 chg coeffs, 0 upgd conss, 16172729 impls, 0 clqs
11.99/12.05	c (round 6) 15551 del vars, 55719 del conss, 0 add conss, 12008 chg bounds, 41 chg sides, 47 chg coeffs, 0 upgd conss, 16175276 impls, 0 clqs
12.09/12.15	c (round 7) 15706 del vars, 56418 del conss, 0 add conss, 12118 chg bounds, 58 chg sides, 61 chg coeffs, 0 upgd conss, 16175953 impls, 0 clqs
12.21/12.22	c (round 8) 15769 del vars, 56728 del conss, 0 add conss, 12151 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176149 impls, 0 clqs
12.21/12.28	c (round 9) 15779 del vars, 56805 del conss, 0 add conss, 12156 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176325 impls, 0 clqs
12.29/12.33	c (round 10) 15789 del vars, 56845 del conss, 0 add conss, 12161 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176513 impls, 0 clqs
12.29/12.39	c (round 11) 15795 del vars, 56873 del conss, 0 add conss, 12164 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176561 impls, 0 clqs
12.99/13.06	c (round 12) 15795 del vars, 56879 del conss, 0 add conss, 12164 chg bounds, 61 chg sides, 64 chg coeffs, 177405 upgd conss, 16176561 impls, 0 clqs
13.59/13.63	c (round 13) 15795 del vars, 56879 del conss, 14 add conss, 12164 chg bounds, 91 chg sides, 233 chg coeffs, 177405 upgd conss, 16176561 impls, 0 clqs
544.28/544.34	c    (544.3s) probing: 1000/57047 (1.8%) - 0 fixings, 0 aggregations, 10028525 implications, 0 bound changes
1007.40/1007.45	c    (1007.4s) probing: 2000/57047 (3.5%) - 0 fixings, 0 aggregations, 15002676 implications, 0 bound changes
1008.20/1008.24	c    (1008.2s) probing: 2001/57047 (3.5%) - 0 fixings, 0 aggregations, 15022386 implications, 0 bound changes
1008.20/1008.24	c    (1008.2s) probing aborted: 2000/2000 successive useless probings
1008.20/1008.25	c presolving (14 rounds):
1008.20/1008.25	c  15795 deleted vars, 56881 deleted constraints, 16 added constraints, 12164 tightened bounds, 0 added holes, 98 changed sides, 253 changed coefficients
1008.20/1008.25	c  70588861 implications, 0 cliques
1008.20/1008.25	c presolved problem has 57047 variables (57047 bin, 0 int, 0 impl, 0 cont) and 177419 constraints
1008.20/1008.25	c    1151 constraints of type <knapsack>
1008.20/1008.25	c  148067 constraints of type <setppc>
1008.20/1008.25	c   28201 constraints of type <logicor>
1008.20/1008.25	c transformed objective value is always integral (scale: 1)
1008.20/1008.25	c Presolving Time: 1006.40
1008.20/1008.25	c - non default parameters ----------------------------------------------------------------------
1008.20/1008.25	c # SCIP version 2.0.1.5
1008.20/1008.25	c 
1008.20/1008.25	c # frequency for displaying node information lines
1008.20/1008.25	c # [type: int, range: [-1,2147483647], default: 100]
1008.20/1008.25	c display/freq = 10000
1008.20/1008.25	c 
1008.20/1008.25	c # maximal time in seconds to run
1008.20/1008.25	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1008.20/1008.25	c limits/time = 1800
1008.20/1008.25	c 
1008.20/1008.25	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1008.20/1008.25	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1008.20/1008.25	c limits/memory = 13950
1008.20/1008.25	c 
1008.20/1008.25	c # default clock type (1: CPU user seconds, 2: wall clock time)
1008.20/1008.25	c # [type: int, range: [1,2], default: 1]
1008.20/1008.25	c timing/clocktype = 2
1008.20/1008.25	c 
1008.20/1008.25	c # belongs reading time to solving time?
1008.20/1008.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1008.20/1008.25	c timing/reading = TRUE
1008.20/1008.25	c 
1008.20/1008.25	c # should presolving try to simplify inequalities
1008.20/1008.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1008.20/1008.25	c constraints/linear/simplifyinequalities = TRUE
1008.20/1008.25	c 
1008.20/1008.25	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1008.20/1008.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1008.20/1008.25	c constraints/indicator/addCouplingCons = TRUE
1008.20/1008.25	c 
1008.20/1008.25	c # should presolving try to simplify knapsacks
1008.20/1008.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1008.20/1008.25	c constraints/knapsack/simplifyinequalities = TRUE
1008.20/1008.25	c 
1008.20/1008.25	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1008.20/1008.25	c # [type: int, range: [-1,2147483647], default: -1]
1008.20/1008.25	c separating/rapidlearning/freq = 0
1008.20/1008.25	c 
1008.20/1008.25	c -----------------------------------------------------------------------------------------------
1008.20/1008.25	c start solving
1008.20/1008.28	c 
1248.21/1248.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1248.21/1248.27	c  1248s|     1 |     0 | 51124 |     - |2182M|   0 |1085 |  57k| 177k|  57k| 177k|   0 |  20 |   0 | 8.700000e+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-3451842-1307118646/watcher-3451842-1307118646 -o /tmp/evaluation-result-3451842-1307118646/solver-3451842-1307118646 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451842-1307118646.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: 0.92 1.31 1.68 3/468 8198
/proc/meminfo: memFree=24158864/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=13024 CPUtime=0 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 2256 0 0 0 0 0 0 0 20 0 1 0 902095090 13336576 2209 33554432000 4194304 9163163 140734643455680 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8198/statm: 3256 2211 395 1214 0 2038 0

[startup+0.104398 s]
/proc/loadavg: 0.92 1.31 1.68 3/468 8198
/proc/meminfo: memFree=24158864/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=31232 CPUtime=0.09 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 6809 0 0 0 9 0 0 0 20 0 1 0 902095090 31981568 6762 33554432000 4194304 9163163 140734643455680 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8198/statm: 7808 6762 395 1214 0 6590 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31232

[startup+0.200382 s]
/proc/loadavg: 0.92 1.31 1.68 3/468 8198
/proc/meminfo: memFree=24158864/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=46756 CPUtime=0.19 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 10683 0 0 0 19 0 0 0 21 0 1 0 902095090 47878144 10636 33554432000 4194304 9163163 140734643455680 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8198/statm: 11689 10636 395 1214 0 10471 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46756

[startup+0.300362 s]
/proc/loadavg: 0.92 1.31 1.68 3/468 8198
/proc/meminfo: memFree=24158864/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=56892 CPUtime=0.29 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 13205 0 0 0 28 1 0 0 21 0 1 0 902095090 58257408 13158 33554432000 4194304 9163163 140734643455680 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8198/statm: 14223 13158 395 1214 0 13005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56892

[startup+0.700286 s]
/proc/loadavg: 0.92 1.31 1.68 3/468 8198
/proc/meminfo: memFree=24158864/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=80900 CPUtime=0.69 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 19182 0 0 0 67 2 0 0 22 0 1 0 902095090 82841600 19135 33554432000 4194304 9163163 140734643455680 18446744073709551615 6162722 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8198/statm: 20225 19135 395 1214 0 19007 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80900

[startup+1.50015 s]
/proc/loadavg: 0.92 1.31 1.68 4/470 8200
/proc/meminfo: memFree=23937880/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=151648 CPUtime=1.49 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 36810 0 0 0 145 4 0 0 25 0 1 0 902095090 155287552 36763 33554432000 4194304 9163163 140734643455680 18446744073709551615 7962053 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8198/statm: 37912 36763 395 1214 0 36694 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151648

[startup+3.10084 s]
/proc/loadavg: 0.92 1.31 1.68 4/470 8200
/proc/meminfo: memFree=23384412/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=510576 CPUtime=3.09 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 124976 0 0 0 296 13 0 0 25 0 1 0 902095090 522829824 124909 33554432000 4194304 9163163 140734643455680 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8198/statm: 127644 124909 506 1214 0 126426 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510576

[startup+6.30025 s]
/proc/loadavg: 1.01 1.32 1.68 4/470 8200
/proc/meminfo: memFree=22731180/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=785144 CPUtime=6.29 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 191445 0 0 0 610 19 0 0 25 0 1 0 902095090 803987456 191378 33554432000 4194304 9163163 140734643455680 18446744073709551615 6563475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8198/statm: 196286 191378 506 1214 0 195068 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 785144

[startup+12.701 s]
/proc/loadavg: 1.09 1.33 1.68 4/470 8200
/proc/meminfo: memFree=22448524/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=898344 CPUtime=12.69 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 226556 0 0 0 1246 23 0 0 25 0 1 0 902095090 919904256 219042 33554432000 4194304 9163163 140734643455680 18446744073709551615 4217457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8198/statm: 224586 219042 530 1214 0 223368 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 898344

[startup+25.5007 s]
/proc/loadavg: 1.29 1.36 1.69 4/470 8201
/proc/meminfo: memFree=22230448/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=1006296 CPUtime=25.49 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 259627 0 0 0 2522 27 0 0 25 0 1 0 902095090 1030447104 244274 33554432000 4194304 9163163 140734643455680 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8198/statm: 251574 244274 572 1214 0 250356 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1006296

[startup+51.1009 s]
/proc/loadavg: 1.53 1.41 1.70 4/470 8201
/proc/meminfo: memFree=22131824/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=1058400 CPUtime=51.09 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 272364 0 0 0 5080 29 0 0 25 0 1 0 902095090 1083801600 257011 33554432000 4194304 9163163 140734643455680 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8198/statm: 264600 257011 572 1214 0 263382 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1058400

[startup+102.3 s]
/proc/loadavg: 1.87 1.53 1.72 4/470 8203
/proc/meminfo: memFree=21832956/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=1199260 CPUtime=102.3 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 306895 0 0 0 10197 33 0 0 25 0 1 0 902095090 1228042240 291542 33554432000 4194304 9163163 140734643455680 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8198/statm: 299815 291542 572 1214 0 298597 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1199260

[startup+162.3 s]
/proc/loadavg: 1.95 1.61 1.73 4/470 8204
/proc/meminfo: memFree=21485604/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=1327072 CPUtime=162.27 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 338903 0 0 0 16191 36 0 0 25 0 1 0 902095090 1358921728 323550 33554432000 4194304 9163163 140734643455680 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8198/statm: 331768 323550 572 1214 0 330550 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1327072

[startup+222.318 s]
/proc/loadavg: 1.98 1.68 1.75 4/470 8206
/proc/meminfo: memFree=21054556/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=1561532 CPUtime=222.29 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 396524 0 0 0 22187 42 0 0 25 0 1 0 902095090 1599008768 381171 33554432000 4194304 9163163 140734643455680 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8198/statm: 390383 381171 572 1214 0 389165 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1561532

[startup+282.301 s]
/proc/loadavg: 1.99 1.74 1.76 4/470 8208
/proc/meminfo: memFree=20729268/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=1724332 CPUtime=282.28 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 437593 0 0 0 28180 48 0 0 25 0 1 0 902095090 1765715968 422240 33554432000 4194304 9163163 140734643455680 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8198/statm: 431083 422240 572 1214 0 429865 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1724332

[startup+342.301 s]
/proc/loadavg: 1.99 1.78 1.77 4/470 8209
/proc/meminfo: memFree=20449492/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=1829972 CPUtime=342.27 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 463478 0 0 0 34176 51 0 0 25 0 1 0 902095090 1873891328 448125 33554432000 4194304 9163163 140734643455680 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 457493 448125 572 1214 0 456275 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 1829972

[startup+402.301 s]
/proc/loadavg: 1.99 1.82 1.78 4/470 8211
/proc/meminfo: memFree=20229844/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=1945404 CPUtime=402.28 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 492410 0 0 0 40172 56 0 0 25 0 1 0 902095090 1992093696 477057 33554432000 4194304 9163163 140734643455680 18446744073709551615 4794560 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 486351 477057 572 1214 0 485133 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1945404

[startup+462.3 s]
/proc/loadavg: 1.99 1.85 1.79 4/470 8212
/proc/meminfo: memFree=19881232/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2001992 CPUtime=462.28 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 506811 0 0 0 46170 58 0 0 25 0 1 0 902095090 2050039808 491458 33554432000 4194304 9163163 140734643455680 18446744073709551615 5460474 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 500498 491458 572 1214 0 499280 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2001992

[startup+522.301 s]
/proc/loadavg: 1.99 1.87 1.81 4/470 8217
/proc/meminfo: memFree=19660140/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2122024 CPUtime=522.29 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 536848 0 0 0 52166 63 0 0 25 0 1 0 902095090 2172952576 521495 33554432000 4194304 9163163 140734643455680 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 530506 521495 572 1214 0 529288 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2122024

[startup+582.301 s]
/proc/loadavg: 2.17 1.94 1.83 4/470 8219
/proc/meminfo: memFree=19366504/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2299424 CPUtime=582.29 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 580548 0 0 0 58161 68 0 0 25 0 1 0 902095090 2354610176 565195 33554432000 4194304 9163163 140734643455680 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 574856 565195 576 1214 0 573638 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2299424

[startup+642.301 s]

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

/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 670030 0 0 0 100148 82 0 0 25 0 1 0 902095090 2721669120 654677 33554432000 4194304 9163163 140734643455680 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 664470 654677 576 1214 0 663252 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 2657880

[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.89 4/470 8231
/proc/meminfo: memFree=17976700/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2989232 CPUtime=1062.3 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 747213 0 0 0 106132 98 0 0 25 0 1 0 902095090 3060973568 728701 33554432000 4194304 9163163 140734643455680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 747308 728701 750 1214 0 746090 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 2989232

[startup+1122.3 s]
/proc/loadavg: 2.16 2.01 1.91 4/470 8233
/proc/meminfo: memFree=17934384/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=3001600 CPUtime=1122.3 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 752576 0 0 0 112125 105 0 0 25 0 1 0 902095090 3073638400 733684 33554432000 4194304 9163163 140734643455680 18446744073709551615 7349313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 750400 733684 1016 1214 0 749182 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 3001600

[startup+1182.3 s]
/proc/loadavg: 2.06 2.01 1.91 4/470 8235
/proc/meminfo: memFree=17914140/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=3008660 CPUtime=1182.3 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 753345 0 0 0 118118 112 0 0 25 0 1 0 902095090 3080867840 734119 33554432000 4194304 9163163 140734643455680 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 752165 734119 682 1214 0 750947 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 3008660

[startup+1242.3 s]
/proc/loadavg: 2.02 2.00 1.91 4/470 8236
/proc/meminfo: memFree=17883112/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=3034052 CPUtime=1242.31 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 760771 0 0 0 124112 119 0 0 25 0 1 0 902095090 3106869248 741464 33554432000 4194304 9163163 140734643455680 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 758513 741464 2182 1214 0 757295 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3034052

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/470 8238
/proc/meminfo: memFree=17900320/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2996224 CPUtime=1302.31 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 767940 0 0 0 130105 126 0 0 25 0 1 0 902095090 3068133376 735703 33554432000 4194304 9163163 140734643455680 18446744073709551615 7358192 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 749056 735703 694 1214 0 747838 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 2996224

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/470 8239
/proc/meminfo: memFree=17896824/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2996224 CPUtime=1362.31 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 767941 0 0 0 136099 132 0 0 25 0 1 0 902095090 3068133376 735704 33554432000 4194304 9163163 140734643455680 18446744073709551615 7275734 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 749056 735704 694 1214 0 747838 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 2996224

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/470 8241
/proc/meminfo: memFree=17896676/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2996224 CPUtime=1422.32 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 767941 0 0 0 142094 138 0 0 25 0 1 0 902095090 3068133376 735704 33554432000 4194304 9163163 140734643455680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 749056 735704 694 1214 0 747838 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 2996224

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/470 8243
/proc/meminfo: memFree=17895904/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2996224 CPUtime=1482.31 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 768131 0 0 0 148085 146 0 0 25 0 1 0 902095090 3068133376 735890 33554432000 4194304 9163163 140734643455680 18446744073709551615 7111099 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 749056 735890 696 1214 0 747838 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 2996224

[startup+1542.32 s]
/proc/loadavg: 2.00 2.00 1.91 3/470 8244
/proc/meminfo: memFree=17894872/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2996224 CPUtime=1542.34 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 768534 0 0 0 154076 158 0 0 25 0 1 0 902095090 3068133376 736287 33554432000 4194304 9163163 140734643455680 18446744073709551615 6284261 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 749056 736287 838 1214 0 747838 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2996224

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/470 8246
/proc/meminfo: memFree=17894600/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2996224 CPUtime=1602.32 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 768570 0 0 0 160074 158 0 0 25 0 1 0 902095090 3068133376 736323 33554432000 4194304 9163163 140734643455680 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 749056 736323 842 1214 0 747838 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2996224

[startup+1662.3 s]
/proc/loadavg: 2.13 2.04 1.93 4/470 8247
/proc/meminfo: memFree=17894556/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2996224 CPUtime=1662.32 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 768570 0 0 0 166074 158 0 0 25 0 1 0 902095090 3068133376 736323 33554432000 4194304 9163163 140734643455680 18446744073709551615 6217772 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 749056 736323 842 1214 0 747838 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2996224

[startup+1722.3 s]
/proc/loadavg: 2.13 2.06 1.94 4/470 8249
/proc/meminfo: memFree=17894412/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2996224 CPUtime=1722.32 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 768570 0 0 0 172074 158 0 0 25 0 1 0 902095090 3068133376 736323 33554432000 4194304 9163163 140734643455680 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 749056 736323 842 1214 0 747838 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2996224

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 1.94 4/470 8251
/proc/meminfo: memFree=17893632/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2996224 CPUtime=1782.33 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 768570 0 0 0 178075 158 0 0 25 0 1 0 902095090 3068133376 736323 33554432000 4194304 9163163 140734643455680 18446744073709551615 6217778 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 749056 736323 842 1214 0 747838 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2996224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.04 1.94 4/470 8251
/proc/meminfo: memFree=17893996/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2996224 CPUtime=1800.03 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 768570 0 0 0 179845 158 0 0 25 0 1 0 902095090 3068133376 736323 33554432000 4194304 9163163 140734643455680 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 749056 736323 842 1214 0 747838 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2996224

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8198

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

[startup+1801.5 s]
/proc/loadavg: 2.03 2.04 1.94 5/472 8253
/proc/meminfo: memFree=17893608/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2996224 CPUtime=1801.53 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 768653 0 0 0 179995 158 0 0 25 0 1 0 902095090 3068133376 736406 33554432000 4194304 9163163 140734643455680 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 749056 736406 842 1214 0 747838 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 2996224

[startup+1801.92 s]
/proc/loadavg: 2.03 2.04 1.94 4/472 8253
/proc/meminfo: memFree=17893608/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=2996224 CPUtime=1801.94 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4202496 768653 0 0 0 180036 158 0 0 25 0 1 0 902095090 3068133376 736406 33554432000 4194304 9163163 140734643455680 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8198/statm: 749056 736406 842 1214 0 747838 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 2996224

[startup+1802.1 s]
/proc/loadavg: 2.03 2.04 1.94 4/472 8253
/proc/meminfo: memFree=17893608/32951124 swapFree=56297244/67111528
[pid=8198] ppid=8194 vsize=0 CPUtime=1802.13 cores=1,3,5,7
/proc/8198/stat : 8198 (scip-2.0.1.4b.l) R 8194 8198 6224 0 -1 4203524 768653 0 0 0 180047 166 0 0 25 0 1 0 902095090 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/8198/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.13
CPU time (s): 1802.17
CPU user time (s): 1800.47
CPU system time (s): 1.69574
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3034052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.47
system time used= 1.69574
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 768653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2239

runsolver used 7.8788 second user time and 20.8228 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-03 18:30:46
IDJOB=3451842
IDBENCH=77457
IDSOLVER=1948
FILE ID=node111/3451842-1307118646
RUNJOBID= node111-1307118646-8180
PBS_JOBID= 13497983
Free space on /tmp= 73844 MiB

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

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

MD5SUM BENCH= 1c629e857267ecd100f6323de081d52b
RANDOM SEED=1742914888

node111.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.849
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.849
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	: 5428.12
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.849
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.849
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.86
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.849
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.849
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.849
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.67
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.849
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:      24159300 kB
Buffers:        287304 kB
Cached:         831648 kB
SwapCached:      11784 kB
Active:        7767676 kB
Inactive:       745156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24159300 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:           38264 kB
Writeback:           0 kB
AnonPages:     7390844 kB
Mapped:          27220 kB
Slab:           144600 kB
PageTables:      66228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149064124 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= 73828 MiB
End job on node111 at 2011-06-03 19:00:48