Trace number 3740190

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1802.11 1802.53

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j603_6.std.opb
MD5SUM44ae13ddffa8a8b71890c24d41e909fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark57
Best CPU time to get the best result obtained on this benchmark0.143977
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36722
Total number of constraints117788
Number of constraints which are clauses116588
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 constraint18
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.69/0.70	c SCIP version 1.1.0.7
0.69/0.70	c LP-Solver SoPlex 1.4.1
0.69/0.70	c user parameter file <scip.set> not found - using default parameters
0.69/0.70	c read problem <HOME/instance-3740190-1338758293.opb>
0.69/0.70	c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 117788 constraints
0.89/0.94	c start presolving problem
0.89/0.94	c presolving:
4.19/4.30	c (round 1) 1913 del vars, 5194 del conss, 1221 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8151016 impls, 0 clqs
5.29/5.37	c (round 2) 5024 del vars, 14938 del conss, 4041 chg bounds, 3 chg sides, 3 chg coeffs, 0 upgd conss, 8165753 impls, 0 clqs
5.49/5.59	c (round 3) 5777 del vars, 19102 del conss, 4361 chg bounds, 80 chg sides, 79 chg coeffs, 0 upgd conss, 8171045 impls, 0 clqs
5.59/5.69	c (round 4) 6037 del vars, 20226 del conss, 4477 chg bounds, 82 chg sides, 81 chg coeffs, 0 upgd conss, 8172558 impls, 0 clqs
5.69/5.76	c (round 5) 6111 del vars, 20578 del conss, 4499 chg bounds, 82 chg sides, 81 chg coeffs, 0 upgd conss, 8172896 impls, 0 clqs
5.79/5.82	c (round 6) 6135 del vars, 20686 del conss, 4509 chg bounds, 82 chg sides, 81 chg coeffs, 0 upgd conss, 8172950 impls, 0 clqs
5.79/5.87	c (round 7) 6135 del vars, 20706 del conss, 4509 chg bounds, 82 chg sides, 81 chg coeffs, 0 upgd conss, 8172950 impls, 0 clqs
6.29/6.39	c (round 8) 6135 del vars, 20706 del conss, 4509 chg bounds, 82 chg sides, 81 chg coeffs, 97082 upgd conss, 8172950 impls, 0 clqs
218.42/218.52	c    (216.8s) probing: 1000/30587 (3.3%) - 0 fixings, 0 aggregations, 6317527 implications, 0 bound changes
290.59/290.71	c    (288.6s) probing: 2000/30587 (6.5%) - 2 fixings, 0 aggregations, 10043803 implications, 0 bound changes
351.46/351.61	c    (349.1s) probing: 3000/30587 (9.8%) - 2 fixings, 1 aggregations, 13045275 implications, 0 bound changes
413.45/413.69	c    (410.8s) probing: 4000/30587 (13.1%) - 2 fixings, 1 aggregations, 16026624 implications, 0 bound changes
478.42/478.61	c    (475.4s) probing: 5000/30587 (16.3%) - 2 fixings, 2 aggregations, 18764920 implications, 0 bound changes
540.71/540.94	c    (537.4s) probing: 6000/30587 (19.6%) - 2 fixings, 2 aggregations, 21289322 implications, 0 bound changes
586.10/586.33	c    (582.6s) probing: 6669/30587 (21.8%) - 2 fixings, 2 aggregations, 22793303 implications, 0 bound changes
586.10/586.33	c    (582.6s) probing aborted: 2000/2000 successive useless probings
586.10/586.33	c (round 9) 6139 del vars, 20706 del conss, 4509 chg bounds, 90 chg sides, 267 chg coeffs, 97082 upgd conss, 70504712 impls, 0 clqs
586.69/586.92	c (round 10) 6139 del vars, 20718 del conss, 4509 chg bounds, 92 chg sides, 1009 chg coeffs, 97082 upgd conss, 70504712 impls, 21 clqs
647.18/647.41	c    (643.6s) probing: 6869/30587 (22.5%) - 2 fixings, 2 aggregations, 23446394 implications, 0 bound changes
647.18/647.41	c    (643.6s) probing aborted: 2000/2000 successive useless probings
647.18/647.41	c presolving (11 rounds):
647.18/647.41	c  6139 deleted vars, 20718 deleted constraints, 4509 tightened bounds, 0 added holes, 94 changed sides, 1063 changed coefficients
647.18/647.41	c  72198794 implications, 38 cliques
647.18/647.41	c presolved problem has 30583 variables (30583 bin, 0 int, 0 impl, 0 cont) and 97079 constraints
647.18/647.41	c    1099 constraints of type <knapsack>
647.18/647.41	c       9 constraints of type <setppc>
647.18/647.41	c   95971 constraints of type <logicor>
647.18/647.41	c transformed objective value is always integral (scale: 1)
647.18/647.41	c Presolving Time: 643.44
647.18/647.43	c OPT-LIN
647.18/647.43	c -----------------------------------------------------------------------------------------------
647.18/647.43	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
647.18/647.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
647.18/647.43	c limits/memory = c 13950
647.18/647.43	c # maximal time in seconds to run
647.18/647.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
647.18/647.43	c limits/time = c 1791
647.18/647.43	c # frequency for displaying node information lines
647.18/647.43	c # [type: int, range: [-1,2147483647], default: 100]
647.18/647.43	c display/freq = c 10000
647.18/647.43	c -----------------------------------------------------------------------------------------------
647.18/647.43	c start solving problem
647.18/647.43	c 
712.38/712.62	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
712.38/712.62	c   709s|     1 |     0 | 27852 |2057M|   0 | 123 |  30k|  97k|  97k|  30k|  97k|   0 |   0 |   0 | 5.700000e+01 |      --      |    Inf 
1575.93/1576.33	c  1563s|     1 |     0 | 69060 |2058M|   0 | 576 |  30k|  97k|  97k|  30k|  97k|  51 |   0 |   0 | 5.700000e+01 |      --      |    Inf 
1627.62/1628.07	c  1614s|     1 |     0 | 77525 |2060M|   0 | 816 |  30k|  97k|  97k|  30k|  97k|  90 |   0 |   0 | 5.700000e+01 |      --      |    Inf 
1713.19/1713.65	c  1700s|     1 |     0 | 93575 |2063M|   0 | 886 |  30k|  97k|  97k|  30k|  97k| 154 |   0 |   0 | 5.700000e+01 |      --      |    Inf 
1760.08/1760.58	c  1747s|     1 |     0 |102957 |2065M|   0 | 890 |  30k|  97k|  97k|  30k|  97k| 188 |   0 |   0 | 5.700000e+01 |      --      |    Inf 

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740190-1338758293/watcher-3740190-1338758293 -o /tmp/evaluation-result-3740190-1338758293/solver-3740190-1338758293 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740190-1338758293.opb 

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.08 2.06 2.01 3/176 28742
/proc/meminfo: memFree=27938156/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=8868 CPUtime=0 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 1561 0 0 0 0 0 0 0 20 0 1 0 341953889 9080832 1514 33554432000 4194304 7823515 140737255227760 140735523276648 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 2217 1514 354 887 0 1327 0

[startup+0.083794 s]
/proc/loadavg: 2.08 2.06 2.01 3/176 28742
/proc/meminfo: memFree=27938156/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=24392 CPUtime=0.08 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 5227 0 0 0 7 1 0 0 20 0 1 0 341953889 24977408 5181 33554432000 4194304 7823515 140737255227760 140735523276648 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 6098 5215 354 887 0 5208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24392

[startup+0.100356 s]
/proc/loadavg: 2.08 2.06 2.01 3/176 28742
/proc/meminfo: memFree=27938156/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=25828 CPUtime=0.09 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 5785 0 0 0 8 1 0 0 20 0 1 0 341953889 26447872 5738 33554432000 4194304 7823515 140737255227760 140735523276648 5537893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 6457 5738 354 887 0 5567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25828

[startup+0.300301 s]
/proc/loadavg: 2.08 2.06 2.01 3/176 28742
/proc/meminfo: memFree=27938156/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=40744 CPUtime=0.29 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 9512 0 0 0 28 1 0 0 20 0 1 0 341953889 41721856 9465 33554432000 4194304 7823515 140737255227760 140735523276648 5011134 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 10186 9465 354 887 0 9296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40744

[startup+0.7003 s]
/proc/loadavg: 2.08 2.06 2.01 3/176 28742
/proc/meminfo: memFree=27938156/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=75252 CPUtime=0.69 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 18130 0 0 0 66 3 0 0 20 0 1 0 341953889 77058048 18083 33554432000 4194304 7823515 140737255227760 140735523276648 4765623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 18813 18083 354 887 0 17923 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75252

[startup+1.50032 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 28743
/proc/meminfo: memFree=27763912/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=245172 CPUtime=1.49 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 60548 0 0 0 139 10 0 0 20 0 1 0 341953889 251056128 60147 33554432000 4194304 7823515 140737255227760 140737255224072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 61293 60147 427 887 0 60403 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 245172

[startup+3.1003 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 28743
/proc/meminfo: memFree=27645244/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=379976 CPUtime=3.09 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 92830 0 0 0 292 17 0 0 20 0 1 0 341953889 389095424 92429 33554432000 4194304 7823515 140737255227760 140737255224696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 94994 92429 427 887 0 94104 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 379976

[startup+6.30029 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 28743
/proc/meminfo: memFree=27515912/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=479360 CPUtime=6.29 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 117529 0 0 0 592 37 0 0 20 0 1 0 341953889 490864640 116781 33554432000 4194304 7823515 140737255227760 140737255224696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 119840 116781 440 887 0 118950 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 479360

[startup+12.7003 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 28743
/proc/meminfo: memFree=27408960/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=550136 CPUtime=12.69 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 132106 0 0 0 1228 41 0 0 20 0 1 0 341953889 563339264 133805 33554432000 4194304 7823515 140737255227760 140737255223624 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 137534 133805 460 887 0 136644 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 550136

[startup+25.5003 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 28743
/proc/meminfo: memFree=27364328/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=593900 CPUtime=25.48 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 142258 0 0 0 2505 43 0 0 20 0 1 0 341953889 608153600 143957 33554432000 4194304 7823515 140737255227760 140737255224456 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 148475 143957 460 887 0 147585 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 593900

[startup+51.1003 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 28743
/proc/meminfo: memFree=27278892/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=680288 CPUtime=51.08 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 163308 0 0 0 5060 48 0 0 20 0 1 0 341953889 696614912 165007 33554432000 4194304 7823515 140737255227760 140737255223816 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 170072 165007 460 887 0 169182 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 680288

[startup+102.307 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 28743
/proc/meminfo: memFree=27088236/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=872536 CPUtime=102.27 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 210322 0 0 0 10171 56 0 0 20 0 1 0 341953889 893476864 212019 33554432000 4194304 7823515 140737255227760 140737255224456 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 218134 212019 461 887 0 217244 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 872536

[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/178 28746
/proc/meminfo: memFree=26893080/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=1071736 CPUtime=162.24 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 258923 0 0 0 16156 68 0 0 20 0 1 0 341953889 1097457664 260809 33554432000 4194304 7823515 140737255227760 140737255224456 5802402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 267934 260809 461 887 0 267044 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1071736

[startup+222.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 28746
/proc/meminfo: memFree=26671900/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=1289552 CPUtime=222.21 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 314277 0 0 0 22125 96 0 0 20 0 1 0 341953889 1320501248 316409 33554432000 4194304 7823515 140737255227760 140737255224456 4787558 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 322388 316409 466 887 0 321498 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1289552

[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 28747
/proc/meminfo: memFree=26476628/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=1488500 CPUtime=282.19 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 363351 0 0 0 28092 127 0 0 20 0 1 0 341953889 1524224000 365476 33554432000 4194304 7823515 140737255227760 140737255224456 5803135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 372125 365476 466 887 0 371235 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1488500

[startup+342.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 28747
/proc/meminfo: memFree=26266600/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=1697712 CPUtime=342.16 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 415448 0 0 0 34054 162 0 0 20 0 1 0 341953889 1738457088 417564 33554432000 4194304 7823515 140737255227760 140737255224456 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 424428 417564 466 887 0 423538 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1697712

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 28747
/proc/meminfo: memFree=26069044/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=1896488 CPUtime=402.14 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 465259 0 0 0 40016 198 0 0 20 0 1 0 341953889 1942003712 467545 33554432000 4194304 7823515 140737255227760 140737255224456 5102375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 474122 467545 466 887 0 473232 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1896488

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 28747
/proc/meminfo: memFree=25863232/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2097968 CPUtime=462.12 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 515339 0 0 0 45985 227 0 0 20 0 1 0 341953889 2148319232 518082 33554432000 4194304 7823515 140737255227760 140737255223624 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 524492 518082 466 887 0 523602 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 2097968

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 28747
/proc/meminfo: memFree=25669216/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2291084 CPUtime=522.11 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 563914 0 0 0 51954 257 0 0 20 0 1 0 341953889 2346070016 567039 33554432000 4194304 7823515 140737255227760 140737255224456 4799920 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 572771 567039 466 887 0 571881 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 2291084

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 28748
/proc/meminfo: memFree=25471820/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2488540 CPUtime=582.1 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 612498 0 0 0 57927 283 0 0 20 0 1 0 341953889 2548264960 615682 33554432000 4194304 7823515 140737255227760 140737255224456 5803127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 622135 615682 466 887 0 621245 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 2488540

[startup+642.3 s]

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

/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664615 0 0 0 105501 700 0 0 20 0 1 0 341953889 2812919808 679042 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679042 561 887 0 685858 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 2746992

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 28791
/proc/meminfo: memFree=24214000/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2746992 CPUtime=1122 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664618 0 0 0 111411 789 0 0 20 0 1 0 341953889 2812919808 679120 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679120 561 887 0 685858 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 2746992

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 28792
/proc/meminfo: memFree=23956356/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2746992 CPUtime=1181.99 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664623 0 0 0 117331 868 0 0 20 0 1 0 341953889 2812919808 679165 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679165 561 887 0 685858 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 2746992

[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 28792
/proc/meminfo: memFree=23766320/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2746992 CPUtime=1241.98 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664627 0 0 0 123248 950 0 0 20 0 1 0 341953889 2812919808 679213 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679213 561 887 0 685858 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 2746992

[startup+1302.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 28792
/proc/meminfo: memFree=23764844/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2746992 CPUtime=1301.97 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664628 0 0 0 129168 1029 0 0 20 0 1 0 341953889 2812919808 679239 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679239 561 887 0 685858 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 2746992

[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 28795
/proc/meminfo: memFree=23764508/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2746992 CPUtime=1361.96 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664630 0 0 0 135085 1111 0 0 20 0 1 0 341953889 2812919808 679378 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679378 561 887 0 685858 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 2746992

[startup+1422.31 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 28795
/proc/meminfo: memFree=23764032/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2746992 CPUtime=1421.95 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664634 0 0 0 140997 1198 0 0 20 0 1 0 341953889 2812919808 679451 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679451 561 887 0 685858 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 2746992

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 28796
/proc/meminfo: memFree=23726536/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2787448 CPUtime=1481.93 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 666467 0 0 0 146932 1261 0 0 20 0 1 0 341953889 2854346752 689080 33554432000 4194304 7823515 140737255227760 140737255223544 5562298 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 696862 689080 561 887 0 695972 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 2787448

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 28796
/proc/meminfo: memFree=23366980/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3070112 CPUtime=1541.92 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 673890 0 0 0 152925 1267 0 0 20 0 1 0 341953889 3143794688 752387 33554432000 4194304 7823515 140737255227760 140737255223336 6908032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 767528 752387 575 887 0 766638 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 3070112

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28796
/proc/meminfo: memFree=23272092/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3084092 CPUtime=1601.91 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 675566 0 0 0 158914 1277 0 0 20 0 1 0 341953889 3158110208 755679 33554432000 4194304 7823515 140737255227760 140737255223560 6908067 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 771023 755679 575 887 0 770133 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 3084092

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 28796
/proc/meminfo: memFree=23248120/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3084092 CPUtime=1661.91 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 675719 0 0 0 164908 1283 0 0 20 0 1 0 341953889 3158110208 759104 33554432000 4194304 7823515 140737255227760 140737255223096 6212340 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 771023 759104 575 887 0 770133 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 3084092

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28796
/proc/meminfo: memFree=23233972/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3084092 CPUtime=1721.89 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 675730 0 0 0 170900 1289 0 0 20 0 1 0 341953889 3158110208 760526 33554432000 4194304 7823515 140737255227760 140737255224456 5566647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 771023 760526 575 887 0 770133 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 3084092

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28797
/proc/meminfo: memFree=23221128/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3092508 CPUtime=1781.88 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 676249 0 0 0 176891 1297 0 0 20 0 1 0 341953889 3166728192 761966 33554432000 4194304 7823515 140737255227760 140737255223560 6212404 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 773127 761966 575 887 0 772237 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 3092508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28797
/proc/meminfo: memFree=23220972/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3092508 CPUtime=1800.08 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 676249 0 0 0 178709 1299 0 0 20 0 1 0 341953889 3166728192 761966 33554432000 4194304 7823515 140737255227760 140737255223096 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 773127 761966 575 887 0 772237 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3092508

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -28742

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28798
/proc/meminfo: memFree=23220972/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3092508 CPUtime=1800.98 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 676249 0 0 0 178799 1299 0 0 20 0 1 0 341953889 3166728192 761966 33554432000 4194304 7823515 140737255227760 140737255223096 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 773127 761966 575 887 0 772237 0
Current children cumulated CPU time (s) 1800.98
Current children cumulated vsize (KiB) 3092508

[startup+1802.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28798
/proc/meminfo: memFree=23220964/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3092508 CPUtime=1801.77 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 676249 0 0 0 178878 1299 0 0 20 0 1 0 341953889 3166728192 761966 33554432000 4194304 7823515 140737255227760 140737255223448 6212771 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 773127 761966 575 887 0 772237 0
Current children cumulated CPU time (s) 1801.77
Current children cumulated vsize (KiB) 3092508

[startup+1802.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28798
/proc/meminfo: memFree=23220964/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3092508 CPUtime=1801.97 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 676249 0 0 0 178898 1299 0 0 20 0 1 0 341953889 3166728192 761966 33554432000 4194304 7823515 140737255227760 140737255223448 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 773127 761966 575 887 0 772237 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 3092508

[startup+1802.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28798
/proc/meminfo: memFree=23220964/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3092508 CPUtime=1802.07 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 676249 0 0 0 178908 1299 0 0 20 0 1 0 341953889 3166728192 761966 33554432000 4194304 7823515 140737255227760 140737255223448 6205296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 773127 761966 575 887 0 772237 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 3092508

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.11
CPU user time (s): 1789.1
CPU system time (s): 13.018
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 3092508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.1
system time used= 13.018
maximum resident set size= 3047864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 676249
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= 185
involuntary context switches= 1843

runsolver used 5.16721 second user time and 11.4553 second system time

The end

Launcher Data

Begin job on node139 at 2012-06-03 23:18:13
IDJOB=3740190
IDBENCH=76800
IDSOLVER=2321
FILE ID=node139/3740190-1338758293
RUNJOBID= node139-1338748983-27007
PBS_JOBID= 14636794
Free space on /tmp= 71084 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j603_6.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740190-1338758293/watcher-3740190-1338758293 -o /tmp/evaluation-result-3740190-1338758293/solver-3740190-1338758293 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740190-1338758293.opb

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

MD5SUM BENCH= 44ae13ddffa8a8b71890c24d41e909fa
RANDOM SEED=1580560004

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27938916 kB
Buffers:          512476 kB
Cached:          3365672 kB
SwapCached:          828 kB
Active:          1924796 kB
Inactive:        2134320 kB
Active(anon):     174884 kB
Inactive(anon):     7952 kB
Active(file):    1749912 kB
Inactive(file):  2126368 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:             13240 kB
Writeback:             0 kB
AnonPages:        186764 kB
Mapped:            13812 kB
Shmem:                 8 kB
Slab:             734784 kB
SReclaimable:     176876 kB
SUnreclaim:       557908 kB
KernelStack:        1464 kB
PageTables:         4144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     298432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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= 71072 MiB
End job on node139 at 2012-06-03 23:48:16