Trace number 3463114

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
bsolo 3.2SAT17408 1798.01 1797.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM687e90f40c46b53feec9c54ee9b43fa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15360
Best CPU time to get the best result obtained on this benchmark1798.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15360
Optimality of the best value was proved NO
Number of variables163
Total number of constraints73
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint11
Maximum length of a constraint102
Number of terms in the objective function 163
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 74742
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 74742
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463114-1307175411.opb
0.00/0.00	c File size is 50269 bytes.
0.00/0.00	c Highest Coefficient sum: 74742
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 163 Constr: 73 0/3/70 Lit: 5326 Watch. Lit: 548
0.00/0.00	c Obj. Vars: 163 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    163       73     5326   72      548   10705      0      0 0.01
0.00/0.01	c Initial Lower Bound: 13312
0.00/0.01	c Initial Path Cost: 0
0.00/0.01	o 20480
0.02/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.09	c        0    163       74     5489   74      693   11031      1      0 0.01
0.02/0.09	o 18432
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0    163       75     5652   75      749   11357      2      0 0.09
0.09/0.18	o 17408
1797.94/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.95	c        3    163       84     6848   81     1007   11357     11     16 0.18
1797.94/1797.95	c      104    163      385    50405  130     1667   12493    312    245 0.42
1797.94/1797.95	c      355    163     1137   145715  128     3269   13743   1064    437 0.81
1797.94/1797.95	c      832    163     2565   353578  137     6138   15118   2492    578 1.44
1797.94/1797.95	c     1645    163     5004   542264  108    10985   16630   4931    675 2.43
1797.94/1797.95	c     2966    163     8873   901187  101    18731   18294   8800    724 4.10
1797.94/1797.95	c     5048    163    15099  1485685   98    31184   20124  15026    689 7.32
1797.94/1797.95	c     8271    163    14615  1204063   82    29774   22137  14542    683 12.10
1797.94/1797.95	c    13210    163    18275  1348143   73    37082   24351  18202    654 20.18
1797.94/1797.95	c    20719    163    16285  1269608   77    33109   26787  16212    538 38.51
1797.94/1797.95	c    32081    163    23406  1834487   78    47344   29466  23333    491 65.25
1797.94/1797.95	c    49226    163    15591  1227154   78    31717   32413  15518    399 123.16
1797.94/1797.95	c    75045    163    27870  2192932   78    56276   35655  27797    380 197.32
1797.94/1797.95	c   113877    163    19062  1495040   78    38659   39221  18989    343 331.47
1797.94/1797.95	c   172229    163    36104  3567037   98    72796   43144  36031    338 509.53
1797.94/1797.95	c   259862    163    38806  3962473  102    78178   47459  38733    340 762.45
1797.94/1797.95	c   391414    163    30933  2782474   89    62995   52205  30860    350 1115.48
1797.94/1797.95	c   588848    163    26938  2792864  103    54399   57426  26865    329 1787.54
1797.94/1797.95	c Resources Exceeded
1797.94/1797.95	v -x1 -x12 -x23 x34 -x45 x116 x161 x162 x163 x2 x3 -x4 x5 x6 x7 -x8 -x9 -x10 x11 x13 x14 x15 x16 -x17 x18 -x19 x20 -x21 -x22 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 
1797.94/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.95	c   20   593455    263   595738    40759  4274206  40686    330 1798.00
1797.94/1797.95	c Objective: 17408
1797.94/1797.95	s SATISFIABLE
1797.94/1797.95	c Total time: 1798 s

Verifier Data 

OK	17408

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463114-1307175411/watcher-3463114-1307175411 -o /tmp/evaluation-result-3463114-1307175411/solver-3463114-1307175411 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463114-1307175411.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.26 1.80 1.92 2/495 23871
/proc/meminfo: memFree=30301736/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=19596 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 571 0 0 0 1 0 0 0 24 0 1 0 829142019 20066304 456 33554432000 134512640 137138936 4294029600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 4899 456 282 642 0 4255 0

[startup+0.027403 s]
/proc/loadavg: 1.26 1.80 1.92 2/495 23871
/proc/meminfo: memFree=30301736/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=19596 CPUtime=0.02 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 571 0 0 0 2 0 0 0 24 0 1 0 829142019 20066304 456 33554432000 134512640 137138936 4294029600 18446744073709551615 135251358 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 4899 456 282 642 0 4255 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19596

[startup+0.100386 s]
/proc/loadavg: 1.26 1.80 1.92 2/495 23871
/proc/meminfo: memFree=30301736/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=19748 CPUtime=0.09 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 1108 0 0 0 9 0 0 0 24 0 1 0 829142019 20221952 459 33554432000 134512640 137138936 4294029600 18446744073709551615 135358713 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 4937 459 283 642 0 4293 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19748

[startup+0.300392 s]
/proc/loadavg: 1.26 1.80 1.92 2/495 23871
/proc/meminfo: memFree=30301736/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=11908 CPUtime=0.29 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 4659 0 0 0 29 0 0 0 25 0 1 0 829142019 12193792 457 33554432000 134512640 137138936 4294029600 18446744073709551615 135450397 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 2977 464 287 642 0 2333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11908

[startup+0.700293 s]
/proc/loadavg: 1.26 1.80 1.92 2/495 23871
/proc/meminfo: memFree=30301736/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=12468 CPUtime=0.69 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 19392 0 0 0 67 2 0 0 25 0 1 0 829142019 12767232 780 33554432000 134512640 137138936 4294029600 18446744073709551615 134750226 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 3117 780 287 642 0 2473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12468

[startup+1.50017 s]
/proc/loadavg: 1.26 1.80 1.92 3/499 23878
/proc/meminfo: memFree=30274796/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=16612 CPUtime=1.49 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 48970 0 0 0 143 6 0 0 25 0 1 0 829142019 17010688 1606 33554432000 134512640 137138936 4294029600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 4153 1606 287 642 0 3509 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16612

[startup+3.10088 s]
/proc/loadavg: 1.32 1.81 1.92 3/499 23878
/proc/meminfo: memFree=30268472/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=21176 CPUtime=3.09 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 111999 0 0 0 294 15 0 0 25 0 1 0 829142019 21684224 2759 33554432000 134512640 137138936 4294029600 18446744073709551615 135441615 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 5294 2759 287 642 0 4650 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21176

[startup+6.30033 s]
/proc/loadavg: 1.32 1.81 1.92 3/499 23878
/proc/meminfo: memFree=30259056/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=29996 CPUtime=6.29 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 213509 0 0 0 600 29 0 0 25 0 1 0 829142019 30715904 4966 33554432000 134512640 137138936 4294029600 18446744073709551615 136506019 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 7499 4967 287 642 0 6855 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29996

[startup+12.7002 s]
/proc/loadavg: 1.42 1.81 1.92 3/499 23905
/proc/meminfo: memFree=30259304/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=37328 CPUtime=12.69 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 327765 0 0 0 1224 45 0 0 25 0 1 0 829142019 38223872 6946 33554432000 134512640 137138936 4294029600 18446744073709551615 134606839 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 9332 6946 287 642 0 8688 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37328

[startup+25.5009 s]
/proc/loadavg: 1.51 1.82 1.92 3/499 23906
/proc/meminfo: memFree=30226608/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=38196 CPUtime=25.49 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 345788 0 0 0 2500 49 0 0 25 0 1 0 829142019 39112704 7210 33554432000 134512640 137138936 4294029600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 9549 7210 287 642 0 8905 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38196

[startup+51.1004 s]
/proc/loadavg: 1.84 1.86 1.94 3/499 23906
/proc/meminfo: memFree=30176656/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=41876 CPUtime=51.09 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 696456 0 0 0 4998 111 0 0 25 0 1 0 829142019 42881024 7959 33554432000 134512640 137138936 4294029600 18446744073709551615 134733500 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 10469 7961 287 642 0 9825 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41876

[startup+102.318 s]
/proc/loadavg: 2.01 1.90 1.94 3/499 23908
/proc/meminfo: memFree=30096276/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=44292 CPUtime=102.31 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 1281247 0 0 0 10016 215 0 0 25 0 1 0 829142019 45355008 8737 33554432000 134512640 137138936 4294029600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 11073 8737 287 642 0 10429 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 44292

[startup+162.301 s]
/proc/loadavg: 2.00 1.92 1.94 3/499 23909
/proc/meminfo: memFree=30021236/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=47476 CPUtime=162.29 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 1905902 0 0 0 15900 329 0 0 25 0 1 0 829142019 48615424 9538 33554432000 134512640 137138936 4294029600 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 11869 9538 287 642 0 11225 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 47476

[startup+222.301 s]
/proc/loadavg: 2.00 1.93 1.94 3/499 23911
/proc/meminfo: memFree=29961328/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=51020 CPUtime=222.3 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 2500475 0 0 0 21792 438 0 0 25 0 1 0 829142019 52244480 10423 33554432000 134512640 137138936 4294029600 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 12755 10423 287 642 0 12111 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 51020

[startup+282.3 s]
/proc/loadavg: 2.00 1.94 1.94 3/499 23913
/proc/meminfo: memFree=29918752/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=51252 CPUtime=282.3 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 3026471 0 0 0 27689 541 0 0 25 0 1 0 829142019 52482048 10481 33554432000 134512640 137138936 4294029600 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 12813 10481 287 642 0 12169 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 51252

[startup+342.301 s]
/proc/loadavg: 2.00 1.95 1.94 3/499 23914
/proc/meminfo: memFree=29857612/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=64868 CPUtime=342.3 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 3708864 0 0 0 33578 652 0 0 25 0 1 0 829142019 66424832 13677 33554432000 134512640 137138936 4294029600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 16217 13677 287 642 0 15573 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 64868

[startup+402.3 s]
/proc/loadavg: 2.00 1.95 1.94 3/499 23916
/proc/meminfo: memFree=29812092/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=68188 CPUtime=402.3 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 4225328 0 0 0 39486 744 0 0 25 0 1 0 829142019 69824512 14716 33554432000 134512640 137138936 4294029600 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 17047 14716 287 642 0 16403 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 68188

[startup+462.301 s]
/proc/loadavg: 2.08 1.97 1.95 3/499 23917
/proc/meminfo: memFree=29765692/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=68180 CPUtime=462.3 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 4698469 0 0 0 45385 845 0 0 25 0 1 0 829142019 69816320 14714 33554432000 134512640 137138936 4294029600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 17045 14714 287 642 0 16401 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 68180

[startup+522.301 s]
/proc/loadavg: 2.03 1.97 1.95 3/499 23919
/proc/meminfo: memFree=29724368/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=71552 CPUtime=522.31 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 5099757 0 0 0 51297 934 0 0 25 0 1 0 829142019 73269248 15394 33554432000 134512640 137138936 4294029600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 17888 15394 287 642 0 17244 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 71552

[startup+582.3 s]
/proc/loadavg: 2.01 1.97 1.95 3/499 23921
/proc/meminfo: memFree=29685140/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=73696 CPUtime=582.31 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 5601933 0 0 0 57197 1034 0 0 25 0 1 0 829142019 75464704 15936 33554432000 134512640 137138936 4294029600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 18424 15936 287 642 0 17780 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 73696

[startup+642.301 s]

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

/proc/meminfo: memFree=29435240/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=78404 CPUtime=1062.32 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 9934435 0 0 0 104375 1857 0 0 25 0 1 0 829142019 80285696 17220 33554432000 134512640 137138936 4294029600 18446744073709551615 136507412 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 19601 17220 287 642 0 18957 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 78404

[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/499 23935
/proc/meminfo: memFree=29410032/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=78180 CPUtime=1122.32 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 9934687 0 0 0 110372 1860 0 0 25 0 1 0 829142019 80056320 17166 33554432000 134512640 137138936 4294029600 18446744073709551615 134542226 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 19545 17166 287 642 0 18901 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 78180

[startup+1182.3 s]
/proc/loadavg: 2.15 2.06 1.99 3/499 23936
/proc/meminfo: memFree=29371320/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96472 CPUtime=1182.32 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10300786 0 0 0 116308 1924 0 0 25 0 1 0 829142019 98787328 21755 33554432000 134512640 137138936 4294029600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24118 21755 287 642 0 23474 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 96472

[startup+1242.3 s]
/proc/loadavg: 2.11 2.06 1.99 3/499 23938
/proc/meminfo: memFree=29353068/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96268 CPUtime=1242.32 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10666114 0 0 0 122244 1988 0 0 25 0 1 0 829142019 98578432 21736 33554432000 134512640 137138936 4294029600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24067 21736 287 642 0 23423 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 96268

[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 1.99 3/499 23940
/proc/meminfo: memFree=29337916/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96680 CPUtime=1302.34 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 128203 2031 0 0 25 0 1 0 829142019 99000320 21792 33554432000 134512640 137138936 4294029600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24170 21792 287 642 0 23526 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 96680

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 1.99 3/499 23941
/proc/meminfo: memFree=29323012/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96680 CPUtime=1362.32 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 134198 2034 0 0 25 0 1 0 829142019 99000320 21792 33554432000 134512640 137138936 4294029600 18446744073709551615 135412391 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24170 21792 287 642 0 23526 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 96680

[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 1.99 3/499 23943
/proc/meminfo: memFree=29307860/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96680 CPUtime=1422.34 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 140198 2036 0 0 25 0 1 0 829142019 99000320 21792 33554432000 134512640 137138936 4294029600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24170 21792 287 642 0 23526 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 96680

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/499 23945
/proc/meminfo: memFree=29276464/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96680 CPUtime=1482.33 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 146193 2040 0 0 25 0 1 0 829142019 99000320 21792 33554432000 134512640 137138936 4294029600 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24170 21792 287 642 0 23526 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 96680

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/499 23946
/proc/meminfo: memFree=29238736/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96136 CPUtime=1542.32 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 152190 2042 0 0 25 0 1 0 829142019 98443264 21703 33554432000 134512640 137138936 4294029600 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24034 21703 287 642 0 23390 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 96136

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/499 23948
/proc/meminfo: memFree=29203004/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96136 CPUtime=1602.33 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 158189 2044 0 0 25 0 1 0 829142019 98443264 21703 33554432000 134512640 137138936 4294029600 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24034 21703 287 642 0 23390 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 96136

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/499 23949
/proc/meminfo: memFree=29180784/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96136 CPUtime=1662.34 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 164187 2047 0 0 25 0 1 0 829142019 98443264 21703 33554432000 134512640 137138936 4294029600 18446744073709551615 135783853 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24034 21703 287 642 0 23390 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 96136

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 23951
/proc/meminfo: memFree=29180380/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96136 CPUtime=1722.34 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 170185 2049 0 0 25 0 1 0 829142019 98443264 21703 33554432000 134512640 137138936 4294029600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24034 21703 287 642 0 23390 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 96136

[startup+1782.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 23953
/proc/meminfo: memFree=29178608/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96136 CPUtime=1782.34 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 176182 2052 0 0 25 0 1 0 829142019 98443264 21703 33554432000 134512640 137138936 4294029600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24034 21703 287 642 0 23390 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 96136

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

[startup+1785.5 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 23953
/proc/meminfo: memFree=29178608/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96136 CPUtime=1785.54 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 176502 2052 0 0 25 0 1 0 829142019 98443264 21703 33554432000 134512640 137138936 4294029600 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24034 21703 287 642 0 23390 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 96136

[startup+1791.92 s]
/proc/loadavg: 2.10 2.05 2.00 3/499 23953
/proc/meminfo: memFree=29179724/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96136 CPUtime=1791.95 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 177143 2052 0 0 25 0 1 0 829142019 98443264 21703 33554432000 134512640 137138936 4294029600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24034 21703 287 642 0 23390 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 96136

[startup+1795.1 s]
/proc/loadavg: 2.10 2.05 2.00 3/499 23953
/proc/meminfo: memFree=29180840/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96136 CPUtime=1795.15 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 177463 2052 0 0 25 0 1 0 829142019 98443264 21703 33554432000 134512640 137138936 4294029600 18446744073709551615 134730666 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24034 21703 287 642 0 23390 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 96136

[startup+1796.7 s]
/proc/loadavg: 2.09 2.04 2.00 3/499 23953
/proc/meminfo: memFree=29180840/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96136 CPUtime=1796.73 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 177621 2052 0 0 25 0 1 0 829142019 98443264 21703 33554432000 134512640 137138936 4294029600 18446744073709551615 134730611 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24034 21703 287 642 0 23390 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 96136

[startup+1797.5 s]
/proc/loadavg: 2.09 2.04 2.00 3/499 23953
/proc/meminfo: memFree=29180096/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96136 CPUtime=1797.54 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 177701 2053 0 0 25 0 1 0 829142019 98443264 21703 33554432000 134512640 137138936 4294029600 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24034 21703 287 642 0 23390 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 96136

[startup+1797.9 s]
/proc/loadavg: 2.09 2.04 2.00 3/499 23953
/proc/meminfo: memFree=29180096/32951124 swapFree=53876548/67111528
[pid=23871] ppid=23869 vsize=96136 CPUtime=1797.94 cores=0,2,4,6
/proc/23871/stat : 23871 (bsolo) R 23869 23871 21775 0 -1 4202496 10886409 0 0 0 177741 2053 0 0 25 0 1 0 829142019 98443264 21703 33554432000 134512640 137138936 4294029600 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23871/statm: 24034 21703 287 642 0 23390 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 96136

Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.01
CPU user time (s): 1777.47
CPU system time (s): 20.5349
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 96972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.47
system time used= 20.5349
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10886409
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= 5
involuntary context switches= 2626

runsolver used 9.46856 second user time and 19.943 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-04 10:16:51
IDJOB=3463114
IDBENCH=1848
IDSOLVER=1955
FILE ID=node108/3463114-1307175411
RUNJOBID= node108-1307175411-23857
PBS_JOBID= 13508826
Free space on /tmp= 73836 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463114-1307175411/watcher-3463114-1307175411 -o /tmp/evaluation-result-3463114-1307175411/solver-3463114-1307175411 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463114-1307175411.opb

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

MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6
RANDOM SEED=498477019

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30302140 kB
Buffers:        320608 kB
Cached:        1048676 kB
SwapCached:      13540 kB
Active:        1382092 kB
Inactive:       982408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30302140 kB
SwapTotal:    67111528 kB
SwapFree:     53876548 kB
Dirty:            4492 kB
Writeback:          24 kB
AnonPages:      992012 kB
Mapped:          12092 kB
Slab:           150048 kB
PageTables:      65636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134541172 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73828 MiB
End job on node108 at 2011-06-04 10:46:49