Trace number 3462830

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT-12 1798.01 1797.95

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_3.opb
MD5SUM138d1c5c8dee06528dd1cfb072975c49
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark202.376
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1236
Sum of products size (including duplicates)2472
Number of different products618
Sum of products size1236

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-3462830-1307183676.opb
0.00/0.00	c File size is 16525 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 1336 Constr: 2624 1286/102/1236 Lit: 8952 Watch. Lit: 7618
0.00/0.00	c Obj. Vars: 50 (3.74251 % of total variables)
0.19/0.23	c Pre-processing Time: 0.236 s
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   1336     2624     8952    3     7618   14655      0      0 0.24
0.19/0.23	c Switching off lower bounding mode.
0.19/0.23	o -1
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0   1336     2625     9002    3     7621   14688      1      0 0.24
0.19/0.24	o -2
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        1   1336     2628     9152    3     7630   14705      4      4 0.24
0.19/0.24	o -3
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        2   1336     2631     9325    3     7641   14721      7      8 0.24
0.19/0.24	o -4
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        5   1336     2636     9549    3     7658   14738     12     20 0.24
0.19/0.24	o -5
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c       13   1336     2646    10010    3     7687   14755     22     53 0.24
0.19/0.24	o -6
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c       33   1336     2668    10451    3     7742   14771     44    135 0.24
0.19/0.24	o -7
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c       61   1336     2698    11527    4     7815   14788     74    246 0.25
0.19/0.25	o -8
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c       78   1336     2717    12273    4     7868   14805     93    313 0.25
0.19/0.25	o -9
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c      109   1336     2750    13134    4     7951   14821    126    432 0.25
0.19/0.26	o -10
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c      196   1336     2840    15067    5     8150   14838    216    750 0.26
0.39/0.42	c      296   1336     2943    19717    6     8356   16322    319   1080 0.27
0.39/0.42	c      546   1336     3206    30110    9     8893   17955    582   1766 0.31
0.39/0.42	c     1021   1336     3716    52364   14     9913   19751   1092   2774 0.37
0.39/0.42	o -11
167.59/167.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
167.59/167.64	c     1401   1336     4109    68375   16    10710   14855   1485   3319 0.42
167.59/167.64	c     1502   1336     4213    72151   17    10918   16341   1589   3437 0.44
167.59/167.64	c     1752   1336     4476    84154   18    11455   17976   1852   3680 0.48
167.59/167.64	c     2227   1336     4993   110728   22    12494   19774   2369   4034 0.55
167.59/167.64	c     3041   1336     5885   156948   26    14295   21752   3261   4381 0.69
167.59/167.64	c     4362   1336     7319   232067   31    17206   23928   4695   4615 0.94
167.59/167.64	c     6443   1336     9611   349289   36    21829   26321   6987   4502 1.43
167.59/167.64	c     9666   1336    13160   526902   40    28988   28954  10536   4166 2.32
167.59/167.64	c    14602   1336    18698   827453   44    40199   31850  16074   3587 4.07
167.59/167.64	c    22110   1336    27067  1291814   47    57072   35036  24443   2949 7.50
167.59/167.64	c    33471   1336    16566   771879   46    35837   38540  13942   2029 16.50
167.59/167.64	c    50615   1336    35683  1864228   52    74501   42395  33059   1965 25.76
167.59/167.64	c    76434   1336    34121  1757223   51    71516   46635  31497   1701 44.92
167.59/167.64	c   115269   1336    43897  2383187   54    91434   51299  41273   1490 77.31
167.59/167.64	c   173624   1336    31449  1641270   52    65997   56429  28825   1364 127.26
167.59/167.64	o -12
1797.95/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1797.95	c   220984   1336    41442  2253788   54    86359   14872  38818   1318 167.65
1797.95/1797.95	c   221085   1336    10162   443584   43    22934   16360   7538   1298 170.22
1797.95/1797.95	c   221335   1336    10574   468696   44    25494   17997   7950   1299 170.29
1797.95/1797.95	c   221812   1336    11369   518718   45    30522   19797   8745   1301 170.39
1797.95/1797.95	c   222625   1336    12675   598940   47    38455   21777  10051   1305 170.56
1797.95/1797.95	c   223946   1336    15193   764446   50    56551   23955  12569   1310 170.90
1797.95/1797.95	c   226027   1336    19070  1016483   53    83609   26351  16446   1317 171.57
1797.95/1797.95	c   229250   1336    24703  1389162   56   127678   28987  22079   1312 174.60
1797.95/1797.95	c   234186   1336    17548  1017132   57   126101   31886  14924   1273 183.96
1797.95/1797.95	c   241692   1336    30820  1936276   62   238525   35075  28196   1239 195.02
1797.95/1797.95	c   253054   1336    32520  2071987   63   256112   38583  29896   1188 212.91
1797.95/1797.95	c   270199   1336    34602  1941768   56   191492   42442  31978   1120 241.14
1797.95/1797.95	c   296018   1336    32958  1519489   46    69977   46687  30334   1069 276.71
1797.95/1797.95	c   334850   1336    41446  2053955   49    85932   51356  38822   1094 305.90
1797.95/1797.95	c   393204   1336    29782  1499468   50    62505   56492  27158   1089 361.05
1797.95/1797.95	c   480838   1336    39585  2021605   51    82387   62142  36961   1088 441.85
1797.95/1797.95	c   612390   1336    38968  1865118   47    81226   68357  36344   1052 582.02
1797.95/1797.95	c   809822   1336    39626  2042291   51    82432   75193  37002    997 812.20
1797.95/1797.95	c  1106074   1336    63579  3433157   53   130812   82713  60955    939 1177.79
1797.95/1797.95	c Resources Exceeded
1797.95/1797.95	v x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 x39 x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x97 x86 -x69 -x91 -x76 -x73 -x77 -x52 -x65 -x59 -x58 -x71 -x75 -x51 -x94 -x90 -x53 x92 x96 -x66 -x64 x68 -x70 x78 x93 -x89 -x74 x98 -x88 -x99 -x55 -x63 x85 x87 -x57 -x62 -x79 -x61 -x80 -x54 -x95 x82 -x56 -x83 -x100 x60 -x72 x84 -x67 -x81 
1797.95/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1797.95	c   47  1536136 191148  1793960    62130  3306051  59506    854 1798.00
1797.95/1797.95	c Objective: -12
1797.95/1797.95	s SATISFIABLE
1797.95/1797.95	c Total time: 1798 s

Verifier Data 

OK	-12

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462830-1307183676/watcher-3462830-1307183676 -o /tmp/evaluation-result-3462830-1307183676/solver-3462830-1307183676 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462830-1307183676.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.13 2.05 2.01 2/483 25598
/proc/meminfo: memFree=24603852/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=11336 CPUtime=0 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 447 0 0 0 0 0 0 0 25 0 1 0 908598275 11608064 397 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 2834 397 185 642 0 2190 0

[startup+0.0192261 s]
/proc/loadavg: 2.13 2.05 2.01 2/483 25598
/proc/meminfo: memFree=24603852/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=11336 CPUtime=0.01 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 447 0 0 0 1 0 0 0 25 0 1 0 908598275 11608064 397 33554432000 134512640 137138936 4291680544 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 2834 397 185 642 0 2190 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11336

[startup+0.100204 s]
/proc/loadavg: 2.13 2.05 2.01 2/483 25598
/proc/meminfo: memFree=24603852/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=11336 CPUtime=0.09 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 447 0 0 0 9 0 0 0 25 0 1 0 908598275 11608064 397 33554432000 134512640 137138936 4291680544 18446744073709551615 134566282 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 2834 397 185 642 0 2190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11336

[startup+0.300219 s]
/proc/loadavg: 2.13 2.05 2.01 2/483 25598
/proc/meminfo: memFree=24603852/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=11720 CPUtime=0.29 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 533 0 0 0 29 0 0 0 25 0 1 0 908598275 12001280 483 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 2930 483 192 642 0 2286 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11720

[startup+0.700187 s]
/proc/loadavg: 2.13 2.05 2.01 2/483 25598
/proc/meminfo: memFree=24603852/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=13704 CPUtime=0.69 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 1036 0 0 0 69 0 0 0 25 0 1 0 908598275 14032896 986 33554432000 134512640 137138936 4291680544 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 3426 986 192 642 0 2782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13704

[startup+1.501 s]
/proc/loadavg: 2.13 2.05 2.01 3/484 25599
/proc/meminfo: memFree=24598760/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=16756 CPUtime=1.49 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 1814 0 0 0 148 1 0 0 25 0 1 0 908598275 17158144 1764 33554432000 134512640 137138936 4291680544 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 4189 1764 192 642 0 3545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16756

[startup+3.10077 s]
/proc/loadavg: 2.13 2.05 2.01 3/484 25599
/proc/meminfo: memFree=24593920/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=21448 CPUtime=3.09 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 2979 0 0 0 308 1 0 0 25 0 1 0 908598275 21962752 2929 33554432000 134512640 137138936 4291680544 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 5362 2929 192 642 0 4718 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21448

[startup+6.30007 s]
/proc/loadavg: 2.12 2.05 2.01 3/484 25599
/proc/meminfo: memFree=24585860/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=28328 CPUtime=6.29 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 4708 0 0 0 627 2 0 0 25 0 1 0 908598275 29007872 4658 33554432000 134512640 137138936 4291680544 18446744073709551615 136504025 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 7082 4658 192 642 0 6438 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28328

[startup+12.7009 s]
/proc/loadavg: 2.11 2.05 2.01 3/484 25599
/proc/meminfo: memFree=24574436/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=38036 CPUtime=12.69 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 7127 0 0 0 1266 3 0 0 25 0 1 0 908598275 38948864 7077 33554432000 134512640 137138936 4291680544 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 9509 7077 192 642 0 8865 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38036

[startup+25.5007 s]
/proc/loadavg: 2.08 2.04 2.01 3/484 25600
/proc/meminfo: memFree=24571572/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=40452 CPUtime=25.49 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 7760 0 0 0 2545 4 0 0 25 0 1 0 908598275 41422848 7674 33554432000 134512640 137138936 4291680544 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 10113 7674 192 642 0 9469 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40452

[startup+51.101 s]
/proc/loadavg: 2.17 2.07 2.02 3/484 25600
/proc/meminfo: memFree=24560308/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=47924 CPUtime=51.1 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 9664 0 0 0 5101 9 0 0 25 0 1 0 908598275 49074176 9535 33554432000 134512640 137138936 4291680544 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 11981 9535 192 642 0 11337 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 47924

[startup+102.319 s]
/proc/loadavg: 2.13 2.07 2.02 3/484 25602
/proc/meminfo: memFree=24547136/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=56340 CPUtime=102.31 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 11875 0 0 0 10215 16 0 0 25 0 1 0 908598275 57692160 11647 33554432000 134512640 137138936 4291680544 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 14085 11647 192 642 0 13441 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 56340

[startup+162.301 s]
/proc/loadavg: 2.05 2.06 2.01 3/484 25603
/proc/meminfo: memFree=24543512/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=59832 CPUtime=162.3 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 12808 0 0 0 16207 23 0 0 25 0 1 0 908598275 61267968 12523 33554432000 134512640 137138936 4291680544 18446744073709551615 134542184 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 14958 12523 192 642 0 14314 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 59832

[startup+222.301 s]
/proc/loadavg: 2.10 2.07 2.02 3/484 25605
/proc/meminfo: memFree=24543840/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=60048 CPUtime=222.3 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 12843 0 0 0 22203 27 0 0 25 0 1 0 908598275 61489152 12558 33554432000 134512640 137138936 4291680544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15012 12558 192 642 0 14368 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 60048

[startup+282.301 s]
/proc/loadavg: 2.08 2.07 2.02 3/484 25609
/proc/meminfo: memFree=24542408/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=60048 CPUtime=282.3 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 12843 0 0 0 28199 31 0 0 25 0 1 0 908598275 61489152 12558 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15012 12558 192 642 0 14368 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 60048

[startup+342.301 s]
/proc/loadavg: 2.03 2.06 2.01 3/484 25611
/proc/meminfo: memFree=24542260/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=60048 CPUtime=342.3 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 12843 0 0 0 34193 37 0 0 25 0 1 0 908598275 61489152 12558 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15012 12558 192 642 0 14368 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 60048

[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/484 25613
/proc/meminfo: memFree=24542344/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=60048 CPUtime=402.31 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 12843 0 0 0 40187 44 0 0 25 0 1 0 908598275 61489152 12558 33554432000 134512640 137138936 4291680544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15012 12558 192 642 0 14368 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 60048

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/484 25614
/proc/meminfo: memFree=24541932/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=60048 CPUtime=462.3 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 12843 0 0 0 46180 50 0 0 25 0 1 0 908598275 61489152 12558 33554432000 134512640 137138936 4291680544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15012 12558 192 642 0 14368 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 60048

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25616
/proc/meminfo: memFree=24538028/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=63632 CPUtime=522.31 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 13801 0 0 0 52175 56 0 0 25 0 1 0 908598275 65159168 13454 33554432000 134512640 137138936 4291680544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15908 13454 192 642 0 15264 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 63632

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25617
/proc/meminfo: memFree=24537616/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=63632 CPUtime=582.31 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 13801 0 0 0 58169 62 0 0 25 0 1 0 908598275 65159168 13454 33554432000 134512640 137138936 4291680544 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15908 13454 192 642 0 15264 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 63632

[startup+642.301 s]

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

/proc/meminfo: memFree=24528032/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=74696 CPUtime=1062.32 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 16710 0 0 0 106128 104 0 0 25 0 1 0 908598275 76488704 16220 33554432000 134512640 137138936 4291680544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 18674 16220 192 642 0 18030 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 74696

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 25632
/proc/meminfo: memFree=24526880/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=74696 CPUtime=1122.33 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 16710 0 0 0 112124 109 0 0 25 0 1 0 908598275 76488704 16220 33554432000 134512640 137138936 4291680544 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 18674 16220 192 642 0 18030 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 74696

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 25660
/proc/meminfo: memFree=24683844/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=75372 CPUtime=1182.33 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 16879 0 0 0 118118 115 0 0 25 0 1 0 908598275 77180928 16389 33554432000 134512640 137138936 4291680544 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 18843 16389 192 642 0 18199 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 75372

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 25662
/proc/meminfo: memFree=24659528/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=81004 CPUtime=1242.33 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 18389 0 0 0 124114 119 0 0 25 0 1 0 908598275 82948096 17817 33554432000 134512640 137138936 4291680544 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20251 17817 192 642 0 19607 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 81004

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 25664
/proc/meminfo: memFree=24649336/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=81004 CPUtime=1302.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 18389 0 0 0 130112 122 0 0 25 0 1 0 908598275 82948096 17817 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20251 17817 192 642 0 19607 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 81004

[startup+1362.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/484 25665
/proc/meminfo: memFree=24641856/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=81404 CPUtime=1362.33 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 18469 0 0 0 136106 127 0 0 25 0 1 0 908598275 83357696 17897 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20351 17897 192 642 0 19707 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 81404

[startup+1422.32 s]
/proc/loadavg: 2.12 2.05 2.01 5/484 25748
/proc/meminfo: memFree=24688008/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=81404 CPUtime=1422.35 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 18469 0 0 0 142103 132 0 0 25 0 1 0 908598275 83357696 17897 33554432000 134512640 137138936 4291680544 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20351 17897 192 642 0 19707 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 81404

[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/484 25776
/proc/meminfo: memFree=24650756/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=81404 CPUtime=1482.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 18493 0 0 0 148097 137 0 0 25 0 1 0 908598275 83357696 17921 33554432000 134512640 137138936 4291680544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20351 17921 192 642 0 19707 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 81404

[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/484 25778
/proc/meminfo: memFree=24643292/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=81404 CPUtime=1542.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 18493 0 0 0 154092 142 0 0 25 0 1 0 908598275 83357696 17921 33554432000 134512640 137138936 4291680544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20351 17921 192 642 0 19707 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 81404

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.00 4/484 25789
/proc/meminfo: memFree=24637248/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1602.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 160088 146 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 83636

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/484 25790
/proc/meminfo: memFree=24632748/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1662.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 166083 151 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 83636

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 25792
/proc/meminfo: memFree=24630224/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1722.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 172080 154 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 83636

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25793
/proc/meminfo: memFree=24629216/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1782.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 178075 159 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 83636

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/481 25797
/proc/meminfo: memFree=24709084/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1785.54 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 178395 159 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 83636

[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25821
/proc/meminfo: memFree=24699560/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1791.96 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 179036 160 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 83636

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25821
/proc/meminfo: memFree=24698568/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1795.15 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 179355 160 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 83636

[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25821
/proc/meminfo: memFree=24698692/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1796.74 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 179514 160 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 83636

[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25821
/proc/meminfo: memFree=24697464/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1797.55 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 179594 161 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 83636

[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25821
/proc/meminfo: memFree=24697464/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1797.95 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 179634 161 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 83636

Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.01
CPU user time (s): 1796.39
CPU system time (s): 1.61475
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 83636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.39
system time used= 1.61475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19028
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= 2794

runsolver used 8.60169 second user time and 19.1971 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-04 12:34:36
IDJOB=3462830
IDBENCH=48246
IDSOLVER=1955
FILE ID=node116/3462830-1307183676
RUNJOBID= node116-1307173957-24164
PBS_JOBID= 13508818
Free space on /tmp= 73884 MiB

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

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

MD5SUM BENCH= 138d1c5c8dee06528dd1cfb072975c49
RANDOM SEED=1455875920

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24604008 kB
Buffers:        275556 kB
Cached:         507776 kB
SwapCached:      12580 kB
Active:        7684940 kB
Inactive:       391484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24604008 kB
SwapTotal:    67111528 kB
SwapFree:     61542356 kB
Dirty:            3908 kB
Writeback:           0 kB
AnonPages:     7291512 kB
Mapped:          23372 kB
Slab:           140244 kB
PageTables:      62936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 139789220 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= 73880 MiB
End job on node116 at 2011-06-04 13:04:34