Trace number 3740559

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
PB11: SCIP spx E_2 2011-06-10 (fixed)? (TO) 1802.11 1802.44

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9010_6.std.opb
MD5SUM3534854be5e76ba509db9e55312f916d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark92
Best CPU time to get the best result obtained on this benchmark0.221965
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints176284
Number of constraints which are clauses175084
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.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-3740559-1338751198.opb>
0.99/1.00	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176284 constraints
0.99/1.00	c problem read
0.99/1.00	c presolving settings loaded
1.29/1.37	c presolving:
7.08/7.10	c (round 1) 3475 del vars, 10416 del conss, 0 add conss, 2405 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12088662 impls, 0 clqs
9.28/9.33	c (round 2) 8477 del vars, 28451 del conss, 0 add conss, 7199 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12110899 impls, 0 clqs
9.98/10.05	c (round 3) 10166 del vars, 36374 del conss, 0 add conss, 8196 chg bounds, 40 chg sides, 41 chg coeffs, 0 upgd conss, 12120802 impls, 0 clqs
10.38/10.44	c (round 4) 10980 del vars, 39492 del conss, 0 add conss, 8711 chg bounds, 73 chg sides, 75 chg coeffs, 0 upgd conss, 12124636 impls, 0 clqs
10.68/10.70	c (round 5) 11484 del vars, 41397 del conss, 0 add conss, 9060 chg bounds, 78 chg sides, 86 chg coeffs, 0 upgd conss, 12126558 impls, 0 clqs
10.78/10.86	c (round 6) 11722 del vars, 42374 del conss, 0 add conss, 9203 chg bounds, 78 chg sides, 86 chg coeffs, 0 upgd conss, 12129334 impls, 0 clqs
10.88/10.95	c (round 7) 11876 del vars, 43020 del conss, 0 add conss, 9284 chg bounds, 78 chg sides, 86 chg coeffs, 0 upgd conss, 12130124 impls, 0 clqs
10.98/11.01	c (round 8) 11922 del vars, 43247 del conss, 0 add conss, 9316 chg bounds, 78 chg sides, 86 chg coeffs, 0 upgd conss, 12130496 impls, 0 clqs
10.98/11.07	c (round 9) 11962 del vars, 43400 del conss, 0 add conss, 9342 chg bounds, 78 chg sides, 86 chg coeffs, 0 upgd conss, 12131008 impls, 0 clqs
11.08/11.12	c (round 10) 11998 del vars, 43539 del conss, 0 add conss, 9371 chg bounds, 78 chg sides, 86 chg coeffs, 0 upgd conss, 12131146 impls, 0 clqs
11.08/11.18	c (round 11) 12026 del vars, 43657 del conss, 0 add conss, 9394 chg bounds, 78 chg sides, 86 chg coeffs, 0 upgd conss, 12131412 impls, 0 clqs
11.18/11.23	c (round 12) 12054 del vars, 43781 del conss, 0 add conss, 9415 chg bounds, 78 chg sides, 86 chg coeffs, 0 upgd conss, 12131919 impls, 0 clqs
11.18/11.28	c (round 13) 12082 del vars, 43895 del conss, 0 add conss, 9438 chg bounds, 78 chg sides, 86 chg coeffs, 0 upgd conss, 12131976 impls, 0 clqs
11.28/11.32	c (round 14) 12082 del vars, 43914 del conss, 0 add conss, 9438 chg bounds, 78 chg sides, 86 chg coeffs, 0 upgd conss, 12131976 impls, 0 clqs
11.78/11.82	c (round 15) 12082 del vars, 43914 del conss, 0 add conss, 9438 chg bounds, 78 chg sides, 86 chg coeffs, 132370 upgd conss, 12131976 impls, 0 clqs
12.28/12.35	c (round 16) 12082 del vars, 43925 del conss, 25 add conss, 9438 chg bounds, 119 chg sides, 280 chg coeffs, 132370 upgd conss, 12131976 impls, 0 clqs
580.26/580.44	c    (580.4s) probing: 1000/42700 (2.3%) - 0 fixings, 0 aggregations, 9069009 implications, 0 bound changes
1034.07/1034.31	c    (1034.3s) probing: 2000/42700 (4.7%) - 0 fixings, 0 aggregations, 13932258 implications, 0 bound changes
1034.47/1034.76	c    (1034.8s) probing: 2001/42700 (4.7%) - 0 fixings, 0 aggregations, 13936576 implications, 0 bound changes
1034.47/1034.76	c    (1034.8s) probing aborted: 2000/2000 successive useless probings
1034.47/1034.76	c presolving (17 rounds):
1034.47/1034.76	c  12082 deleted vars, 43928 deleted constraints, 27 added constraints, 9438 tightened bounds, 0 added holes, 121 changed sides, 290 changed coefficients
1034.47/1034.76	c  57261442 implications, 0 cliques
1034.47/1034.76	c presolved problem has 42700 variables (42700 bin, 0 int, 0 impl, 0 cont) and 132383 constraints
1034.47/1034.76	c    1105 constraints of type <knapsack>
1034.47/1034.76	c  110148 constraints of type <setppc>
1034.47/1034.76	c   21130 constraints of type <logicor>
1034.47/1034.76	c transformed objective value is always integral (scale: 1)
1034.47/1034.76	c Presolving Time: 1033.49
1034.47/1034.76	c - non default parameters ----------------------------------------------------------------------
1034.47/1034.76	c # SCIP version 2.0.1.5
1034.47/1034.76	c 
1034.47/1034.76	c # frequency for displaying node information lines
1034.47/1034.76	c # [type: int, range: [-1,2147483647], default: 100]
1034.47/1034.76	c display/freq = 10000
1034.47/1034.76	c 
1034.47/1034.76	c # maximal time in seconds to run
1034.47/1034.76	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1034.47/1034.76	c limits/time = 1797
1034.47/1034.76	c 
1034.47/1034.76	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1034.47/1034.76	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1034.47/1034.76	c limits/memory = 13950
1034.47/1034.76	c 
1034.47/1034.76	c # default clock type (1: CPU user seconds, 2: wall clock time)
1034.47/1034.76	c # [type: int, range: [1,2], default: 1]
1034.47/1034.76	c timing/clocktype = 2
1034.47/1034.76	c 
1034.47/1034.76	c # belongs reading time to solving time?
1034.47/1034.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1034.47/1034.76	c timing/reading = TRUE
1034.47/1034.76	c 
1034.47/1034.76	c # should presolving try to simplify inequalities
1034.47/1034.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1034.47/1034.76	c constraints/linear/simplifyinequalities = TRUE
1034.47/1034.76	c 
1034.47/1034.76	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1034.47/1034.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1034.47/1034.76	c constraints/indicator/addCouplingCons = TRUE
1034.47/1034.76	c 
1034.47/1034.76	c # should presolving try to simplify knapsacks
1034.47/1034.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1034.47/1034.76	c constraints/knapsack/simplifyinequalities = TRUE
1034.47/1034.76	c 
1034.47/1034.76	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1034.47/1034.76	c # [type: int, range: [-1,2147483647], default: -1]
1034.47/1034.76	c separating/rapidlearning/freq = 0
1034.47/1034.76	c 
1034.47/1034.76	c -----------------------------------------------------------------------------------------------
1034.47/1034.76	c start solving
1034.47/1034.79	c 
1124.56/1124.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1124.56/1124.88	c  1125s|     1 |     0 | 32677 |     - |1754M|   0 | 227 |  42k| 132k|  42k| 132k|   0 |  51 |   0 | 9.200000e+01 |      --      |    Inf

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3740559-1338751198/watcher-3740559-1338751198 -o /tmp/evaluation-result-3740559-1338751198/solver-3740559-1338751198 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3740559-1338751198.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 3/173 20179
/proc/meminfo: memFree=31495680/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=10952 CPUtime=0 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 1682 0 0 0 0 0 0 0 20 0 1 0 341245843 11214848 1636 33554432000 4194304 9016284 140733348034256 140733348033224 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 2738 1645 340 1178 0 1556 0

[startup+0.0794721 s]
/proc/loadavg: 2.07 2.02 2.00 3/173 20179
/proc/meminfo: memFree=31495680/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=28668 CPUtime=0.07 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 6055 0 0 0 6 1 0 0 20 0 1 0 341245843 29356032 6010 33554432000 4194304 9016284 140733348034256 140733348033224 6813403 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 7167 6041 360 1178 0 5985 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28668

[startup+0.10033 s]
/proc/loadavg: 2.07 2.02 2.00 3/173 20179
/proc/meminfo: memFree=31495680/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=31240 CPUtime=0.09 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 6807 0 0 0 8 1 0 0 20 0 1 0 341245843 31989760 6761 33554432000 4194304 9016284 140733348034256 140733348033224 7870488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 7810 6761 360 1178 0 6628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31240

[startup+0.300274 s]
/proc/loadavg: 2.07 2.02 2.00 3/173 20179
/proc/meminfo: memFree=31495680/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=52824 CPUtime=0.29 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 12198 0 0 0 27 2 0 0 20 0 1 0 341245843 54091776 12152 33554432000 4194304 9016284 140733348034256 140733347897880 6152036 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 13206 12152 360 1178 0 12024 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52824

[startup+0.700216 s]
/proc/loadavg: 2.07 2.02 2.00 3/173 20179
/proc/meminfo: memFree=31495680/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=87776 CPUtime=0.69 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 20923 0 0 0 66 3 0 0 20 0 1 0 341245843 89882624 20877 33554432000 4194304 9016284 140733348034256 140733347897880 4536486 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 21944 20877 360 1178 0 20762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87776

[startup+1.50022 s]
/proc/loadavg: 2.07 2.02 2.00 3/174 20180
/proc/meminfo: memFree=31382600/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=297296 CPUtime=1.49 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 72220 0 0 0 138 11 0 0 20 0 1 0 341245843 304431104 72174 33554432000 4194304 9016284 140733348034256 140733348031400 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 74324 72174 474 1178 0 73142 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 297296

[startup+3.10022 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 20211
/proc/meminfo: memFree=31072364/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=444240 CPUtime=3.09 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 108749 0 0 0 294 15 0 0 20 0 1 0 341245843 454901760 108703 33554432000 4194304 9016284 140733348034256 140733348029608 4875353 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 111060 108703 485 1178 0 109878 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 444240

[startup+6.30023 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 20214
/proc/meminfo: memFree=30435260/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=632648 CPUtime=6.29 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 154247 0 0 0 609 20 0 0 20 0 1 0 341245843 647831552 154201 33554432000 4194304 9016284 140733348034256 140733348029608 18446744073699066188 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 158162 154201 492 1178 0 156980 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 632648

[startup+12.7002 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 20214
/proc/meminfo: memFree=30178076/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=720252 CPUtime=12.69 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 180519 0 0 0 1244 25 0 0 20 0 1 0 341245843 737538048 175955 33554432000 4194304 9016284 140733348034256 140733348031112 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 180063 175955 538 1178 0 178881 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 720252

[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 20214
/proc/meminfo: memFree=30018736/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=757656 CPUtime=25.48 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 188694 0 0 0 2522 26 0 0 20 0 1 0 341245843 775839744 184127 33554432000 4194304 9016284 140733348034256 140733348029848 5511150 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 189414 184127 538 1178 0 188232 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 757656

[startup+51.1002 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 20214
/proc/meminfo: memFree=29945332/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=798196 CPUtime=51.07 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 198845 0 0 0 5080 27 0 0 20 0 1 0 341245843 817352704 194281 33554432000 4194304 9016284 140733348034256 140733348029768 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 199549 194281 538 1178 0 198367 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 798196

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20214
/proc/meminfo: memFree=29710264/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=916440 CPUtime=102.26 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 227583 0 0 0 10195 31 0 0 20 0 1 0 341245843 938434560 224310 33554432000 4194304 9016284 140733348034256 140733348029640 6480215 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 229110 224310 538 1178 0 227928 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 916440

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20214
/proc/meminfo: memFree=29486040/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=1035420 CPUtime=162.25 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 256606 0 0 0 16190 35 0 0 20 0 1 0 341245843 1060270080 253915 33554432000 4194304 9016284 140733348034256 140733348029848 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 258855 253915 538 1178 0 257673 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1035420

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 20214
/proc/meminfo: memFree=29164088/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=1190740 CPUtime=222.23 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 294899 0 0 0 22184 39 0 0 20 0 1 0 341245843 1219317760 292481 33554432000 4194304 9016284 140733348034256 140733348029768 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 297685 292481 538 1178 0 296503 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1190740

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20214
/proc/meminfo: memFree=28841376/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=1369084 CPUtime=282.22 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 339092 0 0 0 28176 46 0 0 20 0 1 0 341245843 1401942016 336989 33554432000 4194304 9016284 140733348034256 140733348029848 5510753 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 342271 336989 538 1178 0 341089 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1369084

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20215
/proc/meminfo: memFree=28605064/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=1463268 CPUtime=342.21 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 362283 0 0 0 34171 50 0 0 20 0 1 0 341245843 1498386432 360347 33554432000 4194304 9016284 140733348034256 140733348029848 6480433 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 365817 360347 538 1178 0 364635 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1463268

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 20216
/proc/meminfo: memFree=28416608/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=1581064 CPUtime=402.19 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 391598 0 0 0 40165 54 0 0 20 0 1 0 341245843 1619009536 390304 33554432000 4194304 9016284 140733348034256 140733348029848 5511158 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 395266 390304 538 1178 0 394084 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1581064

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20216
/proc/meminfo: memFree=28161992/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=1679200 CPUtime=462.19 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 415611 0 0 0 46160 59 0 0 20 0 1 0 341245843 1719500800 414464 33554432000 4194304 9016284 140733348034256 140733348029640 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 419800 414464 538 1178 0 418618 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1679200

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20216
/proc/meminfo: memFree=27960520/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=1762856 CPUtime=522.18 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 436308 0 0 0 52155 63 0 0 20 0 1 0 341245843 1805164544 435327 33554432000 4194304 9016284 140733348034256 140733348029640 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 440714 435327 538 1178 0 439532 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1762856

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20216
/proc/meminfo: memFree=27852892/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=1809588 CPUtime=582.16 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 447880 0 0 0 58151 65 0 0 20 0 1 0 341245843 1853018112 447286 33554432000 4194304 9016284 140733348034256 140733348029640 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 452397 447287 543 1178 0 451215 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1809588

[startup+642.3 s]

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

/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 529810 0 0 0 100128 80 0 0 20 0 1 0 341245843 2211905536 535328 33554432000 4194304 9016284 140733348034256 140733348029640 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 540016 535328 543 1178 0 538834 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 2160064

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20221
/proc/meminfo: memFree=26838052/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2434116 CPUtime=1062.07 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 576167 0 0 0 106116 91 0 0 20 0 1 0 341245843 2492534784 599465 33554432000 4194304 9016284 140733348034256 140733348028040 7870589 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 608529 599465 654 1178 0 607347 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 2434116

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20221
/proc/meminfo: memFree=26732972/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2467412 CPUtime=1122.06 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 582159 0 0 0 112109 97 0 0 20 0 1 0 341245843 2526629888 609574 33554432000 4194304 9016284 140733348034256 140733348028040 7178120 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 616853 609574 654 1178 0 615671 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 2467412

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20221
/proc/meminfo: memFree=26680812/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1182.05 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 585677 0 0 0 118102 103 0 0 20 0 1 0 341245843 2499248128 603415 33554432000 4194304 9016284 140733348034256 140733348026008 7178142 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 603415 666 1178 0 608986 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 2440672

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20225
/proc/meminfo: memFree=26576008/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1242.05 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 585932 0 0 0 124097 108 0 0 20 0 1 0 341245843 2499248128 603670 33554432000 4194304 9016284 140733348034256 140733348029368 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 603670 679 1178 0 608986 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2440672

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20225
/proc/meminfo: memFree=26484728/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1302.04 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586304 0 0 0 130096 108 0 0 20 0 1 0 341245843 2499248128 604037 33554432000 4194304 9016284 140733348034256 140733348029416 6231344 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604037 688 1178 0 608986 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 2440672

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20225
/proc/meminfo: memFree=26383324/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1362.03 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586304 0 0 0 136095 108 0 0 20 0 1 0 341245843 2499248128 604037 33554432000 4194304 9016284 140733348034256 140733348029416 6231355 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604037 688 1178 0 608986 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2440672

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20225
/proc/meminfo: memFree=26236908/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1422.02 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586304 0 0 0 142094 108 0 0 20 0 1 0 341245843 2499248128 604037 33554432000 4194304 9016284 140733348034256 140733348029416 6231355 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604037 688 1178 0 608986 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2440672

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20225
/proc/meminfo: memFree=26160060/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1482.01 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586304 0 0 0 148093 108 0 0 20 0 1 0 341245843 2499248128 604037 33554432000 4194304 9016284 140733348034256 140733348029416 6231252 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604037 688 1178 0 608986 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 2440672

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20226
/proc/meminfo: memFree=26094748/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1542 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586304 0 0 0 154092 108 0 0 20 0 1 0 341245843 2499248128 604037 33554432000 4194304 9016284 140733348034256 140733348029416 6231264 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604037 688 1178 0 608986 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 2440672

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20227
/proc/meminfo: memFree=25994832/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1601.99 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586304 0 0 0 160091 108 0 0 20 0 1 0 341245843 2499248128 604037 33554432000 4194304 9016284 140733348034256 140733348029416 6231264 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604037 688 1178 0 608986 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 2440672

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20227
/proc/meminfo: memFree=25888220/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1661.98 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586304 0 0 0 166090 108 0 0 20 0 1 0 341245843 2499248128 604037 33554432000 4194304 9016284 140733348034256 140733348029416 6231252 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604037 688 1178 0 608986 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 2440672

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20227
/proc/meminfo: memFree=25761396/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1721.97 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586304 0 0 0 172089 108 0 0 20 0 1 0 341245843 2499248128 604037 33554432000 4194304 9016284 140733348034256 140733348029416 6231264 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604037 688 1178 0 608986 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 2440672

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20227
/proc/meminfo: memFree=25662224/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1781.96 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586304 0 0 0 178088 108 0 0 20 0 1 0 341245843 2499248128 604037 33554432000 4194304 9016284 140733348034256 140733348029416 6818375 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604037 688 1178 0 608986 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 2440672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20265
/proc/meminfo: memFree=28994568/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1800.06 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586304 0 0 0 179898 108 0 0 20 0 1 0 341245843 2499248128 604037 33554432000 4194304 9016284 140733348034256 140733348029416 6232304 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604037 688 1178 0 608986 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2440672

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20179

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20266
/proc/meminfo: memFree=28973736/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1801.06 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586304 0 0 0 179998 108 0 0 20 0 1 0 341245843 2499248128 604037 33554432000 4194304 9016284 140733348034256 140733348029504 6232304 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604037 688 1178 0 608986 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 2440672

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20266
/proc/meminfo: memFree=28727208/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1801.85 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586979 0 0 0 180077 108 0 0 20 0 1 0 341245843 2499248128 604712 33554432000 4194304 9016284 140733348034256 140733348029504 6232288 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604712 688 1178 0 608986 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2440672

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20266
/proc/meminfo: memFree=28727208/32873648 swapFree=7628/7628
[pid=20179] ppid=20177 vsize=2440672 CPUtime=1802.05 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4b_2) R 20177 20179 20052 0 -1 4202496 586979 0 0 0 180097 108 0 0 20 0 1 0 341245843 2499248128 604712 33554432000 4194304 9016284 140733348034256 140733348029504 6232304 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20179/statm: 610168 604712 688 1178 0 608986 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 2440672

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.44
CPU time (s): 1802.11
CPU user time (s): 1800.99
CPU system time (s): 1.12083
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 2467412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.99
system time used= 1.12083
maximum resident set size= 2439540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 586979
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= 83
involuntary context switches= 1951

runsolver used 2.73958 second user time and 7.09592 second system time

The end

Launcher Data 

Begin job on node122 at 2012-06-03 21:19:58
IDJOB=3740559
IDBENCH=77768
IDSOLVER=2329
FILE ID=node122/3740559-1338751198
RUNJOBID= node122-1338749400-20068
PBS_JOBID= 14636801
Free space on /tmp= 71160 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9010_6.std.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740559-1338751198/watcher-3740559-1338751198 -o /tmp/evaluation-result-3740559-1338751198/solver-3740559-1338751198 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3740559-1338751198.opb -t 1800 -m 15500

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

MD5SUM BENCH= 3534854be5e76ba509db9e55312f916d
RANDOM SEED=619868742

node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31496300 kB
Buffers:          251292 kB
Cached:           296272 kB
SwapCached:         1832 kB
Active:           421540 kB
Inactive:         131588 kB
Active(anon):       2832 kB
Inactive(anon):     4676 kB
Active(file):     418708 kB
Inactive(file):   126912 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100168 kB
Dirty:             22640 kB
Writeback:             0 kB
AnonPages:        170668 kB
Mapped:             9156 kB
Shmem:                 0 kB
Slab:             684636 kB
SReclaimable:     128852 kB
SUnreclaim:       555784 kB
KernelStack:        1472 kB
PageTables:         3924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     105636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71144 MiB
End job on node122 at 2012-06-03 21:50:01