Trace number 3737419

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
PB07: bsolo 3.0.17SAT (TO)-9 1800.17 1800.47

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 benchmark1797.4
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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3737419-1338719188.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.015 s
0.00/0.02	c Var: 6324 Constr: 12550 6224/202/6124 Lit: 43468 Watch. Lit: 37146
0.00/0.02	c Obj. Vars: 100 (1.58128 % of total variables)
7.29/7.36	c Pre-processing Time: 7.357 s
7.29/7.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.36	c        0   6324    12550    43468    3    37146  102242      0      0 7.36
7.29/7.36	c Switching off LPR mode.
7.29/7.36	o -1	7.359
7.29/7.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.36	c        0   6324    12551    43568    3    37149  102309      1      0 7.36
7.29/7.36	o -2	7.361
7.29/7.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.36	c        0   6324    12552    43668    3    37153  102409      2      0 7.36
7.29/7.36	o -3	7.364
7.29/7.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.37	c        0   6324    12553    43768    3    37158  102542      3      0 7.36
7.29/7.37	o -4	7.367
7.38/7.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.42	c        6   6324    12560    44553    3    37176  102576     10      0 7.37
7.38/7.42	c      106   6324    12660    56351    4    37376  112834    110     14 7.40
7.38/7.42	o -5	7.422
12.68/12.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.68/12.76	c      270   6324    12825    78166    6    37711  102609    275     36 7.42
12.68/12.76	c      370   6324    12925    90744    7    37911  112870    375     49 7.45
12.68/12.76	c      620   6324    13175   123736    9    38411  124158    625     82 7.51
12.68/12.76	c     1095   6324    13650   185702   13    39361  136574   1100    144 7.60
12.68/12.76	c     1908   6324    14463   285568   19    40987  150232   1913    247 7.72
12.68/12.76	c     3228   6324    15783   450243   28    43627  165256   3233    407 7.91
12.68/12.76	c     5309   6324    17864   691649   38    47789  181782   5314    647 8.19
12.68/12.76	c     8532   6324    21087  1031694   48    54235  199961   8537    995 8.57
12.68/12.76	c    13468   6324    26023  1595621   61    64107  219958  13473   1436 9.37
12.68/12.76	c    20974   6324    33529  2529578   75    79119  241954  20979   1800 11.65
12.68/12.76	o -6	12.756
15.89/15.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.89/15.99	c    24127   6324    36683  2909695   79    85433  102642  24133   1891 12.76
15.89/15.99	c    24227   6324    36783  2922650   79    85633  112907  24233   1889 12.82
15.89/15.99	c    24477   6324    37033  2955100   79    86133  124198  24483   1893 12.93
15.89/15.99	c    24952   6324    37508  3011898   80    87083  136618  24958   1906 13.09
15.89/15.99	c    25765   6324    38321  3117209   81    88709  150280  25771   1928 13.36
15.89/15.99	c    27085   6324    39641  3281345   82    91349  165309  27091   1970 13.74
15.89/15.99	c    29166   6324    41722  3565521   85    95511  181840  29172   2024 14.41
15.89/15.99	c    32389   6324    44945  3943894   87   101957  200025  32395   2048 15.81
15.89/15.99	o -7	15.984
283.44/283.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
283.44/283.56	c    32760   6324    45317  4000815   88   102708  102676  32767   2049 15.99
283.44/283.56	c    32860   6324    45417  4016195   88   102908  112944  32867   2047 16.05
283.44/283.56	c    33110   6324    45667  4044230   88   103408  124239  33117   2048 16.17
283.44/283.56	c    33585   6324    46142  4097539   88   104358  136663  33592   2057 16.32
283.44/283.56	c    34398   6324    46955  4184569   89   105984  150330  34405   2078 16.55
283.44/283.56	c    35718   6324    48275  4320984   89   108624  165364  35725   2115 16.88
283.44/283.56	c    37799   6324    50356  4543959   90   112786  181901  37806   2184 17.31
283.44/283.56	c    41022   6324    53579  4905142   91   119232  200092  41029   2171 18.89
283.44/283.56	c    45958   6324    58515  5598382   95   129104  220102  45965   2149 21.38
283.44/283.56	c    53464   6324    66021  6583258   99   144116  242113  53471   2131 25.09
283.44/283.56	c    64826   6324    77383  7907804  102   166840  266325  64833   2069 31.32
283.44/283.56	c    81970   6324    94527  9911758  104   201128  292958  81977   1979 41.41
283.44/283.56	c   107789   6324   120346 13301098  110   252766  322254 107796   1619 66.57
283.44/283.56	c   146621   6324   159178 18182175  114   330430  354480 146628   1381 106.16
283.44/283.56	c   204973   6324   217530 26492636  121   447134  389929 204980   1056 194.03
283.44/283.56	o -8	283.517
570.90/571.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
570.90/571.01	c   241467   6324   254025 30950605  121   520132  102709 241475    851 283.52
570.90/571.01	c   241567   6324    25889  1796208   69    63832  112980  13339    630 382.87
570.90/571.01	c   241817   6324    26139  1823852   69    64332  124279  13589    631 382.96
570.90/571.01	c   242292   6324    26614  1877243   70    65282  136707  14064    632 383.11
570.90/571.01	c   243105   6324    27427  1984419   72    66908  150378  14877    634 383.36
570.90/571.01	c   244425   6324    28747  2127986   74    69548  165416  16197    636 383.88
570.90/571.01	c   246506   6324    30828  2360226   76    73710  181958  18278    640 384.62
570.90/571.01	c   249729   6324    34051  2697958   79    80156  200154  21501    647 385.54
570.90/571.01	c   254665   6324    38987  3267530   83    90028  220170  26437    658 386.95
570.90/571.01	c   262171   6324    46493  4163565   89   105040  242188  33943    671 390.15
570.90/571.01	c   273532   6324    57854  5636098   97   127762  266407  45304    691 395.32
570.90/571.01	c   290676   6324    74998  7685627  102   162050  293048  62448    718 404.65
570.90/571.01	c   316495   6324   100817 10968174  108   213688  322353  88267    750 421.81
570.90/571.01	c   355327   6324   139649 16289011  116   291352  354589 127099    775 457.90
570.90/571.01	c   413679   6324   198001 23774444  120   408056  390048 185451    775 533.46
570.90/571.01	o -9	570.92
1800.09/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.40	c   437290   6324   221613 26599318  120   455289  102576 209063    765 570.92
1800.09/1800.40	c   437390   6324    25791  1647088   63    63637  112834  13241    689 634.40
1800.09/1800.40	c   437640   6324    26041  1676709   64    64137  124118  13491    689 634.46
1800.09/1800.40	c   438115   6324    26516  1726220   65    65087  136530  13966    690 634.61
1800.09/1800.40	c   438928   6324    27329  1817450   66    66713  150184  14779    691 634.87
1800.09/1800.40	c   440248   6324    28649  1968631   68    69353  165203  16099    692 635.30
1800.09/1800.40	c   442329   6324    30730  2188971   71    73515  181724  18180    695 635.79
1800.09/1800.40	c   445552   6324    33953  2538222   74    79961  199897  21403    699 636.67
1800.09/1800.40	c   450488   6324    38889  3043986   78    89833  219887  26339    706 637.89
1800.09/1800.40	c   457994   6324    46395  3821859   82   104845  241876  33845    715 640.05
1800.09/1800.40	c   469355   6324    57756  5100441   88   127567  266064  45206    728 644.33
1800.09/1800.40	c   486499   6324    74900  7130906   95   161855  292671  62350    741 656.50
1800.09/1800.40	c   512318   6324   100719 10313287  102   213493  321939  88169    751 681.61
1800.09/1800.40	c   551150   6324   139551 14794862  106   291157  354133 127001    763 721.72
1800.09/1800.40	c   609502   6324   197903 21678484  109   407861  389547 185353    769 791.68
1800.09/1800.40	c   697134   6324   285535 31577504  110   583125  428502 272985    769 906.01
1800.09/1800.40	c   828686   6324   417087 47982174  115   846229  471353 404537    630 1314.23
1800.09/1800.40	c Caught signal: 15
1800.09/1800.40	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 
1800.09/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.40	c   70   901520    350   929348   415494 48108222 402944    500 1800.10
1800.09/1800.40	c Objective: -9
1800.09/1800.40	s SATISFIABLE
1800.09/1800.40	c Total time: 1800.1 s

Verifier Data 

OK	-9

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-3737419-1338719188/watcher-3737419-1338719188 -o /tmp/evaluation-result-3737419-1338719188/solver-3737419-1338719188 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737419-1338719188.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.88 1.97 1.95 3/176 18913
/proc/meminfo: memFree=30418988/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=5040 CPUtime=0 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 338044675 5160960 472 33554432000 134512640 135840783 4288110432 4288108912 6329639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 1260 473 332 325 0 176 0

[startup+0.097878 s]
/proc/loadavg: 1.88 1.97 1.95 3/176 18913
/proc/meminfo: memFree=30418988/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=7876 CPUtime=0.09 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 1311 0 0 0 9 0 0 0 20 0 1 0 338044675 8065024 1227 33554432000 134512640 135840783 4288110432 4288033296 6328146 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 1969 1227 343 325 0 905 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7876

[startup+0.100171 s]
/proc/loadavg: 1.88 1.97 1.95 3/176 18913
/proc/meminfo: memFree=30418988/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=7876 CPUtime=0.09 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 1311 0 0 0 9 0 0 0 20 0 1 0 338044675 8065024 1227 33554432000 134512640 135840783 4288110432 4288033188 6316284 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 1969 1227 343 325 0 905 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7876

[startup+0.300222 s]
/proc/loadavg: 1.88 1.97 1.95 3/176 18913
/proc/meminfo: memFree=30418988/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=7876 CPUtime=0.29 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 1311 0 0 0 29 0 0 0 20 0 1 0 338044675 8065024 1227 33554432000 134512640 135840783 4288110432 4288033188 6316284 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 1969 1227 343 325 0 905 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7876

[startup+0.700224 s]
/proc/loadavg: 1.88 1.97 1.95 3/176 18913
/proc/meminfo: memFree=30418988/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=7876 CPUtime=0.69 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 1311 0 0 0 69 0 0 0 20 0 1 0 338044675 8065024 1227 33554432000 134512640 135840783 4288110432 4288033520 134551635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 1969 1227 343 325 0 905 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7876

[startup+1.50018 s]
/proc/loadavg: 1.88 1.97 1.95 3/177 18914
/proc/meminfo: memFree=30411796/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=7876 CPUtime=1.49 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 1311 0 0 0 149 0 0 0 20 0 1 0 338044675 8065024 1227 33554432000 134512640 135840783 4288110432 4288033660 9598000 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 1969 1227 343 325 0 905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7876

[startup+3.10012 s]
/proc/loadavg: 1.88 1.97 1.95 3/177 18914
/proc/meminfo: memFree=30410432/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=7876 CPUtime=3.09 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 1311 0 0 0 309 0 0 0 20 0 1 0 338044675 8065024 1227 33554432000 134512640 135840783 4288110432 4288033660 9598000 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 1969 1227 343 325 0 905 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7876

[startup+6.30018 s]
/proc/loadavg: 1.89 1.97 1.95 3/177 18914
/proc/meminfo: memFree=30399896/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=7876 CPUtime=6.29 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 1311 0 0 0 629 0 0 0 20 0 1 0 338044675 8065024 1227 33554432000 134512640 135840783 4288110432 4288033296 6327198 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 1969 1227 343 325 0 905 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7876

[startup+12.7003 s]
/proc/loadavg: 1.90 1.97 1.95 3/177 18914
/proc/meminfo: memFree=30343716/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=46796 CPUtime=12.68 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 11307 0 0 0 1267 1 0 0 20 0 1 0 338044675 47919104 10957 33554432000 134512640 135840783 4288110432 4288108064 6329639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 11699 10957 349 325 0 10635 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46796

[startup+25.5011 s]
/proc/loadavg: 1.92 1.97 1.95 3/178 18915
/proc/meminfo: memFree=30249956/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=98388 CPUtime=25.48 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 24230 0 0 0 2543 5 0 0 20 0 1 0 338044675 100749312 23880 33554432000 134512640 135840783 4288110432 4288106976 6329639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 24597 23880 349 325 0 23533 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98388

[startup+51.1003 s]
/proc/loadavg: 1.95 1.97 1.95 3/178 18915
/proc/meminfo: memFree=30123428/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=161048 CPUtime=51.08 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 39876 0 0 0 5099 9 0 0 20 0 1 0 338044675 164913152 39526 33554432000 134512640 135840783 4288110432 4288106976 6329639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 40262 39526 349 325 0 39198 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 161048

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.95 3/177 18915
/proc/meminfo: memFree=29864940/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=249744 CPUtime=102.28 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 62068 0 0 0 10213 15 0 0 20 0 1 0 338044675 255737856 61718 33554432000 134512640 135840783 4288110432 4288109744 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 62436 61718 349 325 0 61372 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 249744

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 18915
/proc/meminfo: memFree=29597504/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=328368 CPUtime=162.26 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 81714 0 0 0 16205 21 0 0 20 0 1 0 338044675 336248832 81364 33554432000 134512640 135840783 4288110432 4288109792 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 82092 81364 349 325 0 81028 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 328368

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/178 18918
/proc/meminfo: memFree=29301768/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=386392 CPUtime=222.25 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 96215 0 0 0 22198 27 0 0 20 0 1 0 338044675 395665408 95865 33554432000 134512640 135840783 4288110432 4288109744 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 96598 95865 349 325 0 95534 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 386392

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 18919
/proc/meminfo: memFree=29064740/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=427156 CPUtime=282.25 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 106399 0 0 0 28193 32 0 0 20 0 1 0 338044675 437407744 106049 33554432000 134512640 135840783 4288110432 4288109792 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 106789 106049 349 325 0 105725 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 427156

[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 18919
/proc/meminfo: memFree=28966560/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=427928 CPUtime=342.23 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 106839 0 0 0 34191 32 0 0 20 0 1 0 338044675 438198272 106253 33554432000 134512640 135840783 4288110432 4288109856 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 106982 106253 349 325 0 105918 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 427928

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 18919
/proc/meminfo: memFree=28880160/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=427928 CPUtime=402.22 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 106839 0 0 0 40190 32 0 0 20 0 1 0 338044675 438198272 106253 33554432000 134512640 135840783 4288110432 4288109744 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 106982 106253 349 325 0 105918 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 427928

[startup+462.3 s]
/proc/loadavg: 2.06 1.99 1.96 3/177 18919
/proc/meminfo: memFree=28770820/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=427928 CPUtime=462.21 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 106839 0 0 0 46189 32 0 0 20 0 1 0 338044675 438198272 106253 33554432000 134512640 135840783 4288110432 4288109792 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 106982 106253 349 325 0 105918 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 427928

[startup+522.3 s]
/proc/loadavg: 2.02 1.99 1.96 3/177 18919
/proc/meminfo: memFree=28645236/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=427928 CPUtime=522.21 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 106839 0 0 0 52189 32 0 0 20 0 1 0 338044675 438198272 106253 33554432000 134512640 135840783 4288110432 4288109792 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 106982 106253 349 325 0 105918 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 427928

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/176 18919
/proc/meminfo: memFree=28490644/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=427928 CPUtime=582.2 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 106839 0 0 0 58188 32 0 0 20 0 1 0 338044675 438198272 106253 33554432000 134512640 135840783 4288110432 4288109856 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 106982 106253 349 325 0 105918 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 427928

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.00 1.96 3/178 18923
/proc/meminfo: memFree=27976016/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=427928 CPUtime=822.16 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 106839 0 0 0 82184 32 0 0 20 0 1 0 338044675 438198272 106253 33554432000 134512640 135840783 4288110432 4288109744 134550921 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 106982 106253 349 325 0 105918 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 427928

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18923
/proc/meminfo: memFree=27889144/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=427984 CPUtime=882.15 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 106853 0 0 0 88183 32 0 0 20 0 1 0 338044675 438255616 106267 33554432000 134512640 135840783 4288110432 4288109792 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 106996 106267 349 325 0 105932 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 427984

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27770628/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=459364 CPUtime=942.14 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 114702 0 0 0 94177 37 0 0 20 0 1 0 338044675 470388736 114116 33554432000 134512640 135840783 4288110432 4288108064 6329639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 114841 114116 349 325 0 113777 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 459364

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27628180/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=485148 CPUtime=1002.13 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 121135 0 0 0 100173 40 0 0 20 0 1 0 338044675 496791552 120549 33554432000 134512640 135840783 4288110432 4288109684 6335051 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 121287 120549 349 325 0 120223 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 485148

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27470856/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=518108 CPUtime=1062.13 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 129390 0 0 0 106169 44 0 0 20 0 1 0 338044675 530542592 128804 33554432000 134512640 135840783 4288110432 4288109520 6327041 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 129527 128804 349 325 0 128463 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 518108

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27284388/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=554348 CPUtime=1122.11 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 138451 0 0 0 112163 48 0 0 20 0 1 0 338044675 567652352 137865 33554432000 134512640 135840783 4288110432 4288109792 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 138587 137865 349 325 0 137523 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 554348

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27018064/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=586188 CPUtime=1182.11 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 146406 0 0 0 118158 53 0 0 20 0 1 0 338044675 600256512 145820 33554432000 134512640 135840783 4288110432 4288106976 6329639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 146547 145820 349 325 0 145483 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 586188

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18925
/proc/meminfo: memFree=26903268/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=621772 CPUtime=1242.1 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 155304 0 0 0 124152 58 0 0 20 0 1 0 338044675 636694528 154718 33554432000 134512640 135840783 4288110432 4288109792 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 155443 154718 349 325 0 154379 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 621772

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18925
/proc/meminfo: memFree=26811784/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=655948 CPUtime=1302.1 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 163830 0 0 0 130148 62 0 0 20 0 1 0 338044675 671690752 163244 33554432000 134512640 135840783 4288110432 4288109744 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 163987 163244 349 325 0 162923 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 655948

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18925
/proc/meminfo: memFree=26707900/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=688680 CPUtime=1362.08 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 172034 0 0 0 136143 65 0 0 20 0 1 0 338044675 705208320 171448 33554432000 134512640 135840783 4288110432 4288109744 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 172170 171448 349 325 0 171106 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 688680

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18928
/proc/meminfo: memFree=26597280/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=714724 CPUtime=1422.08 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 178530 0 0 0 142140 68 0 0 20 0 1 0 338044675 731877376 177944 33554432000 134512640 135840783 4288110432 4288109744 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 178681 177944 349 325 0 177617 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 714724

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18928
/proc/meminfo: memFree=26473860/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=735220 CPUtime=1482.06 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 183673 0 0 0 148135 71 0 0 20 0 1 0 338044675 752865280 183087 33554432000 134512640 135840783 4288110432 4288109568 6327041 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 183805 183087 349 325 0 182741 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 735220

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=26330048/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=750532 CPUtime=1542.05 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 187495 0 0 0 154132 73 0 0 20 0 1 0 338044675 768544768 186909 33554432000 134512640 135840783 4288110432 4288109792 134551532 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 187633 186909 349 325 0 186569 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 750532

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=26178920/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=764460 CPUtime=1602.05 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 190958 0 0 0 160129 76 0 0 20 0 1 0 338044675 782807040 190372 33554432000 134512640 135840783 4288110432 4288109736 13232336 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 191115 190372 349 325 0 190051 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 764460

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=26012044/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=780844 CPUtime=1662.04 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 195053 0 0 0 166125 79 0 0 20 0 1 0 338044675 799584256 194467 33554432000 134512640 135840783 4288110432 4288109744 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 195211 194467 349 325 0 194147 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 780844

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=25817144/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=787024 CPUtime=1722.02 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 197092 0 0 0 172122 80 0 0 20 0 1 0 338044675 805912576 196039 33554432000 134512640 135840783 4288110432 4288109856 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 196756 196039 349 325 0 195692 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 787024

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18968
/proc/meminfo: memFree=29650696/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=787024 CPUtime=1782 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 197108 0 0 0 178120 80 0 0 20 0 1 0 338044675 805912576 196040 33554432000 134512640 135840783 4288110432 4288109856 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 196756 196040 349 325 0 195692 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 787024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18968
/proc/meminfo: memFree=29602560/32873648 swapFree=6860/6860
[pid=18913] ppid=18911 vsize=787024 CPUtime=1800.09 cores=0,2,4,6
/proc/18913/stat : 18913 (bsolo3.0.17) R 18911 18913 18429 0 -1 4202496 197124 0 0 0 179929 80 0 0 20 0 1 0 338044675 805912576 196040 33554432000 134512640 135840783 4288110432 4288109856 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18913/statm: 196756 196040 349 325 0 195692 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 787024

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

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

Child status: 15
Real time (s): 1800.47
CPU time (s): 1800.17
CPU user time (s): 1799.32
CPU system time (s): 0.84887
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 788892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.84887
maximum resident set size= 786024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197128
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= 39
involuntary context switches= 1877

runsolver used 3.48447 second user time and 9.15061 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-03 12:26:28
IDJOB=3737419
IDBENCH=48237
IDSOLVER=2318
FILE ID=node124/3737419-1338719188
RUNJOBID= node124-1338713740-18445
PBS_JOBID= 14636741
Free space on /tmp= 70704 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737419-1338719188/watcher-3737419-1338719188 -o /tmp/evaluation-result-3737419-1338719188/solver-3737419-1338719188 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737419-1338719188.opb            

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

MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3
RANDOM SEED=900711281

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30418988 kB
Buffers:          195244 kB
Cached:          1376880 kB
SwapCached:         8268 kB
Active:           508644 kB
Inactive:        1178232 kB
Active(anon):     108956 kB
Inactive(anon):     8240 kB
Active(file):     399688 kB
Inactive(file):  1169992 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091596 kB
Dirty:              6596 kB
Writeback:             8 kB
AnonPages:        114208 kB
Mapped:            10376 kB
Shmem:                 0 kB
Slab:             629968 kB
SReclaimable:      74316 kB
SUnreclaim:       555652 kB
KernelStack:        1448 kB
PageTables:         3892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     229760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70696 MiB
End job on node124 at 2012-06-03 12:56:30