Trace number 3451819

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12025_7.std.opb
MD5SUMb1fc5213f138b6a200c2e92edc1d108f
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.983849
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 constraints245155
Number of constraints which are clauses243955
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 constraint33
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-3451819-1307119410.opb>
1.49/1.57	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245155 constraints
1.49/1.57	c problem read
1.49/1.57	c presolving settings loaded
1.99/2.01	c presolving:
8.90/8.92	c (round 1) 6457 del vars, 19585 del conss, 0 add conss, 4759 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16567538 impls, 0 clqs
11.88/11.94	c (round 2) 13833 del vars, 46792 del conss, 0 add conss, 11748 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16604973 impls, 0 clqs
12.78/12.83	c (round 3) 16438 del vars, 58955 del conss, 0 add conss, 13297 chg bounds, 29 chg sides, 36 chg coeffs, 0 upgd conss, 16618247 impls, 0 clqs
13.19/13.22	c (round 4) 17575 del vars, 63736 del conss, 0 add conss, 13956 chg bounds, 57 chg sides, 78 chg coeffs, 0 upgd conss, 16625274 impls, 0 clqs
13.38/13.45	c (round 5) 18116 del vars, 66026 del conss, 0 add conss, 14267 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16630161 impls, 0 clqs
13.58/13.61	c (round 6) 18413 del vars, 67267 del conss, 0 add conss, 14449 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16632572 impls, 0 clqs
13.68/13.74	c (round 7) 18603 del vars, 68054 del conss, 0 add conss, 14563 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16634277 impls, 0 clqs
13.78/13.83	c (round 8) 18726 del vars, 68590 del conss, 0 add conss, 14641 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16635127 impls, 0 clqs
13.88/13.92	c (round 9) 18810 del vars, 68945 del conss, 0 add conss, 14690 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16635855 impls, 0 clqs
13.88/13.99	c (round 10) 18840 del vars, 69119 del conss, 0 add conss, 14709 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16636271 impls, 0 clqs
13.98/14.05	c (round 11) 18866 del vars, 69219 del conss, 0 add conss, 14729 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16636332 impls, 0 clqs
14.08/14.11	c (round 12) 18866 del vars, 69251 del conss, 0 add conss, 14729 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16636332 impls, 0 clqs
14.79/14.84	c (round 13) 18866 del vars, 69251 del conss, 0 add conss, 14729 chg bounds, 59 chg sides, 84 chg coeffs, 175904 upgd conss, 16636332 impls, 0 clqs
665.97/666.09	c    (666.1s) probing: 1000/53976 (1.9%) - 1 fixings, 1 aggregations, 13246362 implications, 0 bound changes
1219.76/1219.81	c    (1219.8s) probing: 2000/53976 (3.7%) - 1 fixings, 1 aggregations, 20242354 implications, 0 bound changes
1309.76/1309.81	c    (1309.8s) probing: 2175/53976 (4.0%) - 1 fixings, 1 aggregations, 21432088 implications, 0 bound changes
1309.76/1309.81	c    (1309.8s) probing aborted: 2000/2000 successive useless probings
1309.76/1309.82	c presolving (14 rounds):
1309.76/1309.82	c  18868 deleted vars, 69251 deleted constraints, 5 added constraints, 14729 tightened bounds, 0 added holes, 68 changed sides, 213 changed coefficients
1309.76/1309.82	c  90383610 implications, 1282 cliques
1309.76/1309.82	c presolved problem has 53974 variables (53974 bin, 0 int, 0 impl, 0 cont) and 175909 constraints
1309.76/1309.82	c    1101 constraints of type <knapsack>
1309.76/1309.82	c  148150 constraints of type <setppc>
1309.76/1309.82	c   26658 constraints of type <logicor>
1309.76/1309.82	c transformed objective value is always integral (scale: 1)
1309.76/1309.82	c Presolving Time: 1307.93
1309.76/1309.82	c - non default parameters ----------------------------------------------------------------------
1309.76/1309.82	c # SCIP version 2.0.1.5
1309.76/1309.82	c 
1309.76/1309.82	c # frequency for displaying node information lines
1309.76/1309.82	c # [type: int, range: [-1,2147483647], default: 100]
1309.76/1309.82	c display/freq = 10000
1309.76/1309.82	c 
1309.76/1309.82	c # maximal time in seconds to run
1309.76/1309.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1309.76/1309.82	c limits/time = 1800
1309.76/1309.82	c 
1309.76/1309.82	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1309.76/1309.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1309.76/1309.82	c limits/memory = 13950
1309.76/1309.82	c 
1309.76/1309.82	c # default clock type (1: CPU user seconds, 2: wall clock time)
1309.76/1309.82	c # [type: int, range: [1,2], default: 1]
1309.76/1309.82	c timing/clocktype = 2
1309.76/1309.82	c 
1309.76/1309.82	c # belongs reading time to solving time?
1309.76/1309.82	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1309.76/1309.82	c timing/reading = TRUE
1309.76/1309.82	c 
1309.76/1309.82	c # should presolving try to simplify inequalities
1309.76/1309.82	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1309.76/1309.82	c constraints/linear/simplifyinequalities = TRUE
1309.76/1309.82	c 
1309.76/1309.82	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1309.76/1309.82	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1309.76/1309.82	c constraints/indicator/addCouplingCons = TRUE
1309.76/1309.82	c 
1309.76/1309.82	c # should presolving try to simplify knapsacks
1309.76/1309.82	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1309.76/1309.82	c constraints/knapsack/simplifyinequalities = TRUE
1309.76/1309.82	c 
1309.76/1309.82	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1309.76/1309.82	c # [type: int, range: [-1,2147483647], default: -1]
1309.76/1309.82	c separating/rapidlearning/freq = 0
1309.76/1309.82	c 
1309.76/1309.82	c -----------------------------------------------------------------------------------------------
1309.76/1309.82	c start solving
1309.76/1309.85	c 
1567.46/1567.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1567.46/1567.61	c  1568s|     1 |     0 | 49815 |     - |2675M|   0 |1106 |  53k| 175k|  53k| 175k|   0 |  72 |   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.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-3451819-1307119410/watcher-3451819-1307119410 -o /tmp/evaluation-result-3451819-1307119410/solver-3451819-1307119410 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451819-1307119410.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: 1.10 1.64 1.86 5/513 20063
/proc/meminfo: memFree=21777780/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=14732 CPUtime=0 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 2654 0 0 0 0 0 0 0 20 0 1 0 804356699 15085568 2607 33554432000 4194304 9163163 140735388695664 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20061/statm: 3683 2607 395 1214 0 2465 0

[startup+0.119879 s]
/proc/loadavg: 1.10 1.64 1.86 5/513 20063
/proc/meminfo: memFree=21777780/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=32532 CPUtime=0.11 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 7131 0 0 0 11 0 0 0 21 0 1 0 804356699 33312768 7084 33554432000 4194304 9163163 140735388695664 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20061/statm: 8133 7084 395 1214 0 6915 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 32532

[startup+0.200892 s]
/proc/loadavg: 1.10 1.64 1.86 5/513 20063
/proc/meminfo: memFree=21777780/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=46752 CPUtime=0.19 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 10681 0 0 0 19 0 0 0 21 0 1 0 804356699 47874048 10634 33554432000 4194304 9163163 140735388695664 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20061/statm: 11688 10634 395 1214 0 10470 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46752

[startup+0.300872 s]
/proc/loadavg: 1.10 1.64 1.86 5/513 20063
/proc/meminfo: memFree=21777780/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=56888 CPUtime=0.28 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 13203 0 0 0 28 0 0 0 21 0 1 0 804356699 58253312 13156 33554432000 4194304 9163163 140735388695664 18446744073709551615 7940651 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20061/statm: 14222 13156 395 1214 0 13004 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 56888

[startup+0.700798 s]
/proc/loadavg: 1.10 1.64 1.86 5/513 20063
/proc/meminfo: memFree=21777780/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=80896 CPUtime=0.69 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 19180 0 0 0 68 1 0 0 22 0 1 0 804356699 82837504 19133 33554432000 4194304 9163163 140735388695664 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20061/statm: 20224 19133 395 1214 0 19006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80896

[startup+1.50065 s]
/proc/loadavg: 1.10 1.64 1.86 4/515 20065
/proc/meminfo: memFree=21556480/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=151156 CPUtime=1.49 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 36695 0 0 0 146 3 0 0 25 0 1 0 804356699 154783744 36648 33554432000 4194304 9163163 140735388695664 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20061/statm: 37789 36648 395 1214 0 36571 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151156

[startup+3.10037 s]
/proc/loadavg: 1.18 1.65 1.86 4/515 20065
/proc/meminfo: memFree=21013236/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=505088 CPUtime=3.08 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 123789 0 0 0 297 11 0 0 25 0 1 0 804356699 517210112 123686 33554432000 4194304 9163163 140735388695664 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 126272 123686 506 1214 0 125054 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 505088

[startup+6.30071 s]
/proc/loadavg: 1.18 1.65 1.86 4/515 20066
/proc/meminfo: memFree=20380768/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=753828 CPUtime=6.28 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 185175 0 0 0 610 18 0 0 25 0 1 0 804356699 771919872 185072 33554432000 4194304 9163163 140735388695664 18446744073709551615 4782809 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 188457 185072 506 1214 0 187239 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 753828

[startup+12.7005 s]
/proc/loadavg: 1.30 1.66 1.86 4/515 20066
/proc/meminfo: memFree=20074540/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=875640 CPUtime=12.68 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 214265 0 0 0 1247 21 0 0 25 0 1 0 804356699 896655360 213905 33554432000 4194304 9163163 140735388695664 18446744073709551615 6568771 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 218910 213905 518 1214 0 217692 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 875640

[startup+25.5011 s]
/proc/loadavg: 1.41 1.67 1.86 4/515 20066
/proc/meminfo: memFree=19818704/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=996348 CPUtime=25.48 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 259759 0 0 0 2520 28 0 0 25 0 1 0 804356699 1020260352 242997 33554432000 4194304 9163163 140735388695664 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 249087 242997 565 1214 0 247869 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 996348

[startup+51.1012 s]
/proc/loadavg: 1.61 1.70 1.86 4/515 20067
/proc/meminfo: memFree=19734016/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=1032864 CPUtime=51.08 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 268387 0 0 0 5079 29 0 0 25 0 1 0 804356699 1057652736 251625 33554432000 4194304 9163163 140735388695664 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 258216 251625 565 1214 0 256998 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1032864

[startup+102.301 s]
/proc/loadavg: 1.84 1.75 1.87 4/515 20068
/proc/meminfo: memFree=19451868/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=1176988 CPUtime=102.3 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 303954 0 0 0 10196 34 0 0 25 0 1 0 804356699 1205235712 287192 33554432000 4194304 9163163 140735388695664 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 294247 287192 565 1214 0 293029 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1176988

[startup+162.301 s]
/proc/loadavg: 1.94 1.79 1.87 4/515 20070
/proc/meminfo: memFree=19169236/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=1337404 CPUtime=162.29 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 343212 0 0 0 16190 39 0 0 25 0 1 0 804356699 1369501696 326384 33554432000 4194304 9163163 140735388695664 18446744073709551615 6566679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 334351 326384 565 1214 0 333133 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1337404

[startup+222.321 s]
/proc/loadavg: 1.98 1.83 1.88 4/515 20071
/proc/meminfo: memFree=18790492/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=1446156 CPUtime=222.3 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 370181 0 0 0 22188 42 0 0 25 0 1 0 804356699 1480863744 353353 33554432000 4194304 9163163 140735388695664 18446744073709551615 5458996 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 361539 353353 565 1214 0 360321 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1446156

[startup+282.301 s]
/proc/loadavg: 1.99 1.85 1.89 4/515 20073
/proc/meminfo: memFree=18418456/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=1683264 CPUtime=282.28 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 428518 0 0 0 28179 49 0 0 25 0 1 0 804356699 1723662336 411690 33554432000 4194304 9163163 140735388695664 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 420816 411690 565 1214 0 419598 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1683264

[startup+342.301 s]
/proc/loadavg: 1.99 1.88 1.89 3/515 20075
/proc/meminfo: memFree=18051504/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=1918380 CPUtime=342.28 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 487146 0 0 0 34172 56 0 0 25 0 1 0 804356699 1964421120 470318 33554432000 4194304 9163163 140735388695664 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 479595 470318 565 1214 0 478377 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1918380

[startup+402.301 s]
/proc/loadavg: 1.99 1.90 1.90 4/515 20076
/proc/meminfo: memFree=17840416/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=2053136 CPUtime=402.28 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 520321 0 0 0 40166 62 0 0 25 0 1 0 804356699 2102411264 503493 33554432000 4194304 9163163 140735388695664 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 513284 503493 565 1214 0 512066 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 2053136

[startup+462.301 s]
/proc/loadavg: 2.06 1.93 1.91 4/515 20078
/proc/meminfo: memFree=17665416/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=2138216 CPUtime=462.27 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 541952 0 0 0 46162 65 0 0 25 0 1 0 804356699 2189533184 525124 33554432000 4194304 9163163 140735388695664 18446744073709551615 5459264 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 534554 525124 565 1214 0 533336 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 2138216

[startup+522.301 s]
/proc/loadavg: 2.15 1.97 1.92 4/515 20079
/proc/meminfo: memFree=17468464/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=2234224 CPUtime=522.27 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 565372 0 0 0 52158 69 0 0 25 0 1 0 804356699 2287845376 548544 33554432000 4194304 9163163 140735388695664 18446744073709551615 4221144 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 558556 548544 565 1214 0 557338 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 2234224

[startup+582.301 s]
/proc/loadavg: 2.15 2.00 1.93 4/515 20081
/proc/meminfo: memFree=17334240/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=2312412 CPUtime=582.27 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 584457 0 0 0 58155 72 0 0 25 0 1 0 804356699 2367909888 567629 33554432000 4194304 9163163 140735388695664 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 578103 567629 565 1214 0 576885 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 2312412

[startup+642.3 s]

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

/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 774390 0 0 0 106123 103 0 0 25 0 1 0 804356699 3145691136 757562 33554432000 4194304 9163163 140735388695664 18446744073709551615 6567794 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 767991 757562 569 1214 0 766773 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 3071964

[startup+1122.3 s]
/proc/loadavg: 2.09 2.06 1.96 4/515 20104
/proc/meminfo: memFree=15640640/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3102324 CPUtime=1122.27 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 782232 0 0 0 112123 104 0 0 25 0 1 0 804356699 3176779776 765404 33554432000 4194304 9163163 140735388695664 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 775581 765404 569 1214 0 774363 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 3102324

[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 1.96 4/515 20106
/proc/meminfo: memFree=15577960/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3155956 CPUtime=1182.26 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 795029 0 0 0 118120 106 0 0 25 0 1 0 804356699 3231698944 778201 33554432000 4194304 9163163 140735388695664 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 788989 778201 569 1214 0 787771 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 3155956

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.96 4/515 20108
/proc/meminfo: memFree=15512304/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3205656 CPUtime=1242.26 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 807841 0 0 0 124117 109 0 0 25 0 1 0 804356699 3282591744 791013 33554432000 4194304 9163163 140735388695664 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 801414 791013 569 1214 0 800196 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 3205656

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 1.96 4/515 20109
/proc/meminfo: memFree=15456440/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3261636 CPUtime=1302.26 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 821680 0 0 0 130115 111 0 0 25 0 1 0 804356699 3339915264 804852 33554432000 4194304 9163163 140735388695664 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 815409 804852 569 1214 0 814191 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 3261636

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.96 4/515 20111
/proc/meminfo: memFree=15133636/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3568504 CPUtime=1362.26 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 894695 0 0 0 136104 122 0 0 25 0 1 0 804356699 3654148096 874800 33554432000 4194304 9163163 140735388695664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 892126 874800 901 1214 0 890908 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 3568504

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.96 4/515 20112
/proc/meminfo: memFree=15096628/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3593164 CPUtime=1422.27 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 904389 0 0 0 142100 127 0 0 25 0 1 0 804356699 3679399936 883442 33554432000 4194304 9163163 140735388695664 18446744073709551615 7349397 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 898291 883442 745 1214 0 897073 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 3593164

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.96 4/515 20114
/proc/meminfo: memFree=15094976/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3593164 CPUtime=1482.25 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 904390 0 0 0 148096 129 0 0 25 0 1 0 804356699 3679399936 883442 33554432000 4194304 9163163 140735388695664 18446744073709551615 7349100 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 898291 883442 744 1214 0 897073 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 3593164

[startup+1542.32 s]
/proc/loadavg: 2.00 2.00 1.96 3/515 20116
/proc/meminfo: memFree=15075832/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3612512 CPUtime=1542.26 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 908962 0 0 0 154094 132 0 0 25 0 1 0 804356699 3699212288 887974 33554432000 4194304 9163163 140735388695664 18446744073709551615 7274214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 903128 887974 738 1214 0 901910 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 3612512

[startup+1602.3 s]
/proc/loadavg: 2.13 2.04 1.97 4/515 20117
/proc/meminfo: memFree=15064124/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3612792 CPUtime=1602.24 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 912835 0 0 0 160089 135 0 0 25 0 1 0 804356699 3699499008 891830 33554432000 4194304 9163163 140735388695664 18446744073709551615 7113941 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 903198 891830 1810 1214 0 901980 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 3612792

[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 1.98 4/515 20119
/proc/meminfo: memFree=15064100/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3612792 CPUtime=1662.24 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 912853 0 0 0 166086 138 0 0 25 0 1 0 804356699 3699499008 891848 33554432000 4194304 9163163 140735388695664 18446744073709551615 7345865 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 903198 891848 1810 1214 0 901980 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 3612792

[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.98 4/515 20120
/proc/meminfo: memFree=15063676/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3612792 CPUtime=1722.24 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 912854 0 0 0 172084 140 0 0 25 0 1 0 804356699 3699499008 891849 33554432000 4194304 9163163 140735388695664 18446744073709551615 7348226 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 903198 891849 1810 1214 0 901980 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 3612792

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 1.98 4/515 20122
/proc/meminfo: memFree=15112604/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3612792 CPUtime=1782.24 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 912855 0 0 0 178081 143 0 0 25 0 1 0 804356699 3699499008 891850 33554432000 4194304 9163163 140735388695664 18446744073709551615 7345852 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 903198 891850 1810 1214 0 901980 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 3612792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.01 2.03 1.98 3/516 20123
/proc/meminfo: memFree=15112216/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3612792 CPUtime=1800.05 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 912855 0 0 0 179861 144 0 0 25 0 1 0 804356699 3699499008 891850 33554432000 4194304 9163163 140735388695664 18446744073709551615 7358540 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 903198 891850 1810 1214 0 901980 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3612792

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20061

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

[startup+1801.5 s]
/proc/loadavg: 2.01 2.03 1.98 3/517 20124
/proc/meminfo: memFree=15112456/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3612792 CPUtime=1801.43 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 912855 0 0 0 179999 144 0 0 25 0 1 0 804356699 3699499008 891850 33554432000 4194304 9163163 140735388695664 18446744073709551615 7358405 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 903198 891850 1810 1214 0 901980 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 3612792

[startup+1801.92 s]
/proc/loadavg: 2.01 2.03 1.98 4/517 20124
/proc/meminfo: memFree=15112456/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3612792 CPUtime=1801.85 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 912855 0 0 0 180041 144 0 0 25 0 1 0 804356699 3699499008 891850 33554432000 4194304 9163163 140735388695664 18446744073709551615 7358557 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 903198 891850 1810 1214 0 901980 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 3612792

[startup+1802.1 s]
/proc/loadavg: 2.01 2.03 1.98 4/517 20124
/proc/meminfo: memFree=15112456/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=3612792 CPUtime=1802.03 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4202496 912855 0 0 0 180059 144 0 0 25 0 1 0 804356699 3699499008 891850 33554432000 4194304 9163163 140735388695664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20061/statm: 903198 891850 1810 1214 0 901980 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3612792

[startup+1802.2 s]
/proc/loadavg: 2.01 2.03 1.98 4/517 20124
/proc/meminfo: memFree=15112456/32951124 swapFree=62999000/67111528
[pid=20061] ppid=20058 vsize=0 CPUtime=1802.13 cores=0,2,4,6
/proc/20061/stat : 20061 (scip-2.0.1.4b.l) R 20058 20061 17882 0 -1 4203524 912855 0 0 0 180061 152 0 0 25 0 1 0 804356699 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/20061/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.28
CPU time (s): 1802.22
CPU user time (s): 1800.61
CPU system time (s): 1.60876
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 3612792

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

runsolver used 9.92649 second user time and 21.9117 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-03 18:43:31
IDJOB=3451819
IDBENCH=77539
IDSOLVER=1948
FILE ID=node141/3451819-1307119410
RUNJOBID= node141-1307119410-20044
PBS_JOBID= 13497991
Free space on /tmp= 73876 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-j12025_7.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-3451819-1307119410/watcher-3451819-1307119410 -o /tmp/evaluation-result-3451819-1307119410/solver-3451819-1307119410 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451819-1307119410.opb -t 1800 -m 15500

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

MD5SUM BENCH= b1fc5213f138b6a200c2e92edc1d108f
RANDOM SEED=1307553270

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.84
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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.75
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.806
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21778216 kB
Buffers:        253800 kB
Cached:         667784 kB
SwapCached:       8848 kB
Active:       10361520 kB
Inactive:       545608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21778216 kB
SwapTotal:    67111528 kB
SwapFree:     62999000 kB
Dirty:           38828 kB
Writeback:           0 kB
AnonPages:     9982768 kB
Mapped:          25176 kB
Slab:           125748 kB
PageTables:      69640 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 150654996 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= 73868 MiB
End job on node141 at 2011-06-03 19:13:33