Trace number 3462835

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-21 1798.01 1798.01

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_1.opb
MD5SUM8c398fbb12ba7dbf676dd8375a76e0de
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-28
Best CPU time to get the best result obtained on this benchmark1797.57
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
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)2496
Sum of products size (including duplicates)4992
Number of different products1248
Sum of products size2496

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-3462835-1307183784.opb
0.00/0.00	c File size is 36021 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: 2696 Constr: 5294 2596/202/2496 Lit: 18072 Watch. Lit: 15378
0.00/0.00	c Obj. Vars: 100 (3.7092 % of total variables)
0.49/0.54	c Pre-processing Time: 0.54 s
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c        0   2696     5294    18072    3    15378   27672      0      0 0.54
0.49/0.54	c Switching off lower bounding mode.
0.49/0.54	o -1
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c        0   2696     5295    18172    3    15381   27738      1      0 0.54
0.49/0.54	o -2
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        1   2696     5298    18472    3    15390   27772      4      1 0.55
0.49/0.55	o -3
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        2   2696     5301    18798    3    15401   27805      7      3 0.55
0.49/0.55	o -4
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        3   2696     5304    19118    3    15414   27838     10      5 0.55
0.49/0.55	o -5
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        6   2696     5309    19467    3    15433   27872     15     10 0.55
0.49/0.55	o -6
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c        7   2696     5312    19805    3    15450   27905     18     12 0.56
0.49/0.56	o -7
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c       10   2696     5317    20340    3    15473   27938     23     17 0.56
0.49/0.56	o -8
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c       18   2696     5327    20983    3    15508   27972     33     32 0.56
0.49/0.56	o -9
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c       24   2696     5335    21799    4    15541   28005     41     42 0.56
0.49/0.56	o -10
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c       32   2696     5345    22795    4    15580   28038     51     56 0.57
0.49/0.57	o -11
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c       51   2696     5366    24077    4    15643   28072     72     89 0.57
0.49/0.57	o -12
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c       66   2696     5383    25341    4    15700   28105     89    114 0.58
0.49/0.58	o -13
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c       80   2696     5399    26678    4    15757   28138    105    137 0.58
0.49/0.58	o -14
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c       99   2696     5420    28191    5    15826   28172    126    169 0.58
0.49/0.59	o -15
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c      115   2696     5438    29769    5    15891   28205    144    195 0.59
0.49/0.59	o -16
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c      132   2696     5457    31419    5    15960   28238    163    222 0.59
0.59/0.60	o -17
0.59/0.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.61	c      159   2696     5486    33166    6    16051   28272    192    265 0.60
0.59/0.61	o -18
0.79/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.87	c      239   2696     5569    37472    6    16252   28305    275    388 0.61
0.79/0.87	c      339   2696     5672    42952    7    16476   31136    378    529 0.64
0.79/0.87	c      589   2696     5927    62638   10    16989   34250    633    847 0.69
0.79/0.87	c     1064   2696     6410   105828   16    17955   37676   1116   1341 0.79
0.79/0.87	o -19
3.49/3.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.52	c     1388   2696     6743   132448   19    18640   28338   1449   1599 0.87
3.49/3.52	c     1488   2696     6849   141340   20    18871   31172   1555   1647 0.90
3.49/3.52	c     1738   2696     7115   164296   23    19403   34290   1821   1814 0.96
3.49/3.52	c     2213   2696     7625   215898   28    20428   37720   2331   1993 1.11
3.49/3.52	c     3026   2696     8487   306983   36    22178   41493   3193   2202 1.37
3.49/3.52	c     4347   2696     9886   445532   45    25023   45643   4592   2489 1.75
3.49/3.52	c     6428   2696    12119   684229   56    29607   50208   6825   2590 2.48
3.49/3.52	o -20
391.69/391.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
391.69/391.79	c     9003   2696    14836   993598   66    35087   28372   9542   2558 3.52
391.69/391.79	c     9103   2696    14938  1002310   67    35311   31210   9644   2567 3.55
391.69/391.79	c     9353   2696    15196  1027557   67    35827   34332   9902   2567 3.64
391.69/391.79	c     9828   2696    15691  1078402   68    36824   37766  10397   2570 3.82
391.69/391.79	c    10641   2696    16545  1163397   70    38559   41543  11251   2565 4.15
391.69/391.79	c    11962   2696    17928  1299770   72    41341   45698  12634   2581 4.63
391.69/391.79	c    14043   2696    20165  1548898   76    45878   50268  14871   2545 5.52
391.69/391.79	c    17266   2696    23590  1916409   81    52770   55295  18296   2314 7.46
391.69/391.79	c    22202   2696    28783  2449348   85    63225   60825  23489   2138 10.38
391.69/391.79	c    29708   2696    36783  3268397   88    79433   66908  31489   1885 15.76
391.69/391.79	c    41069   2696    49001  4528607   92   104070   73599  43707   1605 25.58
391.69/391.79	c    58213   2696    67401  6514720   96   141369   80959  62107   1309 44.46
391.69/391.79	c    84032   2696    29077  2818746   96   137853   89055  23783    961 87.42
391.69/391.79	c   122864   2696    90303 10448001  115   617708   97961  85009   1032 119.01
391.69/391.79	o -21
1797.89/1797.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.89/1797.99	c   140235   2696    31363  3055044   97   170155   29011  26069    357 391.80
1797.89/1797.99	c   140335   2696    31475  3063299   97   170381   31913  26181    358 391.98
1797.89/1797.99	c   140585   2696    31744  3086028   97   170979   35105  26450    358 392.36
1797.89/1797.99	c   141060   2696    32236  3131648   97   171963   38616  26942    358 393.02
1797.89/1797.99	c   141873   2696    33092  3210675   97   173675   42478  27798    359 394.14
1797.89/1797.99	c   143193   2696    34501  3346454   96   176570   46726  29207    361 396.13
1797.89/1797.99	c   145274   2696    36698  3567598   97   181002   51399  31404    363 399.54
1797.89/1797.99	c   148497   2696    40154  3910542   97   187980   56539  34860    366 404.86
1797.89/1797.99	c   153433   2696    45467  4438618   97   198652   62193  40173    371 413.11
1797.89/1797.99	c   160939   2696    53417  5218213   97   214744   68413  48123    377 426.32
1797.89/1797.99	c   172300   2696    65570  6457403   98   239297   75255  60276    382 450.27
1797.89/1797.99	c   189445   2696    19118  1386980   72    43186   82781  13824    377 501.69
1797.89/1797.99	c   215264   2696    46412  4210560   90    98097   91060  41118    417 515.44
1797.89/1797.99	c   254096   2696    87962  8497171   96   181724  100167  82668    461 550.63
1797.89/1797.99	c   312449   2696    62419  5786308   92   130503  110184  57125    491 635.57
1797.89/1797.99	c   400081   2696    57043  5638152   98   120565  121203  51749    532 751.21
1797.89/1797.99	c   531634   2696    90241  9040613  100   187057  133324  84947    555 956.36
1797.89/1797.99	c   729066   2696    58966  6066748  102   123961  146657  53672    564 1291.31
1797.89/1797.99	c  1025318   2696   106002 11390231  107   219361  161323 100708    586 1748.86
1797.89/1797.99	c Resources Exceeded
1797.89/1797.99	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 -x184 -x187 -x178 x116 -x194 -x136 -x193 -x150 -x122 -x163 x117 -x131 -x156 x160 x167 -x179 x101 -x128 -x191 -x164 -x127 x141 -x173 x137 -x112 x169 -x110 -x111 -x102 -x168 -x130 -x183 -x124 -x123 x159 -x170 -x148 -x154 -x155 -x190 -x103 x157 -x143 -x174 -x120 -x185 -x108 -x115 x149 -x151 x104 -x138 -x199 -x125 -x171 -x114 -x192 -x181 x121 x126 -x145 -x147 -x158 -x105 -x197 -x182 -x139 -x146 x176 -x198 -x106 -x196 -x135 -x107 x165 -x144 -x188 -x109 -x177 -x189 x119 -x195 x152 -x200 x133 -x161 -x140 -x113 x129 -x118 -x153 -x142 -x166 -x132 -x172 x186 -x180 -x175 -x134 -x162 
1797.89/1797.99	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.89/1797.99	c   61  1050806 221945  1400627   133445 14602674 128151    584 1798.00
1797.89/1797.99	c Objective: -21
1797.89/1797.99	s SATISFIABLE
1797.89/1797.99	c Total time: 1798 s

Verifier Data 

OK	-21

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-3462835-1307183784/watcher-3462835-1307183784 -o /tmp/evaluation-result-3462835-1307183784/solver-3462835-1307183784 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462835-1307183784.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.11 2.06 2.01 2/561 5746
/proc/meminfo: memFree=29025488/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=12024 CPUtime=0 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 620 0 0 0 0 0 0 0 25 0 1 0 829977120 12312576 565 33554432000 134512640 137138936 4286686528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 3006 565 185 642 0 2362 0

[startup+0.0658801 s]
/proc/loadavg: 2.11 2.06 2.01 2/561 5746
/proc/meminfo: memFree=29025488/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=12024 CPUtime=0.06 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 625 0 0 0 6 0 0 0 25 0 1 0 829977120 12312576 570 33554432000 134512640 137138936 4286686528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 3006 570 185 642 0 2362 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12024

[startup+0.100874 s]
/proc/loadavg: 2.11 2.06 2.01 2/561 5746
/proc/meminfo: memFree=29025488/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=12024 CPUtime=0.09 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 625 0 0 0 9 0 0 0 25 0 1 0 829977120 12312576 570 33554432000 134512640 137138936 4286686528 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 3006 570 185 642 0 2362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12024

[startup+0.30084 s]
/proc/loadavg: 2.11 2.06 2.01 2/561 5746
/proc/meminfo: memFree=29025488/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=12024 CPUtime=0.29 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 625 0 0 0 29 0 0 0 25 0 1 0 829977120 12312576 570 33554432000 134512640 137138936 4286686528 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 3006 570 185 642 0 2362 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12024

[startup+0.700773 s]
/proc/loadavg: 2.11 2.06 2.01 2/561 5746
/proc/meminfo: memFree=29025488/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=12756 CPUtime=0.69 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 867 0 0 0 68 1 0 0 25 0 1 0 829977120 13062144 766 33554432000 134512640 137138936 4286686528 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 3189 766 192 642 0 2545 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12756

[startup+1.50064 s]
/proc/loadavg: 2.11 2.06 2.01 3/562 5747
/proc/meminfo: memFree=29020644/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=16788 CPUtime=1.49 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 1860 0 0 0 148 1 0 0 25 0 1 0 829977120 17190912 1759 33554432000 134512640 137138936 4286686528 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 4197 1759 192 642 0 3553 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16788

[startup+3.10037 s]
/proc/loadavg: 2.10 2.06 2.01 3/562 5747
/proc/meminfo: memFree=29014072/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=24108 CPUtime=3.09 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 3686 0 0 0 307 2 0 0 25 0 1 0 829977120 24686592 3585 33554432000 134512640 137138936 4286686528 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 6027 3585 192 642 0 5383 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24108

[startup+6.3009 s]
/proc/loadavg: 2.10 2.06 2.01 3/562 5747
/proc/meminfo: memFree=29000888/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=35260 CPUtime=6.29 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 6475 0 0 0 625 4 0 0 25 0 1 0 829977120 36106240 6374 33554432000 134512640 137138936 4286686528 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 8815 6374 192 642 0 8171 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35260

[startup+12.7008 s]
/proc/loadavg: 2.08 2.06 2.01 3/562 5747
/proc/meminfo: memFree=28984012/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=50380 CPUtime=12.69 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 10275 0 0 0 1264 5 0 0 25 0 1 0 829977120 51589120 10174 33554432000 134512640 137138936 4286686528 18446744073709551615 134601114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 12595 10174 192 642 0 11951 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50380

[startup+25.5007 s]
/proc/loadavg: 2.07 2.05 2.01 3/562 5748
/proc/meminfo: memFree=28958624/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=74508 CPUtime=25.49 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 16287 0 0 0 2542 7 0 0 25 0 1 0 829977120 76296192 16186 33554432000 134512640 137138936 4286686528 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 18627 16186 192 642 0 17983 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 74508

[startup+51.1004 s]
/proc/loadavg: 2.05 2.05 2.00 3/562 5748
/proc/meminfo: memFree=28922972/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=110236 CPUtime=51.09 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 25239 0 0 0 5096 13 0 0 25 0 1 0 829977120 112881664 25138 33554432000 134512640 137138936 4286686528 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 27559 25138 192 642 0 26915 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 110236

[startup+102.322 s]
/proc/loadavg: 2.12 2.07 2.01 3/562 5750
/proc/meminfo: memFree=28897776/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=132408 CPUtime=102.32 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 30864 0 0 0 10213 19 0 0 25 0 1 0 829977120 135585792 30681 33554432000 134512640 137138936 4286686528 18446744073709551615 136502661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 33102 30681 192 642 0 32458 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 132408

[startup+162.301 s]
/proc/loadavg: 2.15 2.08 2.02 3/562 5751
/proc/meminfo: memFree=28835876/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=193404 CPUtime=162.29 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 46197 0 0 0 16205 24 0 0 25 0 1 0 829977120 198045696 45915 33554432000 134512640 137138936 4286686528 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 48351 45915 192 642 0 47707 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 193404

[startup+222.301 s]
/proc/loadavg: 2.09 2.08 2.01 3/562 5753
/proc/meminfo: memFree=28837204/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=193404 CPUtime=222.29 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 46197 0 0 0 22205 24 0 0 25 0 1 0 829977120 198045696 45915 33554432000 134512640 137138936 4286686528 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 48351 45915 192 642 0 47707 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 193404

[startup+282.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/562 5754
/proc/meminfo: memFree=28840408/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=193404 CPUtime=282.3 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 46197 0 0 0 28206 24 0 0 25 0 1 0 829977120 198045696 45915 33554432000 134512640 137138936 4286686528 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 48351 45915 192 642 0 47707 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 193404

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/562 5756
/proc/meminfo: memFree=28897804/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=193404 CPUtime=342.3 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 46197 0 0 0 34206 24 0 0 25 0 1 0 829977120 198045696 45915 33554432000 134512640 137138936 4286686528 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 48351 45915 192 642 0 47707 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 193404

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/562 5758
/proc/meminfo: memFree=28898152/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=193404 CPUtime=402.29 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 46197 0 0 0 40203 26 0 0 25 0 1 0 829977120 198045696 45915 33554432000 134512640 137138936 4286686528 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 48351 45915 192 642 0 47707 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 193404

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 5759
/proc/meminfo: memFree=28898368/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=193404 CPUtime=462.3 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 46197 0 0 0 46199 31 0 0 25 0 1 0 829977120 198045696 45915 33554432000 134512640 137138936 4286686528 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 48351 45915 192 642 0 47707 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 193404

[startup+522.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/562 5761
/proc/meminfo: memFree=28898344/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=193404 CPUtime=522.3 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 46197 0 0 0 52194 36 0 0 25 0 1 0 829977120 198045696 45915 33554432000 134512640 137138936 4286686528 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 48351 45915 192 642 0 47707 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 193404

[startup+582.301 s]
/proc/loadavg: 2.12 2.07 2.01 3/562 5762
/proc/meminfo: memFree=28898072/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=193408 CPUtime=582.3 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 46198 0 0 0 58190 40 0 0 25 0 1 0 829977120 198049792 45916 33554432000 134512640 137138936 4286686528 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 48352 45916 192 642 0 47708 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 193408

[startup+642.301 s]

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

/proc/meminfo: memFree=29797136/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=213588 CPUtime=1122.3 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 51510 0 0 0 112144 86 0 0 25 0 1 0 829977120 218714112 50974 33554432000 134512640 137138936 4286686528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 53397 50974 192 642 0 52753 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 213588

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 5805
/proc/meminfo: memFree=29794756/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=213588 CPUtime=1182.31 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 51510 0 0 0 118137 94 0 0 25 0 1 0 829977120 218714112 50974 33554432000 134512640 137138936 4286686528 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 53397 50974 192 642 0 52753 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 213588

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5807
/proc/meminfo: memFree=29793748/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=213588 CPUtime=1242.31 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 51643 0 0 0 124133 98 0 0 25 0 1 0 829977120 218714112 50974 33554432000 134512640 137138936 4286686528 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 53397 50974 192 642 0 52753 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 213588

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5809
/proc/meminfo: memFree=29789260/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=213588 CPUtime=1302.32 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 51643 0 0 0 130127 105 0 0 25 0 1 0 829977120 218714112 50974 33554432000 134512640 137138936 4286686528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 53397 50974 192 642 0 52753 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 213588

[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/562 5810
/proc/meminfo: memFree=29789124/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=213588 CPUtime=1362.31 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 51643 0 0 0 136121 110 0 0 25 0 1 0 829977120 218714112 50974 33554432000 134512640 137138936 4286686528 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 53397 50974 192 642 0 52753 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 213588

[startup+1422.32 s]
/proc/loadavg: 2.05 2.04 2.00 3/562 5812
/proc/meminfo: memFree=29778564/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=226280 CPUtime=1422.33 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 54814 0 0 0 142117 116 0 0 25 0 1 0 829977120 231710720 54145 33554432000 134512640 137138936 4286686528 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 56570 54145 192 642 0 55926 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 226280

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/562 5822
/proc/meminfo: memFree=29764904/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=237060 CPUtime=1482.3 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 57655 0 0 0 148107 123 0 0 25 0 1 0 829977120 242749440 56840 33554432000 134512640 137138936 4286686528 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 59265 56840 192 642 0 58621 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 237060

[startup+1542.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/562 5824
/proc/meminfo: memFree=29765172/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=237060 CPUtime=1542.29 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 57655 0 0 0 154099 130 0 0 25 0 1 0 829977120 242749440 56840 33554432000 134512640 137138936 4286686528 18446744073709551615 134573249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 59265 56840 192 642 0 58621 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 237060

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/562 5826
/proc/meminfo: memFree=29765652/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=237060 CPUtime=1602.29 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 57655 0 0 0 160095 134 0 0 25 0 1 0 829977120 242749440 56840 33554432000 134512640 137138936 4286686528 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 59265 56840 192 642 0 58621 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 237060

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5827
/proc/meminfo: memFree=29757832/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=239636 CPUtime=1662.29 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 58448 0 0 0 166093 136 0 0 25 0 1 0 829977120 245387264 57487 33554432000 134512640 137138936 4286686528 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 59909 57487 192 642 0 59265 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 239636

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 5832
/proc/meminfo: memFree=29757120/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=239636 CPUtime=1722.29 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 58448 0 0 0 172083 146 0 0 25 0 1 0 829977120 245387264 57487 33554432000 134512640 137138936 4286686528 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 59909 57487 192 642 0 59265 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 239636

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5833
/proc/meminfo: memFree=29753380/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=239636 CPUtime=1782.3 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 58448 0 0 0 178080 150 0 0 25 0 1 0 829977120 245387264 57487 33554432000 134512640 137138936 4286686528 18446744073709551615 134602882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 59909 57487 192 642 0 59265 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 239636

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5833
/proc/meminfo: memFree=29753256/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=239636 CPUtime=1785.49 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 58448 0 0 0 178399 150 0 0 25 0 1 0 829977120 245387264 57487 33554432000 134512640 137138936 4286686528 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 59909 57487 192 642 0 59265 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (KiB) 239636

[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5834
/proc/meminfo: memFree=29754496/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=239636 CPUtime=1791.92 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 58448 0 0 0 179041 151 0 0 25 0 1 0 829977120 245387264 57487 33554432000 134512640 137138936 4286686528 18446744073709551615 136503392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 59909 57487 192 642 0 59265 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 239636

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5834
/proc/meminfo: memFree=29754620/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=239636 CPUtime=1795.11 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 58448 0 0 0 179360 151 0 0 25 0 1 0 829977120 245387264 57487 33554432000 134512640 137138936 4286686528 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 59909 57487 192 642 0 59265 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 239636

[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5834
/proc/meminfo: memFree=29754620/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=239636 CPUtime=1796.7 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 58448 0 0 0 179519 151 0 0 25 0 1 0 829977120 245387264 57487 33554432000 134512640 137138936 4286686528 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 59909 57487 192 642 0 59265 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 239636

[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5834
/proc/meminfo: memFree=29754124/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=239636 CPUtime=1797.49 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 58448 0 0 0 179598 151 0 0 25 0 1 0 829977120 245387264 57487 33554432000 134512640 137138936 4286686528 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 59909 57487 192 642 0 59265 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 239636

[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5834
/proc/meminfo: memFree=29754124/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=239636 CPUtime=1797.89 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202496 58448 0 0 0 179638 151 0 0 25 0 1 0 829977120 245387264 57487 33554432000 134512640 137138936 4286686528 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5746/statm: 59909 57487 192 642 0 59265 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 239636

[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5834
/proc/meminfo: memFree=29754124/32950928 swapFree=41528364/67111528
[pid=5746] ppid=5744 vsize=0 CPUtime=1798 cores=1,3,5,7
/proc/5746/stat : 5746 (bsolo) R 5744 5746 3716 0 -1 4202500 58449 0 0 0 179648 152 0 0 25 0 1 0 829977120 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/5746/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.01
CPU user time (s): 1796.48
CPU system time (s): 1.52877
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 240220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.48
system time used= 1.52877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 4295

runsolver used 9.98648 second user time and 23.1675 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-04 12:36:24
IDJOB=3462835
IDBENCH=48251
IDSOLVER=1955
FILE ID=node126/3462835-1307183784
RUNJOBID= node126-1307175452-4913
PBS_JOBID= 13508841
Free space on /tmp= 73796 MiB

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

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

MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de
RANDOM SEED=1629487075

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29025892 kB
Buffers:        313640 kB
Cached:         487748 kB
SwapCached:      15388 kB
Active:        3163296 kB
Inactive:       440680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29025892 kB
SwapTotal:    67111528 kB
SwapFree:     41528364 kB
Dirty:            3908 kB
Writeback:           0 kB
AnonPages:     2799844 kB
Mapped:          24444 kB
Slab:           147740 kB
PageTables:     102140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 177453500 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= 73792 MiB
End job on node126 at 2011-06-04 13:06:22