Trace number 3462691

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.2SAT28 1798.02 1797.93

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_1.opb
MD5SUM7c4476530a00e5609896ce3ef5260c8d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1797.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
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)2482
Sum of products size (including duplicates)4964
Number of different products2482
Sum of products size4964

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-3462691-1307181773.opb
0.00/0.00	c File size is 36377 bytes.
0.00/0.00	c Highest Coefficient sum: 200
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 2682 Constr: 5164 2682/0/2482 Lit: 17574 Watch. Lit: 12810
0.00/0.00	c Obj. Vars: 200 (7.45712 % of total variables)
0.00/0.04	c Pre-processing Time: 0.039 s
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   2682     5164    17574    3    12810   15785      0      0 0.04
0.00/0.04	c Switching off lower bounding mode.
0.00/0.04	o 199
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   2682     5165    17774    3    12813   15919      1      0 0.04
0.00/0.04	o 198
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   2682     5166    17974    3    12817   16119      2      0 0.04
0.00/0.04	o 197
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   2682     5167    18174    3    12822   16385      3      0 0.04
0.00/0.04	o 196
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   2682     5168    18374    3    12828   16719      4      0 0.05
0.00/0.04	o 195
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   2682     5169    18574    3    12835   17119      5      0 0.05
0.00/0.05	o 194
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   2682     5170    18774    3    12843   17585      6      0 0.05
0.00/0.05	o 193
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   2682     5171    18974    3    12852   18119      7      0 0.05
0.00/0.05	o 192
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   2682     5172    19174    3    12862   18719      8      0 0.05
0.00/0.05	o 191
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   2682     5173    19374    3    12873   19385      9      0 0.06
0.00/0.05	o 190
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        1   2682     5175    19765    3    12887   19452     11     17 0.06
0.00/0.06	o 32
0.05/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.06	c        1   2682     5176    19965    3    13057   19719     12     16 0.06
0.05/0.06	o 31
0.05/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.06	c       12   2682     5188    20783    4    13250   19719     24    190 0.06
0.05/0.06	o 30
11.89/11.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.89/11.95	c       12   2682     5189    20983    4    13422   19719     25    184 0.07
11.89/11.95	c      115   2682     5297    29312    5    13638   21691    133   1223 0.09
11.89/11.95	c      365   2682     5565    49505    8    14174   23861    401   2172 0.17
11.89/11.95	c      840   2682     6087    93307   15    15218   26248    923   2683 0.31
11.89/11.95	c     1653   2682     6927   156442   22    17233   28873   1763   2750 0.60
11.89/11.95	c     2974   2682     8323   264815   31    20693   31761   3159   2613 1.14
11.89/11.95	c     5056   2682    10590   444935   42    25227   34938   5426   2486 2.03
11.89/11.95	c     8280   2682    14111   769519   54    32269   38432   8947   2319 3.57
11.89/11.95	c    13217   2682    19558  1274941   65    43331   42276  14394   2065 6.40
11.89/11.95	c    20723   2682    27634  1966464   71    60475   46504  22470   1764 11.74
11.89/11.95	o 29
102.40/102.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
102.40/102.48	c    21052   2682    27981  1996461   71    61502   19719  22817   1761 11.95
102.40/102.48	c    21152   2682    15130   901183   59    34067   21691   9966   1749 12.09
102.40/102.48	c    21402   2682    15392   916709   59    34591   23861  10228   1755 12.19
102.40/102.48	c    21877   2682    15903   962900   60    35613   26248  10739   1761 12.42
102.40/102.48	c    22690   2682    16764  1028283   61    37335   28873  11600   1756 12.92
102.40/102.48	c    24011   2682    18180  1128770   62    40336   31761  13016   1748 13.73
102.40/102.48	c    26092   2682    20404  1310850   64    44784   34938  15240   1726 15.11
102.40/102.48	c    29315   2682    23967  1673865   69    52411   38432  18803   1686 17.38
102.40/102.48	c    34252   2682    29414  2199755   74    63619   42276  24250   1610 21.26
102.40/102.48	c    41758   2682    37529  2874985   76    80186   46504  32365   1513 27.59
102.40/102.48	c    53119   2682    49627  3690544   74   104720   51155  44463   1411 37.62
102.40/102.48	c    70264   2682    26695  1905755   71    57742   56271  21531   1277 55.00
102.40/102.48	c    96084   2682    54510  4498880   82   114409   61899  49346   1198 80.19
102.40/102.48	o 28
1797.98/1797.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1797.92	c   115075   2682    23820  2410201  101    54671   16786  18656   1122 102.49
1797.98/1797.92	c   115175   2682    13664  1167709   85    32771   18465   8500   1120 102.80
1797.98/1797.92	c   115425   2682    13930  1186408   85    33471   20312   8766   1121 102.93
1797.98/1797.92	c   115901   2682    14438  1220084   84    34487   22344   9274   1123 103.17
1797.98/1797.92	c   116714   2682    15279  1275144   83    36169   24579  10115   1127 103.56
1797.98/1797.92	c   118035   2682    16670  1374269   82    39291   27037  11506   1132 104.27
1797.98/1797.92	c   120116   2682    18905  1557295   82    43761   29741  13741   1138 105.46
1797.98/1797.92	c   123341   2682    22381  1843430   82    50882   32716  17217   1144 107.78
1797.98/1797.92	c   128278   2682    27623  2272047   82    61906   35988  22459   1151 111.35
1797.98/1797.92	c   135784   2682    35940  3199326   89    78662   39587  30776   1141 118.94
1797.98/1797.92	c   147146   2682    18945  1377620   72    40873   43546  13781   1130 130.20
1797.98/1797.92	c   164291   2682    37271  3481087   93    78693   47901  32107   1138 144.25
1797.98/1797.92	c   190110   2682    27067  2381480   87    57850   52692  21903   1134 167.50
1797.98/1797.92	c   228943   2682    28116  2909568  103    60713   57962  22952   1053 217.26
1797.98/1797.92	c   287295   2682    43466  6845008  157    95753   63759  38302    933 307.62
1797.98/1797.92	c   374928   2682    35195  6756654  191    93089   70135  30031    746 502.11
1797.98/1797.92	c   506480   2682    59116 12598466  213   162261   77149  53952    675 749.66
1797.98/1797.92	c   703913   2682    77847 10977273  141   174723   84864  72683    599 1173.83
1797.98/1797.92	c Resources Exceeded
1797.98/1797.92	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 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -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 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 
1797.98/1797.92	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1797.92	c   53   981296 316893  1631316    86983 11371214  81819    545 1798.00
1797.98/1797.92	c Objective: 28
1797.98/1797.92	s SATISFIABLE
1797.98/1797.92	c Total time: 1798 s

Verifier Data 

OK	28

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-3462691-1307181773/watcher-3462691-1307181773 -o /tmp/evaluation-result-3462691-1307181773/solver-3462691-1307181773 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462691-1307181773.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.13 2.03 2.01 2/437 11346
/proc/meminfo: memFree=23638308/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=12008 CPUtime=0 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 598 0 0 0 0 0 0 0 18 0 1 0 810592958 12296192 543 33554432000 134512640 137138936 4289644768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 3002 543 185 642 0 2358 0

[startup+0.0648061 s]
/proc/loadavg: 2.13 2.03 2.01 2/437 11346
/proc/meminfo: memFree=23638308/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=12296 CPUtime=0.05 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 723 0 0 0 5 0 0 0 18 0 1 0 810592958 12591104 620 33554432000 134512640 137138936 4289644768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 3074 620 192 642 0 2430 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12296

[startup+0.100802 s]
/proc/loadavg: 2.13 2.03 2.01 2/437 11346
/proc/meminfo: memFree=23638308/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=12296 CPUtime=0.09 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 726 0 0 0 9 0 0 0 18 0 1 0 810592958 12591104 623 33554432000 134512640 137138936 4289644768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 3074 623 192 642 0 2430 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12296

[startup+0.300761 s]
/proc/loadavg: 2.13 2.03 2.01 2/437 11346
/proc/meminfo: memFree=23638308/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=13076 CPUtime=0.29 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 937 0 0 0 29 0 0 0 18 0 1 0 810592958 13389824 834 33554432000 134512640 137138936 4289644768 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 3269 834 192 642 0 2625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13076

[startup+0.700682 s]
/proc/loadavg: 2.13 2.03 2.01 2/437 11346
/proc/meminfo: memFree=23638308/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=14428 CPUtime=0.69 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 1263 0 0 0 68 1 0 0 18 0 1 0 810592958 14774272 1160 33554432000 134512640 137138936 4289644768 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 3607 1160 192 642 0 2963 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14428

[startup+1.50052 s]
/proc/loadavg: 2.12 2.03 2.01 3/438 11347
/proc/meminfo: memFree=23632720/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=16560 CPUtime=1.49 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 1807 0 0 0 148 1 0 0 20 0 1 0 810592958 16957440 1704 33554432000 134512640 137138936 4289644768 18446744073709551615 134575242 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 4140 1704 192 642 0 3496 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16560

[startup+3.1002 s]
/proc/loadavg: 2.12 2.03 2.01 3/438 11347
/proc/meminfo: memFree=23628560/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=21368 CPUtime=3.09 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 2999 0 0 0 307 2 0 0 25 0 1 0 810592958 21880832 2896 33554432000 134512640 137138936 4289644768 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 5342 2896 192 642 0 4698 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21368

[startup+6.30057 s]
/proc/loadavg: 2.12 2.03 2.01 3/438 11347
/proc/meminfo: memFree=23619528/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=29592 CPUtime=6.29 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 5073 0 0 0 626 3 0 0 25 0 1 0 810592958 30302208 4970 33554432000 134512640 137138936 4289644768 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 7398 4970 192 642 0 6754 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29592

[startup+12.7003 s]
/proc/loadavg: 2.10 2.03 2.01 3/438 11347
/proc/meminfo: memFree=23606232/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=40056 CPUtime=12.69 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 7683 0 0 0 1264 5 0 0 25 0 1 0 810592958 41017344 7580 33554432000 134512640 137138936 4289644768 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 10014 7580 192 642 0 9370 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40056

[startup+25.5008 s]
/proc/loadavg: 2.09 2.03 2.01 3/438 11347
/proc/meminfo: memFree=23597432/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=49348 CPUtime=25.49 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 10001 0 0 0 2542 7 0 0 25 0 1 0 810592958 50532352 9898 33554432000 134512640 137138936 4289644768 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 12337 9898 192 642 0 11693 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49348

[startup+51.1007 s]
/proc/loadavg: 2.06 2.03 2.00 3/438 11348
/proc/meminfo: memFree=23571944/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=74316 CPUtime=51.1 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 16304 0 0 0 5098 12 0 0 25 0 1 0 810592958 76099584 16149 33554432000 134512640 137138936 4289644768 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 18579 16149 192 642 0 17935 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 74316

[startup+102.317 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 11349
/proc/meminfo: memFree=23525544/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=99012 CPUtime=102.31 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 22532 0 0 0 10211 20 0 0 25 0 1 0 810592958 101388288 22314 33554432000 134512640 137138936 4289644768 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 24753 22314 192 642 0 24109 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 99012

[startup+162.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/438 11351
/proc/meminfo: memFree=23524648/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=99012 CPUtime=162.3 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 22532 0 0 0 16200 30 0 0 25 0 1 0 810592958 101388288 22314 33554432000 134512640 137138936 4289644768 18446744073709551615 136500245 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 24753 22314 192 642 0 24109 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 99012

[startup+222.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/438 11352
/proc/meminfo: memFree=23522264/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=102904 CPUtime=222.3 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 23488 0 0 0 22195 35 0 0 25 0 1 0 810592958 105373696 23270 33554432000 134512640 137138936 4289644768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 25726 23270 192 642 0 25082 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 102904

[startup+282.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/438 11354
/proc/meminfo: memFree=23501904/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=123512 CPUtime=282.3 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 28640 0 0 0 28187 43 0 0 25 0 1 0 810592958 126476288 28422 33554432000 134512640 137138936 4289644768 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 30878 28422 192 642 0 30234 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 123512

[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 11356
/proc/meminfo: memFree=23479940/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=145624 CPUtime=342.31 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 34169 0 0 0 34183 48 0 0 25 0 1 0 810592958 149118976 33951 33554432000 134512640 137138936 4289644768 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 36406 33951 192 642 0 35762 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 145624

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11357
/proc/meminfo: memFree=23449664/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=175296 CPUtime=402.3 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 41671 0 0 0 40176 54 0 0 25 0 1 0 810592958 179503104 41389 33554432000 134512640 137138936 4289644768 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 43824 41389 192 642 0 43180 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 175296

[startup+462.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/438 11359
/proc/meminfo: memFree=23436136/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=189988 CPUtime=462.31 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 45353 0 0 0 46172 59 0 0 25 0 1 0 810592958 194547712 45071 33554432000 134512640 137138936 4289644768 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 47497 45071 192 642 0 46853 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 189988

[startup+522.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/438 11360
/proc/meminfo: memFree=23421980/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=203460 CPUtime=522.31 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 48690 0 0 0 52167 64 0 0 25 0 1 0 810592958 208343040 48408 33554432000 134512640 137138936 4289644768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 50865 48408 192 642 0 50221 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 203460

[startup+582.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/438 11362
/proc/meminfo: memFree=23407088/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=217620 CPUtime=582.32 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 52326 0 0 0 58162 70 0 0 25 0 1 0 810592958 222842880 51974 33554432000 134512640 137138936 4289644768 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 54405 51974 192 642 0 53761 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 217620

[startup+642.3 s]

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

/proc/meminfo: memFree=24279056/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245792 CPUtime=1062.34 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59421 0 0 0 106126 108 0 0 25 0 1 0 810592958 251691008 58992 33554432000 134512640 137138936 4289644768 18446744073709551615 136500576 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61448 58992 192 642 0 60804 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 245792

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11411
/proc/meminfo: memFree=24272204/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245284 CPUtime=1122.35 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59421 0 0 0 112119 116 0 0 25 0 1 0 810592958 251170816 58897 33554432000 134512640 137138936 4289644768 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61321 58897 192 642 0 60677 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 245284

[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/438 11413
/proc/meminfo: memFree=24272548/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245288 CPUtime=1182.35 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59422 0 0 0 118113 122 0 0 25 0 1 0 810592958 251174912 58898 33554432000 134512640 137138936 4289644768 18446744073709551615 136504035 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61322 58898 192 642 0 60678 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 245288

[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/438 11415
/proc/meminfo: memFree=24266456/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1242.35 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 124107 128 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 245316

[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11418
/proc/meminfo: memFree=24265568/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1302.36 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 130105 131 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 245316

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/438 11424
/proc/meminfo: memFree=24257192/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1362.35 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 136100 135 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 245316

[startup+1422.32 s]
/proc/loadavg: 2.06 2.04 2.00 3/438 11425
/proc/meminfo: memFree=24257276/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1422.38 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 142098 140 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 245316

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 11427
/proc/meminfo: memFree=24256876/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1482.36 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 148091 145 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 245316

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11430
/proc/meminfo: memFree=24257324/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1542.36 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 154088 148 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 245316

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11431
/proc/meminfo: memFree=24257416/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1602.36 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 160081 155 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134543241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 245316

[startup+1662.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/438 11433
/proc/meminfo: memFree=24248472/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1662.37 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 166077 160 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134543140 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 245316

[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/438 11435
/proc/meminfo: memFree=24248812/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1722.37 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 172073 164 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 245316

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/438 11437
/proc/meminfo: memFree=24247300/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1782.37 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 178067 170 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 245316

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

[startup+1785.5 s]
/proc/loadavg: 2.04 2.04 2.00 3/438 11437
/proc/meminfo: memFree=24248416/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1785.57 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 178387 170 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 245316

[startup+1791.92 s]
/proc/loadavg: 2.04 2.04 2.00 3/438 11437
/proc/meminfo: memFree=24248412/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1791.99 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 179028 171 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542460 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1791.99
Current children cumulated vsize (KiB) 245316

[startup+1795.1 s]
/proc/loadavg: 2.04 2.04 2.00 3/438 11437
/proc/meminfo: memFree=24248412/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1795.18 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 179347 171 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1795.18
Current children cumulated vsize (KiB) 245316

[startup+1796.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11437
/proc/meminfo: memFree=24248412/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1796.77 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 179506 171 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 245316

[startup+1797.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11437
/proc/meminfo: memFree=24248288/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1797.57 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 179586 171 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 245316

[startup+1797.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11437
/proc/meminfo: memFree=24248288/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1797.98 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 179626 172 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 245316

Child status: 0
Real time (s): 1797.93
CPU time (s): 1798.02
CPU user time (s): 1796.28
CPU system time (s): 1.73074
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 245792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.28
system time used= 1.73074
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59430
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= 6
involuntary context switches= 2498

runsolver used 7.39687 second user time and 17.6493 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-04 12:02:53
IDJOB=3462691
IDBENCH=48107
IDSOLVER=1955
FILE ID=node143/3462691-1307181773
RUNJOBID= node143-1307175466-10807
PBS_JOBID= 13508843
Free space on /tmp= 73968 MiB

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

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

MD5SUM BENCH= 7c4476530a00e5609896ce3ef5260c8d
RANDOM SEED=1589533017

node143.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.846
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.69
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.846
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.846
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.846
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.83
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.846
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.75
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.846
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.83
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.846
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.74
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.846
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:      23638588 kB
Buffers:        312412 kB
Cached:         474124 kB
SwapCached:       9140 kB
Active:        8553500 kB
Inactive:       477228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23638588 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:            3900 kB
Writeback:           0 kB
AnonPages:     8241520 kB
Mapped:          22428 kB
Slab:           132452 kB
PageTables:      81628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 116720248 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= 73968 MiB
End job on node143 at 2011-06-04 12:32:51