Trace number 3708483

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-27 1798 1798.3

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_5.opb
MD5SUMcdccc05ac387e7ee9cb8ab81f53ca6f8
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-31
Best CPU time to get the best result obtained on this benchmark1797.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
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 constraint25
Maximum length of a constraint49
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)6226
Sum of products size (including duplicates)12452
Number of different products3113
Sum of products size6226

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-3708483-1338176504.opb
0.00/0.00	c File size is 76321 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: 6426 Constr: 12852 6426/200/6226 Lit: 49808 Watch. Lit: 37356
0.00/0.01	c Obj. Vars: 200 (3.11236 % of total variables)
0.03/0.06	c Pre-processing Time: 0.061 s
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0    200     3113     9339    3     6226    1037      0      0 0.06
0.09/0.11	c Switching off lower bounding mode.
0.09/0.11	o -21
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0    200     3114     9539    3     6249    2037      1      0 0.06
0.09/0.11	o -22
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c       17    200     3132    12740    4     6307    2037     19    261 0.07
0.09/0.11	c      117    200     3232    30196    9     6507    2241    119   1329 0.09
0.09/0.11	o -23
0.48/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.53	c      121    200     3237    31100    9     6540    2037    124   1359 0.09
0.48/0.53	c      221    200     3337    48412   14     6740    2241    224   1990 0.11
0.48/0.53	c      473    200     3590    92208   25     7246    2466    477   2798 0.17
0.48/0.53	c      948    200     4066   174739   42     8198    2713    953   3181 0.30
0.48/0.53	c     1761    200     4880   315975   64     9826    2985   1767   3393 0.52
0.48/0.53	o -24
0.58/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.64	c     1785    200     4905   320336   65     9900    2037   1792   3380 0.53
0.58/0.64	c     1886    200     5007   337950   67    10104    2241   1894   3398 0.56
0.58/0.64	c     2136    200     5259   381457   72    10608    2466   2146   3445 0.62
0.58/0.64	o -25
149.45/149.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
149.45/149.51	c     2230    200     5354   397899   74    10823    2037   2241   3446 0.65
149.45/149.51	c     2330    200     5454   415057   76    11023    2241   2341   3462 0.67
149.45/149.51	c     2581    200     5705   458032   80    11525    2466   2592   3502 0.74
149.45/149.51	c     3058    200     6183   539819   87    12481    2713   3070   3527 0.87
149.45/149.51	c     3871    200     6998   679203   97    14111    2985   3885   3413 1.13
149.45/149.51	c     5191    200     8321   905171  108    16757    3284   5208   3220 1.61
149.45/149.51	c     7272    200    10412  1263357  121    20939    3613   7299   3098 2.35
149.45/149.51	c    10496    200     5441   405234   74    10952    3975   2328   2787 3.77
149.45/149.51	c    15432    200    10392  1251900  120    20854    4373   7279   2601 5.93
149.45/149.51	c    22939    200     9342  1074200  114    18709    4811   6229   2553 8.98
149.45/149.51	c    34301    200    11942  1499759  125    23989    5293   8829   2365 14.50
149.45/149.51	c    51445    200    11033  1360748  123    22091    5823   7920   2237 23.00
149.45/149.51	c    77264    200     9038  1006558  111    18221    6406   5925   1980 39.02
149.45/149.51	c   116096    200     9591  1111787  115    19207    7047   6478   1849 62.76
149.45/149.51	c   174448    200     8606   937716  108    17237    7752   5493   1840 94.77
149.45/149.51	c   262081    200    14357  1927334  134    28739    8528  11244   1754 149.42
149.45/149.51	o -26
163.65/163.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
163.65/163.75	c   262235    200    14512  1954002  134    29075    2037  11399   1754 149.47
163.65/163.75	c   262335    200     4233   200487   47     8492    2241   1120   1753 149.57
163.65/163.75	c   262586    200     4484   243138   54     8994    2466   1371   1754 149.63
163.65/163.75	c   263061    200     4959   324126   65     9944    2713   1846   1756 149.74
163.65/163.75	c   263874    200     5773   462544   80    11572    2985   2660   1759 149.95
163.65/163.75	c   265194    200     7095   687387   96    14216    3284   3982   1764 150.33
163.65/163.75	c   267275    200     9179  1040905  113    18384    3613   6066   1769 151.06
163.65/163.75	c   270500    200    12412  1588994  128    24874    3975   9299   1775 152.34
163.65/163.75	c   275437    200     8969  1002645  111    17964    4373   5856   1783 154.46
163.65/163.75	c   282943    200     7902   821543  103    15854    4811   4789   1802 157.01
163.65/163.75	c   294305    200    10487  1260524  120    21000    5293   7374   1817 161.92
163.65/163.75	o -27
1797.89/1798.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.89/1798.29	c   297984    200    14181  1888221  133    28458    2037  11068   1820 163.71
1797.89/1798.29	c   298085    200     4234   198431   46     8495    2241   1121   1819 163.81
1797.89/1798.29	c   298337    200     4486   241122   53     8999    2466   1373   1820 163.87
1797.89/1798.29	c   298813    200     4962   321504   64     9951    2713   1849   1822 163.99
1797.89/1798.29	c   299626    200     5775   458842   79    11577    2985   2662   1824 164.18
1797.89/1798.29	c   300946    200     7104   683456   96    14235    3284   3991   1828 164.59
1797.89/1798.29	c   303027    200     9197  1035737  112    18446    3613   6084   1834 165.19
1797.89/1798.29	c   306250    200    12427  1580822  127    24906    3975   9314   1840 166.40
1797.89/1798.29	c   311186    200     8983  1000036  111    18018    4373   5870   1851 168.10
1797.89/1798.29	c   318693    200     7911   818117  103    15849    4811   4798   1866 170.76
1797.89/1798.29	c   330055    200    10523  1258665  119    21073    5293   7410   1879 175.56
1797.89/1798.29	c   347199    200     9617  1105423  114    19286    5823   6504   1896 183.06
1797.89/1798.29	c   373019    200     7621   769464  100    15294    6406   4508   1906 195.61
1797.89/1798.29	c   411851    200     8164   852855  104    16398    7047   5051   1904 216.23
1797.89/1798.29	c   470205    200     7174   693191   96    14375    7752   4061   1895 248.09
1797.89/1798.29	c   557838    200    12912  1658023  128    25851    8528   9799   1890 295.05
1797.89/1798.29	c   689391    200    16993  2342185  137    34037    9381  13880   1779 387.33
1797.89/1798.29	c   886823    200    15413  2084124  135    30879   10320  12300   1787 496.12
1797.89/1798.29	c  1183075    200    12219  1526319  124    24510   11353   9106   1669 708.72
1797.89/1798.29	c  1627557    200    11377  1397996  122    22806   12489   8264   1624 1002.14
1797.89/1798.29	c  2294384    200    10332  1227681  118    20691   13738   7219   1592 1440.87
1797.89/1798.29	c Resources Exceeded
1797.89/1798.29	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.89/1798.29	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.89/1798.29	c   59  2737251 143208  2901626    16656  2284121  13543   1522 1798.00
1797.89/1798.29	c Objective: -27
1797.89/1798.29	s SATISFIABLE
1797.89/1798.29	c Total time: 1798 s

Verifier Data 

OK	-27

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708483-1338176504/watcher-3708483-1338176504 -o /tmp/evaluation-result-3708483-1338176504/solver-3708483-1338176504 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708483-1338176504.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.00 2.00 2.00 3/176 10463
/proc/meminfo: memFree=29678120/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=11424 CPUtime=0 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 420 0 0 0 0 0 0 0 20 0 1 0 283774808 11698176 373 33554432000 134512640 137138936 4294425696 4294424224 134517592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 2856 374 178 642 0 2193 0

[startup+0.043144 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10463
/proc/meminfo: memFree=29678120/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=14200 CPUtime=0.03 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 1149 0 0 0 3 0 0 0 20 0 1 0 283774808 14540800 1083 33554432000 134512640 137138936 4294425696 4294347260 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 3550 1083 185 642 0 2906 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14200

[startup+0.100323 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10463
/proc/meminfo: memFree=29678120/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=14208 CPUtime=0.09 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 1208 0 0 0 9 0 0 0 20 0 1 0 283774808 14548992 1123 33554432000 134512640 137138936 4294425696 4294424812 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 3552 1123 192 642 0 2908 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14208

[startup+0.300241 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10463
/proc/meminfo: memFree=29678120/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=15804 CPUtime=0.29 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 1592 0 0 0 29 0 0 0 20 0 1 0 283774808 16183296 1507 33554432000 134512640 137138936 4294425696 4294424812 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 3951 1507 192 642 0 3307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15804

[startup+0.700239 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10463
/proc/meminfo: memFree=29678120/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=18804 CPUtime=0.68 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 2347 0 0 0 68 0 0 0 20 0 1 0 283774808 19255296 2262 33554432000 134512640 137138936 4294425696 4294424812 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 4701 2262 192 642 0 4057 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18804

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10464
/proc/meminfo: memFree=29667300/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=23984 CPUtime=1.48 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 3632 0 0 0 147 1 0 0 20 0 1 0 283774808 24559616 3547 33554432000 134512640 137138936 4294425696 4294424812 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 5996 3547 192 642 0 5352 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23984

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10464
/proc/meminfo: memFree=29659736/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=33924 CPUtime=3.09 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 6118 0 0 0 307 2 0 0 20 0 1 0 283774808 34738176 6033 33554432000 134512640 137138936 4294425696 4294424812 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 8481 6033 192 642 0 7837 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33924

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10464
/proc/meminfo: memFree=29652544/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=35216 CPUtime=6.29 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 6460 0 0 0 626 3 0 0 20 0 1 0 283774808 36061184 6375 33554432000 134512640 137138936 4294425696 4294424812 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 8804 6375 192 642 0 8160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35216

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10464
/proc/meminfo: memFree=29650004/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=37880 CPUtime=12.69 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 7116 0 0 0 1265 4 0 0 20 0 1 0 283774808 38789120 7031 33554432000 134512640 137138936 4294425696 4294424812 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 9470 7031 192 642 0 8826 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37880

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10464
/proc/meminfo: memFree=29648072/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=40136 CPUtime=25.48 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 7685 0 0 0 2542 6 0 0 20 0 1 0 283774808 41099264 7607 33554432000 134512640 137138936 4294425696 4294424624 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 10034 7607 192 642 0 9390 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40136

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10464
/proc/meminfo: memFree=29646440/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=41536 CPUtime=51.07 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 8041 0 0 0 5098 9 0 0 20 0 1 0 283774808 42532864 7953 33554432000 134512640 137138936 4294425696 4294424232 136504212 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 10384 7953 192 642 0 9740 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41536

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10465
/proc/meminfo: memFree=29643092/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=44428 CPUtime=102.26 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 8768 0 0 0 10209 17 0 0 20 0 1 0 283774808 45494272 8680 33554432000 134512640 137138936 4294425696 4294424624 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 11107 8680 192 642 0 10463 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 44428

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10465
/proc/meminfo: memFree=29643464/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=44000 CPUtime=162.25 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 8822 0 0 0 16201 24 0 0 20 0 1 0 283774808 45056000 8582 33554432000 134512640 137138936 4294425696 4294424812 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 11000 8582 192 642 0 10356 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 44000

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10465
/proc/meminfo: memFree=29644524/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=43528 CPUtime=222.24 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 8823 0 0 0 22190 34 0 0 20 0 1 0 283774808 44572672 8464 33554432000 134512640 137138936 4294425696 4294424592 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 10882 8464 192 642 0 10238 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 43528

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10466
/proc/meminfo: memFree=29643772/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=44088 CPUtime=282.23 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 8978 0 0 0 28179 44 0 0 20 0 1 0 283774808 45146112 8604 33554432000 134512640 137138936 4294425696 4294424812 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 11022 8604 192 642 0 10378 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 44088

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10466
/proc/meminfo: memFree=29642096/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=45964 CPUtime=342.22 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 9457 0 0 0 34170 52 0 0 20 0 1 0 283774808 47067136 9073 33554432000 134512640 137138936 4294425696 4294424624 134542840 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 11491 9073 192 642 0 10847 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 45964

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10467
/proc/meminfo: memFree=29640484/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=47832 CPUtime=402.21 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 9924 0 0 0 40162 59 0 0 20 0 1 0 283774808 48979968 9540 33554432000 134512640 137138936 4294425696 4294424192 134618242 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 11958 9540 192 642 0 11314 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 47832

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10467
/proc/meminfo: memFree=29641104/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=47976 CPUtime=462.2 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 9953 0 0 0 46153 67 0 0 20 0 1 0 283774808 49127424 9560 33554432000 134512640 137138936 4294425696 4294424736 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 11994 9560 192 642 0 11350 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 47976

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10470
/proc/meminfo: memFree=29638800/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=49988 CPUtime=522.19 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 10473 0 0 0 52146 73 0 0 20 0 1 0 283774808 51187712 10079 33554432000 134512640 137138936 4294425696 4294424592 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 12497 10079 192 642 0 11853 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 49988

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10546
/proc/meminfo: memFree=29820772/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=49924 CPUtime=582.19 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 10508 0 0 0 58138 81 0 0 20 0 1 0 283774808 51122176 10058 33554432000 134512640 137138936 4294425696 4294424624 134542249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 12481 10058 192 642 0 11837 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 49924

[startup+642.3 s]

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

/proc/meminfo: memFree=29807356/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=54968 CPUtime=1122.1 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 11850 0 0 0 112066 144 0 0 20 0 1 0 283774808 56287232 11310 33554432000 134512640 137138936 4294425696 4294422160 134602753 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 13742 11310 192 642 0 13098 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 54968

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10574
/proc/meminfo: memFree=29807416/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=54908 CPUtime=1182.09 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 11850 0 0 0 118059 150 0 0 20 0 1 0 283774808 56225792 11309 33554432000 134512640 137138936 4294425696 4294424812 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 13727 11309 192 642 0 13083 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 54908

[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 10574
/proc/meminfo: memFree=29807300/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=54848 CPUtime=1242.08 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 11850 0 0 0 124050 158 0 0 20 0 1 0 283774808 56164352 11294 33554432000 134512640 137138936 4294425696 4294424624 134542495 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 13712 11294 192 642 0 13068 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 54848

[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 10575
/proc/meminfo: memFree=29807424/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=54908 CPUtime=1302.08 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 11865 0 0 0 130043 165 0 0 20 0 1 0 283774808 56225792 11309 33554432000 134512640 137138936 4294425696 4294424812 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 13727 11309 192 642 0 13083 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 54908

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 10575
/proc/meminfo: memFree=29807300/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=54960 CPUtime=1362.06 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 11873 0 0 0 136033 173 0 0 20 0 1 0 283774808 56279040 11316 33554432000 134512640 137138936 4294425696 4294424624 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 13740 11316 192 642 0 13096 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 54960

[startup+1422.31 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 10575
/proc/meminfo: memFree=29805748/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=54876 CPUtime=1422.06 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 11873 0 0 0 142026 180 0 0 20 0 1 0 283774808 56193024 11301 33554432000 134512640 137138936 4294425696 4294424548 136511155 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 13719 11301 192 642 0 13075 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 54876

[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 10575
/proc/meminfo: memFree=29802584/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57788 CPUtime=1482.04 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12590 0 0 0 148017 187 0 0 20 0 1 0 283774808 59174912 12017 33554432000 134512640 137138936 4294425696 4294424624 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14447 12017 192 642 0 13803 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 57788

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 10575
/proc/meminfo: memFree=29802832/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57712 CPUtime=1542.03 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12590 0 0 0 154011 192 0 0 20 0 1 0 283774808 59097088 12010 33554432000 134512640 137138936 4294425696 4294424624 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14428 12010 192 642 0 13784 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 57712

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/176 10575
/proc/meminfo: memFree=29802956/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57748 CPUtime=1602.02 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12598 0 0 0 160003 199 0 0 20 0 1 0 283774808 59133952 12017 33554432000 134512640 137138936 4294425696 4294424624 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14437 12017 192 642 0 13793 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 57748

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 10576
/proc/meminfo: memFree=29802832/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57704 CPUtime=1662.01 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12598 0 0 0 165996 205 0 0 20 0 1 0 283774808 59088896 12008 33554432000 134512640 137138936 4294425696 4294424624 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14426 12008 192 642 0 13782 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 57704

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 10579
/proc/meminfo: memFree=29802948/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57692 CPUtime=1722.01 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12615 0 0 0 171990 211 0 0 20 0 1 0 283774808 59076608 12005 33554432000 134512640 137138936 4294425696 4294424624 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14423 12005 192 642 0 13779 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 57692

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10579
/proc/meminfo: memFree=29802584/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57628 CPUtime=1781.99 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12615 0 0 0 177984 215 0 0 20 0 1 0 283774808 59011072 11989 33554432000 134512640 137138936 4294425696 4294424408 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14407 11989 192 642 0 13763 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 57628

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10579
/proc/meminfo: memFree=29802708/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57624 CPUtime=1791.6 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12615 0 0 0 178943 217 0 0 20 0 1 0 283774808 59006976 11988 33554432000 134512640 137138936 4294425696 4294424624 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14406 11988 192 642 0 13762 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 57624

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10579
/proc/meminfo: memFree=29802708/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57608 CPUtime=1794.8 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12615 0 0 0 179262 218 0 0 20 0 1 0 283774808 58990592 11984 33554432000 134512640 137138936 4294425696 4294424812 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14402 11984 192 642 0 13758 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 57608

[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10579
/proc/meminfo: memFree=29802708/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57608 CPUtime=1796.4 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12615 0 0 0 179422 218 0 0 20 0 1 0 283774808 58990592 11984 33554432000 134512640 137138936 4294425696 4294424624 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14402 11984 192 642 0 13758 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 57608

[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10579
/proc/meminfo: memFree=29802708/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57608 CPUtime=1797.19 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12615 0 0 0 179501 218 0 0 20 0 1 0 283774808 58990592 11984 33554432000 134512640 137138936 4294425696 4294424624 134542495 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14402 11984 192 642 0 13758 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 57608

[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10579
/proc/meminfo: memFree=29802708/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57608 CPUtime=1797.59 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12615 0 0 0 179541 218 0 0 20 0 1 0 283774808 58990592 11984 33554432000 134512640 137138936 4294425696 4294424612 136297620 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14402 11984 192 642 0 13758 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 57608

[startup+1798.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10579
/proc/meminfo: memFree=29802708/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57608 CPUtime=1797.79 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12615 0 0 0 179561 218 0 0 20 0 1 0 283774808 58990592 11984 33554432000 134512640 137138936 4294425696 4294424624 134542915 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14402 11984 192 642 0 13758 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 57608

[startup+1798.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10579
/proc/meminfo: memFree=29802708/32873844 swapFree=7628/7628
[pid=10463] ppid=10461 vsize=57608 CPUtime=1797.89 cores=0,2,4,6
/proc/10463/stat : 10463 (bsolo) R 10461 10463 8717 0 -1 4202496 12615 0 0 0 179571 218 0 0 20 0 1 0 283774808 58990592 11984 33554432000 134512640 137138936 4294425696 4294424624 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10463/statm: 14402 11984 192 642 0 13758 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 57608

Child status: 0
Real time (s): 1798.3
CPU time (s): 1798
CPU user time (s): 1795.82
CPU system time (s): 2.18467
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 57788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.82
system time used= 2.18467
maximum resident set size= 48068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12616
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= 25
involuntary context switches= 1851

runsolver used 7.55385 second user time and 16.3415 second system time

The end

Launcher Data 

Begin job on node145 at 2012-05-28 05:41:44
IDJOB=3708483
IDBENCH=48205
IDSOLVER=2286
FILE ID=node145/3708483-1338176504
RUNJOBID= node145-1338157126-8733
PBS_JOBID= 14624528
Free space on /tmp= 71552 MiB

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

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

MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8
RANDOM SEED=159703246

node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29678120 kB
Buffers:          329544 kB
Cached:          1836708 kB
SwapCached:            0 kB
Active:           883332 kB
Inactive:        1493240 kB
Active(anon):     201780 kB
Inactive(anon):    10912 kB
Active(file):     681552 kB
Inactive(file):  1482328 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3896 kB
Writeback:             0 kB
AnonPages:        217824 kB
Mapped:            14836 kB
Shmem:               200 kB
Slab:             678596 kB
SReclaimable:     120264 kB
SUnreclaim:       558332 kB
KernelStack:        1472 kB
PageTables:         4000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     331800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71548 MiB
End job on node145 at 2012-05-28 06:11:43