Trace number 3740579

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.13 1802.48

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9038_7.std.opb
MD5SUMb944dc0c215a8bed23a25a3922ccdbc9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark85
Best CPU time to get the best result obtained on this benchmark0.227965
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 constraints192680
Number of constraints which are clauses191480
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 constraint51
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.01	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-3740579-1338741274.opb>
1.18/1.23	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192680 constraints
1.18/1.23	c problem read
1.18/1.23	c presolving settings loaded
1.58/1.61	c presolving:
6.59/6.67	c (round 1) 5403 del vars, 15556 del conss, 4269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13055050 impls, 0 clqs
8.48/8.53	c (round 2) 9794 del vars, 34897 del conss, 8395 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13079973 impls, 0 clqs
8.98/9.04	c (round 3) 11419 del vars, 42596 del conss, 9307 chg bounds, 41 chg sides, 28 chg coeffs, 0 upgd conss, 13092732 impls, 0 clqs
9.28/9.38	c (round 4) 12328 del vars, 46298 del conss, 9890 chg bounds, 48 chg sides, 42 chg coeffs, 0 upgd conss, 13098985 impls, 0 clqs
9.48/9.58	c (round 5) 12876 del vars, 48616 del conss, 10201 chg bounds, 48 chg sides, 42 chg coeffs, 0 upgd conss, 13103244 impls, 0 clqs
9.68/9.70	c (round 6) 13182 del vars, 49932 del conss, 10383 chg bounds, 48 chg sides, 42 chg coeffs, 0 upgd conss, 13105791 impls, 0 clqs
9.79/9.80	c (round 7) 13390 del vars, 50808 del conss, 10507 chg bounds, 48 chg sides, 42 chg coeffs, 0 upgd conss, 13107687 impls, 0 clqs
9.79/9.88	c (round 8) 13502 del vars, 51350 del conss, 10577 chg bounds, 48 chg sides, 42 chg coeffs, 0 upgd conss, 13108387 impls, 0 clqs
9.89/9.94	c (round 9) 13552 del vars, 51593 del conss, 10609 chg bounds, 48 chg sides, 42 chg coeffs, 0 upgd conss, 13108713 impls, 0 clqs
9.89/9.99	c (round 10) 13580 del vars, 51723 del conss, 10627 chg bounds, 48 chg sides, 42 chg coeffs, 0 upgd conss, 13108891 impls, 0 clqs
9.98/10.03	c (round 11) 13600 del vars, 51809 del conss, 10640 chg bounds, 48 chg sides, 42 chg coeffs, 0 upgd conss, 13109005 impls, 0 clqs
9.98/10.08	c (round 12) 13608 del vars, 51851 del conss, 10645 chg bounds, 48 chg sides, 42 chg coeffs, 0 upgd conss, 13109057 impls, 0 clqs
519.70/519.82	c    (518.6s) probing: 1000/41172 (2.4%) - 0 fixings, 0 aggregations, 11581083 implications, 0 bound changes
876.30/876.57	c    (875.3s) probing: 2000/41172 (4.9%) - 0 fixings, 0 aggregations, 19118223 implications, 0 bound changes
876.60/876.86	c    (875.6s) probing: 2001/41172 (4.9%) - 0 fixings, 0 aggregations, 19124819 implications, 0 bound changes
876.60/876.86	c    (875.6s) probing aborted: 2000/2000 successive useless probings
876.60/876.86	c (round 13) 13610 del vars, 51866 del conss, 10646 chg bounds, 48 chg sides, 42 chg coeffs, 0 upgd conss, 78494475 impls, 0 clqs
877.20/877.48	c (round 14) 13610 del vars, 51866 del conss, 10646 chg bounds, 48 chg sides, 42 chg coeffs, 140814 upgd conss, 78494475 impls, 0 clqs
878.00/878.23	c (round 15) 13610 del vars, 51873 del conss, 10646 chg bounds, 94 chg sides, 453 chg coeffs, 140814 upgd conss, 78494475 impls, 0 clqs
952.78/953.06	c    (951.8s) probing: 2201/41172 (5.3%) - 0 fixings, 0 aggregations, 19998563 implications, 0 bound changes
952.78/953.06	c    (951.8s) probing aborted: 2000/2000 successive useless probings
952.78/953.07	c presolving (16 rounds):
952.78/953.07	c  13610 deleted vars, 51874 deleted constraints, 10646 tightened bounds, 0 added holes, 104 changed sides, 485 changed coefficients
952.78/953.07	c  81265117 implications, 3 cliques
952.78/953.07	c presolved problem has 41172 variables (41172 bin, 0 int, 0 impl, 0 cont) and 140845 constraints
952.78/953.07	c    1123 constraints of type <knapsack>
952.78/953.07	c  119380 constraints of type <setppc>
952.78/953.07	c   20342 constraints of type <logicor>
952.78/953.07	c transformed objective value is always integral (scale: 1)
952.78/953.07	c Presolving Time: 951.56
952.78/953.07	c - non default parameters ----------------------------------------------------------------------
952.78/953.07	c # SCIP version 1.2.1.3
952.78/953.07	c 
952.78/953.07	c # frequency for displaying node information lines
952.78/953.07	c # [type: int, range: [-1,2147483647], default: 100]
952.78/953.07	c display/freq = 10000
952.78/953.07	c 
952.78/953.07	c # maximal time in seconds to run
952.78/953.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
952.78/953.07	c limits/time = 1788.79
952.78/953.07	c 
952.78/953.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
952.78/953.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
952.78/953.07	c limits/memory = 13950
952.78/953.07	c 
952.78/953.07	c # default clock type (1: CPU user seconds, 2: wall clock time)
952.78/953.07	c # [type: int, range: [1,2], default: 1]
952.78/953.07	c timing/clocktype = 2
952.78/953.07	c 
952.78/953.07	c # should presolving try to simplify inequalities
952.78/953.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
952.78/953.07	c constraints/linear/simplifyinequalities = TRUE
952.78/953.07	c 
952.78/953.07	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
952.78/953.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
952.78/953.07	c constraints/indicator/addCouplingCons = TRUE
952.78/953.07	c 
952.78/953.07	c # should presolving try to simplify knapsacks
952.78/953.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
952.78/953.07	c constraints/knapsack/simplifyinequalities = TRUE
952.78/953.07	c 
952.78/953.07	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
952.78/953.07	c # [type: int, range: [-1,2147483647], default: -1]
952.78/953.07	c separating/rapidlearning/freq = 0
952.78/953.07	c 
952.78/953.07	c -----------------------------------------------------------------------------------------------
952.78/953.07	c start solving
952.78/953.08	c 
1203.15/1203.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1203.15/1203.44	c  1202s|     1 |     0 | 55766 |     - |2357M|   0 | 429 |  41k| 140k|  41k| 140k|   0 |   0 |   0 | 8.500000e+01 |      --      |    Inf 
1800.04/1800.40	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-3740579-1338741274/watcher-3740579-1338741274 -o /tmp/evaluation-result-3740579-1338741274/solver-3740579-1338741274 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740579-1338741274.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26517
/proc/meminfo: memFree=25225868/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/26517/stat : 26517 (runsolver) D 26515 26517 21683 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 340251939 12095488 51 33554432000 4194304 5436572 140735511077792 140735511074088 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/26517/statm: 2953 51 31 304 0 2645 0

[startup+0.0785859 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26517
/proc/meminfo: memFree=25225868/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=23696 CPUtime=0.06 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 5187 0 0 0 6 0 0 0 20 0 1 0 340251939 24264704 5134 33554432000 4194304 8395647 140737087900192 140735511073976 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 5924 5134 393 1026 0 4894 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23696

[startup+0.100318 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26517
/proc/meminfo: memFree=25225868/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=26208 CPUtime=0.08 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 5824 0 0 0 8 0 0 0 20 0 1 0 340251939 26836992 5771 33554432000 4194304 8395647 140737087900192 140735511073976 7301452 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 6552 5771 393 1026 0 5522 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26208

[startup+0.300264 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26517
/proc/meminfo: memFree=25225868/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=47012 CPUtime=0.28 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 10974 0 0 0 27 1 0 0 20 0 1 0 340251939 48140288 10921 33554432000 4194304 8395647 140737087900192 140737087765400 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 11753 10921 393 1026 0 10723 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 47012

[startup+0.700265 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26517
/proc/meminfo: memFree=25225868/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=73328 CPUtime=0.69 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 17551 0 0 0 66 3 0 0 20 0 1 0 340251939 75087872 17498 33554432000 4194304 8395647 140737087900192 140737087765400 7301504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 18332 17498 393 1026 0 17302 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73328

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26518
/proc/meminfo: memFree=25129736/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=270072 CPUtime=1.49 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 66985 0 0 0 140 9 0 0 20 0 1 0 340251939 276553728 66578 33554432000 4194304 8395647 140737087900192 140737087896632 7385107 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 67518 66578 420 1026 0 66488 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 270072

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26518
/proc/meminfo: memFree=24886556/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=445460 CPUtime=3.08 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 110073 0 0 0 294 14 0 0 20 0 1 0 340251939 456151040 109666 33554432000 4194304 8395647 140737087900192 140737087895944 6080336 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 111365 109666 469 1026 0 110335 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 445460

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26518
/proc/meminfo: memFree=24609796/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=675760 CPUtime=6.28 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 165542 0 0 0 606 22 0 0 20 0 1 0 340251939 691978240 165135 33554432000 4194304 8395647 140737087900192 140737087895944 4971780 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 168940 165135 475 1026 0 167910 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 675760

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26518
/proc/meminfo: memFree=24505884/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=734208 CPUtime=12.68 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 179272 0 0 0 1245 23 0 0 20 0 1 0 340251939 751828992 178757 33554432000 4194304 8395647 140737087900192 140737087896056 6080679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 183552 178757 483 1026 0 182522 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 734208

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26518
/proc/meminfo: memFree=24452184/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=774260 CPUtime=25.48 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 189012 0 0 0 2523 25 0 0 20 0 1 0 340251939 792842240 188497 33554432000 4194304 8395647 140737087900192 140737087896200 6080328 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 193565 188497 483 1026 0 192535 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 774260

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26519
/proc/meminfo: memFree=24372288/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=839044 CPUtime=51.07 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 204557 0 0 0 5080 27 0 0 20 0 1 0 340251939 859181056 204042 33554432000 4194304 8395647 140737087900192 140737087896264 6080705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 209761 204042 483 1026 0 208731 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 839044

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26519
/proc/meminfo: memFree=24195500/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=970388 CPUtime=102.27 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 236588 0 0 0 10196 31 0 0 20 0 1 0 340251939 993677312 236073 33554432000 4194304 8395647 140737087900192 140737087896264 5031099 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 242597 236073 483 1026 0 241567 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 970388

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26519
/proc/meminfo: memFree=23895340/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=1218124 CPUtime=162.26 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 298077 0 0 0 16186 40 0 0 20 0 1 0 340251939 1247358976 297562 33554432000 4194304 8395647 140737087900192 140737087896056 6080661 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 304531 297562 483 1026 0 303501 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1218124

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26520
/proc/meminfo: memFree=23595908/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=1470340 CPUtime=222.25 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 361500 0 0 0 22175 50 0 0 20 0 1 0 340251939 1505628160 360985 33554432000 4194304 8395647 140737087900192 140737087896264 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 367585 360985 483 1026 0 366555 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1470340

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26520
/proc/meminfo: memFree=23340868/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=1680956 CPUtime=282.24 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 414262 0 0 0 28164 60 0 0 20 0 1 0 340251939 1721298944 413747 33554432000 4194304 8395647 140737087900192 140737087896264 7385355 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 420239 413747 483 1026 0 419209 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1680956

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26523
/proc/meminfo: memFree=23087308/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=1896444 CPUtime=342.23 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 468026 0 0 0 34153 70 0 0 20 0 1 0 340251939 1941958656 467511 33554432000 4194304 8395647 140737087900192 140737087896264 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 474111 467511 483 1026 0 473081 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1896444

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26523
/proc/meminfo: memFree=22833404/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=2116592 CPUtime=402.23 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 522197 0 0 0 40144 79 0 0 20 0 1 0 340251939 2167390208 521682 33554432000 4194304 8395647 140737087900192 140737087896264 4995703 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 529148 521682 483 1026 0 528118 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2116592

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26523
/proc/meminfo: memFree=22658840/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=2246260 CPUtime=462.21 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 554776 0 0 0 46135 86 0 0 20 0 1 0 340251939 2300170240 554261 33554432000 4194304 8395647 140737087900192 140737087896056 4737477 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 561565 554261 483 1026 0 560535 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2246260

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26562
/proc/meminfo: memFree=24923748/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=2417700 CPUtime=522.19 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 597890 0 0 0 52126 93 0 0 20 0 1 0 340251939 2475724800 597457 33554432000 4194304 8395647 140737087900192 140737087896264 6080336 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 604425 597457 489 1026 0 603395 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 2417700

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26562
/proc/meminfo: memFree=24694376/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=2510432 CPUtime=582.16 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 621481 0 0 0 58118 98 0 0 20 0 1 0 340251939 2570682368 621038 33554432000 4194304 8395647 140737087900192 140737087896056 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 627608 621038 489 1026 0 626578 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 2510432

[startup+642.3 s]

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

/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 808814 0 0 0 100070 137 0 0 20 0 1 0 340251939 3401940992 820486 33554432000 4194304 8395647 140737087900192 140737087895320 6698051 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 830552 820486 586 1026 0 829522 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 3322208

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26566
/proc/meminfo: memFree=22813588/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3330112 CPUtime=1062.07 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 811097 0 0 0 106065 142 0 0 20 0 1 0 340251939 3410034688 823331 33554432000 4194304 8395647 140737087900192 140737087895320 6698227 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 832528 823331 586 1026 0 831498 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 3330112

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26567
/proc/meminfo: memFree=22763200/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3342172 CPUtime=1122.05 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 812724 0 0 0 112059 146 0 0 20 0 1 0 340251939 3422384128 827474 33554432000 4194304 8395647 140737087900192 140737087895320 6697959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 835543 827474 586 1026 0 834513 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 3342172

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26567
/proc/meminfo: memFree=22723796/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3342836 CPUtime=1182.05 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 812864 0 0 0 118054 151 0 0 20 0 1 0 340251939 3423064064 827626 33554432000 4194304 8395647 140737087900192 140737087895320 6697804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 835709 827626 586 1026 0 834679 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 3342836

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26567
/proc/meminfo: memFree=22660460/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3344344 CPUtime=1242.04 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813224 0 0 0 124049 155 0 0 20 0 1 0 340251939 3424608256 827922 33554432000 4194304 8395647 140737087900192 140737087894712 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 836086 827922 591 1026 0 835056 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 3344344

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26567
/proc/meminfo: memFree=22612684/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1302.03 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813251 0 0 0 130042 161 0 0 20 0 1 0 340251939 3429249024 828519 33554432000 4194304 8395647 140737087900192 140737087895480 7382137 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 828519 607 1026 0 836189 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 3348876

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26567
/proc/meminfo: memFree=22552572/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1362.02 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813279 0 0 0 136041 161 0 0 20 0 1 0 340251939 3429249024 828657 33554432000 4194304 8395647 140737087900192 140737087895480 5792805 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 828657 613 1026 0 836189 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 3348876

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26568
/proc/meminfo: memFree=22505356/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1422.02 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813293 0 0 0 142041 161 0 0 20 0 1 0 340251939 3429249024 828710 33554432000 4194304 8395647 140737087900192 140737087895480 5792805 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 828710 613 1026 0 836189 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 3348876

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26568
/proc/meminfo: memFree=22453552/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1482 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813309 0 0 0 148039 161 0 0 20 0 1 0 340251939 3429249024 828782 33554432000 4194304 8395647 140737087900192 140737087895480 5792955 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 828782 613 1026 0 836189 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 3348876

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26571
/proc/meminfo: memFree=22403840/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1541.99 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813314 0 0 0 154038 161 0 0 20 0 1 0 340251939 3429249024 828911 33554432000 4194304 8395647 140737087900192 140737087895480 5792943 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 828911 613 1026 0 836189 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 3348876

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26594
/proc/meminfo: memFree=22209160/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1601.97 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813318 0 0 0 160036 161 0 0 20 0 1 0 340251939 3429249024 828999 33554432000 4194304 8395647 140737087900192 140737087895480 5792689 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 828999 613 1026 0 836189 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 3348876

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26594
/proc/meminfo: memFree=22187056/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1661.96 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813319 0 0 0 166035 161 0 0 20 0 1 0 340251939 3429249024 829036 33554432000 4194304 8395647 140737087900192 140737087895480 5792894 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 829036 613 1026 0 836189 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 3348876

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26595
/proc/meminfo: memFree=22177904/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1721.95 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813325 0 0 0 172034 161 0 0 20 0 1 0 340251939 3429249024 829044 33554432000 4194304 8395647 140737087900192 140737087895480 5792894 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 829044 613 1026 0 836189 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 3348876

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26595
/proc/meminfo: memFree=22158952/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1781.94 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813330 0 0 0 178033 161 0 0 20 0 1 0 340251939 3429249024 829122 33554432000 4194304 8395647 140737087900192 140737087895480 5792673 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 829122 613 1026 0 836189 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 3348876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26595
/proc/meminfo: memFree=22158548/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1800.04 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813390 0 0 0 179843 161 0 0 20 0 1 0 340251939 3429249024 829206 33554432000 4194304 8395647 140737087900192 140737087895480 5794576 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 829206 613 1026 0 836189 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3348876

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -26517

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26596
/proc/meminfo: memFree=22158548/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1801.04 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813390 0 0 0 179943 161 0 0 20 0 1 0 340251939 3429249024 829206 33554432000 4194304 8395647 140737087900192 140737087895488 5794573 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 829206 613 1026 0 836189 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 3348876

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26596
/proc/meminfo: memFree=22158540/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1801.84 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813390 0 0 0 180023 161 0 0 20 0 1 0 340251939 3429249024 829206 33554432000 4194304 8395647 140737087900192 140737087895488 5794565 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 829206 613 1026 0 836189 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3348876

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26596
/proc/meminfo: memFree=22158540/32873844 swapFree=7108/7108
[pid=26517] ppid=26515 vsize=3348876 CPUtime=1802.04 cores=0,2,4,6
/proc/26517/stat : 26517 (pbscip.linux.x8) R 26515 26517 21683 0 -1 4202496 813390 0 0 0 180043 161 0 0 20 0 1 0 340251939 3429249024 829206 33554432000 4194304 8395647 140737087900192 140737087895488 5794553 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 837219 829206 613 1026 0 836189 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3348876

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.48
CPU time (s): 1802.13
CPU user time (s): 1800.44
CPU system time (s): 1.69374
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 3348876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.44
system time used= 1.69374
maximum resident set size= 3316824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 813390
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= 110
involuntary context switches= 1906

runsolver used 2.69959 second user time and 7.19291 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-03 18:34:34
IDJOB=3740579
IDBENCH=77846
IDSOLVER=2326
FILE ID=node139/3740579-1338741274
RUNJOBID= node139-1338713558-21699
PBS_JOBID= 14636736
Free space on /tmp= 71076 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= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9038_7.std.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-3740579-1338741274/watcher-3740579-1338741274 -o /tmp/evaluation-result-3740579-1338741274/solver-3740579-1338741274 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740579-1338741274.opb -t 1800 -m 15500

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

MD5SUM BENCH= b944dc0c215a8bed23a25a3922ccdbc9
RANDOM SEED=1582314595

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:        25226232 kB
Buffers:          508584 kB
Cached:          3353100 kB
SwapCached:          828 kB
Active:          4640056 kB
Inactive:        2126184 kB
Active(anon):    2898884 kB
Inactive(anon):     7952 kB
Active(file):    1741172 kB
Inactive(file):  2118232 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:             15944 kB
Writeback:             0 kB
AnonPages:       2971908 kB
Mapped:            13644 kB
Shmem:                 8 kB
Slab:             734104 kB
SReclaimable:     176348 kB
SUnreclaim:       557756 kB
KernelStack:        1472 kB
PageTables:         9800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3053924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 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= 71068 MiB
End job on node139 at 2012-06-03 19:04:36