Trace number 3744101

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 NameAnswerCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.22 1802.52

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_5_mh_ic.opb
MD5SUM14d236c4d30788af1b7d25ef928578c5
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4811337
Best CPU time to get the best result obtained on this benchmark1800.56
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370300
Total number of constraints847958
Number of constraints which are clauses597900
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints250000
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 132350
Biggest coefficient in the objective function 149721291
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 61017523054
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 149721291
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 61017523054
Number of bits of the biggest sum of numbers36
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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 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-3744101-1338801333.opb>
7.08/7.11	c original problem has 370300 variables (370300 bin, 0 int, 0 impl, 0 cont) and 847958 constraints
7.08/7.11	c problem read
7.08/7.12	c presolving settings loaded
9.69/9.78	c presolving:
13.29/13.31	c (round 1) 11275 del vars, 7354 del conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 0 upgd conss, 1190800 impls, 1 clqs
20.99/21.10	c (round 2) 11275 del vars, 8579 del conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 1190800 impls, 1 clqs
245.25/245.31	c    (238.2s) probing: 1000/359025 (0.3%) - 0 fixings, 0 aggregations, 357821 implications, 0 bound changes
442.02/442.13	c    (435.0s) probing: 2000/359025 (0.6%) - 0 fixings, 0 aggregations, 414549 implications, 0 bound changes
442.22/442.34	c    (435.2s) probing: 2001/359025 (0.6%) - 0 fixings, 0 aggregations, 414586 implications, 0 bound changes
442.22/442.34	c    (435.2s) probing aborted: 2000/2000 successive useless probings
442.22/442.37	c presolving (3 rounds):
442.22/442.37	c  11275 deleted vars, 8579 deleted constraints, 200 tightened bounds, 0 added holes, 1225 changed sides, 84525 changed coefficients
442.22/442.37	c  68723684 implications, 1 cliques
442.22/442.37	c presolved problem has 359025 variables (359025 bin, 0 int, 0 impl, 0 cont) and 839379 constraints
442.22/442.37	c  241475 constraints of type <knapsack>
442.22/442.37	c  356526 constraints of type <setppc>
442.22/442.37	c       3 constraints of type <linear>
442.22/442.37	c  241375 constraints of type <logicor>
442.22/442.37	c transformed objective value is always integral (scale: 1)
442.22/442.37	c Presolving Time: 433.52
442.22/442.37	c - non default parameters ----------------------------------------------------------------------
442.22/442.37	c # SCIP version 1.2.1.3
442.22/442.37	c 
442.22/442.37	c # frequency for displaying node information lines
442.22/442.37	c # [type: int, range: [-1,2147483647], default: 100]
442.22/442.37	c display/freq = 10000
442.22/442.37	c 
442.22/442.37	c # maximal time in seconds to run
442.22/442.37	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
442.22/442.37	c limits/time = 1782.89
442.22/442.37	c 
442.22/442.37	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
442.22/442.37	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
442.22/442.37	c limits/memory = 13950
442.22/442.37	c 
442.22/442.37	c # default clock type (1: CPU user seconds, 2: wall clock time)
442.22/442.37	c # [type: int, range: [1,2], default: 1]
442.22/442.37	c timing/clocktype = 2
442.22/442.37	c 
442.22/442.37	c # should presolving try to simplify inequalities
442.22/442.37	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
442.22/442.37	c constraints/linear/simplifyinequalities = TRUE
442.22/442.37	c 
442.22/442.37	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
442.22/442.37	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
442.22/442.37	c constraints/indicator/addCouplingCons = TRUE
442.22/442.37	c 
442.22/442.37	c # should presolving try to simplify knapsacks
442.22/442.37	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
442.22/442.37	c constraints/knapsack/simplifyinequalities = TRUE
442.22/442.37	c 
442.22/442.37	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
442.22/442.37	c # [type: int, range: [-1,2147483647], default: -1]
442.22/442.37	c separating/rapidlearning/freq = 0
442.22/442.37	c 
442.22/442.37	c -----------------------------------------------------------------------------------------------
442.22/442.37	c start solving
442.42/442.52	c 
568.50/568.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
568.50/568.68	c   562s|     1 |     0 |  6122 |     - |3906M|   0 | 753 | 359k| 839k| 359k| 839k|   0 |   0 |   0 | 6.756509e+05 |      --      |    Inf 
1800.00/1800.31	c pressed CTRL-C 1 times (5 times for forcing termination)

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-3744101-1338801333/watcher-3744101-1338801333 -o /tmp/evaluation-result-3744101-1338801333/solver-3744101-1338801333 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744101-1338801333.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: 1.78 1.95 1.98 3/178 29718
/proc/meminfo: memFree=28718028/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 1 0 346258155 8105984 1196 33554432000 4194304 8395647 140734401732432 140734241732568 7385025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1979 1196 370 1026 0 949 0

[startup+0.0689249 s]
/proc/loadavg: 1.78 1.95 1.98 3/178 29718
/proc/meminfo: memFree=28718028/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=35100 CPUtime=0.06 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 8033 0 0 0 5 1 0 0 20 0 1 0 346258155 35942400 7973 33554432000 4194304 8395647 140734401732432 140734401664264 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 8921 7976 387 1026 0 7891 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 35100

[startup+0.100374 s]
/proc/loadavg: 1.78 1.95 1.98 3/178 29718
/proc/meminfo: memFree=28718028/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=47336 CPUtime=0.09 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 10920 0 0 0 8 1 0 0 20 0 1 0 346258155 48472064 10861 33554432000 4194304 8395647 140734401732432 140734401664264 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 11834 10897 387 1026 0 10804 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47336

[startup+0.3003 s]
/proc/loadavg: 1.78 1.95 1.98 3/178 29718
/proc/meminfo: memFree=28718028/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=108120 CPUtime=0.29 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 25488 0 0 0 25 4 0 0 20 0 1 0 346258155 110714880 25428 33554432000 4194304 8395647 140734401732432 140734401597640 4730225 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 27030 25428 394 1026 0 26000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108120

[startup+1.25368 s]
/proc/loadavg: 1.78 1.95 1.98 3/178 29718
/proc/meminfo: memFree=28718028/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=230232 CPUtime=1.25 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 55989 0 0 0 116 9 0 0 20 0 1 0 346258155 235757568 55929 33554432000 4194304 8395647 140734401732432 140734401597640 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 57558 55929 394 1026 0 56528 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 230232

[startup+1.50027 s]
/proc/loadavg: 1.78 1.95 1.98 3/178 29718
/proc/meminfo: memFree=28718028/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=246364 CPUtime=1.49 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 60083 0 0 0 140 9 0 0 20 0 1 0 346258155 252276736 60023 33554432000 4194304 8395647 140734401732432 140734401597640 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 61591 60023 394 1026 0 60561 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 246364

[startup+3.1003 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 29719
/proc/meminfo: memFree=28095948/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=320776 CPUtime=3.08 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 78588 0 0 0 296 12 0 0 20 0 1 0 346258155 328474624 78528 33554432000 4194304 8395647 140734401732432 140734401597304 7277219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 80194 78528 394 1026 0 79164 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 320776

[startup+6.30704 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 29719
/proc/meminfo: memFree=27610684/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=547412 CPUtime=6.3 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 135235 0 0 0 609 21 0 0 20 0 1 0 346258155 560549888 135175 33554432000 4194304 8395647 140734401732432 140734401597640 4423932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 136853 135175 394 1026 0 135823 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 547412

[startup+12.7003 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 29719
/proc/meminfo: memFree=26572776/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=1621952 CPUtime=12.69 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 398180 0 0 0 1207 62 0 0 20 0 1 0 346258155 1660878848 400321 33554432000 4194304 8395647 140734401732432 140734401729048 18446744073699066235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 405488 400321 475 1026 0 404458 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1621952

[startup+25.5003 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 29719
/proc/meminfo: memFree=25914528/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=2208112 CPUtime=25.48 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 541474 0 0 0 2465 83 0 0 20 0 1 0 346258155 2261106688 543675 33554432000 4194304 8395647 140734401732432 140734401727720 4684131 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 552028 543675 495 1026 0 550998 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2208112

[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 29719
/proc/meminfo: memFree=24536716/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=3406820 CPUtime=51.08 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 841164 0 0 0 4980 128 0 0 20 0 1 0 346258155 3488583680 843365 33554432000 4194304 8395647 140734401732432 140734401727896 6080679 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 851705 843365 495 1026 0 850675 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3406820

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29719
/proc/meminfo: memFree=23633720/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=4017036 CPUtime=102.27 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 988468 0 0 0 10076 151 0 0 20 0 1 0 346258155 4113444864 996743 33554432000 4194304 8395647 140734401732432 140734401728616 4910721 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1004259 996743 507 1026 0 1003229 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 4017036

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29719
/proc/meminfo: memFree=23623220/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=4042616 CPUtime=162.26 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 994780 0 0 0 16074 152 0 0 20 0 1 0 346258155 4139638784 1003055 33554432000 4194304 8395647 140734401732432 140734401728216 5604422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1010654 1003055 507 1026 0 1009624 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 4042616

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29720
/proc/meminfo: memFree=23511644/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=4063076 CPUtime=222.26 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 999940 0 0 0 22073 153 0 0 20 0 1 0 346258155 4160589824 1008215 33554432000 4194304 8395647 140734401732432 140734401728216 4910737 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1015769 1008215 507 1026 0 1014739 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 4063076

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29723
/proc/meminfo: memFree=23489224/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=4075352 CPUtime=282.26 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1003053 0 0 0 28072 154 0 0 20 0 1 0 346258155 4173160448 1011328 33554432000 4194304 8395647 140734401732432 140734401728616 5604533 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1018838 1011328 513 1026 0 1017808 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 4075352

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29723
/proc/meminfo: memFree=23485292/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=4079448 CPUtime=342.24 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1004096 0 0 0 34070 154 0 0 20 0 1 0 346258155 4177354752 1012371 33554432000 4194304 8395647 140734401732432 140734401728296 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1019862 1012371 513 1026 0 1018832 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 4079448

[startup+402.307 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 29723
/proc/meminfo: memFree=23388044/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=4167492 CPUtime=402.23 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1026107 0 0 0 40066 157 0 0 20 0 1 0 346258155 4267511808 1034382 33554432000 4194304 8395647 140734401732432 140734401728296 5210648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1041873 1034382 513 1026 0 1040843 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 4167492

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29723
/proc/meminfo: memFree=22344664/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5305136 CPUtime=462.22 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1166314 0 0 0 46029 193 0 0 20 0 1 0 346258155 5432459264 1293555 33554432000 4194304 8395647 140734401732432 140734401727896 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1326284 1293555 583 1026 0 1325254 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 5305136

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29724
/proc/meminfo: memFree=22303228/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5344616 CPUtime=522.21 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1172232 0 0 0 52015 206 0 0 20 0 1 0 346258155 5472886784 1304679 33554432000 4194304 8395647 140734401732432 140734401727992 6636391 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1336154 1304679 583 1026 0 1335124 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 5344616

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29724
/proc/meminfo: memFree=22243440/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5399964 CPUtime=582.2 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1175716 0 0 0 58000 220 0 0 20 0 1 0 346258155 5529563136 1317883 33554432000 4194304 8395647 140734401732432 140734401726952 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1349991 1317883 589 1026 0 1348961 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 5399964

[startup+642.3 s]

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

/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1190811 0 0 0 111932 278 0 0 20 0 1 0 346258155 5610442752 1337039 33554432000 4194304 8395647 140734401732432 140734401726952 6708388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1369737 1337039 589 1026 0 1368707 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 5478948

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29729
/proc/meminfo: memFree=22153200/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5478476 CPUtime=1182.09 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1191454 0 0 0 117928 281 0 0 20 0 1 0 346258155 5609959424 1330845 33554432000 4194304 8395647 140734401732432 140734401726952 6697246 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1369619 1330845 589 1026 0 1368589 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 5478476

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29729
/proc/meminfo: memFree=22181152/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5447244 CPUtime=1242.08 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1192690 0 0 0 123923 285 0 0 20 0 1 0 346258155 5577977856 1323859 33554432000 4194304 8395647 140734401732432 140734401726952 6697359 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1361811 1323859 589 1026 0 1360781 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 5447244

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29729
/proc/meminfo: memFree=22180932/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5450084 CPUtime=1302.07 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1194370 0 0 0 129915 292 0 0 20 0 1 0 346258155 5580886016 1323869 33554432000 4194304 8395647 140734401732432 140734401727000 6708231 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1362521 1323869 589 1026 0 1361491 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 5450084

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 29729
/proc/meminfo: memFree=22242064/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5363112 CPUtime=1362.06 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1197657 0 0 0 135909 297 0 0 20 0 1 0 346258155 5491826688 1308642 33554432000 4194304 8395647 140734401732432 140734401727624 7385927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1340778 1308642 603 1026 0 1339748 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 5363112

[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29730
/proc/meminfo: memFree=22241968/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5363112 CPUtime=1422.05 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1197658 0 0 0 141906 299 0 0 20 0 1 0 346258155 5491826688 1308755 33554432000 4194304 8395647 140734401732432 140734401727624 6440503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1340778 1308755 603 1026 0 1339748 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 5363112

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29733
/proc/meminfo: memFree=22238888/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5363112 CPUtime=1482.04 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1197658 0 0 0 147902 302 0 0 20 0 1 0 346258155 5491826688 1309454 33554432000 4194304 8395647 140734401732432 140734401727672 6197309 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1340778 1309454 603 1026 0 1339748 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 5363112

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29733
/proc/meminfo: memFree=22238800/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5363112 CPUtime=1542.03 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1197766 0 0 0 153899 304 0 0 20 0 1 0 346258155 5491826688 1309562 33554432000 4194304 8395647 140734401732432 140734401727720 5827855 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1340778 1309562 606 1026 0 1339748 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 5363112

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29733
/proc/meminfo: memFree=22236348/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5363112 CPUtime=1602.03 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1197766 0 0 0 159899 304 0 0 20 0 1 0 346258155 5491826688 1309562 33554432000 4194304 8395647 140734401732432 140734401727720 5827869 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1340778 1309562 606 1026 0 1339748 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 5363112

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29733
/proc/meminfo: memFree=22229984/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5376740 CPUtime=1662.01 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1197813 0 0 0 165897 304 0 0 20 0 1 0 346258155 5505781760 1311142 33554432000 4194304 8395647 140734401732432 140734401726840 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1344185 1311142 606 1026 0 1343155 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 5376740

[startup+1722.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29734
/proc/meminfo: memFree=22221948/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5384024 CPUtime=1722.01 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1198292 0 0 0 171897 304 0 0 20 0 1 0 346258155 5513240576 1312447 33554432000 4194304 8395647 140734401732432 140734401727960 5849658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1346006 1312447 608 1026 0 1344976 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 5384024

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29734
/proc/meminfo: memFree=22221356/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5384024 CPUtime=1781.99 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1198292 0 0 0 177895 304 0 0 20 0 1 0 346258155 5513240576 1312447 33554432000 4194304 8395647 140734401732432 140734401727960 5849640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1346006 1312447 608 1026 0 1344976 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 5384024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29772
/proc/meminfo: memFree=22427740/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5384024 CPUtime=1800 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1198292 0 0 0 179696 304 0 0 20 0 1 0 346258155 5513240576 1312447 33554432000 4194304 8395647 140734401732432 140734401727960 5849640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1346006 1312447 608 1026 0 1344976 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 5384024

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -29718

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29772
/proc/meminfo: memFree=22427740/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5384024 CPUtime=1800.29 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1198292 0 0 0 179725 304 0 0 20 0 1 0 346258155 5513240576 1312447 33554432000 4194304 8395647 140734401732432 140734401727960 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1346006 1312447 608 1026 0 1344976 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 5384024

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29773
/proc/meminfo: memFree=22419980/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5384024 CPUtime=1801.1 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1198292 0 0 0 179806 304 0 0 20 0 1 0 346258155 5513240576 1312447 33554432000 4194304 8395647 140734401732432 140734401727360 5849640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1346006 1312447 608 1026 0 1344976 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 5384024

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29773
/proc/meminfo: memFree=22419980/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5384024 CPUtime=1801.89 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1198292 0 0 0 179885 304 0 0 20 0 1 0 346258155 5513240576 1312447 33554432000 4194304 8395647 140734401732432 140734401727360 5849658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1346006 1312447 608 1026 0 1344976 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 5384024

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29773
/proc/meminfo: memFree=22419980/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=0 CPUtime=1802.09 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4203524 1198292 0 0 0 179896 313 0 0 20 0 1 0 346258155 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 0

[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29773
/proc/meminfo: memFree=27411760/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=0 CPUtime=1802.2 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4203524 1198292 0 0 0 179896 324 0 0 20 0 1 0 346258155 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.22
CPU user time (s): 1798.97
CPU system time (s): 3.2555
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 5577112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 3.2555
maximum resident set size= 5409864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1198292
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= 23
involuntary context switches= 1857

runsolver used 3.10953 second user time and 8.60569 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-04 11:15:34
IDJOB=3744101
IDBENCH=92688
IDSOLVER=2326
FILE ID=node135/3744101-1338801333
RUNJOBID= node135-1338801333-29691
PBS_JOBID= 14636817
Free space on /tmp= 70932 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_5_mh_ic.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744101-1338801333/watcher-3744101-1338801333 -o /tmp/evaluation-result-3744101-1338801333/solver-3744101-1338801333 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744101-1338801333.opb -t 1800 -m 15500

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

MD5SUM BENCH= 14d236c4d30788af1b7d25ef928578c5
RANDOM SEED=1151239029

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28737156 kB
Buffers:          391696 kB
Cached:          2805980 kB
SwapCached:         1672 kB
Active:          1368576 kB
Inactive:        1915476 kB
Active(anon):      76628 kB
Inactive(anon):    12036 kB
Active(file):    1291948 kB
Inactive(file):  1903440 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:             62660 kB
Writeback:             0 kB
AnonPages:         94316 kB
Mapped:            11720 kB
Shmem:               132 kB
Slab:             711960 kB
SReclaimable:     153400 kB
SUnreclaim:       558560 kB
KernelStack:        1408 kB
PageTables:         4044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     201856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 70900 MiB
End job on node135 at 2012-06-04 11:45:36