Trace number 2670375

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.2 CardSAT3 1798.01 1798.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb
MD5SUM616d60d0b9e17d59a77d69efb2609a49
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 benchmark4.69329
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 variables108
Total number of constraints9
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 constraints9
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)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

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 Time Limit set to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Instance file HOME/instance-2670375-1276701078.opb
0.00/0.01	c File size is 24020 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.004 s
0.00/0.01	c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694
0.00/0.01	c Obj. Vars: 9 (2.08333 % of total variables)
0.00/0.01	c Pre-processing Time: 0.009 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    432      661     2763    4     2377    3689      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
2.88/2.92	c      101    432      848    12237   14     2874    4058    187   3258 0.03
2.88/2.92	c      251    432     1134    34600   30     3569    4464    473   2918 0.09
2.88/2.92	c      477    432     1573    62561   39     4760    4911    912   3097 0.15
2.88/2.92	c      816    432     2224   101432   45     6489    5403   1563   3033 0.27
2.88/2.92	c     1326    432     3219   162447   50     9286    5944   2558   2845 0.47
2.88/2.92	c     2090    432     4725   263075   55    13428    6539   4064   2539 0.82
2.88/2.92	c     3236    432     6929   405678   58    19217    7193   6268   1901 1.70
2.88/2.92	o 19
324.26/324.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
324.26/324.44	c     4883    432     6361   391727   61    16622    3708   5700   1671 2.92
324.26/324.44	c     4983    422     2675   152643   57     6838    4079   2014   1667 2.99
324.26/324.44	c     5233    422     3118   182009   58     7873    4487   2457   1693 3.09
324.26/324.44	c     5708    422     4022   241796   60    10137    4936   3361   1732 3.29
324.26/324.44	c     6521    388     5593   372581   66    14195    5430   4932   1784 3.65
324.26/324.44	c     7841    388     5255   339135   64    14124    5974   4594   1851 4.23
324.26/324.44	c     9924    388     6172   363617   58    16256    6572   5511   1842 5.38
324.26/324.44	c    13147    388     5524   304227   55    14479    7230   4863   1671 7.87
324.26/324.44	c    18084    388     7543   432464   57    19993    7954   6882   1543 11.72
324.26/324.44	c    25591    388     5392   356761   66    14026    8750   4731   1418 18.04
324.26/324.44	c    36954    388     7628   453541   59    19339    9626   6967   1448 25.52
324.26/324.44	c    54098    388     9581   546208   57    24989   10589   8920   1330 40.66
324.26/324.44	c    79917    388     8600   544366   63    22432   11648   7939   1186 67.35
324.26/324.44	c   118749    388    11246   739461   65    29581   12813  10585   1089 109.03
324.26/324.44	c   177105    388     8557   573516   67    21401   14095   7896    990 178.78
324.26/324.44	c   264737    388    14537   939608   64    37659   15505  13876    884 299.39
324.26/324.44	o 5
332.35/332.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
332.35/332.52	c   287043    388    15346   943286   61    39051    3699  14685    885 324.31
332.35/332.52	c   287143    388     2702   134747   49     7261    4069   2041    884 324.55
332.35/332.52	c   287393    388     3179   164307   51     8477    4476   2518    885 324.63
332.35/332.52	c   287869    366     3985   218461   54    10364    4924   3324    886 324.82
332.35/332.52	c   288682    366     5254   332089   63    13025    5417   4593    887 325.31
332.35/332.52	c   290003    366     4785   324810   67    12533    5959   4124    889 325.98
332.35/332.52	c   292084    366     5644   355761   63    15134    6555   4983    892 327.19
332.35/332.52	c   295308    366     4996   264069   52    13388    7211   4335    897 329.21
332.35/332.52	o 3
1797.98/1798.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.71	c   299698    366     5461   352246   64    13920    3774   4800    901 332.38
1797.98/1798.71	c   299799    366     2752   154230   56     7221    4152   2091    901 332.45
1797.98/1798.71	c   300050    366     3249   186424   57     8434    4568   2588    902 332.54
1797.98/1798.71	c   300525    366     4161   245090   58    10823    5025   3500    903 332.73
1797.98/1798.71	c   301339    356     5710   353019   61    14805    5528   5049    904 333.10
1797.98/1798.71	c   302659    356     5348   317957   59    14158    6081   4687    906 333.81
1797.98/1798.71	c   304741    356     6182   343652   55    16634    6690   5521    908 335.29
1797.98/1798.71	c   307965    356     5423   306372   56    14185    7360   4762    912 337.60
1797.98/1798.71	c   312902    356     7157   420277   58    17842    8097   6496    915 341.94
1797.98/1798.71	c   320408    343     4755   279285   58    12646    8907   4094    922 347.36
1797.98/1798.71	c   331770    343     8118   459662   56    20674    9798   7457    929 357.12
1797.98/1798.71	c   348915    343     9638   664723   68    24562   10778   8977    932 374.33
1797.98/1798.71	c   374734    343     7550   490855   65    19660   11856   6889    934 401.00
1797.98/1798.71	c   413566    343    10707   695091   64    26590   13042  10046    916 451.28
1797.98/1798.71	c   471918    343    12377   804302   64    32544   14347  11716    900 524.33
1797.98/1798.71	c   559550    343    10783   693839   64    27512   15782  10122    861 649.32
1797.98/1798.71	c   691103    343    15184   886438   58    38732   17361  14523    814 848.03
1797.98/1798.71	c   888535    343    12455   816293   65    32139   19098  11794    766 1159.29
1797.98/1798.71	c  1184788    342    15199  1039883   68    37578   21008  14538    698 1696.00
1797.98/1798.71	c Resources Exceeded
1797.98/1798.71	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 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x190 -x191 -x192 x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 
1797.98/1798.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.71	c   50  1240201   9492  1267295    13362   889815  12701    689 1798.00
1797.98/1798.71	c Objective: 3
1797.98/1798.71	s SATISFIABLE
1797.98/1798.71	c Total time: 1798 s

Verifier Data 

OK	3

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670375-1276701078/watcher-2670375-1276701078 -o /tmp/evaluation-result-2670375-1276701078/solver-2670375-1276701078 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670375-1276701078.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.97 1.00 0.91 3/106 14275
/proc/meminfo: memFree=1738412/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=10924 CPUtime=0
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 367 0 0 0 0 0 0 0 19 0 1 0 45709363 11186176 279 1992294400 134512640 137138936 4286797360 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 2731 281 185 642 0 2087 0

[startup+0.033345 s]
/proc/loadavg: 0.97 1.00 0.91 3/106 14275
/proc/meminfo: memFree=1738412/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=11052 CPUtime=0.02
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 405 0 0 0 2 0 0 0 19 0 1 0 45709363 11317248 317 1992294400 134512640 137138936 4286797360 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 2763 317 192 642 0 2119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11052

[startup+0.101357 s]
/proc/loadavg: 0.97 1.00 0.91 3/106 14275
/proc/meminfo: memFree=1738412/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=11440 CPUtime=0.09
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 504 0 0 0 9 0 0 0 19 0 1 0 45709363 11714560 416 1992294400 134512640 137138936 4286797360 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 2860 416 192 642 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11440

[startup+0.301396 s]
/proc/loadavg: 0.97 1.00 0.91 3/106 14275
/proc/meminfo: memFree=1738412/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=12468 CPUtime=0.29
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 766 0 0 0 29 0 0 0 20 0 1 0 45709363 12767232 678 1992294400 134512640 137138936 4286797360 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 3117 678 192 642 0 2473 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12468

[startup+0.700474 s]
/proc/loadavg: 0.97 1.00 0.91 3/106 14275
/proc/meminfo: memFree=1738412/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=14268 CPUtime=0.69
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 1205 0 0 0 68 1 0 0 20 0 1 0 45709363 14610432 1117 1992294400 134512640 137138936 4286797360 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 3567 1117 192 642 0 2923 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14268

[startup+1.50163 s]
/proc/loadavg: 0.97 1.00 0.91 2/107 14276
/proc/meminfo: memFree=1733940/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=16468 CPUtime=1.49
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 1775 0 0 0 148 1 0 0 22 0 1 0 45709363 16863232 1687 1992294400 134512640 137138936 4286797360 18446744073709551615 134606989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 4117 1687 192 642 0 3473 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16468

[startup+3.10194 s]
/proc/loadavg: 0.97 1.00 0.91 2/107 14276
/proc/meminfo: memFree=1731336/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=17880 CPUtime=3.08
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 2112 0 0 0 307 1 0 0 25 0 1 0 45709363 18309120 2024 1992294400 134512640 137138936 4286797360 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 4470 2024 192 642 0 3826 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17880

[startup+6.30157 s]
/proc/loadavg: 0.97 1.00 0.91 2/107 14276
/proc/meminfo: memFree=1730840/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=17880 CPUtime=6.29
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 2112 0 0 0 627 2 0 0 25 0 1 0 45709363 18309120 2024 1992294400 134512640 137138936 4286797360 18446744073709551615 134599786 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 4470 2024 192 642 0 3826 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17880

[startup+12.7018 s]
/proc/loadavg: 0.97 1.00 0.91 2/107 14278
/proc/meminfo: memFree=1730592/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=18396 CPUtime=12.69
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 2254 0 0 0 1265 4 0 0 25 0 1 0 45709363 18837504 2166 1992294400 134512640 137138936 4286797360 18446744073709551615 136504423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 4599 2166 192 642 0 3955 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18396

[startup+25.5013 s]
/proc/loadavg: 0.98 1.00 0.91 2/107 14278
/proc/meminfo: memFree=1728360/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=20180 CPUtime=25.48
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 2703 0 0 0 2541 7 0 0 25 0 1 0 45709363 20664320 2615 1992294400 134512640 137138936 4286797360 18446744073709551615 136297113 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 5045 2615 192 642 0 4401 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20180

[startup+51.1013 s]
/proc/loadavg: 0.98 1.00 0.91 2/107 14278
/proc/meminfo: memFree=1726004/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=22432 CPUtime=51.06
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 3257 0 0 0 5094 12 0 0 25 0 1 0 45709363 22970368 3169 1992294400 134512640 137138936 4286797360 18446744073709551615 134545180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 5608 3169 192 642 0 4964 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 22432

[startup+102.308 s]
/proc/loadavg: 0.99 1.00 0.91 2/107 14280
/proc/meminfo: memFree=1725508/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=22996 CPUtime=102.25
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 3398 0 0 0 10204 21 0 0 25 0 1 0 45709363 23547904 3310 1992294400 134512640 137138936 4286797360 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 5749 3310 192 642 0 5105 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 22996

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.91 3/108 14285
/proc/meminfo: memFree=1703304/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=25456 CPUtime=162.22
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 4009 0 0 0 16189 33 0 0 25 0 1 0 45709363 26066944 3921 1992294400 134512640 137138936 4286797360 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 6364 3921 192 642 0 5720 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 25456

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.91 2/107 14285
/proc/meminfo: memFree=1722284/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=25700 CPUtime=222.2
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 4071 0 0 0 22176 44 0 0 25 0 1 0 45709363 26316800 3983 1992294400 134512640 137138936 4286797360 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 6425 3983 192 642 0 5781 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 25700

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.91 2/107 14287
/proc/meminfo: memFree=1721292/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=26588 CPUtime=282.17
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 4299 0 0 0 28162 55 0 0 25 0 1 0 45709363 27226112 4211 1992294400 134512640 137138936 4286797360 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 6647 4211 192 642 0 6003 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 26588

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.91 2/107 14289
/proc/meminfo: memFree=1721168/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=26792 CPUtime=342.15
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 4349 0 0 0 34148 67 0 0 25 0 1 0 45709363 27435008 4261 1992294400 134512640 137138936 4286797360 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 6698 4261 192 642 0 6054 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 26792

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.91 2/107 14291
/proc/meminfo: memFree=1721168/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=26792 CPUtime=402.13
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 4349 0 0 0 40133 80 0 0 25 0 1 0 45709363 27435008 4261 1992294400 134512640 137138936 4286797360 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 6698 4261 192 642 0 6054 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 26792

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.91 2/107 14293
/proc/meminfo: memFree=1721168/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=26696 CPUtime=462.1
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 4349 0 0 0 46118 92 0 0 25 0 1 0 45709363 27336704 4250 1992294400 134512640 137138936 4286797360 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 6674 4250 192 642 0 6030 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 26696

[startup+522.3 s]
/proc/loadavg: 0.99 1.00 0.91 2/107 14293
/proc/meminfo: memFree=1721168/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=26696 CPUtime=522.08
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 4349 0 0 0 52104 104 0 0 25 0 1 0 45709363 27336704 4250 1992294400 134512640 137138936 4286797360 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 6674 4250 192 642 0 6030 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 26696

[startup+582.301 s]
/proc/loadavg: 1.03 1.01 0.91 2/107 14295
/proc/meminfo: memFree=1721168/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=26696 CPUtime=582.06
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 4349 0 0 0 58092 114 0 0 25 0 1 0 45709363 27336704 4250 1992294400 134512640 137138936 4286797360 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 6674 4250 192 642 0 6030 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 26696

[startup+642.302 s]
/proc/loadavg: 1.01 1.01 0.91 2/107 14297
/proc/meminfo: memFree=1721168/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=26696 CPUtime=642.04
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 4349 0 0 0 64078 126 0 0 25 0 1 0 45709363 27336704 4250 1992294400 134512640 137138936 4286797360 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 6674 4250 192 642 0 6030 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 26696

[startup+702.301 s]

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

/proc/meminfo: memFree=1718192/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=29768 CPUtime=1061.87
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 5108 0 0 0 105983 204 0 0 25 0 1 0 45709363 30482432 5009 1992294400 134512640 137138936 4286797360 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 7442 5009 192 642 0 6798 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 29768

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14309
/proc/meminfo: memFree=1718192/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=29768 CPUtime=1121.84
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 5108 0 0 0 111970 214 0 0 25 0 1 0 45709363 30482432 5009 1992294400 134512640 137138936 4286797360 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 7442 5009 192 642 0 6798 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 29768

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14311
/proc/meminfo: memFree=1717820/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=30156 CPUtime=1181.82
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 5206 0 0 0 117957 225 0 0 25 0 1 0 45709363 30879744 5107 1992294400 134512640 137138936 4286797360 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 7539 5107 192 642 0 6895 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 30156

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14313
/proc/meminfo: memFree=1717200/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=30672 CPUtime=1241.8
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 5337 0 0 0 123944 236 0 0 25 0 1 0 45709363 31408128 5238 1992294400 134512640 137138936 4286797360 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 7668 5238 192 642 0 7024 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 30672

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14315
/proc/meminfo: memFree=1717076/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=30672 CPUtime=1301.79
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 5337 0 0 0 129934 245 0 0 25 0 1 0 45709363 31408128 5238 1992294400 134512640 137138936 4286797360 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 7668 5238 192 642 0 7024 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 30672

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14317
/proc/meminfo: memFree=1716952/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=30928 CPUtime=1361.76
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 5394 0 0 0 135921 255 0 0 25 0 1 0 45709363 31670272 5295 1992294400 134512640 137138936 4286797360 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 7732 5295 192 642 0 7088 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 30928

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14317
/proc/meminfo: memFree=1716952/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=30924 CPUtime=1421.74
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 5394 0 0 0 141911 263 0 0 25 0 1 0 45709363 31666176 5295 1992294400 134512640 137138936 4286797360 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 7731 5295 192 642 0 7087 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 30924

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14319
/proc/meminfo: memFree=1716952/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=30924 CPUtime=1481.71
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 5394 0 0 0 147897 274 0 0 25 0 1 0 45709363 31666176 5295 1992294400 134512640 137138936 4286797360 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 7731 5295 192 642 0 7087 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 30924

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14321
/proc/meminfo: memFree=1716952/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=30916 CPUtime=1541.68
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 5394 0 0 0 153884 284 0 0 25 0 1 0 45709363 31657984 5295 1992294400 134512640 137138936 4286797360 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 7729 5295 192 642 0 7085 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 30916

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14323
/proc/meminfo: memFree=1716084/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=31684 CPUtime=1601.66
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 5596 0 0 0 159872 294 0 0 25 0 1 0 45709363 32444416 5497 1992294400 134512640 137138936 4286797360 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 7921 5497 192 642 0 7277 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 31684

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14325
/proc/meminfo: memFree=1716084/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=31684 CPUtime=1661.64
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 5596 0 0 0 165858 306 0 0 25 0 1 0 45709363 32444416 5497 1992294400 134512640 137138936 4286797360 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 7921 5497 192 642 0 7277 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 31684

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14325
/proc/meminfo: memFree=1714720/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=33180 CPUtime=1721.61
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 5959 0 0 0 171844 317 0 0 25 0 1 0 45709363 33976320 5860 1992294400 134512640 137138936 4286797360 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 8295 5860 192 642 0 7651 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 33180

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14327
/proc/meminfo: memFree=1714348/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=33308 CPUtime=1781.58
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 6000 0 0 0 177831 327 0 0 25 0 1 0 45709363 34107392 5901 1992294400 134512640 137138936 4286797360 18446744073709551615 136500394 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 8327 5901 192 642 0 7683 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 33308

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14327
/proc/meminfo: memFree=1714348/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=33308 CPUtime=1791.19
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 6000 0 0 0 178790 329 0 0 25 0 1 0 45709363 34107392 5901 1992294400 134512640 137138936 4286797360 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 8327 5901 192 642 0 7683 0
Current children cumulated CPU time (s) 1791.19
Current children cumulated vsize (KiB) 33308

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14327
/proc/meminfo: memFree=1714348/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=33308 CPUtime=1794.38
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 6000 0 0 0 179109 329 0 0 25 0 1 0 45709363 34107392 5901 1992294400 134512640 137138936 4286797360 18446744073709551615 134606680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 8327 5901 192 642 0 7683 0
Current children cumulated CPU time (s) 1794.38
Current children cumulated vsize (KiB) 33308

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14327
/proc/meminfo: memFree=1714348/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=33308 CPUtime=1795.98
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 6000 0 0 0 179268 330 0 0 25 0 1 0 45709363 34107392 5901 1992294400 134512640 137138936 4286797360 18446744073709551615 134555930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 8327 5901 192 642 0 7683 0
Current children cumulated CPU time (s) 1795.98
Current children cumulated vsize (KiB) 33308

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14327
/proc/meminfo: memFree=1714348/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=33308 CPUtime=1796.78
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 6000 0 0 0 179348 330 0 0 25 0 1 0 45709363 34107392 5901 1992294400 134512640 137138936 4286797360 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 8327 5901 192 642 0 7683 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 33308

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14327
/proc/meminfo: memFree=1714348/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=33308 CPUtime=1797.58
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 6000 0 0 0 179428 330 0 0 25 0 1 0 45709363 34107392 5901 1992294400 134512640 137138936 4286797360 18446744073709551615 134607589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 8327 5901 192 642 0 7683 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 33308

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14327
/proc/meminfo: memFree=1714348/2059040 swapFree=4136232/4192956
[pid=14275] ppid=14273 vsize=33308 CPUtime=1797.98
/proc/14275/stat : 14275 (bsolo_pb10) R 14273 14275 14051 0 -1 4202496 6000 0 0 0 179468 330 0 0 25 0 1 0 45709363 34107392 5901 1992294400 134512640 137138936 4286797360 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14275/statm: 8327 5901 192 642 0 7683 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 33308

Child status: 0
Real time (s): 1798.72
CPU time (s): 1798.01
CPU user time (s): 1794.7
CPU system time (s): 3.3075
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 33308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.7
system time used= 3.3075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6001
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= 1
involuntary context switches= 7629

runsolver used 2.91656 second user time and 8.5417 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-16 17:11:18
IDJOB=2670375
IDBENCH=47904
IDSOLVER=1162
FILE ID=node011/2670375-1276701078
PBS_JOBID= 11174123
Free space on /tmp= 62360 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670375-1276701078/watcher-2670375-1276701078 -o /tmp/evaluation-result-2670375-1276701078/solver-2670375-1276701078 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670375-1276701078.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 616d60d0b9e17d59a77d69efb2609a49
RANDOM SEED=2072954206

node011.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1739188 kB
Buffers:         78236 kB
Cached:         159248 kB
SwapCached:       9968 kB
Active:          83860 kB
Inactive:       166708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1739188 kB
SwapTotal:     4192956 kB
SwapFree:      4136232 kB
Dirty:            3988 kB
Writeback:           0 kB
AnonPages:       11572 kB
Mapped:           9312 kB
Slab:            47484 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180576 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670375-1276701078.opb

Free space on /tmp at the end= 62356 MiB
End job on node011 at 2010-06-16 17:41:17