Trace number 3740449

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.13 1802.47

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12020_8.std.opb
MD5SUM0fbe7f5a9ad68f9374c4bb96619a583d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark107
Best CPU time to get the best result obtained on this benchmark2.51162
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 constraints234212
Number of constraints which are clauses233012
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.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-3740449-1338745651.opb>
1.39/1.42	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234212 constraints
1.39/1.42	c problem read
1.39/1.42	c presolving settings loaded
1.88/1.95	c presolving:
9.69/9.72	c (round 1) 5433 del vars, 17603 del conss, 0 add conss, 3737 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15821180 impls, 0 clqs
14.19/14.24	c (round 2) 13731 del vars, 45501 del conss, 0 add conss, 11986 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15861791 impls, 0 clqs
15.48/15.53	c (round 3) 17010 del vars, 60005 del conss, 0 add conss, 13683 chg bounds, 23 chg sides, 37 chg coeffs, 0 upgd conss, 15878122 impls, 0 clqs
16.18/16.28	c (round 4) 18111 del vars, 64405 del conss, 0 add conss, 14409 chg bounds, 66 chg sides, 108 chg coeffs, 0 upgd conss, 15885941 impls, 0 clqs
16.58/16.66	c (round 5) 18632 del vars, 66649 del conss, 0 add conss, 14709 chg bounds, 66 chg sides, 108 chg coeffs, 0 upgd conss, 15890695 impls, 0 clqs
16.78/16.84	c (round 6) 18910 del vars, 67839 del conss, 0 add conss, 14852 chg bounds, 66 chg sides, 108 chg coeffs, 0 upgd conss, 15893017 impls, 0 clqs
16.88/16.99	c (round 7) 19074 del vars, 68480 del conss, 0 add conss, 14941 chg bounds, 66 chg sides, 108 chg coeffs, 0 upgd conss, 15894817 impls, 0 clqs
17.08/17.11	c (round 8) 19176 del vars, 68912 del conss, 0 add conss, 14999 chg bounds, 66 chg sides, 108 chg coeffs, 0 upgd conss, 15896019 impls, 0 clqs
17.08/17.19	c (round 9) 19226 del vars, 69154 del conss, 0 add conss, 15025 chg bounds, 66 chg sides, 108 chg coeffs, 0 upgd conss, 15896796 impls, 0 clqs
17.18/17.25	c (round 10) 19256 del vars, 69297 del conss, 0 add conss, 15044 chg bounds, 66 chg sides, 108 chg coeffs, 0 upgd conss, 15897179 impls, 0 clqs
17.28/17.33	c (round 11) 19278 del vars, 69385 del conss, 0 add conss, 15055 chg bounds, 66 chg sides, 108 chg coeffs, 0 upgd conss, 15897391 impls, 0 clqs
17.28/17.39	c (round 12) 19286 del vars, 69431 del conss, 0 add conss, 15059 chg bounds, 66 chg sides, 108 chg coeffs, 0 upgd conss, 15897453 impls, 0 clqs
17.38/17.45	c (round 13) 19290 del vars, 69451 del conss, 0 add conss, 15061 chg bounds, 66 chg sides, 108 chg coeffs, 0 upgd conss, 15897487 impls, 0 clqs
18.08/18.11	c (round 14) 19290 del vars, 69455 del conss, 0 add conss, 15061 chg bounds, 66 chg sides, 108 chg coeffs, 164757 upgd conss, 15897487 impls, 0 clqs
19.08/19.18	c (round 15) 19290 del vars, 69492 del conss, 64 add conss, 15061 chg bounds, 176 chg sides, 411 chg coeffs, 164757 upgd conss, 15897487 impls, 0 clqs
657.06/657.22	c    (657.2s) probing: 1000/53552 (1.9%) - 0 fixings, 0 aggregations, 10486551 implications, 0 bound changes
1064.68/1064.93	c    (1064.9s) probing: 2000/53552 (3.7%) - 0 fixings, 0 aggregations, 15154436 implications, 0 bound changes
1064.88/1065.15	c    (1065.1s) probing: 2001/53552 (3.7%) - 0 fixings, 0 aggregations, 15157007 implications, 0 bound changes
1064.88/1065.15	c    (1065.1s) probing aborted: 2000/2000 successive useless probings
1064.88/1065.15	c presolving (16 rounds):
1064.88/1065.15	c  19290 deleted vars, 69503 deleted constraints, 64 added constraints, 15061 tightened bounds, 0 added holes, 177 changed sides, 432 changed coefficients
1064.88/1065.15	c  70322357 implications, 0 cliques
1064.88/1065.15	c presolved problem has 53552 variables (53552 bin, 0 int, 0 impl, 0 cont) and 164773 constraints
1064.88/1065.15	c    1127 constraints of type <knapsack>
1064.88/1065.15	c  137201 constraints of type <setppc>
1064.88/1065.15	c   26445 constraints of type <logicor>
1064.88/1065.15	c transformed objective value is always integral (scale: 1)
1064.88/1065.15	c Presolving Time: 1063.35
1064.88/1065.15	c - non default parameters ----------------------------------------------------------------------
1064.88/1065.15	c # SCIP version 2.0.1.5
1064.88/1065.15	c 
1064.88/1065.15	c # frequency for displaying node information lines
1064.88/1065.15	c # [type: int, range: [-1,2147483647], default: 100]
1064.88/1065.15	c display/freq = 10000
1064.88/1065.15	c 
1064.88/1065.15	c # maximal time in seconds to run
1064.88/1065.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1064.88/1065.15	c limits/time = 1797
1064.88/1065.15	c 
1064.88/1065.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1064.88/1065.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1064.88/1065.15	c limits/memory = 13950
1064.88/1065.15	c 
1064.88/1065.15	c # default clock type (1: CPU user seconds, 2: wall clock time)
1064.88/1065.15	c # [type: int, range: [1,2], default: 1]
1064.88/1065.15	c timing/clocktype = 2
1064.88/1065.15	c 
1064.88/1065.15	c # belongs reading time to solving time?
1064.88/1065.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1064.88/1065.15	c timing/reading = TRUE
1064.88/1065.15	c 
1064.88/1065.15	c # should presolving try to simplify inequalities
1064.88/1065.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1064.88/1065.15	c constraints/linear/simplifyinequalities = TRUE
1064.88/1065.15	c 
1064.88/1065.15	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1064.88/1065.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1064.88/1065.15	c constraints/indicator/addCouplingCons = TRUE
1064.88/1065.15	c 
1064.88/1065.15	c # should presolving try to simplify knapsacks
1064.88/1065.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1064.88/1065.15	c constraints/knapsack/simplifyinequalities = TRUE
1064.88/1065.15	c 
1064.88/1065.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1064.88/1065.15	c # [type: int, range: [-1,2147483647], default: -1]
1064.88/1065.15	c separating/rapidlearning/freq = 0
1064.88/1065.15	c 
1064.88/1065.15	c -----------------------------------------------------------------------------------------------
1064.88/1065.15	c start solving
1064.88/1065.19	c 
1398.83/1399.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1398.83/1399.12	c  1399s|     1 |     0 | 61278 |     - |2150M|   0 |1185 |  53k| 164k|  53k| 164k|   0 |  24 |   0 | 1.070000e+02 |      --      |    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-3740449-1338745651/watcher-3740449-1338745651 -o /tmp/evaluation-result-3740449-1338745651/solver-3740449-1338745651 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3740449-1338745651.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.03 2.01 2.00 2/174 1717
/proc/meminfo: memFree=25631384/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=9180 CPUtime=0 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 1301 0 0 0 0 0 0 0 20 0 1 0 340690568 9400320 1256 33554432000 4194304 9016284 140736669098144 140736228717944 6004768 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1717/statm: 2295 1267 218 1178 0 1113 0

[startup+0.0785681 s]
/proc/loadavg: 2.03 2.01 2.00 2/174 1717
/proc/meminfo: memFree=25631384/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=27640 CPUtime=0.06 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 5876 0 0 0 6 0 0 0 20 0 1 0 340690568 28303360 5831 33554432000 4194304 9016284 140736669098144 140736668962040 7870473 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1717/statm: 6910 5831 360 1178 0 5728 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27640

[startup+0.100266 s]
/proc/loadavg: 2.03 2.01 2.00 2/174 1717
/proc/meminfo: memFree=25631384/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=29936 CPUtime=0.08 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 6484 0 0 0 8 0 0 0 20 0 1 0 340690568 30654464 6439 33554432000 4194304 9016284 140736669098144 140736668962040 7870483 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1717/statm: 7484 6439 360 1178 0 6302 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29936

[startup+0.300218 s]
/proc/loadavg: 2.03 2.01 2.00 2/174 1717
/proc/meminfo: memFree=25631384/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=58044 CPUtime=0.29 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 13498 0 0 0 27 2 0 0 20 0 1 0 340690568 59437056 13453 33554432000 4194304 9016284 140736669098144 140736668962040 6813403 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1717/statm: 14511 13453 360 1178 0 13329 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58044

[startup+0.700217 s]
/proc/loadavg: 2.03 2.01 2.00 2/174 1717
/proc/meminfo: memFree=25631384/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=84312 CPUtime=0.68 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 20055 0 0 0 66 2 0 0 20 0 1 0 340690568 86335488 20010 33554432000 4194304 9016284 140736669098144 140736668962040 7870468 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1717/statm: 21078 20010 360 1178 0 19896 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84312

[startup+1.50022 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1718
/proc/meminfo: memFree=25518088/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=219512 CPUtime=1.49 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 53745 0 0 0 142 7 0 0 20 0 1 0 340690568 224780288 53681 33554432000 4194304 9016284 140736669098144 140736668962040 4599175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1717/statm: 54878 53682 406 1178 0 53696 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 219512

[startup+3.10022 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1718
/proc/meminfo: memFree=25255200/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=489420 CPUtime=3.09 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 119746 0 0 0 291 18 0 0 20 0 1 0 340690568 501166080 119682 33554432000 4194304 9016284 140736669098144 140736669093496 6480425 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1717/statm: 122355 119682 485 1178 0 121173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 489420

[startup+6.30027 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1718
/proc/meminfo: memFree=24987732/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=704356 CPUtime=6.29 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 172926 0 0 0 604 25 0 0 20 0 1 0 340690568 721260544 172862 33554432000 4194304 9016284 140736669098144 140736669093496 4919104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 176089 172867 485 1178 0 174907 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 704356

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1718
/proc/meminfo: memFree=24787668/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=858872 CPUtime=12.69 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 208870 0 0 0 1239 30 0 0 20 0 1 0 340690568 879484928 208549 33554432000 4194304 9016284 140736669098144 140736669093816 6481251 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 214718 208549 496 1178 0 213536 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 858872

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1718
/proc/meminfo: memFree=24695324/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=947200 CPUtime=25.48 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 237216 0 0 0 2513 35 0 0 20 0 1 0 340690568 969932800 229944 33554432000 4194304 9016284 140736669098144 140736669093736 6480184 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 236800 229944 538 1178 0 235618 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 947200

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 1719
/proc/meminfo: memFree=24645552/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=978812 CPUtime=51.08 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 244920 0 0 0 5071 37 0 0 20 0 1 0 340690568 1002303488 237648 33554432000 4194304 9016284 140736669098144 140736669093736 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 244703 237648 538 1178 0 243521 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 978812

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1719
/proc/meminfo: memFree=24535868/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=1055700 CPUtime=102.28 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 263267 0 0 0 10189 39 0 0 20 0 1 0 340690568 1081036800 255995 33554432000 4194304 9016284 140736669098144 140736669093736 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 263925 255995 538 1178 0 262743 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1055700

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1722
/proc/meminfo: memFree=24356328/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=1189996 CPUtime=162.26 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 297062 0 0 0 16182 44 0 0 20 0 1 0 340690568 1218555904 289790 33554432000 4194304 9016284 140736669098144 140736669093736 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 297499 289790 538 1178 0 296317 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1189996

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1722
/proc/meminfo: memFree=24086548/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=1413108 CPUtime=222.25 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 352483 0 0 0 22174 51 0 0 20 0 1 0 340690568 1447022592 345145 33554432000 4194304 9016284 140736669098144 140736669093736 6403824 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 353277 345145 538 1178 0 352095 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1413108

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1722
/proc/meminfo: memFree=23956128/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=1501432 CPUtime=282.24 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 374886 0 0 0 28169 55 0 0 20 0 1 0 340690568 1537466368 367548 33554432000 4194304 9016284 140736669098144 140736669093736 6480372 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 375358 367548 538 1178 0 374176 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1501432

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1722
/proc/meminfo: memFree=23523004/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=1659904 CPUtime=342.23 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 413392 0 0 0 34163 60 0 0 20 0 1 0 340690568 1699741696 406054 33554432000 4194304 9016284 140736669098144 140736669093736 6480372 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 414976 406054 538 1178 0 413794 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1659904

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1723
/proc/meminfo: memFree=23370304/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=1757256 CPUtime=402.22 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 437498 0 0 0 40158 64 0 0 20 0 1 0 340690568 1799430144 430160 33554432000 4194304 9016284 140736669098144 140736669093736 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 439314 430160 538 1178 0 438132 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1757256

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 1723
/proc/meminfo: memFree=23289856/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=1833596 CPUtime=462.21 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 456421 0 0 0 46153 68 0 0 20 0 1 0 340690568 1877602304 449083 33554432000 4194304 9016284 140736669098144 140736669093736 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 458399 449083 538 1178 0 457217 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1833596

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 1723
/proc/meminfo: memFree=23144804/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=1977656 CPUtime=522.2 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 492247 0 0 0 52146 74 0 0 20 0 1 0 340690568 2025119744 484909 33554432000 4194304 9016284 140736669098144 140736669093528 6476072 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 494414 484909 538 1178 0 493232 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1977656

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1723
/proc/meminfo: memFree=23025172/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2092236 CPUtime=582.19 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 520725 0 0 0 58141 78 0 0 20 0 1 0 340690568 2142449664 513387 33554432000 4194304 9016284 140736669098144 140736669093528 6480211 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 523059 513387 538 1178 0 521877 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2092236

[startup+642.3 s]

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

/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 628845 0 0 0 100111 98 0 0 20 0 1 0 340690568 2587516928 623584 33554432000 4194304 9016284 140736669098144 140736669093736 5510704 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 631718 623584 543 1178 0 630536 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 2526872

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1793
/proc/meminfo: memFree=24040716/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2575668 CPUtime=1062.08 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 641271 0 0 0 106108 100 0 0 20 0 1 0 340690568 2637484032 636289 33554432000 4194304 9016284 140736669098144 140736669093736 5510704 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 643917 636289 543 1178 0 642735 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 2575668

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1793
/proc/meminfo: memFree=23621024/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2884240 CPUtime=1122.07 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 690220 0 0 0 112095 112 0 0 20 0 1 0 340690568 2953461760 709528 33554432000 4194304 9016284 140736669098144 140736669092376 7181822 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 721060 709528 654 1178 0 719878 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 2884240

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/174 1793
/proc/meminfo: memFree=23498232/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2903180 CPUtime=1182.05 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 694058 0 0 0 118088 117 0 0 20 0 1 0 340690568 2972856320 715900 33554432000 4194304 9016284 140736669098144 140736669091928 7181376 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 725795 715900 654 1178 0 724613 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 2903180

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1794
/proc/meminfo: memFree=23324648/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2908032 CPUtime=1242.04 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 695119 0 0 0 124084 120 0 0 20 0 1 0 340690568 2977824768 717040 33554432000 4194304 9016284 140736669098144 140736669091928 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 727008 717040 654 1178 0 725826 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 2908032

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 1795
/proc/meminfo: memFree=23120680/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2932776 CPUtime=1302.04 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 698036 0 0 0 130080 124 0 0 20 0 1 0 340690568 3003162624 723844 33554432000 4194304 9016284 140736669098144 140736669091928 7870569 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 733194 723844 654 1178 0 732012 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 2932776

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1799
/proc/meminfo: memFree=23023172/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2935308 CPUtime=1362.03 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 698834 0 0 0 136076 127 0 0 20 0 1 0 340690568 3005755392 725200 33554432000 4194304 9016284 140736669098144 140736669091928 7214116 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 733827 725200 654 1178 0 732645 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2935308

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1799
/proc/meminfo: memFree=22883348/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2904300 CPUtime=1422.02 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 703011 0 0 0 142071 131 0 0 20 0 1 0 340690568 2974003200 718896 33554432000 4194304 9016284 140736669098144 140736669088984 7180592 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 726075 718896 666 1178 0 724893 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2904300

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1799
/proc/meminfo: memFree=22751936/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2904300 CPUtime=1482.01 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 703077 0 0 0 148066 135 0 0 20 0 1 0 340690568 2974003200 719151 33554432000 4194304 9016284 140736669098144 140736669089896 7178351 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 726075 719151 666 1178 0 724893 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 2904300

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1799
/proc/meminfo: memFree=22677564/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2904300 CPUtime=1541.99 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 703085 0 0 0 154063 136 0 0 20 0 1 0 340690568 2974003200 719474 33554432000 4194304 9016284 140736669098144 140736669090040 7189780 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 726075 719474 666 1178 0 724893 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 2904300

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1800
/proc/meminfo: memFree=22581864/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2904300 CPUtime=1601.99 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 703097 0 0 0 160059 140 0 0 20 0 1 0 340690568 2974003200 719709 33554432000 4194304 9016284 140736669098144 140736669089896 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 726075 719709 666 1178 0 724893 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 2904300

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1800
/proc/meminfo: memFree=22506376/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2904300 CPUtime=1661.98 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 703111 0 0 0 166054 144 0 0 20 0 1 0 340690568 2974003200 720788 33554432000 4194304 9016284 140736669098144 140736669089896 7178320 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 726075 720788 666 1178 0 724893 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 2904300

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1800
/proc/meminfo: memFree=22422396/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2904300 CPUtime=1721.97 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 703145 0 0 0 172048 149 0 0 20 0 1 0 340690568 2974003200 723480 33554432000 4194304 9016284 140736669098144 140736669090040 7156452 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 726075 723480 666 1178 0 724893 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 2904300

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1800
/proc/meminfo: memFree=22348684/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2904300 CPUtime=1781.95 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 703497 0 0 0 178042 153 0 0 20 0 1 0 340690568 2974003200 723913 33554432000 4194304 9016284 140736669098144 140736669093304 6231502 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 726075 723913 688 1178 0 724893 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2904300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1800
/proc/meminfo: memFree=22284048/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2933444 CPUtime=1800.05 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 704916 0 0 0 179851 154 0 0 20 0 1 0 340690568 3003846656 731464 33554432000 4194304 9016284 140736669098144 140736669094328 6232313 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 733361 731464 688 1178 0 732179 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2933444

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -1717

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1801
/proc/meminfo: memFree=22279892/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2964732 CPUtime=1801.05 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 707151 0 0 0 179950 155 0 0 20 0 1 0 340690568 3035885568 738809 33554432000 4194304 9016284 140736669098144 140736669094328 6232316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 741183 738809 688 1178 0 740001 0
Current children cumulated CPU time (s) 1801.05
Current children cumulated vsize (KiB) 2964732

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1801
/proc/meminfo: memFree=22245704/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2964732 CPUtime=1801.85 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 707152 0 0 0 180030 155 0 0 20 0 1 0 340690568 3035885568 739321 33554432000 4194304 9016284 140736669098144 140736669094328 6232304 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 741183 739321 688 1178 0 740001 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2964732

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1801
/proc/meminfo: memFree=22245704/32873852 swapFree=7624/7624
[pid=1717] ppid=1715 vsize=2964732 CPUtime=1802.05 cores=0,2,4,6
/proc/1717/stat : 1717 (scip-2.0.1.4b_2) R 1715 1717 29314 0 -1 4202496 707152 0 0 0 180050 155 0 0 20 0 1 0 340690568 3035885568 739321 33554432000 4194304 9016284 140736669098144 140736669094328 6232316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 741183 739321 688 1178 0 740001 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 2964732

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.47
CPU time (s): 1802.13
CPU user time (s): 1800.51
CPU system time (s): 1.62075
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 2964732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.51
system time used= 1.62075
maximum resident set size= 2957284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 707152
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= 71
involuntary context switches= 1936

runsolver used 2.69859 second user time and 7.14791 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-03 19:47:31
IDJOB=3740449
IDBENCH=77397
IDSOLVER=2329
FILE ID=node131/3740449-1338745651
RUNJOBID= node131-1338713677-29330
PBS_JOBID= 14636738
Free space on /tmp= 71372 MiB

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

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

MD5SUM BENCH= 0fbe7f5a9ad68f9374c4bb96619a583d
RANDOM SEED=544052391

node131.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.805
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.61
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.805
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.805
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	: 5331.91
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.805
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.805
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.805
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	: 5331.91
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.805
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.92
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.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        25631260 kB
Buffers:          562516 kB
Cached:          3120840 kB
SwapCached:         2348 kB
Active:          4156208 kB
Inactive:        2210372 kB
Active(anon):    2679304 kB
Inactive(anon):     3664 kB
Active(file):    1476904 kB
Inactive(file):  2206708 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:             24484 kB
Writeback:             0 kB
AnonPages:       2675176 kB
Mapped:            16240 kB
Shmem:                 0 kB
Slab:             728728 kB
SReclaimable:     171152 kB
SUnreclaim:       557576 kB
KernelStack:        1456 kB
PageTables:         9316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    2835064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71356 MiB
End job on node131 at 2012-06-03 20:17:34