Trace number 3462569

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.2SAT3 1798 1798.04

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb
MD5SUM747af0da1666dabab7e7b60330c37a87
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.164974
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)576
Sum of products size (including duplicates)1152
Number of different products576
Sum of products size1152

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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3462569-1307181269.opb
0.00/0.01	c File size is 10541 bytes.
0.00/0.01	c Highest Coefficient sum: 130560
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0 s
0.00/0.01	c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044
0.00/0.01	c Obj. Vars: 8 (1.0101 % of total variables)
0.00/0.01	c Pre-processing Time: 0.004 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    792     1180     4960    4     4260    6656      0      0 0.00
0.00/0.01	c Switching off lower bounding mode.
315.00/315.08	c      100    792     1365    12741    9     4683    7322    185   5882 0.02
315.00/315.08	c      250    792     1663    31023   18     5363    8055    483   6250 0.04
315.00/315.08	c      475    792     2097    54698   26     6565    8861    917   6168 0.08
315.00/315.08	c      813    792     2708    92789   34     8032    9748   1528   6253 0.13
315.00/315.08	c     1321    792     3711   148103   39    10613   10723   2531   6320 0.21
315.00/315.08	c     2084    792     5175   238861   46    14275   11796   3995   5498 0.38
315.00/315.08	c     3230    792     7347   359671   48    19600   12976   6167   4871 0.66
315.00/315.08	c     4952    792    10661   529858   49    27730   14274   9481   3952 1.25
315.00/315.08	c     7537    792     8425   384681   45    21807   15702   7245   2901 2.60
315.00/315.08	c    11416    792    15865   790187   49    40602   17273  14685   3055 3.74
315.00/315.08	c    17239    792    17902   932043   52    44288   19001  16722   2923 5.90
315.00/315.08	c    25977    792    15392   710677   46    38395   20902  14212   2125 12.22
315.00/315.08	c    39088    792    18315  1085878   59    43431   22993  17135   1939 20.16
315.00/315.08	c    58758    792    19067  1058770   55    44299   25293  17887   1881 31.22
315.00/315.08	c    88269    792    23783  1286225   54    57905   27823  22603   1643 53.72
315.00/315.08	c   132539    792    22503  1240328   55    58104   30606  21323   1628 81.37
315.00/315.08	c   198950    792    22595  1338312   59    55288   33667  21415   1387 143.35
315.00/315.08	c   298570    792    20469  1306225   63    51509   37034  19289   1302 229.26
315.00/315.08	o 33
440.68/440.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
440.68/440.75	c   382442    792    28941  1649435   56    69660    6672  27761   1213 315.08
440.68/440.75	c   382543    792     4710   232809   49    11946    7340   3530   1212 315.38
440.68/440.75	c   382793    792     5194   257963   49    13276    8075   4014   1213 315.43
440.68/440.75	c   383270    792     6120   309078   50    15521    8883   4940   1214 315.54
440.68/440.75	c   384084    792     7670   394090   51    19163    9772   6490   1216 315.80
440.68/440.75	c   385404    792    10235   526680   51    25560   10750   9055   1218 316.34
440.68/440.75	c   387485    772     7998   457034   57    20353   11826   6818   1221 317.10
440.68/440.75	c   390710    772     7998   426020   53    20546   13009   6818   1227 318.33
440.68/440.75	c   395646    772    10259   524740   51    26224   14310   9079   1236 319.91
440.68/440.75	c   403152    772     9179   513221   55    23658   15742   7999   1246 323.36
440.68/440.75	c   414514    772    13508   627984   46    34721   17317  12328   1264 327.89
440.68/440.75	c   431658    772    18279   938577   51    46661   19049  17099   1280 336.97
440.68/440.75	c   457477    772    17253  1009118   58    42860   20954  16073   1294 353.51
440.68/440.75	c   496310    772    13177   776630   58    32921   23050  11997   1309 378.89
440.68/440.75	c   554662    769    15436   749803   48    38730   25356  14256   1315 421.79
440.68/440.75	o 3
1797.96/1798.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.03	c   582874    769    15890   817827   51    39666    6668  14710   1322 440.74
1797.96/1798.03	c   582975    751     4700   207792   44    12262    7335   3520   1322 440.90
1797.96/1798.03	c   583226    751     5166   242702   46    13424    8069   3986   1322 440.95
1797.96/1798.03	c   583702    751     6040   305978   50    15529    8876   4860   1323 441.05
1797.96/1798.03	c   584516    742     7475   399557   53    19124    9764   6295   1324 441.21
1797.96/1798.03	c   585837    742     9861   540551   54    25095   10741   8681   1326 441.56
1797.96/1798.03	c   587920    742     8357   452865   54    22141   11816   7177   1329 442.28
1797.96/1798.03	c   591144    742     8060   385388   47    21971   12998   6880   1333 443.32
1797.96/1798.03	c   596080    742    10228   505016   49    26282   14298   9048   1334 446.72
1797.96/1798.03	c   603586    742     8849   422742   47    22559   15728   7669   1335 451.81
1797.96/1798.03	c   614947    733    12244   633904   51    29830   17301  11064   1338 459.44
1797.96/1798.03	c   632091    733    17081   907269   53    43001   19032  15901   1344 470.04
1797.96/1798.03	c   657910    717    14078   685581   48    36063   20936  12898   1343 489.86
1797.96/1798.03	c   696742    717    11765   684203   58    29788   23030  10585   1346 517.59
1797.96/1798.03	c   755095    717    13549   719014   53    33950   25334  12369   1338 563.99
1797.96/1798.03	c   842728    716    16980   941143   55    42969   27868  15800   1319 638.63
1797.96/1798.03	c   974280    716    20865  1179745   56    51069   30655  19685   1280 760.92
1797.96/1798.03	c  1171712    707    18353  1037548   56    45618   33721  17173   1231 951.29
1797.96/1798.03	c  1467964    706    20392  1035503   50    51125   37094  19212   1172 1251.68
1797.96/1798.03	c Resources Exceeded
1797.96/1798.03	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 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x153 -x154 x155 x156 x157 -x158 -x159 -x160 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x105 -x106 -x107 x108 x109 x110 -x111 -x112 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 
1797.96/1798.03	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.03	c   52  1904235  19272  1975729    25020  1188358  23840   1059 1798.00
1797.96/1798.03	c Objective: 3
1797.96/1798.03	s SATISFIABLE
1797.96/1798.03	c Total time: 1798 s

Verifier Data 

OK	3

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 8774
/proc/meminfo: memFree=12421896/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=11060 CPUtime=0 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 829726499 11325440 311 33554432000 134512640 137138936 4287591744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 2765 311 184 642 0 2121 0

[startup+0.062231 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 8774
/proc/meminfo: memFree=12421896/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=11944 CPUtime=0.08 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 595 0 0 0 8 0 0 0 25 0 1 0 829726499 12230656 560 33554432000 134512640 137138936 4287591744 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 3146 704 192 642 0 2502 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11944

[startup+0.226289 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 8774
/proc/meminfo: memFree=12421896/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=13620 CPUtime=0.24 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 1011 0 0 0 24 0 0 0 25 0 1 0 829726499 13946880 962 33554432000 134512640 137138936 4287591744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 3405 967 192 642 0 2761 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13620

[startup+0.371148 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 8774
/proc/meminfo: memFree=12421896/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=14652 CPUtime=0.39 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 1273 0 0 0 39 0 0 0 25 0 1 0 829726499 15003648 1224 33554432000 134512640 137138936 4287591744 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 3758 1316 192 642 0 3114 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 14652

[startup+0.701503 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 8774
/proc/meminfo: memFree=12421896/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=16576 CPUtime=0.71 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 1769 0 0 0 71 0 0 0 25 0 1 0 829726499 16973824 1720 33554432000 134512640 137138936 4287591744 18446744073709551615 134618106 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 4207 1773 192 642 0 3563 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 16576

[startup+1.50095 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 8774
/proc/meminfo: memFree=12421896/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=19996 CPUtime=1.49 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 2601 0 0 0 148 1 0 0 25 0 1 0 829726499 20475904 2552 33554432000 134512640 137138936 4287591744 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 4999 2552 192 642 0 4355 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19996

[startup+3.10067 s]
/proc/loadavg: 2.16 2.05 2.01 3/435 8775
/proc/meminfo: memFree=12408852/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=22808 CPUtime=3.09 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 3322 0 0 0 308 1 0 0 25 0 1 0 829726499 23355392 3273 33554432000 134512640 137138936 4287591744 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 5702 3273 192 642 0 5058 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22808

[startup+6.30111 s]
/proc/loadavg: 2.15 2.05 2.01 3/435 8775
/proc/meminfo: memFree=12413684/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=25956 CPUtime=6.28 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 4108 0 0 0 627 1 0 0 25 0 1 0 829726499 26578944 4059 33554432000 134512640 137138936 4287591744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 6489 4059 192 642 0 5845 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25956

[startup+12.716 s]
/proc/loadavg: 2.13 2.04 2.01 3/435 8775
/proc/meminfo: memFree=12408036/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=26856 CPUtime=12.7 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 4334 0 0 0 1268 2 0 0 25 0 1 0 829726499 27500544 4285 33554432000 134512640 137138936 4287591744 18446744073709551615 134618432 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 6714 4285 192 642 0 6070 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 26856

[startup+25.5008 s]
/proc/loadavg: 2.11 2.04 2.01 3/435 8776
/proc/meminfo: memFree=12407176/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=32088 CPUtime=25.49 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 5638 0 0 0 2544 5 0 0 25 0 1 0 829726499 32858112 5589 33554432000 134512640 137138936 4287591744 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 8022 5589 192 642 0 7378 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32088

[startup+51.1003 s]
/proc/loadavg: 2.07 2.04 2.01 3/435 8776
/proc/meminfo: memFree=12397492/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=34236 CPUtime=51.09 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 6177 0 0 0 5101 8 0 0 25 0 1 0 829726499 35057664 6128 33554432000 134512640 137138936 4287591744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 8559 6128 192 642 0 7915 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34236

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/435 8778
/proc/meminfo: memFree=12399100/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=38392 CPUtime=102.29 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 7222 0 0 0 10216 13 0 0 25 0 1 0 829726499 39313408 7173 33554432000 134512640 137138936 4287591744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 9598 7173 192 642 0 8954 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 38392

[startup+162.316 s]
/proc/loadavg: 2.01 2.02 2.00 3/435 8779
/proc/meminfo: memFree=12384088/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=45884 CPUtime=162.31 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 9113 0 0 0 16213 18 0 0 25 0 1 0 829726499 46985216 9029 33554432000 134512640 137138936 4287591744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 11471 9029 192 642 0 10827 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 45884

[startup+222.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/435 8781
/proc/meminfo: memFree=12380112/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50416 CPUtime=222.29 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10246 0 0 0 22207 22 0 0 25 0 1 0 829726499 51625984 10162 33554432000 134512640 137138936 4287591744 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 12604 10162 192 642 0 11960 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 50416

[startup+282.3 s]
/proc/loadavg: 2.26 2.09 2.02 3/435 8782
/proc/meminfo: memFree=12388168/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50428 CPUtime=282.29 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10252 0 0 0 28202 27 0 0 25 0 1 0 829726499 51638272 10168 33554432000 134512640 137138936 4287591744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8774/statm: 12607 10168 192 642 0 11963 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 50428

[startup+342.301 s]
/proc/loadavg: 2.09 2.07 2.01 3/435 8784
/proc/meminfo: memFree=12381836/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50428 CPUtime=342.28 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10252 0 0 0 34193 35 0 0 25 0 1 0 829726499 51638272 10168 33554432000 134512640 137138936 4287591744 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12607 10168 192 642 0 11963 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 50428

[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/435 8795
/proc/meminfo: memFree=12386932/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50088 CPUtime=402.28 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10252 0 0 0 40186 42 0 0 25 0 1 0 829726499 51290112 10098 33554432000 134512640 137138936 4287591744 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12522 10098 192 642 0 11878 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 50088

[startup+462.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/435 8796
/proc/meminfo: memFree=12388172/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50088 CPUtime=462.28 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10252 0 0 0 46180 48 0 0 25 0 1 0 829726499 51290112 10098 33554432000 134512640 137138936 4287591744 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12522 10098 192 642 0 11878 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 50088

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 8798
/proc/meminfo: memFree=12382456/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50088 CPUtime=522.28 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10252 0 0 0 52173 55 0 0 25 0 1 0 829726499 51290112 10098 33554432000 134512640 137138936 4287591744 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12522 10098 192 642 0 11878 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 50088

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8799
/proc/meminfo: memFree=12380828/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50088 CPUtime=582.28 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10252 0 0 0 58167 61 0 0 25 0 1 0 829726499 51290112 10098 33554432000 134512640 137138936 4287591744 18446744073709551615 134575900 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12522 10098 192 642 0 11878 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 50088

[startup+642.301 s]

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

/proc/meminfo: memFree=12377592/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50088 CPUtime=1122.26 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10252 0 0 0 112122 104 0 0 25 0 1 0 829726499 51290112 10098 33554432000 134512640 137138936 4287591744 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12522 10098 192 642 0 11878 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 50088

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8818
/proc/meminfo: memFree=12377212/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50088 CPUtime=1182.27 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10252 0 0 0 118118 109 0 0 25 0 1 0 829726499 51290112 10098 33554432000 134512640 137138936 4287591744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12522 10098 192 642 0 11878 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 50088

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8820
/proc/meminfo: memFree=12376336/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50088 CPUtime=1242.27 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10252 0 0 0 124114 113 0 0 25 0 1 0 829726499 51290112 10098 33554432000 134512640 137138936 4287591744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12522 10098 192 642 0 11878 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 50088

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 8850
/proc/meminfo: memFree=12433332/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50088 CPUtime=1302.27 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10252 0 0 0 130110 117 0 0 25 0 1 0 829726499 51290112 10098 33554432000 134512640 137138936 4287591744 18446744073709551615 134598907 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12522 10098 192 642 0 11878 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 50088

[startup+1362.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/435 8851
/proc/meminfo: memFree=12323748/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1362.26 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 136105 121 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 50092

[startup+1422.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/435 8853
/proc/meminfo: memFree=12276500/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1422.26 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 142101 125 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 50092

[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/435 8854
/proc/meminfo: memFree=12247100/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1482.26 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 148098 128 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 50092

[startup+1542.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/435 8856
/proc/meminfo: memFree=12229360/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1542.25 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 154094 131 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 50092

[startup+1602.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/435 8858
/proc/meminfo: memFree=12229964/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1602.25 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 160089 136 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 50092

[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/435 8859
/proc/meminfo: memFree=12230456/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1662.26 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 166086 140 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 50092

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/435 8861
/proc/meminfo: memFree=12230328/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1722.26 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 172082 144 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 134542381 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 50092

[startup+1782.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 8862
/proc/meminfo: memFree=12196716/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1782.27 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 178081 146 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 50092

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

[startup+1786.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 8862
/proc/meminfo: memFree=12195972/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1786.86 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 178539 147 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1786.86
Current children cumulated vsize (KiB) 50092

[startup+1793.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 8863
/proc/meminfo: memFree=12193860/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1793.27 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 179180 147 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1793.27
Current children cumulated vsize (KiB) 50092

[startup+1796.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8863
/proc/meminfo: memFree=12192124/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1796.46 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 179499 147 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (KiB) 50092

[startup+1797.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8863
/proc/meminfo: memFree=12192124/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1797.25 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 179578 147 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 134542547 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1797.25
Current children cumulated vsize (KiB) 50092

[startup+1797.72 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8863
/proc/meminfo: memFree=12191628/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1797.66 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 179619 147 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 50092

[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8863
/proc/meminfo: memFree=12191628/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1797.86 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 179638 148 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 50092

[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8863
/proc/meminfo: memFree=12191628/32951132 swapFree=67093840/67111528
[pid=8774] ppid=8772 vsize=50092 CPUtime=1797.96 cores=0,2,4,6
/proc/8774/stat : 8774 (bsolo) R 8772 8774 6192 0 -1 4202496 10253 0 0 0 179648 148 0 0 25 0 1 0 829726499 51294208 10099 33554432000 134512640 137138936 4287591744 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8774/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 50092

Child status: 0
Real time (s): 1798.04
CPU time (s): 1798
CPU user time (s): 1796.52
CPU system time (s): 1.48277
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 50428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.52
system time used= 1.48277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10254
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= 5
involuntary context switches= 3160

runsolver used 8.64869 second user time and 18.1262 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-04 11:54:29
IDJOB=3462569
IDBENCH=47985
IDSOLVER=1955
FILE ID=node131/3462569-1307181269
RUNJOBID= node131-1307175315-7503
PBS_JOBID= 13508857
Free space on /tmp= 73904 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462569-1307181269/watcher-3462569-1307181269 -o /tmp/evaluation-result-3462569-1307181269/solver-3462569-1307181269 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462569-1307181269.opb

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

MD5SUM BENCH= 747af0da1666dabab7e7b60330c37a87
RANDOM SEED=39041771

node131.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.830
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.66
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.830
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.830
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.83
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.830
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.830
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.830
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.830
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.830
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      12422060 kB
Buffers:        352520 kB
Cached:        5683812 kB
SwapCached:        948 kB
Active:       16044316 kB
Inactive:      4164524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      12422060 kB
SwapTotal:    67111528 kB
SwapFree:     67093840 kB
Dirty:            3972 kB
Writeback:           0 kB
AnonPages:    14171320 kB
Mapped:          39632 kB
Slab:           198424 kB
PageTables:      55908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 95447320 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73904 MiB
End job on node131 at 2011-06-04 12:24:27