Trace number 3489802

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_2 2011-06-10 (fixed)? (TO) 1802.2 1802.13

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9043_5.std.opb
MD5SUM7281c30a7b7474ad173d30e80be2448b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark98
Best CPU time to get the best result obtained on this benchmark0.740887
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 constraints192594
Number of constraints which are clauses191394
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 constraint69
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-3489802-1307794190.opb>
1.00/1.05	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192594 constraints
1.00/1.05	c problem read
1.00/1.05	c presolving settings loaded
1.39/1.41	c presolving:
7.60/7.60	c (round 1) 5566 del vars, 16216 del conss, 0 add conss, 4401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12953472 impls, 0 clqs
10.09/10.11	c (round 2) 10243 del vars, 37571 del conss, 0 add conss, 8768 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12980786 impls, 0 clqs
10.90/10.96	c (round 3) 12308 del vars, 46514 del conss, 0 add conss, 10051 chg bounds, 49 chg sides, 48 chg coeffs, 0 upgd conss, 12997802 impls, 0 clqs
11.39/11.41	c (round 4) 13191 del vars, 50511 del conss, 0 add conss, 10650 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 13005060 impls, 0 clqs
11.59/11.66	c (round 5) 13783 del vars, 52972 del conss, 0 add conss, 10975 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13010474 impls, 0 clqs
11.79/11.85	c (round 6) 14126 del vars, 54491 del conss, 0 add conss, 11179 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13015088 impls, 0 clqs
12.00/12.02	c (round 7) 14449 del vars, 55696 del conss, 0 add conss, 11368 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13018623 impls, 0 clqs
12.10/12.14	c (round 8) 14660 del vars, 56618 del conss, 0 add conss, 11490 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13021202 impls, 0 clqs
12.19/12.24	c (round 9) 14782 del vars, 57171 del conss, 0 add conss, 11563 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13023062 impls, 0 clqs
12.29/12.32	c (round 10) 14890 del vars, 57599 del conss, 0 add conss, 11629 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13024516 impls, 0 clqs
12.29/12.38	c (round 11) 14952 del vars, 57899 del conss, 0 add conss, 11672 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025101 impls, 0 clqs
12.39/12.44	c (round 12) 15000 del vars, 58094 del conss, 0 add conss, 11705 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025374 impls, 0 clqs
12.39/12.48	c (round 13) 15024 del vars, 58211 del conss, 0 add conss, 11722 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025466 impls, 0 clqs
12.49/12.53	c (round 14) 15030 del vars, 58255 del conss, 0 add conss, 11725 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025492 impls, 0 clqs
637.61/637.60	c    (637.6s) probing: 1000/39750 (2.5%) - 0 fixings, 0 aggregations, 11719950 implications, 0 bound changes
1057.03/1057.07	c    (1057.1s) probing: 2000/39750 (5.0%) - 0 fixings, 0 aggregations, 19025045 implications, 0 bound changes
1057.43/1057.41	c    (1057.4s) probing: 2001/39750 (5.0%) - 0 fixings, 0 aggregations, 19031320 implications, 0 bound changes
1057.43/1057.41	c    (1057.4s) probing aborted: 2000/2000 successive useless probings
1057.43/1057.41	c (round 15) 15032 del vars, 58271 del conss, 0 add conss, 11726 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 79430638 impls, 0 clqs
1058.03/1058.09	c (round 16) 15032 del vars, 58271 del conss, 0 add conss, 11726 chg bounds, 67 chg sides, 73 chg coeffs, 134323 upgd conss, 79430638 impls, 0 clqs
1059.13/1059.11	c (round 17) 15032 del vars, 58279 del conss, 27 add conss, 11726 chg bounds, 144 chg sides, 449 chg coeffs, 134323 upgd conss, 79430638 impls, 0 clqs
1167.04/1167.02	c    (1167.0s) probing: 2201/39750 (5.5%) - 0 fixings, 0 aggregations, 19844918 implications, 0 bound changes
1167.04/1167.02	c    (1167.0s) probing aborted: 2000/2000 successive useless probings
1167.04/1167.02	c presolving (18 rounds):
1167.04/1167.02	c  15032 deleted vars, 58282 deleted constraints, 27 added constraints, 11726 tightened bounds, 0 added holes, 145 changed sides, 460 changed coefficients
1167.04/1167.02	c  81581712 implications, 0 cliques
1167.04/1167.02	c presolved problem has 39750 variables (39750 bin, 0 int, 0 impl, 0 cont) and 134339 constraints
1167.04/1167.02	c    1123 constraints of type <knapsack>
1167.04/1167.02	c  113594 constraints of type <setppc>
1167.04/1167.02	c   19622 constraints of type <logicor>
1167.04/1167.02	c transformed objective value is always integral (scale: 1)
1167.04/1167.02	c Presolving Time: 1165.71
1167.04/1167.02	c - non default parameters ----------------------------------------------------------------------
1167.04/1167.02	c # SCIP version 2.0.1.5
1167.04/1167.02	c 
1167.04/1167.02	c # frequency for displaying node information lines
1167.04/1167.02	c # [type: int, range: [-1,2147483647], default: 100]
1167.04/1167.02	c display/freq = 10000
1167.04/1167.02	c 
1167.04/1167.02	c # maximal time in seconds to run
1167.04/1167.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1167.04/1167.02	c limits/time = 1797
1167.04/1167.02	c 
1167.04/1167.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1167.04/1167.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1167.04/1167.02	c limits/memory = 13950
1167.04/1167.02	c 
1167.04/1167.02	c # default clock type (1: CPU user seconds, 2: wall clock time)
1167.04/1167.02	c # [type: int, range: [1,2], default: 1]
1167.04/1167.02	c timing/clocktype = 2
1167.04/1167.02	c 
1167.04/1167.02	c # belongs reading time to solving time?
1167.04/1167.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1167.04/1167.02	c timing/reading = TRUE
1167.04/1167.02	c 
1167.04/1167.02	c # should presolving try to simplify inequalities
1167.04/1167.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1167.04/1167.02	c constraints/linear/simplifyinequalities = TRUE
1167.04/1167.02	c 
1167.04/1167.02	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1167.04/1167.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1167.04/1167.02	c constraints/indicator/addCouplingCons = TRUE
1167.04/1167.02	c 
1167.04/1167.02	c # should presolving try to simplify knapsacks
1167.04/1167.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1167.04/1167.02	c constraints/knapsack/simplifyinequalities = TRUE
1167.04/1167.02	c 
1167.04/1167.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1167.04/1167.02	c # [type: int, range: [-1,2147483647], default: -1]
1167.04/1167.02	c separating/rapidlearning/freq = 0
1167.04/1167.02	c 
1167.04/1167.02	c -----------------------------------------------------------------------------------------------
1167.04/1167.02	c start solving
1167.04/1167.04	c 
1169.44/1169.49	o 300
1169.44/1169.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1169.44/1169.49	c T1169s|     1 |     0 |     0 |     - |2376M|   0 |   - |  39k| 134k|  39k| 134k|   0 |   0 |   0 |      --      | 3.000000e+02 |    Inf 
1255.84/1255.82	c  1256s|     1 |     0 | 31550 |     - |2366M|   0 | 184 |  39k| 133k|  39k| 134k|   0 |   0 |   0 | 9.800000e+01 | 3.000000e+02 | 206.12%

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9791
/proc/meminfo: memFree=28354240/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=12872 CPUtime=0 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 2219 0 0 0 0 0 0 0 22 0 1 0 969649717 13180928 2174 33554432000 4194304 9016284 140736403902528 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9791/statm: 3218 2174 360 1178 0 2036 0

[startup+0.0117839 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9791
/proc/meminfo: memFree=28354240/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=14384 CPUtime=0 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 2588 0 0 0 0 0 0 0 22 0 1 0 969649717 14729216 2543 33554432000 4194304 9016284 140736403902528 18446744073709551615 7995922 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9791/statm: 3596 2543 360 1178 0 2414 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14384

[startup+0.100834 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9791
/proc/meminfo: memFree=28354240/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=32388 CPUtime=0.09 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 7097 0 0 0 9 0 0 0 22 0 1 0 969649717 33165312 7052 33554432000 4194304 9016284 140736403902528 18446744073709551615 5267949 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9791/statm: 8097 7052 360 1178 0 6915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32388

[startup+0.300814 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9791
/proc/meminfo: memFree=28354240/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=54056 CPUtime=0.29 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 12491 0 0 0 28 1 0 0 23 0 1 0 969649717 55353344 12446 33554432000 4194304 9016284 140736403902528 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9791/statm: 13514 12446 360 1178 0 12332 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54056

[startup+0.700721 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9791
/proc/meminfo: memFree=28354240/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=87720 CPUtime=0.69 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 20929 0 0 0 67 2 0 0 25 0 1 0 969649717 89825280 20884 33554432000 4194304 9016284 140736403902528 18446744073709551615 7870478 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9791/statm: 21930 20884 360 1178 0 20748 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87720

[startup+1.50058 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9792
/proc/meminfo: memFree=28237584/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=303584 CPUtime=1.49 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 74102 0 0 0 141 8 0 0 25 0 1 0 969649717 310870016 74007 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 75896 74007 474 1178 0 74714 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 303584

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9792
/proc/meminfo: memFree=27989460/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=452172 CPUtime=3.09 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 111057 0 0 0 297 12 0 0 25 0 1 0 969649717 463024128 110962 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 113043 110962 485 1178 0 111861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 452172

[startup+6.30067 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9792
/proc/meminfo: memFree=27769908/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=643956 CPUtime=6.29 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 157361 0 0 0 611 18 0 0 25 0 1 0 969649717 659410944 157266 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 160989 157266 485 1178 0 159807 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 643956

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9792
/proc/meminfo: memFree=27681272/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=710456 CPUtime=12.69 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 174013 0 0 0 1250 19 0 0 25 0 1 0 969649717 727506944 173547 33554432000 4194304 9016284 140736403902528 18446744073709551615 4899411 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 177614 173547 518 1178 0 176432 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 710456

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9793
/proc/meminfo: memFree=27629020/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=743216 CPUtime=25.49 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 181042 0 0 0 2529 20 0 0 25 0 1 0 969649717 761053184 180576 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 185804 180576 518 1178 0 184622 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 743216

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9793
/proc/meminfo: memFree=27569096/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=783960 CPUtime=51.09 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 191484 0 0 0 5088 21 0 0 25 0 1 0 969649717 802775040 191018 33554432000 4194304 9016284 140736403902528 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 195990 191018 518 1178 0 194808 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 783960

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9795
/proc/meminfo: memFree=27466744/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=902360 CPUtime=102.3 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 220639 0 0 0 10205 25 0 0 25 0 1 0 969649717 924016640 220173 33554432000 4194304 9016284 140736403902528 18446744073709551615 4889005 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 225590 220173 518 1178 0 224408 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 902360

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9796
/proc/meminfo: memFree=27339804/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=1031340 CPUtime=162.29 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 252765 0 0 0 16200 29 0 0 25 0 1 0 969649717 1056092160 252299 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 257835 252299 518 1178 0 256653 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1031340

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9798
/proc/meminfo: memFree=27184780/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=1186328 CPUtime=222.3 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 290994 0 0 0 22197 33 0 0 25 0 1 0 969649717 1214799872 290528 33554432000 4194304 9016284 140736403902528 18446744073709551615 4460340 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 296582 290528 518 1178 0 295400 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1186328

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9800
/proc/meminfo: memFree=26981268/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=1404796 CPUtime=282.3 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 344762 0 0 0 28191 39 0 0 25 0 1 0 969649717 1438511104 344296 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 351199 344296 518 1178 0 350017 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1404796

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9801
/proc/meminfo: memFree=26735212/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=1642176 CPUtime=342.3 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 403007 0 0 0 34183 47 0 0 25 0 1 0 969649717 1681588224 402541 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 410544 402541 518 1178 0 409362 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1642176

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9803
/proc/meminfo: memFree=26586504/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=1793904 CPUtime=402.31 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 441114 0 0 0 40178 53 0 0 25 0 1 0 969649717 1836957696 440648 33554432000 4194304 9016284 140736403902528 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 448476 440648 518 1178 0 447294 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1793904

[startup+462.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 9843
/proc/meminfo: memFree=28552576/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=1974660 CPUtime=462.3 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 485286 0 0 0 46172 58 0 0 25 0 1 0 969649717 2022051840 484820 33554432000 4194304 9016284 140736403902528 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 493665 484820 518 1178 0 492483 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1974660

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9845
/proc/meminfo: memFree=28327996/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=2065132 CPUtime=522.31 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 507881 0 0 0 52169 62 0 0 25 0 1 0 969649717 2114695168 507415 33554432000 4194304 9016284 140736403902528 18446744073709551615 5228151 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 516283 507415 518 1178 0 515101 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2065132

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9847
/proc/meminfo: memFree=28071028/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=2200612 CPUtime=582.31 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 541564 0 0 0 58164 67 0 0 25 0 1 0 969649717 2253426688 541098 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 550153 541098 518 1178 0 548971 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2200612

[startup+642.301 s]

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

/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 747972 0 0 0 106136 96 0 0 25 0 1 0 969649717 3056824320 737376 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 746295 737376 545 1178 0 745113 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2985180

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9861
/proc/meminfo: memFree=26172112/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3031784 CPUtime=1122.33 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 759475 0 0 0 112135 98 0 0 25 0 1 0 969649717 3104546816 748879 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 757946 748879 545 1178 0 756764 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3031784

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9863
/proc/meminfo: memFree=25874340/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3292644 CPUtime=1182.33 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 824462 0 0 0 118124 109 0 0 25 0 1 0 969649717 3371667456 809582 33554432000 4194304 9016284 140736403902528 18446744073709551615 7181661 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 823161 809582 735 1178 0 821979 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3292644

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9864
/proc/meminfo: memFree=25782660/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3332916 CPUtime=1242.33 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 834723 0 0 0 124115 118 0 0 25 0 1 0 969649717 3412905984 819179 33554432000 4194304 9016284 140736403902528 18446744073709551615 7124278 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 833229 819179 811 1178 0 832047 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3332916

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9866
/proc/meminfo: memFree=25730300/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1302.34 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 130113 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231355 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3323968

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9867
/proc/meminfo: memFree=25620916/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1362.34 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 136113 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231312 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3323968

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9869
/proc/meminfo: memFree=25588660/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1422.35 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 142114 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231502 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3323968

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9871
/proc/meminfo: memFree=25337016/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1482.34 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 148113 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231340 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3323968

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9872
/proc/meminfo: memFree=25315296/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1542.35 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 154114 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231355 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3323968

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9874
/proc/meminfo: memFree=25307468/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1602.35 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 160114 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231355 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3323968

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9875
/proc/meminfo: memFree=25306688/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1662.35 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 166114 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231436 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3323968

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9877
/proc/meminfo: memFree=25306396/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1722.35 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 172114 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231248 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3323968

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 9882
/proc/meminfo: memFree=25306292/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1782.36 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 178115 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 3323968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9882
/proc/meminfo: memFree=25301744/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1800.06 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 843236 0 0 0 179885 121 0 0 25 0 1 0 969649717 3403743232 818268 33554432000 4194304 9016284 140736403902528 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 818268 743 1178 0 829810 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3323968

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9791

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

[startup+1801.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9883
/proc/meminfo: memFree=25300744/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1801.46 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 843611 0 0 0 180025 121 0 0 25 0 1 0 969649717 3403743232 818643 33554432000 4194304 9016284 140736403902528 18446744073709551615 6232221 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 818643 743 1178 0 829810 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 3323968

[startup+1801.81 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9883
/proc/meminfo: memFree=25300124/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1801.86 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 843611 0 0 0 180065 121 0 0 25 0 1 0 969649717 3403743232 818643 33554432000 4194304 9016284 140736403902528 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 818643 743 1178 0 829810 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 3323968

[startup+1802 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9883
/proc/meminfo: memFree=25300124/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1802.06 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 843611 0 0 0 180085 121 0 0 25 0 1 0 969649717 3403743232 818643 33554432000 4194304 9016284 140736403902528 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 818643 743 1178 0 829810 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 3323968

[startup+1802.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9883
/proc/meminfo: memFree=25300124/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=0 CPUtime=1802.15 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4203524 843611 0 0 0 180085 130 0 0 25 0 1 0 969649717 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/9791/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.13
CPU time (s): 1802.2
CPU user time (s): 1800.86
CPU system time (s): 1.3408
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.86
system time used= 1.3408
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 843611
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1466

runsolver used 2.80857 second user time and 6.93494 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-11 14:09:50
IDJOB=3489802
IDBENCH=78013
IDSOLVER=1979
FILE ID=node114/3489802-1307794190
RUNJOBID= node114-1307783374-8717
PBS_JOBID= 13550892
Free space on /tmp= 74084 MiB

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

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

MD5SUM BENCH= 7281c30a7b7474ad173d30e80be2448b
RANDOM SEED=490949307

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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:     32950928 kB
MemFree:      28354560 kB
Buffers:        283000 kB
Cached:        1147656 kB
SwapCached:      10540 kB
Active:        3408600 kB
Inactive:       976820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28354560 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:           22528 kB
Writeback:           0 kB
AnonPages:     2951940 kB
Mapped:          15664 kB
Slab:           140096 kB
PageTables:      10072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  3213204 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= 74068 MiB
End job on node114 at 2011-06-11 14:39:53