Trace number 1879006

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 clSAT68 1798.01 1798.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
MD5SUMc2400ec88bd2efb16a03934d0b4c43da
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark0.136978
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62
Optimality of the best value was proved YES
Number of variables648
Total number of constraints1954
Number of constraints which are clauses1930
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint27
Number of terms in the objective function 648
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 648
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 648
Number of bits of the biggest sum of numbers10
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: Clause 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-1879006-1245148002.opb
0.00/0.00	c File size is 70209 bytes.
0.00/0.01	c Highest Coefficient sum: 648
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.009 s
0.00/0.01	c Var: 648 Constr: 1954 1930/24/0 Lit: 6444 Watch. Lit: 4460
0.00/0.01	c Obj. Vars: 648 (100 % of total variables)
0.00/0.02	c Pre-processing Time: 0.018 s
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c        0    540     1738     6012    3     4028    5755      0      0 0.02
0.06/0.09	c Initial Lower Bound: 60
0.06/0.09	c Initial Path Cost: 12
56.58/56.63	c      104    540     1842     6887    3     4236    6331    104   1072 0.10
56.58/56.63	c      255    540     1993     8442    4     4538    6965    255   2361 0.11
56.58/56.63	c      483    540     2221    11620    5     4994    7662    483   3833 0.13
56.58/56.63	c      821    540     2559    14752    5     5670    8429    821   5401 0.15
56.58/56.63	c     1331    540     3069    20914    6     6690    9272   1331   6722 0.20
56.58/56.63	c     2098    540     3836    35742    9     8224   10200   2098   7656 0.27
56.58/56.63	c     3244    540     4982    58486   11    10516   11221   3244   7615 0.43
56.58/56.63	c     4966    540     6704    95259   14    13960   12344   4966   6774 0.73
56.58/56.63	c     7552    540     9290   148583   15    19132   13579   7552   5769 1.31
56.58/56.63	c    11431    540    13169   225595   17    26890   14937  11431   4800 2.38
56.58/56.63	c    17253    540    11393   168098   14    23338   16431   9655   4015 4.30
56.58/56.63	c    25990    540    11770   142776   12    24092   18075  10032   3814 6.81
56.58/56.63	c    39100    540    15678   209125   13    31908   19883  13940   3091 12.65
56.58/56.63	c    58771    540    15185   192316   12    30922   21872  13447   2382 24.67
56.58/56.63	c    88281    540    22537   338465   15    45626   24060  20799   1966 44.89
56.58/56.63	o 72
849.81/850.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
849.81/850.14	c   106452    540    16059   204246   12    33144    6811  14321   1880 56.61
849.81/850.14	c   106552    540     5252    53265   10    11525    7493   3514   1774 60.04
849.81/850.14	c   106802    540     5502    56357   10    12025    8243   3764   1630 65.51
849.81/850.14	c   107277    540     5977    62123   10    12975    9068   4239   1329 80.66
849.81/850.14	c   108092    540     6792    72048   10    14605    9975   5054   1051 102.81
849.81/850.14	c   109414    540     8114    90807   11    17249   10973   6376    814 134.38
849.81/850.14	c   111496    540    10196   121654   11    21413   12071   8458    592 188.19
849.81/850.14	c   114720    540    13420   165806   12    27861   13279  11682    437 262.46
849.81/850.14	c   119658    540    11579   147166   12    24179   14607   9841    324 368.92
849.81/850.14	c   127164    540    11642   137832   11    24305   16068   9904    234 543.36
849.81/850.14	c   138525    540    14830   206146   13    30682   17675  13092    181 761.15
849.81/850.14	o 68
1797.91/1798.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.59	c   142254    540    18560   265101   14    38618    6811  16822    167 849.87
1797.91/1798.59	c   142356    540     5271    57263   10    11568    7493   3533    167 852.31
1797.91/1798.59	c   142606    540     5521    60457   10    12068    8243   3783    166 856.36
1797.91/1798.59	c   143081    540     5996    68547   11    13019    9068   4258    165 864.28
1797.91/1798.59	c   143894    540     6809    81625   11    14645    9975   5071    162 885.28
1797.91/1798.59	c   145217    540     8139   100054   12    17304   10973   6401    158 916.54
1797.91/1798.59	c   147298    540    10220   139983   13    21466   12071   8482    153 958.86
1797.91/1798.59	c   150523    540    13446   197888   14    27917   13279  11708    147 1020.39
1797.91/1798.59	c   155461    540    11614   170766   14    24256   14607   9876    137 1134.49
1797.91/1798.59	c   162967    540    11669   159589   13    24363   16068   9931    125 1301.71
1797.91/1798.59	c   174328    540    14856   224871   15    30739   17675  13118    114 1520.73
1797.91/1798.59	c Resources Exceeded
1797.91/1798.59	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 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -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 -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 -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 -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 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 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 
1797.91/1798.59	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.59	c   37   187199  54847   299698    18772   300079  17034    104 1798.00
1797.91/1798.59	c Objective: 68
1797.91/1798.59	s SATISFIABLE
1797.91/1798.59	c Total time: 1798 s

Verifier Data 

OK	68

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879006-1245148002/watcher-1879006-1245148002 -o /tmp/evaluation-result-1879006-1245148002/solver-1879006-1245148002 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1879006-1245148002.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.99 0.98 0.99 3/64 4689
/proc/meminfo: memFree=1864920/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=10784 CPUtime=0
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 182401123 11042816 238 1992294400 134512640 137136520 4294956256 18446744073709551615 136523271 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 2696 239 176 640 0 2034 0

[startup+0.0717051 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4689
/proc/meminfo: memFree=1864920/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=11456 CPUtime=0.06
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 527 0 0 0 6 0 0 0 18 0 1 0 182401123 11730944 462 1992294400 134512640 137136520 4294956256 18446744073709551615 134710037 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 2864 462 228 640 0 2220 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11456

[startup+0.101709 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4689
/proc/meminfo: memFree=1864920/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=11416 CPUtime=0.09
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 886 0 0 0 9 0 0 0 18 0 1 0 182401123 11689984 547 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 2854 547 293 640 0 2210 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11416

[startup+0.301744 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4689
/proc/meminfo: memFree=1864920/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=11824 CPUtime=0.29
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 989 0 0 0 29 0 0 0 19 0 1 0 182401123 12107776 650 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 2956 650 293 640 0 2312 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11824

[startup+0.701814 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4689
/proc/meminfo: memFree=1864920/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=12892 CPUtime=0.69
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1226 0 0 0 69 0 0 0 22 0 1 0 182401123 13201408 887 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 3223 887 293 640 0 2579 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12892

[startup+1.50196 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4690
/proc/meminfo: memFree=1861904/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=14236 CPUtime=1.49
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1566 0 0 0 148 1 0 0 25 0 1 0 182401123 14577664 1227 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 3559 1227 293 640 0 2915 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14236

[startup+3.10123 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4690
/proc/meminfo: memFree=1860240/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=15980 CPUtime=3.09
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2029 0 0 0 307 2 0 0 25 0 1 0 182401123 16363520 1690 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 3995 1690 293 640 0 3351 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15980

[startup+6.30179 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1858448/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=16516 CPUtime=6.29
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2147 0 0 0 625 4 0 0 25 0 1 0 182401123 16912384 1808 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 4129 1808 293 640 0 3485 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16516

[startup+12.7019 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1858384/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=16688 CPUtime=12.68
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2174 0 0 0 1263 5 0 0 25 0 1 0 182401123 17088512 1835 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 4172 1835 293 640 0 3528 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16688

[startup+25.5012 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1857744/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=17280 CPUtime=25.48
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2322 0 0 0 2538 10 0 0 25 0 1 0 182401123 17694720 1983 1992294400 134512640 137136520 4294956256 18446744073709551615 134544530 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 4320 1983 293 640 0 3676 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17280

[startup+51.1017 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1856080/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=18832 CPUtime=51.07
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2736 0 0 0 5091 16 0 0 25 0 1 0 182401123 19283968 2397 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 4708 2397 293 640 0 4064 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18832

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1854800/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21596 CPUtime=102.26
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 228602 0 0 0 10126 100 0 0 25 0 1 0 182401123 22114304 2700 1992294400 134512640 137136520 4294956256 18446744073709551615 134846254 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5399 2706 293 640 0 4755 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21596

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1855248/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21584 CPUtime=162.23
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 599270 0 0 0 15983 240 0 0 25 0 1 0 182401123 22102016 2601 1992294400 134512640 137136520 4294956256 18446744073709551615 135249267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5396 2601 293 640 0 4752 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 21584

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1854928/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21612 CPUtime=222.22
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 878195 0 0 0 21872 350 0 0 25 0 1 0 182401123 22130688 2688 1992294400 134512640 137136520 4294956256 18446744073709551615 134710999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5403 2688 294 640 0 4759 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 21612

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1855056/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21588 CPUtime=282.19
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1185747 0 0 0 27749 470 0 0 25 0 1 0 182401123 22106112 2619 1992294400 134512640 137136520 4294956256 18446744073709551615 135441568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5397 2619 294 640 0 4753 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 21588

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1854288/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21636 CPUtime=342.18
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1378829 0 0 0 33669 549 0 0 25 0 1 0 182401123 22155264 2919 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5409 2919 294 640 0 4765 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 21636

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1854352/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21656 CPUtime=402.16
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1418387 0 0 0 39647 569 0 0 25 0 1 0 182401123 22175744 2911 1992294400 134512640 137136520 4294956256 18446744073709551615 135443880 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5414 2911 294 640 0 4770 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 21656

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1854480/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21664 CPUtime=462.14
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1464628 0 0 0 45621 593 0 0 25 0 1 0 182401123 22183936 2871 1992294400 134512640 137136520 4294956256 18446744073709551615 135430397 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5416 2871 294 640 0 4772 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 21664

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1855760/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=18844 CPUtime=522.12
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1812334 0 0 0 51477 735 0 0 25 0 1 0 182401123 19296256 2407 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 4711 2407 294 640 0 4067 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 18844

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1855440/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21400 CPUtime=582.1
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2302134 0 0 0 57281 929 0 0 25 0 1 0 182401123 21913600 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 134896851 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5350 2532 294 640 0 4706 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 21400

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1855440/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=18844 CPUtime=642.08
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2950507 0 0 0 63026 1182 0 0 25 0 1 0 182401123 19296256 2407 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 4711 2407 294 640 0 4067 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 18844

[startup+702.302 s]

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

/proc/meminfo: memFree=1855504/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21104 CPUtime=1061.95
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 6190689 0 0 0 103790 2405 0 0 25 0 1 0 182401123 21610496 2455 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5276 2455 295 640 0 4632 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 21104

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1855440/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21068 CPUtime=1121.92
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 6527504 0 0 0 109661 2531 0 0 25 0 1 0 182401123 21573632 2467 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5267 2467 295 640 0 4623 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 21068

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1855440/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21056 CPUtime=1181.9
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 6892285 0 0 0 115512 2678 0 0 25 0 1 0 182401123 21561344 2454 1992294400 134512640 137136520 4294956256 18446744073709551615 135445468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5264 2454 295 640 0 4620 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 21056

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1855376/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21072 CPUtime=1241.89
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 7283970 0 0 0 121354 2835 0 0 25 0 1 0 182401123 21577728 2455 1992294400 134512640 137136520 4294956256 18446744073709551615 135497147 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5268 2455 295 640 0 4624 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 21072

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1855248/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=20396 CPUtime=1301.87
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 7641610 0 0 0 127212 2975 0 0 25 0 1 0 182401123 20885504 2447 1992294400 134512640 137136520 4294956256 18446744073709551615 135402613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5170 2452 295 640 0 4526 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 20396

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1855248/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=20380 CPUtime=1361.84
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 8008034 0 0 0 133063 3121 0 0 25 0 1 0 182401123 20869120 2424 1992294400 134512640 137136520 4294956256 18446744073709551615 134731914 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5095 2424 295 640 0 4451 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 20380

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4690
/proc/meminfo: memFree=1855248/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=18836 CPUtime=1421.83
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 8404599 0 0 0 138914 3269 0 0 25 0 1 0 182401123 19288064 2406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 4709 2406 295 640 0 4065 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 18836

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4692
/proc/meminfo: memFree=1855056/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21072 CPUtime=1481.8
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 8782338 0 0 0 144757 3423 0 0 25 0 1 0 182401123 21577728 2461 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5268 2461 295 640 0 4624 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 21072

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4692
/proc/meminfo: memFree=1855184/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=20372 CPUtime=1541.78
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 9154529 0 0 0 150611 3567 0 0 25 0 1 0 182401123 20860928 2436 1992294400 134512640 137136520 4294956256 18446744073709551615 135380752 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5093 2439 295 640 0 4449 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 20372

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4692
/proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=20404 CPUtime=1601.77
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 9505569 0 0 0 156467 3710 0 0 25 0 1 0 182401123 20893696 2442 1992294400 134512640 137136520 4294956256 18446744073709551615 135432176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5101 2442 295 640 0 4457 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 20404

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4692
/proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21076 CPUtime=1661.74
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 9870776 0 0 0 162318 3856 0 0 25 0 1 0 182401123 21581824 2465 1992294400 134512640 137136520 4294956256 18446744073709551615 135455077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5269 2465 295 640 0 4625 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 21076

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4692
/proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21028 CPUtime=1721.73
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10274154 0 0 0 168161 4012 0 0 25 0 1 0 182401123 21532672 2451 1992294400 134512640 137136520 4294956256 18446744073709551615 134845954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5257 2451 295 640 0 4613 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 21028

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4692
/proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=18836 CPUtime=1781.71
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10649984 0 0 0 174015 4156 0 0 25 0 1 0 182401123 19288064 2406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 4709 2406 295 640 0 4065 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 18836

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4692
/proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21044 CPUtime=1791.31
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10708284 0 0 0 174952 4179 0 0 25 0 1 0 182401123 21549056 2451 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5261 2451 295 640 0 4617 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 21044

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4692
/proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21004 CPUtime=1794.51
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10727483 0 0 0 175265 4186 0 0 25 0 1 0 182401123 21508096 2449 1992294400 134512640 137136520 4294956256 18446744073709551615 135445009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5251 2449 295 640 0 4607 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 21004

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4692
/proc/meminfo: memFree=1855056/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=20372 CPUtime=1796.11
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10737014 0 0 0 175422 4189 0 0 25 0 1 0 182401123 20860928 2424 1992294400 134512640 137136520 4294956256 18446744073709551615 134731914 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5093 2424 295 640 0 4449 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (KiB) 20372

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4692
/proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=18836 CPUtime=1796.91
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10742166 0 0 0 175500 4191 0 0 25 0 1 0 182401123 19288064 2406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 4709 2406 295 640 0 4065 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 18836

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4692
/proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21076 CPUtime=1797.71
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10747422 0 0 0 175578 4193 0 0 25 0 1 0 182401123 21581824 2456 1992294400 134512640 137136520 4294956256 18446744073709551615 134847244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5269 2456 295 640 0 4625 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 21076

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4692
/proc/meminfo: memFree=1855056/2055920 swapFree=4191900/4192956
[pid=4689] ppid=4687 vsize=21084 CPUtime=1797.91
/proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10748621 0 0 0 175597 4194 0 0 25 0 1 0 182401123 21590016 2456 1992294400 134512640 137136520 4294956256 18446744073709551615 134732890 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4689/statm: 5271 2456 295 640 0 4627 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 21084

Child status: 0
Real time (s): 1798.6
CPU time (s): 1798.01
CPU user time (s): 1756.06
CPU system time (s): 41.9456
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 21884

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

runsolver used 1.60875 second user time and 3.34949 second system time

The end

Launcher Data 

Begin job on node4 at 2009-06-16 12:26:42
IDJOB=1879006
IDBENCH=2025
IDSOLVER=700
FILE ID=node4/1879006-1245148002
PBS_JOBID= 9363739
Free space on /tmp= 66408 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879006-1245148002/watcher-1879006-1245148002 -o /tmp/evaluation-result-1879006-1245148002/solver-1879006-1245148002 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1879006-1245148002.opb

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

MD5SUM BENCH= c2400ec88bd2efb16a03934d0b4c43da
RANDOM SEED=691126777

node4.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.259
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.259
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:       1865400 kB
Buffers:         25368 kB
Cached:          97112 kB
SwapCached:        260 kB
Active:          29600 kB
Inactive:       106128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1865400 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            4008 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            40736 kB
Committed_AS:   137400 kB
PageTables:       1472 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-1879006-1245148002.opb

Free space on /tmp at the end= 66404 MiB
End job on node4 at 2009-06-16 12:56:41