Trace number 3462535

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.2SAT9 1798 1797.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb
MD5SUMc7fd9e5ff885ee342a28d015ab19e648
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.230964
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 variables243
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 constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)729
Sum of products size (including duplicates)1458
Number of different products729
Sum of products size1458

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-3462535-1307181183.opb
0.00/0.01	c File size is 13213 bytes.
0.00/0.01	c Highest Coefficient sum: 523264
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.001 s
0.00/0.01	c Var: 972 Constr: 1486 729/0/757 Lit: 6228 Watch. Lit: 3809
0.00/0.01	c Obj. Vars: 9 (0.925926 % of total variables)
0.00/0.01	c Pre-processing Time: 0.005 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    972     1486     6228    4     5357    8325      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
627.70/627.78	c      102    972     1677    15782    9     5862    9158    191   5100 0.02
627.70/627.78	c      253    972     1962    36508   18     6490   10074    476   5500 0.05
627.70/627.78	c      478    972     2402    65386   27     7646   11082    916   5759 0.08
627.70/627.78	c      818    972     3065   106014   34     9430   12191   1579   5527 0.15
627.70/627.78	c     1326    972     4049   165909   40    12068   13411   2563   5139 0.26
627.70/627.78	c     2090    972     5531   258975   46    16111   14753   4045   4644 0.45
627.70/627.78	c     3239    972     7749   387763   50    22087   16229   6263   3727 0.87
627.70/627.78	c     4961    972    10964   714385   65    29925   17852   9478   3291 1.51
627.70/627.78	c     7546    972    15634  1127348   72    39577   19638  14148   2930 2.58
627.70/627.78	c    11425    972    13041   875186   67    32745   21602  11555   2532 4.51
627.70/627.78	c    17248    972    12926   832903   64    32664   23763  11440   2403 7.18
627.70/627.78	c    25985    972    17350  1115984   64    44171   26140  15864   2322 11.19
627.70/627.78	c    39096    972    15333   979356   63    39671   28755  13847   2011 19.44
627.70/627.78	c    58767    972    22082  1384768   62    56044   31631  20596   1622 36.21
627.70/627.78	c    88279    972    29622  2338176   78    74276   34795  28136   1560 56.57
627.70/627.78	c   132551    972    25230  1716558   68    63845   38275  23744   1427 92.85
627.70/627.78	c   198963    972    33150  2681243   80    85138   42103  31664   1251 158.97
627.70/627.78	c   298584    972    27782  1827451   65    72667   46314  26296   1099 271.63
627.70/627.78	c   448019    972    40090  2746296   68   106645   50946  38604    944 474.40
627.70/627.78	o 47
1735.13/1735.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1735.13/1735.10	c   549802    972    49844  3543143   71   122256    8343  48358    875 627.79
1735.13/1735.10	c   549903    961     5834   316729   54    15980    9178   4348    874 628.67
1735.13/1735.10	c   550155    961     6336   356605   56    17368   10096   4850    875 628.71
1735.13/1735.10	c   550634    961     7196   459032   63    19425   11106   5710    875 629.00
1735.13/1735.10	c   551448    961     8759   584951   66    23483   12217   7273    876 629.18
1735.13/1735.10	c   552768    961    11291   754198   66    30073   13439   9805    878 629.49
1735.13/1735.10	c   554850    961     8249   513144   62    21517   14783   6763    880 630.16
1735.13/1735.10	c   558073    961    14457   931228   64    37781   16262  12971    883 631.41
1735.13/1735.10	c   563009    961    15489   950236   61    40458   17889  14003    887 634.33
1735.13/1735.10	c   570516    961    11329   748924   66    30142   19678   9843    895 637.43
1735.13/1735.10	c   581878    961    12254   744885   60    33330   21646  10768    906 642.16
1735.13/1735.10	c   599022    961    12482   687190   55    33155   23811  10996    914 655.35
1735.13/1735.10	c   624843    961    16371  1722617  105    41015   26193  14885    925 674.81
1735.13/1735.10	c   663675    939    20643  1509553   73    52585   28813  19157    937 707.73
1735.13/1735.10	c   722027    939    29018  2259422   77    66836   31695  27532    970 743.64
1735.13/1735.10	c   809661    939    30944  2175635   70    81810   34865  29458    985 821.37
1735.13/1735.10	c   941213    939    25785  1630701   63    66539   38352  24299    966 973.97
1735.13/1735.10	c  1138646    939    23649  1826766   77    58171   42188  22163    926 1228.83
1735.13/1735.10	c  1434900    938    41021  2630723   64   106933   46407  39535    905 1583.81
1735.13/1735.10	o 9
1797.92/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1797.96	c  1567245    938    42329  2870322   67   108120    8337  40843    903 1735.14
1797.92/1797.96	c  1567346    928     5839   300990   51    15956    9171   4353    902 1735.96
1797.92/1797.96	c  1567596    916     6314   336174   53    17313   10089   4828    902 1736.01
1797.92/1797.96	c  1568071    916     7162   395583   55    19316   11098   5676    903 1736.11
1797.92/1797.96	c  1568885    916     8621   493220   57    23078   12208   7135    903 1736.28
1797.92/1797.96	c  1570205    916    11171   668369   59    30108   13429   9685    904 1736.61
1797.92/1797.96	c  1572286    916     8337   476145   57    23515   14772   6851    904 1737.49
1797.92/1797.96	c  1575509    916    14257   882834   61    39069   16250  12771    905 1739.66
1797.92/1797.96	c  1580445    916    14860   923904   62    39279   17876  13374    906 1743.95
1797.92/1797.96	c  1587951    916    10434   606082   58    28311   19664   8948    907 1750.41
1797.92/1797.96	c  1599312    916    20997  1311052   62    55583   21631  19511    908 1759.96
1797.92/1797.96	c  1616456    916    20053  1184019   59    54983   23795  18567    911 1773.29
1797.92/1797.96	c  1642275    916    19899  1205697   60    54539   26175  18413    915 1794.65
1797.92/1797.96	c Resources Exceeded
1797.92/1797.96	v x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 -x16 x17 -x18 x19 -x20 -x21 -x22 x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 x42 x43 x44 -x45 x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 x58 x59 x60 -x61 -x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 -x87 x88 x89 -x90 x91 -x92 -x93 -x94 x95 -x96 x97 x98 -x99 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x118 -x119 -x120 -x121 -x122 x123 x124 x125 x126 -x190 -x191 -x192 -x193 x194 x195 x196 -x197 -x198 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x199 x200 x201 x202 x203 -x204 -x205 -x206 -x207 x136 -x137 -x138 x139 x140 x141 -x142 -x143 -x144 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 
1797.92/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1797.96	c   51  1646342  17778  1703574    27534  1692304  26048    915 1798.00
1797.92/1797.96	c Objective: 9
1797.92/1797.96	s SATISFIABLE
1797.92/1797.96	c Total time: 1798 s

Verifier Data 

OK	9

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 3/446 24227
/proc/meminfo: memFree=30795880/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=11192 CPUtime=0 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 415 0 0 0 0 0 0 0 25 0 1 0 829717039 11460608 365 33554432000 134512640 137138936 4294525056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 2798 365 186 642 0 2154 0

[startup+0.114417 s]
/proc/loadavg: 2.01 2.02 2.00 3/446 24227
/proc/meminfo: memFree=30795880/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=12192 CPUtime=0.1 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 674 0 0 0 10 0 0 0 25 0 1 0 829717039 12484608 624 33554432000 134512640 137138936 4294525056 18446744073709551615 136504370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 3048 624 192 642 0 2404 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12192

[startup+0.200404 s]
/proc/loadavg: 2.01 2.02 2.00 3/446 24227
/proc/meminfo: memFree=30795880/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=13084 CPUtime=0.19 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 874 0 0 0 19 0 0 0 25 0 1 0 829717039 13398016 824 33554432000 134512640 137138936 4294525056 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 3271 824 192 642 0 2627 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13084

[startup+0.300391 s]
/proc/loadavg: 2.01 2.02 2.00 3/446 24227
/proc/meminfo: memFree=30795880/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=13728 CPUtime=0.29 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 1051 0 0 0 29 0 0 0 25 0 1 0 829717039 14057472 1001 33554432000 134512640 137138936 4294525056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 3432 1001 192 642 0 2788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13728

[startup+0.700315 s]
/proc/loadavg: 2.01 2.02 2.00 3/446 24227
/proc/meminfo: memFree=30795880/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=16028 CPUtime=0.68 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 1617 0 0 0 68 0 0 0 25 0 1 0 829717039 16412672 1567 33554432000 134512640 137138936 4294525056 18446744073709551615 134573720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 4007 1567 192 642 0 3363 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16028

[startup+1.50018 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24228
/proc/meminfo: memFree=30786832/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=21400 CPUtime=1.49 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 2949 0 0 0 148 1 0 0 25 0 1 0 829717039 21913600 2899 33554432000 134512640 137138936 4294525056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 5350 2899 192 642 0 4706 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21400

[startup+3.10083 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24228
/proc/meminfo: memFree=30778348/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=29236 CPUtime=3.09 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 4933 0 0 0 307 2 0 0 25 0 1 0 829717039 29937664 4883 33554432000 134512640 137138936 4294525056 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 7309 4883 192 642 0 6665 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29236

[startup+6.30033 s]
/proc/loadavg: 2.09 2.04 2.01 3/447 24228
/proc/meminfo: memFree=30770952/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=32904 CPUtime=6.29 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 5841 0 0 0 626 3 0 0 25 0 1 0 829717039 33693696 5791 33554432000 134512640 137138936 4294525056 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 8226 5791 192 642 0 7582 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32904

[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.00 3/447 24229
/proc/meminfo: memFree=30766620/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=36176 CPUtime=12.68 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 6663 0 0 0 1264 4 0 0 25 0 1 0 829717039 37044224 6613 33554432000 134512640 137138936 4294525056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 9044 6613 192 642 0 8400 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36176

[startup+25.5009 s]
/proc/loadavg: 2.06 2.04 2.00 3/447 24229
/proc/meminfo: memFree=30762032/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=41996 CPUtime=25.49 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 8123 0 0 0 2542 7 0 0 25 0 1 0 829717039 43003904 8073 33554432000 134512640 137138936 4294525056 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 10499 8073 192 642 0 9855 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41996

[startup+51.1004 s]
/proc/loadavg: 1.98 2.02 2.00 3/447 24257
/proc/meminfo: memFree=31270964/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=43988 CPUtime=51.09 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 8623 0 0 0 5099 10 0 0 25 0 1 0 829717039 45043712 8573 33554432000 134512640 137138936 4294525056 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 10997 8573 192 642 0 10353 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 43988

[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/447 24313
/proc/meminfo: memFree=31247040/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=52176 CPUtime=102.3 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 10677 0 0 0 10212 18 0 0 25 0 1 0 829717039 53428224 10592 33554432000 134512640 137138936 4294525056 18446744073709551615 136504143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 13044 10592 192 642 0 12400 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 52176

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 4/447 24315
/proc/meminfo: memFree=31229528/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=60956 CPUtime=162.29 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 12972 0 0 0 16202 27 0 0 25 0 1 0 829717039 62418944 12806 33554432000 134512640 137138936 4294525056 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 15239 12806 192 642 0 14595 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 60956

[startup+222.317 s]
/proc/loadavg: 2.00 2.01 2.00 4/447 24316
/proc/meminfo: memFree=31227864/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=61204 CPUtime=222.31 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 13012 0 0 0 22198 33 0 0 25 0 1 0 829717039 62672896 12846 33554432000 134512640 137138936 4294525056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 15301 12846 192 642 0 14657 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 61204

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/447 24318
/proc/meminfo: memFree=31228436/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=61216 CPUtime=282.29 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 13017 0 0 0 28191 38 0 0 25 0 1 0 829717039 62685184 12851 33554432000 134512640 137138936 4294525056 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 15304 12851 192 642 0 14660 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 61216

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/447 24319
/proc/meminfo: memFree=31228272/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=61216 CPUtime=342.29 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 13017 0 0 0 34186 43 0 0 25 0 1 0 829717039 62685184 12851 33554432000 134512640 137138936 4294525056 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 15304 12851 192 642 0 14660 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 61216

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/447 24321
/proc/meminfo: memFree=31228476/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=61216 CPUtime=402.29 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 13017 0 0 0 40182 47 0 0 25 0 1 0 829717039 62685184 12851 33554432000 134512640 137138936 4294525056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 15304 12851 192 642 0 14660 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 61216

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/447 24323
/proc/meminfo: memFree=31228424/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=61216 CPUtime=462.3 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 13017 0 0 0 46178 52 0 0 25 0 1 0 829717039 62685184 12851 33554432000 134512640 137138936 4294525056 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 15304 12851 192 642 0 14660 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 61216

[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 4/447 24333
/proc/meminfo: memFree=31218716/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=70452 CPUtime=522.29 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 15375 0 0 0 52172 57 0 0 25 0 1 0 829717039 72142848 15158 33554432000 134512640 137138936 4294525056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 17613 15158 192 642 0 16969 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 70452

[startup+582.301 s]
/proc/loadavg: 2.15 2.04 2.01 4/447 24335
/proc/meminfo: memFree=31213588/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=75400 CPUtime=582.3 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 16612 0 0 0 58168 62 0 0 25 0 1 0 829717039 77209600 16395 33554432000 134512640 137138936 4294525056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 18850 16395 192 642 0 18206 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 75400

[startup+642.3 s]

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

/proc/meminfo: memFree=31200460/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78988 CPUtime=1122.32 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 112117 115 0 0 25 0 1 0 829717039 80883712 17324 33554432000 134512640 137138936 4294525056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19747 17324 192 642 0 19103 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 78988

[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.01 4/447 24354
/proc/meminfo: memFree=31200292/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78988 CPUtime=1182.32 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 118112 120 0 0 25 0 1 0 829717039 80883712 17324 33554432000 134512640 137138936 4294525056 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19747 17324 192 642 0 19103 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 78988

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/447 24355
/proc/meminfo: memFree=31200000/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78988 CPUtime=1242.32 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 124107 125 0 0 25 0 1 0 829717039 80883712 17324 33554432000 134512640 137138936 4294525056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19747 17324 192 642 0 19103 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 78988

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/447 24357
/proc/meminfo: memFree=31199708/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78988 CPUtime=1302.32 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 130102 130 0 0 25 0 1 0 829717039 80883712 17324 33554432000 134512640 137138936 4294525056 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19747 17324 192 642 0 19103 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 78988

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/447 24359
/proc/meminfo: memFree=31199540/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78988 CPUtime=1362.32 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 136096 136 0 0 25 0 1 0 829717039 80883712 17324 33554432000 134512640 137138936 4294525056 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19747 17324 192 642 0 19103 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 78988

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/447 24360
/proc/meminfo: memFree=31200612/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78988 CPUtime=1422.33 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 142091 142 0 0 25 0 1 0 829717039 80883712 17324 33554432000 134512640 137138936 4294525056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19747 17324 192 642 0 19103 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 78988

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/447 24362
/proc/meminfo: memFree=31201068/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78988 CPUtime=1482.32 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 148085 147 0 0 25 0 1 0 829717039 80883712 17324 33554432000 134512640 137138936 4294525056 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19747 17324 192 642 0 19103 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 78988

[startup+1542.32 s]
/proc/loadavg: 2.00 2.00 2.00 4/447 24363
/proc/meminfo: memFree=31201152/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78988 CPUtime=1542.34 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 154082 152 0 0 25 0 1 0 829717039 80883712 17324 33554432000 134512640 137138936 4294525056 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19747 17324 192 642 0 19103 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 78988

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/447 24365
/proc/meminfo: memFree=31200256/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78988 CPUtime=1602.32 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 160074 158 0 0 25 0 1 0 829717039 80883712 17324 33554432000 134512640 137138936 4294525056 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19747 17324 192 642 0 19103 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 78988

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/447 24367
/proc/meminfo: memFree=31200464/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78516 CPUtime=1662.33 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 166069 164 0 0 25 0 1 0 829717039 80400384 17206 33554432000 134512640 137138936 4294525056 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19629 17206 192 642 0 18985 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 78516

[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 2.01 4/447 24368
/proc/meminfo: memFree=31200292/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78516 CPUtime=1722.32 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 172064 168 0 0 25 0 1 0 829717039 80400384 17206 33554432000 134512640 137138936 4294525056 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19629 17206 192 642 0 18985 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 78516

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.01 4/447 24370
/proc/meminfo: memFree=31199248/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78516 CPUtime=1782.33 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 178057 176 0 0 25 0 1 0 829717039 80400384 17206 33554432000 134512640 137138936 4294525056 18446744073709551615 134606595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19629 17206 192 642 0 18985 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 78516

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

[startup+1785.6 s]
/proc/loadavg: 2.07 2.03 2.01 4/447 24370
/proc/meminfo: memFree=31200360/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78516 CPUtime=1785.62 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 178386 176 0 0 25 0 1 0 829717039 80400384 17206 33554432000 134512640 137138936 4294525056 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19629 17206 192 642 0 18985 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (KiB) 78516

[startup+1792.02 s]
/proc/loadavg: 2.06 2.03 2.01 4/447 24370
/proc/meminfo: memFree=31200340/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78516 CPUtime=1792.05 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 179028 177 0 0 25 0 1 0 829717039 80400384 17206 33554432000 134512640 137138936 4294525056 18446744073709551615 135984561 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19629 17206 192 642 0 18985 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 78516

[startup+1795.2 s]
/proc/loadavg: 2.06 2.03 2.01 4/447 24370
/proc/meminfo: memFree=31200340/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78516 CPUtime=1795.24 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 179347 177 0 0 25 0 1 0 829717039 80400384 17206 33554432000 134512640 137138936 4294525056 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19629 17206 192 642 0 18985 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 78516

[startup+1796.8 s]
/proc/loadavg: 2.06 2.03 2.01 4/447 24370
/proc/meminfo: memFree=31200340/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78516 CPUtime=1796.83 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 179506 177 0 0 25 0 1 0 829717039 80400384 17206 33554432000 134512640 137138936 4294525056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19629 17206 192 642 0 18985 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 78516

[startup+1797.6 s]
/proc/loadavg: 2.05 2.03 2.00 4/447 24370
/proc/meminfo: memFree=31200216/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78516 CPUtime=1797.62 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 179585 177 0 0 25 0 1 0 829717039 80400384 17206 33554432000 134512640 137138936 4294525056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19629 17206 192 642 0 18985 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 78516

[startup+1797.8 s]
/proc/loadavg: 2.05 2.03 2.00 4/447 24370
/proc/meminfo: memFree=31200216/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78516 CPUtime=1797.82 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 179605 177 0 0 25 0 1 0 829717039 80400384 17206 33554432000 134512640 137138936 4294525056 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19629 17206 192 642 0 18985 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 78516

[startup+1797.9 s]
/proc/loadavg: 2.05 2.03 2.00 4/447 24370
/proc/meminfo: memFree=31200216/32950928 swapFree=34365992/67111528
[pid=24227] ppid=24225 vsize=78516 CPUtime=1797.92 cores=1,3,5,7
/proc/24227/stat : 24227 (bsolo) R 24225 24227 22425 0 -1 4202496 17628 0 0 0 179615 177 0 0 25 0 1 0 829717039 80400384 17206 33554432000 134512640 137138936 4294525056 18446744073709551615 134542958 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24227/statm: 19629 17206 192 642 0 18985 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 78516

Child status: 0
Real time (s): 1797.97
CPU time (s): 1798
CPU user time (s): 1796.22
CPU system time (s): 1.78273
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 79464

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

runsolver used 7.57885 second user time and 18.6512 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-04 11:53:03
IDJOB=3462535
IDBENCH=47951
IDSOLVER=1955
FILE ID=node120/3462535-1307181183
RUNJOBID= node120-1307173926-23559
PBS_JOBID= 13508848
Free space on /tmp= 73808 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462535-1307181183/watcher-3462535-1307181183 -o /tmp/evaluation-result-3462535-1307181183/solver-3462535-1307181183 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462535-1307181183.opb

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

MD5SUM BENCH= c7fd9e5ff885ee342a28d015ab19e648
RANDOM SEED=464297301

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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:      30796160 kB
Buffers:        307768 kB
Cached:        1019904 kB
SwapCached:      12852 kB
Active:         892360 kB
Inactive:       968448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30796160 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:            3952 kB
Writeback:           0 kB
AnonPages:      530176 kB
Mapped:           9988 kB
Slab:           134092 kB
PageTables:      92340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 105913568 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= 73812 MiB
End job on node120 at 2011-06-04 12:23:01