Trace number 3462821

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.2SAT-12 1798.03 1797.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_5.opb
MD5SUM1a8c058c181490cb899ec7074b22bfb3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-15
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

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-3462821-1307183560.opb
0.00/0.00	c File size is 79211 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.013 s
0.00/0.01	c Var: 6324 Constr: 12550 6224/202/6124 Lit: 43468 Watch. Lit: 37146
0.00/0.01	c Obj. Vars: 100 (1.58128 % of total variables)
7.49/7.59	c Pre-processing Time: 7.593 s
7.49/7.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.49/7.59	c        0   6324    12550    43468    3    37146  102242      0      0 7.59
7.49/7.59	c Switching off lower bounding mode.
7.49/7.59	o -1
7.49/7.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.49/7.60	c        0   6324    12551    43568    3    37149  102309      1      0 7.60
7.49/7.60	o -2
7.49/7.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.49/7.60	c        1   6324    12554    43868    3    37158  102342      4      0 7.60
7.49/7.60	o -3
7.49/7.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.49/7.61	c        2   6324    12557    44222    3    37169  102376      7      0 7.61
7.49/7.61	o -4
7.61/7.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.61/7.61	c       10   6324    12567    45249    3    37196  102409     17      1 7.61
7.61/7.61	o -5
7.61/7.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.61/7.63	c       18   6324    12577    46267    3    37225  102442     27      2 7.62
7.61/7.63	o -6
7.61/7.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.61/7.64	c       47   6324    12608    47639    3    37298  102476     58      6 7.63
7.61/7.64	o -7
7.61/7.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.61/7.65	c      103   6324    12666    52638    4    37427  102509    116     13 7.64
7.61/7.65	o -8
7.61/7.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.61/7.66	c      125   6324    12690    54063    4    37490  102542    140     16 7.65
7.61/7.66	o -9
8.49/8.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.49/8.51	c      158   6324    12725    56734    4    37577  102576    175     20 7.66
8.49/8.51	c      258   6324    12827    60939    4    37790  112834    277     33 7.69
8.49/8.51	c      508   6324    13080    85343    6    38296  124118    530     65 7.75
8.49/8.51	c      983   6324    13562   131660    9    39260  136530   1012    124 7.88
8.49/8.51	c     1796   6324    14377   210706   14    40890  150184   1827    219 8.17
8.49/8.51	o -10
8.81/8.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.81/8.88	c     2736   6324    15328   297674   19    42802  102609   2778    321 8.52
8.81/8.88	c     2838   6324    15431   299939   19    43018  112870   2881    332 8.54
8.81/8.88	c     3088   6324    15684   324256   20    43524  124158   3134    358 8.62
8.81/8.88	c     3565   6324    16176   363071   22    44508  136574   3626    401 8.87
8.81/8.88	o -11
9.59/9.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.59/9.60	c     3594   6324    16206   364563   22    44579  102642   3656    404 8.88
9.59/9.60	c     3695   6324    16309   369001   22    44796  112907   3759    414 8.90
9.59/9.60	c     3945   6324    16563   393613   23    45304  124198   4013    439 8.98
9.59/9.60	c     4420   6324    17045   440041   25    46268  136618   4495    482 9.15
9.59/9.60	c     5233   6324    17866   516000   28    47910  150280   5316    551 9.50
9.59/9.60	o -12
1797.94/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.95	c     5637   6324    18275   543231   29    48740  102676   5725    587 9.60
1797.94/1797.95	c     5737   6324    18376   553131   30    48942  112944   5826    595 9.63
1797.94/1797.95	c     5987   6324    18630   577450   30    49450  124239   6080    616 9.71
1797.94/1797.95	c     6462   6324    19109   623982   32    50408  136663   6559    655 9.86
1797.94/1797.95	c     7275   6324    19925   703633   35    52040  150330   7375    717 10.14
1797.94/1797.95	c     8595   6324    21266   817680   38    54745  165364   8716    808 10.62
1797.94/1797.95	c    10676   6324    23448  1010009   43    59207  181901  10898    939 11.36
1797.94/1797.95	c    13900   6324    26855  1357125   50    66187  200092  14305   1104 12.58
1797.94/1797.95	c    18836   6324    32127  1919602   59    76885  220102  19577   1283 14.68
1797.94/1797.95	c    26342   6324    40243  2853230   70    93517  242113  27693   1385 19.01
1797.94/1797.95	c    37703   6324    52554  4277854   81   118631  266325  40004   1346 28.00
1797.94/1797.95	c    54847   6324    70971  6357097   89   156389  292958  58421   1140 48.09
1797.94/1797.95	c    80666   6324    99148  9669278   97   214348  322254  86598    861 93.61
1797.94/1797.95	c   119498   6324   142074 14889890  104   301536  354480 129524    569 209.79
1797.94/1797.95	c   177850   6324   206184 22778306  110   431523  389929 193634    433 410.65
1797.94/1797.95	c   265483   6324   302060 34586047  114   625378  428922 289510    287 922.50
1797.94/1797.95	c Resources Exceeded
1797.94/1797.95	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -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 -x176 -x166 -x111 x173 x177 -x133 -x121 -x150 -x174 -x182 -x127 -x149 -x161 -x199 -x129 x187 -x115 -x106 -x180 -x132 -x184 -x153 -x168 -x147 -x128 -x104 -x108 -x116 -x117 -x120 -x124 -x139 -x155 -x170 -x172 -x178 x193 -x101 -x185 -x109 -x200 -x162 -x141 -x154 -x138 -x114 -x136 -x194 -x123 -x189 -x186 -x190 -x143 -x134 -x105 -x112 -x135 -x140 -x146 -x152 -x102 -x169 -x151 x191 -x145 x188 -x175 -x179 -x164 x195 -x192 -x159 -x119 -x113 -x122 -x125 -x130 -x144 -x103 -x107 x171 -x110 -x137 -x163 x197 -x198 -x131 x142 -x156 -x167 -x181 -x196 x158 -x148 -x157 -x126 x165 -x118 -x183 -x160 
1797.94/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.95	c   38   349673  65748   473346   395181 46291658 382631    194 1798.00
1797.94/1797.95	c Objective: -12
1797.94/1797.95	s SATISFIABLE
1797.94/1797.95	c Total time: 1798 s

Verifier Data 

OK	-12

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-3462821-1307183560/watcher-3462821-1307183560 -o /tmp/evaluation-result-3462821-1307183560/solver-3462821-1307183560 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462821-1307183560.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: 2.04 2.05 2.00 2/524 28161
/proc/meminfo: memFree=23780868/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=13448 CPUtime=0.01 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 966 0 0 0 1 0 0 0 25 0 1 0 829953715 13770752 901 33554432000 134512640 137138936 4287116064 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 3362 903 183 642 0 2718 0

[startup+0.0656189 s]
/proc/loadavg: 2.04 2.05 2.00 2/524 28161
/proc/meminfo: memFree=23780868/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=14020 CPUtime=0.06 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 1134 0 0 0 6 0 0 0 25 0 1 0 829953715 14356480 1069 33554432000 134512640 137138936 4287116064 18446744073709551615 134566282 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 3505 1069 185 642 0 2861 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14020

[startup+0.10063 s]
/proc/loadavg: 2.04 2.05 2.00 2/524 28161
/proc/meminfo: memFree=23780868/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=14020 CPUtime=0.09 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 1134 0 0 0 9 0 0 0 25 0 1 0 829953715 14356480 1069 33554432000 134512640 137138936 4287116064 18446744073709551615 134543427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 3505 1069 185 642 0 2861 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14020

[startup+0.300589 s]
/proc/loadavg: 2.04 2.05 2.00 2/524 28161
/proc/meminfo: memFree=23780868/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=14020 CPUtime=0.29 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 1134 0 0 0 29 0 0 0 25 0 1 0 829953715 14356480 1069 33554432000 134512640 137138936 4287116064 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 3505 1069 185 642 0 2861 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14020

[startup+0.700521 s]
/proc/loadavg: 2.04 2.05 2.00 2/524 28161
/proc/meminfo: memFree=23780868/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=14020 CPUtime=0.69 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 1134 0 0 0 69 0 0 0 25 0 1 0 829953715 14356480 1069 33554432000 134512640 137138936 4287116064 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 3505 1069 185 642 0 2861 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14020

[startup+1.50036 s]
/proc/loadavg: 2.04 2.05 2.00 3/525 28162
/proc/meminfo: memFree=23776272/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=14020 CPUtime=1.49 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 1136 0 0 0 149 0 0 0 25 0 1 0 829953715 14356480 1071 33554432000 134512640 137138936 4287116064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 3505 1071 185 642 0 2861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14020

[startup+3.10105 s]
/proc/loadavg: 2.04 2.05 2.00 3/525 28162
/proc/meminfo: memFree=23775396/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=14020 CPUtime=3.09 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 1136 0 0 0 309 0 0 0 25 0 1 0 829953715 14356480 1071 33554432000 134512640 137138936 4287116064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 3505 1071 185 642 0 2861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14020

[startup+6.30049 s]
/proc/loadavg: 2.03 2.05 2.00 3/525 28162
/proc/meminfo: memFree=23774280/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=14020 CPUtime=6.29 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 1136 0 0 0 629 0 0 0 25 0 1 0 829953715 14356480 1071 33554432000 134512640 137138936 4287116064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 3505 1071 185 642 0 2861 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14020

[startup+12.7003 s]
/proc/loadavg: 2.03 2.05 2.00 3/525 28162
/proc/meminfo: memFree=23755160/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=33044 CPUtime=12.69 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 6152 0 0 0 1266 3 0 0 25 0 1 0 829953715 33837056 5827 33554432000 134512640 137138936 4287116064 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 8261 5827 192 642 0 7617 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33044

[startup+25.501 s]
/proc/loadavg: 2.02 2.05 2.00 3/525 28163
/proc/meminfo: memFree=23714372/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=67440 CPUtime=25.49 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 14765 0 0 0 2542 7 0 0 25 0 1 0 829953715 69058560 14440 33554432000 134512640 137138936 4287116064 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 16860 14440 192 642 0 16216 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67440

[startup+51.1004 s]
/proc/loadavg: 2.01 2.04 2.00 3/525 28163
/proc/meminfo: memFree=23666112/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=104592 CPUtime=51.09 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 24054 0 0 0 5097 12 0 0 25 0 1 0 829953715 107102208 23729 33554432000 134512640 137138936 4287116064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 26148 23729 192 642 0 25504 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 104592

[startup+102.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 28165
/proc/meminfo: memFree=23610784/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=153676 CPUtime=102.32 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 36314 0 0 0 10212 20 0 0 25 0 1 0 829953715 157364224 35989 33554432000 134512640 137138936 4287116064 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 38419 35989 192 642 0 37775 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 153676

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 28166
/proc/meminfo: memFree=23536068/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=196892 CPUtime=162.29 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 47116 0 0 0 16202 27 0 0 25 0 1 0 829953715 201617408 46791 33554432000 134512640 137138936 4287116064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 49223 46791 192 642 0 48579 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 196892

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 28168
/proc/meminfo: memFree=23289756/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=223928 CPUtime=222.29 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 53887 0 0 0 22199 30 0 0 25 0 1 0 829953715 229302272 53562 33554432000 134512640 137138936 4287116064 18446744073709551615 134543220 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 55982 53562 192 642 0 55338 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 223928

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 28170
/proc/meminfo: memFree=23089580/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=258412 CPUtime=282.3 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 62502 0 0 0 28194 36 0 0 25 0 1 0 829953715 264613888 62177 33554432000 134512640 137138936 4287116064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 64603 62177 192 642 0 63959 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 258412

[startup+342.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/525 28171
/proc/meminfo: memFree=22949428/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=291092 CPUtime=342.3 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 70677 0 0 0 34188 42 0 0 25 0 1 0 829953715 298078208 70352 33554432000 134512640 137138936 4287116064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 72773 70352 192 642 0 72129 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 291092

[startup+402.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/525 28173
/proc/meminfo: memFree=22813596/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=321928 CPUtime=402.3 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 78373 0 0 0 40183 47 0 0 25 0 1 0 829953715 329654272 78048 33554432000 134512640 137138936 4287116064 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 80482 78048 192 642 0 79838 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 321928

[startup+462.301 s]
/proc/loadavg: 2.13 2.06 2.02 3/525 28174
/proc/meminfo: memFree=22682224/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=345720 CPUtime=462.3 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 84338 0 0 0 46179 51 0 0 25 0 1 0 829953715 354017280 84013 33554432000 134512640 137138936 4287116064 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 86430 84013 192 642 0 85786 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 345720

[startup+522.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/525 28176
/proc/meminfo: memFree=22552856/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=368600 CPUtime=522.3 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 90043 0 0 0 52174 56 0 0 25 0 1 0 829953715 377446400 89718 33554432000 134512640 137138936 4287116064 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 92150 89718 192 642 0 91506 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 368600

[startup+582.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/525 28178
/proc/meminfo: memFree=22447028/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=392132 CPUtime=582.31 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 95940 0 0 0 58171 60 0 0 25 0 1 0 829953715 401543168 95615 33554432000 134512640 137138936 4287116064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 98033 95615 192 642 0 97389 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 392132

[startup+642.301 s]

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

/proc/meminfo: memFree=22323800/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=513828 CPUtime=1062.32 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 126351 0 0 0 106151 81 0 0 25 0 1 0 829953715 526159872 126026 33554432000 134512640 137138936 4287116064 18446744073709551615 135984587 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 128457 126026 192 642 0 127813 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 513828

[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/525 28192
/proc/meminfo: memFree=22314704/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=522984 CPUtime=1122.32 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 128653 0 0 0 112150 82 0 0 25 0 1 0 829953715 535535616 128328 33554432000 134512640 137138936 4287116064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 130746 128328 192 642 0 130102 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 522984

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/525 28194
/proc/meminfo: memFree=22304616/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=532372 CPUtime=1182.32 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 131000 0 0 0 118148 84 0 0 25 0 1 0 829953715 545148928 130675 33554432000 134512640 137138936 4287116064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 133093 130675 192 642 0 132449 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 532372

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 28195
/proc/meminfo: memFree=22294024/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=542280 CPUtime=1242.33 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 133478 0 0 0 124146 87 0 0 25 0 1 0 829953715 555294720 133153 33554432000 134512640 137138936 4287116064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 135570 133153 192 642 0 134926 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 542280

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 28197
/proc/meminfo: memFree=22278348/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=553436 CPUtime=1302.34 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 136269 0 0 0 130145 89 0 0 25 0 1 0 829953715 566718464 135944 33554432000 134512640 137138936 4287116064 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 138359 135944 192 642 0 137715 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 553436

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 28198
/proc/meminfo: memFree=22266752/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=565196 CPUtime=1362.33 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 139190 0 0 0 136142 91 0 0 25 0 1 0 829953715 578760704 138865 33554432000 134512640 137138936 4287116064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 141299 138865 192 642 0 140655 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 565196

[startup+1422.32 s]
/proc/loadavg: 2.12 2.04 2.01 3/525 28200
/proc/meminfo: memFree=22254808/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=576932 CPUtime=1422.35 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 142141 0 0 0 142142 93 0 0 25 0 1 0 829953715 590778368 141816 33554432000 134512640 137138936 4287116064 18446744073709551615 134575459 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 144233 141816 192 642 0 143589 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 576932

[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/525 28202
/proc/meminfo: memFree=22242236/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=589764 CPUtime=1482.33 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 145333 0 0 0 148138 95 0 0 25 0 1 0 829953715 603918336 145008 33554432000 134512640 137138936 4287116064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 147441 145008 192 642 0 146797 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 589764

[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/525 28203
/proc/meminfo: memFree=22228932/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=602704 CPUtime=1542.33 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 148568 0 0 0 154136 97 0 0 25 0 1 0 829953715 617168896 148243 33554432000 134512640 137138936 4287116064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 150676 148243 192 642 0 150032 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 602704

[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/525 28232
/proc/meminfo: memFree=23221804/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=614320 CPUtime=1602.34 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 151471 0 0 0 160135 99 0 0 25 0 1 0 829953715 629063680 151146 33554432000 134512640 137138936 4287116064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 153580 151146 192 642 0 152936 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 614320

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/525 28233
/proc/meminfo: memFree=23193852/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=625192 CPUtime=1662.34 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 154190 0 0 0 166133 101 0 0 25 0 1 0 829953715 640196608 153865 33554432000 134512640 137138936 4287116064 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 156298 153865 192 642 0 155654 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 625192

[startup+1722.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/525 28244
/proc/meminfo: memFree=23178512/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=634540 CPUtime=1722.34 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 156526 0 0 0 172131 103 0 0 25 0 1 0 829953715 649768960 156201 33554432000 134512640 137138936 4287116064 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 158635 156201 192 642 0 157991 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 634540

[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/525 28246
/proc/meminfo: memFree=23162596/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=644672 CPUtime=1782.34 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 159079 0 0 0 178129 105 0 0 25 0 1 0 829953715 660144128 158754 33554432000 134512640 137138936 4287116064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 161168 158754 192 642 0 160524 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 644672

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

[startup+1785.5 s]
/proc/loadavg: 2.08 2.06 2.01 3/525 28246
/proc/meminfo: memFree=23162100/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=645232 CPUtime=1785.54 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 159199 0 0 0 178449 105 0 0 25 0 1 0 829953715 660717568 158874 33554432000 134512640 137138936 4287116064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 161308 158874 192 642 0 160664 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 645232

[startup+1791.92 s]
/proc/loadavg: 2.07 2.06 2.01 3/525 28246
/proc/meminfo: memFree=23159000/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=646376 CPUtime=1791.96 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 159501 0 0 0 179090 106 0 0 25 0 1 0 829953715 661889024 159176 33554432000 134512640 137138936 4287116064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 161594 159176 192 642 0 160950 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 646376

[startup+1795.1 s]
/proc/loadavg: 2.07 2.06 2.01 3/525 28246
/proc/meminfo: memFree=23158504/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=646940 CPUtime=1795.16 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 159632 0 0 0 179410 106 0 0 25 0 1 0 829953715 662466560 159307 33554432000 134512640 137138936 4287116064 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 161735 159307 192 642 0 161091 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 646940

[startup+1796.7 s]
/proc/loadavg: 2.07 2.06 2.01 3/525 28246
/proc/meminfo: memFree=23158256/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=647256 CPUtime=1796.74 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 159719 0 0 0 179568 106 0 0 25 0 1 0 829953715 662790144 159394 33554432000 134512640 137138936 4287116064 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 161814 159394 192 642 0 161170 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 647256

[startup+1797.5 s]
/proc/loadavg: 2.07 2.06 2.01 4/525 28246
/proc/meminfo: memFree=23157884/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=647376 CPUtime=1797.54 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 159751 0 0 0 179648 106 0 0 25 0 1 0 829953715 662913024 159426 33554432000 134512640 137138936 4287116064 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 161844 159426 192 642 0 161200 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 647376

[startup+1797.9 s]
/proc/loadavg: 2.07 2.06 2.01 4/525 28246
/proc/meminfo: memFree=23157884/32951124 swapFree=56930356/67111528
[pid=28161] ppid=28159 vsize=647488 CPUtime=1797.94 cores=0,2,4,6
/proc/28161/stat : 28161 (bsolo) R 28159 28161 25956 0 -1 4202496 159776 0 0 0 179688 106 0 0 25 0 1 0 829953715 663027712 159451 33554432000 134512640 137138936 4287116064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28161/statm: 161872 159451 192 642 0 161228 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 647488

Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.03
CPU user time (s): 1796.93
CPU system time (s): 1.09683
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 647488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 1.09683
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159777
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= 4
involuntary context switches= 21095

runsolver used 10.2254 second user time and 20.8328 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-04 12:32:40
IDJOB=3462821
IDBENCH=48237
IDSOLVER=1955
FILE ID=node137/3462821-1307183560
RUNJOBID= node137-1307174661-27288
PBS_JOBID= 13508854
Free space on /tmp= 73724 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462821-1307183560/watcher-3462821-1307183560 -o /tmp/evaluation-result-3462821-1307183560/solver-3462821-1307183560 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462821-1307183560.opb

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

MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3
RANDOM SEED=483653630

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
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.74
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.844
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.844
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.844
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.83
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.844
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23781528 kB
Buffers:        282852 kB
Cached:         517572 kB
SwapCached:      12312 kB
Active:        8442696 kB
Inactive:       464048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23781528 kB
SwapTotal:    67111528 kB
SwapFree:     56930356 kB
Dirty:            3880 kB
Writeback:           0 kB
AnonPages:     8104160 kB
Mapped:          22172 kB
Slab:           117132 kB
PageTables:      74468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162647156 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= 73720 MiB
End job on node137 at 2011-06-04 13:02:38