Trace number 3462544

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 1797.95

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=233-P1=79-P2=107-P3=23-P4=107-P5=223-P6=239-P7=127-P8=229-P9=181-B.opb
MD5SUM9ac2b65e6f5a9e0208aa5abddde874b2
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.203968
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.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-3462544-1307181196.opb
0.00/0.00	c File size is 10539 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044
0.00/0.00	c Obj. Vars: 8 (1.0101 % of total variables)
0.00/0.02	c Pre-processing Time: 0.006 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    792     1180     4960    4     4260    6656      0      0 0.01
0.00/0.02	c Switching off lower bounding mode.
297.80/297.86	c      106    792     1381    13367    9     4689    7322    201   5578 0.02
297.80/297.86	c      259    792     1680    37237   22     5465    8055    500   5180 0.05
297.80/297.86	c      484    792     2114    60609   28     6559    8861    934   5761 0.08
297.80/297.86	c      823    792     2767    93607   33     8254    9748   1587   5920 0.14
297.80/297.86	c     1331    792     3764   142838   37    10855   10723   2584   5410 0.25
297.80/297.86	c     2095    792     5181   217545   41    14197   11796   4001   4319 0.48
297.80/297.86	c     3241    792     7314   329975   45    19222   12976   6134   3415 0.95
297.80/297.86	c     4962    792    10542   499376   47    26779   14274   9362   2597 1.91
297.80/297.86	c     7547    792     8317   373775   44    21119   15702   7137   2099 3.59
297.80/297.86	c    11426    792    15805   819181   51    40083   17273  14625   2297 4.97
297.80/297.86	c    17249    792    17906   951346   53    45622   19001  16726   2413 7.15
297.80/297.86	c    25987    792    15064   792021   52    37602   20902  13884   2235 11.62
297.80/297.86	c    39098    792    18579   989235   53    46097   22993  17399   2096 18.65
297.80/297.86	c    58768    791    20877  1302348   62    52308   25293  19697   2039 28.81
297.80/297.86	c    88279    791    21781  1148490   52    55016   27823  20601   1663 53.06
297.80/297.86	c   132549    791    18194  1048748   57    45119   30606  17014   1518 87.28
297.80/297.86	c   198960    788    27138  1452971   53    67671   33667  25958   1318 150.89
297.80/297.86	c   298582    786    33390  1825177   54    83091   37034  32210   1204 247.80
297.80/297.86	o 33
554.33/554.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
554.33/554.41	c   344289    786    23871  1387389   58    56799    6672  22691   1155 297.87
554.33/554.41	c   344391    766     4693   231720   49    12255    7340   3513   1154 298.19
554.33/554.41	c   344642    766     5152   260374   50    13414    8075   3972   1155 298.24
554.33/554.41	c   345118    766     6049   308876   51    15760    8883   4869   1156 298.35
554.33/554.41	c   345931    766     7537   392882   52    19315    9772   6357   1158 298.63
554.33/554.41	c   347253    766    10006   541666   54    25403   10750   8826   1161 298.94
554.33/554.41	c   349334    766     7871   401364   50    21146   11826   6691   1165 299.70
554.33/554.41	c   352557    766     7526   404347   53    18964   13009   6346   1172 300.72
554.33/554.41	c   357493    766     9297   449931   48    24156   14310   8117   1177 303.61
554.33/554.41	c   364999    766     8347   413275   49    21471   15742   7167   1186 307.56
554.33/554.41	c   376360    766    13408   680595   50    34150   17317  12228   1207 311.79
554.33/554.41	c   393505    766    17713   900342   50    46590   19049  16533   1221 322.20
554.33/554.41	c   419325    766    15100   822185   54    36490   20954  13920   1243 337.20
554.33/554.41	c   458158    766    19024   981409   51    51460   23050  17844   1238 370.07
554.33/554.41	c   516511    766    23751  1276181   53    59116   25356  22571   1241 416.00
554.33/554.41	c   604143    766    19148  1070980   55    49445   27892  17968   1239 487.22
554.33/554.41	o 5
603.71/603.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
603.71/603.73	c   679751    765    27949  1660184   59    65771    6668  26769   1226 554.43
603.71/603.73	c   679851    765     4713   232067   49    11983    7335   3533   1225 554.88
603.71/603.73	c   680102    765     5180   261532   50    12985    8069   4000   1225 554.94
603.71/603.73	c   680581    765     6004   306808   51    14982    8876   4824   1226 555.03
603.71/603.73	c   681394    765     7554   390246   51    19150    9764   6374   1227 555.21
603.71/603.73	c   682714    765    10025   516196   51    25867   10741   8845   1228 555.68
603.71/603.73	c   684795    765     8383   390569   46    22655   11816   7203   1230 556.70
603.71/603.73	c   688019    765     8317   384359   46    22642   12998   7137   1231 558.66
603.71/603.73	c   692956    765    10717   518756   48    28169   14298   9537   1233 561.97
603.71/603.73	c   700462    765     9448   536181   56    24691   15728   8268   1241 564.42
603.71/603.73	c   711823    765    13507   655025   48    36244   17301  12327   1247 570.78
603.71/603.73	c   728968    735    17752   949303   53    45600   19032  16572   1257 579.48
603.71/603.73	c   754787    735    16569   831153   50    43541   20936  15389   1257 600.00
603.71/603.73	o 3
1797.94/1797.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.94	c   763481    735    21657  1189845   54    54535    6662  20477   1264 603.75
1797.94/1797.94	c   763582    714     4717   211769   44    12317    7329   3537   1264 603.85
1797.94/1797.94	c   763832    714     5176   241015   46    13498    8062   3996   1264 603.89
1797.94/1797.94	c   764308    714     6013   294809   49    15519    8869   4833   1265 604.01
1797.94/1797.94	c   765123    714     7450   380558   51    19092    9756   6270   1266 604.29
1797.94/1797.94	c   766444    714     9837   508992   51    25265   10732   8657   1267 604.83
1797.94/1797.94	c   768525    714     8113   389841   48    21486   11806   6933   1268 605.94
1797.94/1797.94	c   771748    714     7815   372379   47    20425   12987   6635   1268 608.38
1797.94/1797.94	c   776685    714    10080   485503   48    26873   14286   8900   1270 611.20
1797.94/1797.94	c   784191    714     8994   490505   54    23353   15715   7814   1276 614.48
1797.94/1797.94	c   795552    714    13377   655192   48    35285   17287  12197   1281 620.67
1797.94/1797.94	c   812697    714    17590   882092   50    45337   19016  16410   1280 634.67
1797.94/1797.94	c   838516    714    15749   779799   49    38892   20918  14569   1287 651.52
1797.94/1797.94	c   877348    714    18359   973481   53    45403   23010  17179   1284 683.03
1797.94/1797.94	c   935700    714    20457  1055338   51    52972   25312  19277   1271 735.96
1797.94/1797.94	c  1023333    714    23703  1264389   53    61741   27844  22523   1258 812.86
1797.94/1797.94	c  1154886    714    26477  1363687   51    66391   30629  25297   1220 946.59
1797.94/1797.94	c  1352319    704    30916  1698282   54    77632   33692  29736   1202 1124.18
1797.94/1797.94	c  1648573    704    21996  1165204   52    55366   37062  20816   1133 1454.47
1797.94/1797.94	c Resources Exceeded
1797.94/1797.94	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.94/1797.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.94	c   66  1910683  17162  1976106    37593  1852275  36413   1062 1798.00
1797.94/1797.94	c Objective: 3
1797.94/1797.94	s SATISFIABLE
1797.94/1797.94	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-3462544-1307181196/watcher-3462544-1307181196 -o /tmp/evaluation-result-3462544-1307181196/solver-3462544-1307181196 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462544-1307181196.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.06 2.05 2.01 3/550 32595
/proc/meminfo: memFree=20827892/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=11180 CPUtime=0.01 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 407 0 0 0 1 0 0 0 25 0 1 0 829720035 11448320 359 33554432000 134512640 137138936 4291340768 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 2795 359 192 642 0 2151 0

[startup+0.0677569 s]
/proc/loadavg: 2.06 2.05 2.01 3/550 32595
/proc/meminfo: memFree=20827892/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=11692 CPUtime=0.06 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 534 0 0 0 6 0 0 0 25 0 1 0 829720035 11972608 486 33554432000 134512640 137138936 4291340768 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 2923 486 192 642 0 2279 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11692

[startup+0.100751 s]
/proc/loadavg: 2.06 2.05 2.01 3/550 32595
/proc/meminfo: memFree=20827892/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=12072 CPUtime=0.09 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 614 0 0 0 9 0 0 0 25 0 1 0 829720035 12361728 566 33554432000 134512640 137138936 4291340768 18446744073709551615 136505214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 3018 566 192 642 0 2374 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12072

[startup+0.300721 s]
/proc/loadavg: 2.06 2.05 2.01 3/550 32595
/proc/meminfo: memFree=20827892/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=13364 CPUtime=0.29 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 957 0 0 0 29 0 0 0 25 0 1 0 829720035 13684736 909 33554432000 134512640 137138936 4291340768 18446744073709551615 136504105 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 3341 909 192 642 0 2697 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13364

[startup+0.700651 s]
/proc/loadavg: 2.06 2.05 2.01 3/550 32595
/proc/meminfo: memFree=20827892/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=15156 CPUtime=0.69 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 1395 0 0 0 69 0 0 0 25 0 1 0 829720035 15519744 1347 33554432000 134512640 137138936 4291340768 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 3789 1347 192 642 0 3145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15156

[startup+1.50054 s]
/proc/loadavg: 2.06 2.05 2.01 3/551 32596
/proc/meminfo: memFree=20821188/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=17444 CPUtime=1.49 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 1981 0 0 0 149 0 0 0 25 0 1 0 829720035 17862656 1933 33554432000 134512640 137138936 4291340768 18446744073709551615 136505214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 4361 1933 192 642 0 3717 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17444

[startup+3.10024 s]
/proc/loadavg: 2.06 2.05 2.01 3/551 32596
/proc/meminfo: memFree=20816840/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=21544 CPUtime=3.09 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 2996 0 0 0 308 1 0 0 25 0 1 0 829720035 22061056 2948 33554432000 134512640 137138936 4291340768 18446744073709551615 134551230 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 5386 2948 192 642 0 4742 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21544

[startup+6.30065 s]
/proc/loadavg: 2.06 2.05 2.01 3/551 32596
/proc/meminfo: memFree=20809284/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=25712 CPUtime=6.3 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 4039 0 0 0 628 2 0 0 25 0 1 0 829720035 26329088 3991 33554432000 134512640 137138936 4291340768 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 6428 3991 192 642 0 5784 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 25712

[startup+12.7005 s]
/proc/loadavg: 2.05 2.05 2.00 3/551 32596
/proc/meminfo: memFree=20804784/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=27892 CPUtime=12.69 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 4586 0 0 0 1266 3 0 0 25 0 1 0 829720035 28561408 4538 33554432000 134512640 137138936 4291340768 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 6973 4539 192 642 0 6329 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27892

[startup+25.5012 s]
/proc/loadavg: 2.11 2.06 2.01 3/551 32597
/proc/meminfo: memFree=20800072/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=30136 CPUtime=25.49 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 5149 0 0 0 2545 4 0 0 25 0 1 0 829720035 30859264 5101 33554432000 134512640 137138936 4291340768 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 7534 5101 192 642 0 6890 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30136

[startup+51.1005 s]
/proc/loadavg: 2.07 2.06 2.01 3/551 32597
/proc/meminfo: memFree=20790816/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=35720 CPUtime=51.09 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 6548 0 0 0 5102 7 0 0 25 0 1 0 829720035 36577280 6500 33554432000 134512640 137138936 4291340768 18446744073709551615 136296988 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 8930 6500 192 642 0 8286 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35720

[startup+102.321 s]
/proc/loadavg: 2.03 2.05 2.00 3/551 32599
/proc/meminfo: memFree=20779032/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=38996 CPUtime=102.32 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 7373 0 0 0 10219 13 0 0 25 0 1 0 829720035 39931904 7325 33554432000 134512640 137138936 4291340768 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 9749 7325 192 642 0 9105 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 38996

[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/551 32600
/proc/meminfo: memFree=20767952/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=40076 CPUtime=162.3 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 7647 0 0 0 16212 18 0 0 25 0 1 0 829720035 41037824 7564 33554432000 134512640 137138936 4291340768 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 10019 7564 192 642 0 9375 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 40076

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 32602
/proc/meminfo: memFree=20757856/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=40676 CPUtime=222.29 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 7801 0 0 0 22207 22 0 0 25 0 1 0 829720035 41652224 7714 33554432000 134512640 137138936 4291340768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 10169 7714 192 642 0 9525 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 40676

[startup+282.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/551 32604
/proc/meminfo: memFree=20740692/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=46048 CPUtime=282.3 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 28204 26 0 0 25 0 1 0 829720035 47153152 9057 33554432000 134512640 137138936 4291340768 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11512 9057 192 642 0 10868 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 46048

[startup+342.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/551 32605
/proc/meminfo: memFree=20730348/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=342.3 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 34195 35 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 45756

[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/551 32661
/proc/meminfo: memFree=21087332/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=402.3 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 40190 40 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 45756

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 32662
/proc/meminfo: memFree=21084928/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=462.3 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 46185 45 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 45756

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 32673
/proc/meminfo: memFree=21081336/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=522.31 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 52180 51 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 45756

[startup+582.301 s]
/proc/loadavg: 2.26 2.08 2.02 3/551 32702
/proc/meminfo: memFree=21066776/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=582.31 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 58171 60 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 45756

[startup+642.301 s]

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

/proc/meminfo: memFree=20983716/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1062.32 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 106130 102 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 45756

[startup+1122.3 s]
/proc/loadavg: 2.20 2.09 2.02 3/551 32719
/proc/meminfo: memFree=20983696/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1122.32 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 112124 108 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 136505588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 45756

[startup+1182.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/551 32721
/proc/meminfo: memFree=20983320/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1182.33 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 118119 114 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 45756

[startup+1242.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/551 32722
/proc/meminfo: memFree=20982300/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1242.33 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 124114 119 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 45756

[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/551 32724
/proc/meminfo: memFree=20981636/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1302.35 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 130112 123 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 45756

[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/551 32725
/proc/meminfo: memFree=20984096/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1362.34 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 136106 128 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 45756

[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 32727
/proc/meminfo: memFree=20984324/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1422.35 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 142103 132 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134603188 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 45756

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 32729
/proc/meminfo: memFree=20984052/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1482.34 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 148097 137 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 45756

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 32730
/proc/meminfo: memFree=20985028/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1542.33 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 154093 140 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134575850 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 45756

[startup+1602.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/551 32732
/proc/meminfo: memFree=20985132/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1602.34 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 160090 144 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 45756

[startup+1662.3 s]
/proc/loadavg: 2.29 2.09 2.03 3/551 32733
/proc/meminfo: memFree=20984852/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1662.34 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 166086 148 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134600050 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 45756

[startup+1722.3 s]
/proc/loadavg: 2.16 2.09 2.02 3/551 32735
/proc/meminfo: memFree=20984696/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1722.34 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 172082 152 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 45756

[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/551 32737
/proc/meminfo: memFree=20982208/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1782.35 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 178079 156 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 45756

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

[startup+1785.5 s]
/proc/loadavg: 2.05 2.07 2.02 3/551 32737
/proc/meminfo: memFree=20982208/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1785.54 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 178398 156 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134576423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 45756

[startup+1791.92 s]
/proc/loadavg: 2.05 2.07 2.02 3/551 32737
/proc/meminfo: memFree=20982208/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1791.97 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 179040 157 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 45756

[startup+1795.1 s]
/proc/loadavg: 2.04 2.07 2.02 3/551 32737
/proc/meminfo: memFree=20982084/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1795.16 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 179359 157 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134542220 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 45756

[startup+1796.7 s]
/proc/loadavg: 2.04 2.07 2.02 3/551 32737
/proc/meminfo: memFree=20982084/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1796.74 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 179517 157 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 45756

[startup+1797.5 s]
/proc/loadavg: 2.04 2.06 2.02 3/551 32737
/proc/meminfo: memFree=20982084/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1797.54 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 179597 157 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 45756

[startup+1797.9 s]
/proc/loadavg: 2.04 2.06 2.02 3/551 32737
/proc/meminfo: memFree=20982084/32951124 swapFree=53733252/67111528
[pid=32595] ppid=32593 vsize=45756 CPUtime=1797.94 cores=0,2,4,6
/proc/32595/stat : 32595 (bsolo) R 32593 32595 29102 0 -1 4202496 9181 0 0 0 179637 157 0 0 25 0 1 0 829720035 46854144 9016 33554432000 134512640 137138936 4291340768 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32595/statm: 11439 9016 192 642 0 10795 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 45756

Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1796.42
CPU system time (s): 1.57976
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 46048

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

runsolver used 10.5214 second user time and 22.1696 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-04 11:53:16
IDJOB=3462544
IDBENCH=47960
IDSOLVER=1955
FILE ID=node106/3462544-1307181196
RUNJOBID= node106-1307175287-31541
PBS_JOBID= 13508822
Free space on /tmp= 73752 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=233-P1=79-P2=107-P3=23-P4=107-P5=223-P6=239-P7=127-P8=229-P9=181-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462544-1307181196/watcher-3462544-1307181196 -o /tmp/evaluation-result-3462544-1307181196/solver-3462544-1307181196 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462544-1307181196.opb

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

MD5SUM BENCH= 9ac2b65e6f5a9e0208aa5abddde874b2
RANDOM SEED=1696721661

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20828180 kB
Buffers:        399384 kB
Cached:        6021520 kB
SwapCached:      22744 kB
Active:        6217912 kB
Inactive:      5563664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20828180 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            3908 kB
Writeback:           0 kB
AnonPages:     5356652 kB
Mapped:          26980 kB
Slab:           192076 kB
PageTables:      78688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167850512 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= 73752 MiB
End job on node106 at 2011-06-04 12:23:14