Trace number 1879967

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT70 1798.04 1798.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUMff9be653d1d3ea3b1a82846016e94df6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark66
Best CPU time to get the best result obtained on this benchmark1798.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.1 - 13/04/2009 : 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: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879967-1245146563.opb
0.00/0.00	c File size is 202558 bytes.
0.00/0.02	c Highest Coefficient sum: 324
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.026 s
0.00/0.02	c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776
0.00/0.02	c Obj. Vars: 180 (33.3333 % of total variables)
0.03/0.06	c Pre-processing Time: 0.066 s
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c        0    540     4626    21888    4    14136   31514      0      0 0.07
0.03/0.06	c Switching off lower bounding mode.
0.09/0.10	c      102    540     4819    30883    6    15724   34666    193   1186 0.09
0.09/0.10	o 84
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      167    540     4939    39153    7    16897   31874    313   1546 0.11
0.09/0.14	o 82
0.69/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.75	c      215    540     5034    49555    9    19589   31874    408   1524 0.14
0.69/0.75	c      316    540     5234    79415   15    24840   35062    608   1187 0.27
0.69/0.75	c      566    540     5727   125721   21    29614   38569   1101   1280 0.44
0.69/0.75	o 80
3.09/3.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.14	c      885    540     6351   189463   29    36222   31874   1725   1178 0.75
3.09/3.14	c      985    540     6544   207132   31    37401   35062   1918   1127 0.87
3.09/3.14	c     1235    540     7038   269432   38    43042   38569   2412    915 1.35
3.09/3.14	c     1713    540     7981   409857   51    56201   42426   3355    695 2.46
3.09/3.14	o 78
8.79/8.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.79/8.84	c     1939    540     8425   470002   55    60682   31874   3799    617 3.14
8.79/8.84	c     2040    540     8626   498796   57    63161   35062   4000    584 3.49
8.79/8.84	c     2292    540     9122   550320   60    61699   38569   4496    543 4.21
8.79/8.84	c     2767    540    10062   704460   70    85103   42426   5436    413 6.70
8.79/8.84	o 76
27.58/27.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.58/27.63	c     3197    540    10915   807883   74    93741   31874   6289    361 8.84
27.58/27.63	c     3298    540    11113   819056   73    83482   35062   6487    364 9.04
27.58/27.63	c     3548    540    11604   871002   75    91873   38569   6978    349 10.14
27.58/27.63	c     4023    540    12539   994203   79   103085   42426   7913    317 12.68
27.58/27.63	c     4838    540    14160  1220618   86   124986   46669   9534    257 18.77
27.58/27.63	o 74
312.66/312.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
312.66/312.83	c     5835    540    16145  1520327   94   159446   31874  11519    211 27.63
312.66/312.83	c     5936    540    16346  1529034   93   135666   35062  11720    211 28.09
312.66/312.83	c     6186    540    16842  1589739   94   154491   38569  12216    204 30.20
312.66/312.83	c     6661    540    17777  1696463   95   154309   42426  13151    193 34.49
312.66/312.83	c     7477    540    19391  1934804   99   182585   46669  14765    169 44.07
312.66/312.83	c     8800    540    22031  2344772  106   222232   51336  17405    132 66.29
312.66/312.83	c    10881    540    26151  2970152  113   272323   56470  21525    100 108.11
312.66/312.83	c    14104    540    32530  4044987  124   378647   62118  27904     73 191.71
312.66/312.83	o 72
369.25/369.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
369.25/369.44	c    18434    540    41123  5377388  130   475868   31874  36497     58 312.71
369.25/369.44	c    18536    540    20768  2380550  114   232708   35062  16142     56 329.91
369.25/369.44	c    18788    540    21264  2480087  116   272404   38569  16638     55 335.67
369.25/369.44	c    19263    540    22209  2577102  116   230189   42426  17583     56 341.46
369.25/369.44	c    20079    540    23822  2835825  119   266876   46669  19196     56 355.51
369.25/369.44	o 70
1797.95/1798.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.84	c    20824    540    25297  3080564  121   298177   31874  20671     56 369.30
1797.95/1798.84	c    20924    540    25496  3105989  121   300999   35062  20870     56 371.61
1797.95/1798.84	c    21175    540    25990  3184595  122   317016   38569  21364     56 377.72
1797.95/1798.84	c    21652    540    26939  3316410  123   304123   42426  22313     55 387.51
1797.95/1798.84	c    22465    540    28556  3522715  123   300758   46669  23930     55 405.64
1797.95/1798.84	c    23785    540    31184  3931509  126   338514   51336  26558     53 442.93
1797.95/1798.84	c    25866    540    35309  4611399  130   415813   56470  30683     50 511.75
1797.95/1798.84	c    29090    540    41714  5655913  135   486510   62118  37088     45 634.16
1797.95/1798.84	c    34032    540    51524  7232586  140   591380   68330  46898     39 852.18
1797.95/1798.84	c    41538    540    66415  9621944  144   781930   75164  61789     31 1337.91
1797.95/1798.84	c Resources Exceeded
1797.95/1798.84	v 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 x433 x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 x463 -x464 -x465 x466 -x467 x468 -x469 x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 x504 x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 x540 -x2 -x38 x74 -x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 -x75 -x111 -x147 -x183 -x219 x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 x221 -x257 -x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 -x222 -x258 -x294 x330 -x7 -x43 -x79 -x115 -x151 -x187 -x223 -x259 x295 -x331 x9 -x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 -x333 -x10 -x46 -x82 x118 -x154 -x190 -x226 -x262 -x298 -x334 -x11 -x47 -x83 -x119 -x155 -x191 -x227 -x263 -x299 x335 -x12 -x48 -x84 -x120 -x156 -x192 -x228 x264 -x300 -x336 -x13 -x49 -x85 x121 -x157 -x193 -x229 -x265 -x301 -x337 -x14 -x50 -x86 -x122 -x158 -x194 x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 -x196 -x232 -x268 -x304 x340 -x17 x53 -x89 -x125 -x161 -x197 -x233 -x269 -x305 -x341 -x18 -x54 x90 -x126 -x162 -x198 -x234 -x270 -x306 -x342 x19 -x55 -x91 -x127 -x163 -x199 -x235 -x271 -x307 -x343 -x20 x56 -x92 -x128 -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 -x129 x165 -x201 -x237 -x273 -x309 -x345 -x23 -x59 x95 -x131 -x167 -x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 -x132 -x168 -x204 -x240 -x276 x312 -x348 -x25 -x61 -x97 -x133 x169 -x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 x206 -x242 -x278 -x314 -x350 -x27 -x63 -x99 -x135 -x171 -x207 -x243 -x279 x315 -x351 -x28 -x64 -x100 -x136 -x172 -x208 -x244 x280 -x316 -x352 -x30 -x66 -x102 x138 -x174 -x210 -x246 -x282 -x318 -x354 -x31 x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 -x140 x176 -x212 -x248 -x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 x213 -x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 -x178 -x214 x250 -x286 -x322 -x358 x35 -x71 -x107 -x143 -x179 -x215 -x251 -x287 -x323 -x359 -x8 x44 x80 -x116 x152 x188 x224 -x260 -x296 -x332 x15 -x51 -x87 -x123 x159 x195 -x231 x267 x303 -x339 -x22 -x58 -x94 x130 -x166 x202 x238 x274 -x310 x346 x29 x65 x101 -x137 -x173 -x209 x245 -x281 -x317 x353 -x36 -x72 x108 x144 -x180 -x216 -x252 x288 x324 x360 x1 x37 -x73 x109 x145 -x181 -x217 -x253 x289 -x325 
1797.95/1798.84	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.84	c   41    47014  10405    82304    77294 11478028  72668     26 1798.01
1797.95/1798.84	c Objective: 70
1797.95/1798.84	s SATISFIABLE
1797.95/1798.84	c Total time: 1798.01 s

Verifier Data 

OK	70

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879967-1245146563/watcher-1879967-1245146563 -o /tmp/evaluation-result-1879967-1245146563/solver-1879967-1245146563 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879967-1245146563.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: 1.00 0.98 0.99 3/64 2843
/proc/meminfo: memFree=1869816/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=10908 CPUtime=0
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 182256908 11169792 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 2727 240 176 640 0 2033 0

[startup+0.0387001 s]
/proc/loadavg: 1.00 0.98 0.99 3/64 2843
/proc/meminfo: memFree=1869816/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=11652 CPUtime=0.03
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 564 0 0 0 3 0 0 0 18 0 1 0 182256908 11931648 498 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 2913 498 189 640 0 2269 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11652

[startup+0.101707 s]
/proc/loadavg: 1.00 0.98 0.99 3/64 2843
/proc/meminfo: memFree=1869816/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=11928 CPUtime=0.09
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 646 0 0 0 9 0 0 0 18 0 1 0 182256908 12214272 553 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 2982 553 197 640 0 2338 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11928

[startup+0.30173 s]
/proc/loadavg: 1.00 0.98 0.99 3/64 2843
/proc/meminfo: memFree=1869816/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=12836 CPUtime=0.29
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 874 0 0 0 29 0 0 0 19 0 1 0 182256908 13144064 781 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 3209 781 197 640 0 2565 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12836

[startup+0.701776 s]
/proc/loadavg: 1.00 0.98 0.99 3/64 2843
/proc/meminfo: memFree=1869816/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=14264 CPUtime=0.69
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 1236 0 0 0 68 1 0 0 23 0 1 0 182256908 14606336 1143 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 3566 1143 197 640 0 2922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14264

[startup+1.50187 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1865264/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=15940 CPUtime=1.49
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 1666 0 0 0 148 1 0 0 25 0 1 0 182256908 16322560 1573 1992294400 134512640 137136520 4294956256 18446744073709551615 134606783 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 3985 1573 197 640 0 3341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15940

[startup+3.10106 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1862960/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=18668 CPUtime=3.09
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 2336 0 0 0 307 2 0 0 25 0 1 0 182256908 19116032 2243 1992294400 134512640 137136520 4294956256 18446744073709551615 134605804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 4667 2243 198 640 0 4023 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18668

[startup+6.30143 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1858864/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=21896 CPUtime=6.28
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 3161 0 0 0 625 3 0 0 25 0 1 0 182256908 22421504 3068 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 5474 3068 198 640 0 4830 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21896

[startup+12.7012 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1853616/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=26812 CPUtime=12.68
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 4367 0 0 0 1263 5 0 0 25 0 1 0 182256908 27455488 4274 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 6703 4274 198 640 0 6059 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26812

[startup+25.5017 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1846256/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=33920 CPUtime=25.49
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 6154 0 0 0 2542 7 0 0 25 0 1 0 182256908 34734080 6061 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 8480 6061 198 640 0 7836 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33920

[startup+51.1017 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1837232/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=43016 CPUtime=51.07
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 8428 0 0 0 5098 9 0 0 25 0 1 0 182256908 44048384 8335 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 10754 8335 198 640 0 10110 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43016

[startup+102.306 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1824240/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=55676 CPUtime=102.26
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 11607 0 0 0 10213 13 0 0 25 0 1 0 182256908 57012224 11514 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 13919 11514 198 640 0 13275 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 55676

[startup+162.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1812080/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=67840 CPUtime=162.22
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 14645 0 0 0 16205 17 0 0 25 0 1 0 182256908 69468160 14552 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 16960 14552 198 640 0 16316 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 67840

[startup+222.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1801136/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=78732 CPUtime=222.2
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 17365 0 0 0 22199 21 0 0 25 0 1 0 182256908 80621568 17272 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 19683 17272 198 640 0 19039 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 78732

[startup+282.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1791600/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=88328 CPUtime=282.18
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 19744 0 0 0 28194 24 0 0 25 0 1 0 182256908 90447872 19651 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 22082 19651 198 640 0 21438 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 88328

[startup+342.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1786544/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=93112 CPUtime=342.16
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 20982 0 0 0 34190 26 0 0 25 0 1 0 182256908 95346688 20853 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 23278 20853 198 640 0 22634 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 93112

[startup+402.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1786544/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=93112 CPUtime=402.13
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 20982 0 0 0 40187 26 0 0 25 0 1 0 182256908 95346688 20853 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 23278 20853 198 640 0 22634 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 93112

[startup+462.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1786544/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=93112 CPUtime=462.11
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 20982 0 0 0 46184 27 0 0 25 0 1 0 182256908 95346688 20853 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 23278 20853 198 640 0 22634 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 93112

[startup+522.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1786480/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=93112 CPUtime=522.09
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 20982 0 0 0 52181 28 0 0 25 0 1 0 182256908 95346688 20853 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 23278 20853 198 640 0 22634 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 93112

[startup+582.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1786480/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=93112 CPUtime=582.06
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 20982 0 0 0 58178 28 0 0 25 0 1 0 182256908 95346688 20853 1992294400 134512640 137136520 4294956256 18446744073709551615 134544587 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 23278 20853 198 640 0 22634 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 93112

[startup+642.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1781680/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=98004 CPUtime=642.03
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 22216 0 0 0 64174 29 0 0 25 0 1 0 182256908 100356096 22087 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 24501 22087 198 640 0 23857 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 98004

[startup+702.302 s]

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

/proc/meminfo: memFree=1737328/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=142028 CPUtime=1121.8
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 33235 0 0 0 112136 44 0 0 25 0 1 0 182256908 145436672 33106 1992294400 134512640 137136520 4294956256 18446744073709551615 134544252 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 35507 33106 198 640 0 34863 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 142028

[startup+1182.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1733232/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=146132 CPUtime=1181.77
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 34243 0 0 0 118132 45 0 0 25 0 1 0 182256908 149639168 34114 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 36533 34114 198 640 0 35889 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 146132

[startup+1242.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1729136/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=150100 CPUtime=1241.75
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 35234 0 0 0 124129 46 0 0 25 0 1 0 182256908 153702400 35105 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 37525 35105 198 640 0 36881 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 150100

[startup+1302.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1725360/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=153800 CPUtime=1301.7
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 36151 0 0 0 130123 47 0 0 25 0 1 0 182256908 157491200 36022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 38450 36022 198 640 0 37806 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 153800

[startup+1362.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1721392/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=157768 CPUtime=1361.68
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 37145 0 0 0 136119 49 0 0 25 0 1 0 182256908 161554432 37016 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 39442 37016 198 640 0 38798 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 157768

[startup+1422.31 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1716528/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=162664 CPUtime=1421.63
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 38365 0 0 0 142113 50 0 0 25 0 1 0 182256908 166567936 38236 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 40666 38236 198 640 0 40022 0
Current children cumulated CPU time (s) 1421.63
Current children cumulated vsize (KiB) 162664

[startup+1482.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1713648/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=165440 CPUtime=1481.58
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 39064 0 0 0 148107 51 0 0 25 0 1 0 182256908 169410560 38935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 41360 38935 198 640 0 40716 0
Current children cumulated CPU time (s) 1481.58
Current children cumulated vsize (KiB) 165440

[startup+1542.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1709936/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=169008 CPUtime=1541.56
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 39977 0 0 0 154104 52 0 0 25 0 1 0 182256908 173064192 39848 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 42252 39848 198 640 0 41608 0
Current children cumulated CPU time (s) 1541.56
Current children cumulated vsize (KiB) 169008

[startup+1602.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1706352/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=172716 CPUtime=1601.54
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 40889 0 0 0 160100 54 0 0 25 0 1 0 182256908 176861184 40760 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 43179 40760 198 640 0 42535 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 172716

[startup+1662.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1702896/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=176156 CPUtime=1661.52
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 41744 0 0 0 166097 55 0 0 25 0 1 0 182256908 180383744 41615 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 44039 41615 198 640 0 43395 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 176156

[startup+1722.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1699760/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=179468 CPUtime=1721.49
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 42563 0 0 0 172093 56 0 0 25 0 1 0 182256908 183775232 42434 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 44867 42434 198 640 0 44223 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 179468

[startup+1782.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1696176/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=182640 CPUtime=1781.46
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 43378 0 0 0 178090 56 0 0 25 0 1 0 182256908 187023360 43249 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 45660 43249 198 640 0 45016 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (KiB) 182640

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

[startup+1791.91 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1695536/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=183300 CPUtime=1791.07
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 43536 0 0 0 179050 57 0 0 25 0 1 0 182256908 187699200 43407 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 45825 43407 198 640 0 45181 0
Current children cumulated CPU time (s) 1791.07
Current children cumulated vsize (KiB) 183300

[startup+1795.1 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1695408/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=183432 CPUtime=1794.26
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 43572 0 0 0 179369 57 0 0 25 0 1 0 182256908 187834368 43443 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 45858 43443 198 640 0 45214 0
Current children cumulated CPU time (s) 1794.26
Current children cumulated vsize (KiB) 183432

[startup+1796.7 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1695408/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=183568 CPUtime=1795.86
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 43596 0 0 0 179529 57 0 0 25 0 1 0 182256908 187973632 43467 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 45892 43467 198 640 0 45248 0
Current children cumulated CPU time (s) 1795.86
Current children cumulated vsize (KiB) 183568

[startup+1797.5 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1695280/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=183568 CPUtime=1796.65
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 43603 0 0 0 179608 57 0 0 25 0 1 0 182256908 187973632 43474 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 45892 43474 198 640 0 45248 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (KiB) 183568

[startup+1798.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1695280/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=183700 CPUtime=1797.45
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 43625 0 0 0 179688 57 0 0 25 0 1 0 182256908 188108800 43496 1992294400 134512640 137136520 4294956256 18446744073709551615 134543884 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 45925 43496 198 640 0 45281 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 183700

[startup+1798.7 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1695216/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=183700 CPUtime=1797.85
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 43633 0 0 0 179728 57 0 0 25 0 1 0 182256908 188108800 43504 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 45925 43504 198 640 0 45281 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 183700

[startup+1798.8 s]
/proc/loadavg: 1.00 0.98 0.99 2/65 2844
/proc/meminfo: memFree=1695216/2055920 swapFree=4192812/4192956
[pid=2843] ppid=2841 vsize=183700 CPUtime=1797.95
/proc/2843/stat : 2843 (bsolo) R 2841 2843 2765 0 -1 4194304 43633 0 0 0 179738 57 0 0 25 0 1 0 182256908 188108800 43504 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2843/statm: 45925 43504 198 640 0 45281 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 183700

Child status: 0
Real time (s): 1798.88
CPU time (s): 1798.04
CPU user time (s): 1797.44
CPU system time (s): 0.601908
CPU usage (%): 99.9533
Max. virtual memory (cumulated for all children) (KiB): 183700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.44
system time used= 0.601908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43636
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= 2
involuntary context switches= 5945

runsolver used 2.09868 second user time and 4.45232 second system time

The end

Launcher Data 

Begin job on node11 at 2009-06-16 12:02:43
IDJOB=1879967
IDBENCH=2007
IDSOLVER=701
FILE ID=node11/1879967-1245146563
PBS_JOBID= 9363769
Free space on /tmp= 66196 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879967-1245146563/watcher-1879967-1245146563 -o /tmp/evaluation-result-1879967-1245146563/solver-1879967-1245146563 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879967-1245146563.opb

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

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=362979622

node11.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1870296 kB
Buffers:         27920 kB
Cached:          85912 kB
SwapCached:          0 kB
Active:          41576 kB
Inactive:        85708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1870296 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4144 kB
Writeback:           0 kB
Mapped:          23244 kB
Slab:            44312 kB
Committed_AS:   178084 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879967-1245146563.opb

Free space on /tmp at the end= 66192 MiB
End job on node11 at 2009-06-16 12:32:42