Trace number 2670704

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 ClOPT3 968.177 968.428

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb
MD5SUM9b7cb599a49db47c0ffbf25416bcef37
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 benchmark10.6474
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)576
Sum of products size (including duplicates)1152
Number of different products576
Sum of products size1152

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2670704-1276704758.opb
0.00/0.00	c File size is 43525 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.007 s
0.00/0.00	c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044
0.00/0.00	c Obj. Vars: 8 (1.0101 % of total variables)
0.00/0.01	c Pre-processing Time: 0.016 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    792     1180     4960    4     4260    6656      0      0 0.02
0.00/0.01	c Switching off lower bounding mode.
793.19/793.42	c      101    792     1281    10046    7     4433    7322    101   3740 0.03
793.19/793.42	c      252    792     1432    19385   13     4623    8055    252   5727 0.04
793.19/793.42	c      477    792     1657    32699   19     5074    8861    477   6718 0.07
793.19/793.42	c      816    792     1996    56251   28     5782    9748    816   7095 0.12
793.19/793.42	c     1327    792     2507    89990   35     6805   10723   1327   7497 0.18
793.19/793.42	c     2091    792     3271   142968   43     8311   11796   2091   7210 0.29
793.19/793.42	c     3237    792     4417   224682   50    10548   12976   3237   7021 0.46
793.19/793.42	c     4959    792     6139   330340   53    13989   14274   4959   6415 0.77
793.19/793.42	c     7543    792     8723   485028   55    19172   15702   7543   4933 1.53
793.19/793.42	c    11423    792    12603   714673   56    26892   17273  11423   2950 3.87
793.19/793.42	c    17246    792    18426  1051984   57    38561   19001  17246   2047 8.42
793.19/793.42	c    25983    792    17107   989811   57    35884   20902  15927   1832 14.18
793.19/793.42	c    39093    792    19202  1175124   61    40142   22993  18022   1568 24.92
793.19/793.42	c    58763    792    13228   820388   62    28207   25293  12048   1344 43.69
793.19/793.42	c    88274    792    13551   718468   53    28839   27823  12371   1295 68.16
793.19/793.42	c   132546    792    23593  1562251   66    48824   30606  22413   1196 110.82
793.19/793.42	c   198956    790    30206  1852551   61    62221   33667  29026    924 215.26
793.19/793.42	c   298577    787    16820  1013759   60    35312   37034  15640    748 398.87
793.19/793.42	c   448013    786    35854  2334101   65    73503   40738  34674    723 619.10
793.19/793.42	o 33
935.55/935.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
935.55/935.88	c   573085    783    12764   945511   74    27292    6672  11584    721 793.91
935.55/935.88	c   573187    774     4627   327050   70    11026    7340   3447    721 794.03
935.55/935.88	c   573438    774     4878   344782   70    11492    8075   3698    722 794.06
935.55/935.88	c   573914    774     5354   378675   70    12437    8883   4174    722 794.16
935.55/935.88	c   574728    774     6168   432979   70    14063    9772   4988    723 794.36
935.55/935.88	c   576050    774     7490   521052   69    16700   10750   6310    724 794.81
935.55/935.88	c   578132    774     9572   658269   68    20861   11826   8392    726 795.78
935.55/935.88	c   581355    774    12795   867086   67    27319   13009  11615    728 798.30
935.55/935.88	c   586291    774    11149   654691   58    24024   14310   9969    730 802.36
935.55/935.88	c   593798    763    11422   668993   58    24537   15742  10242    732 810.57
935.55/935.88	c   605160    763    14567   911273   62    30916   17317  13387    738 819.29
935.55/935.88	c   622304    763    13322   836818   62    28384   19049  12142    753 826.19
935.55/935.88	c   648123    762    19869  1186206   59    41415   20954  18689    762 849.84
935.55/935.88	c   686956    762    16116  1009681   62    33907   23050  14936    766 895.88
935.55/935.88	o 13
936.25/936.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
936.25/936.58	c   719120    761    23602  1459182   61    48976    6668  22422    768 935.64
936.25/936.58	c   719221    752     4628   234059   50    11003    7335   3448    768 936.16
936.25/936.58	c   719472    752     4879   248748   50    11469    8069   3699    768 936.19
936.25/936.58	c   719947    741     5354   276498   51    12436    8876   4174    768 936.28
936.25/936.58	o 9
936.35/936.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
936.35/936.69	c   720261    741     5669   292744   51    13081    6664   4489    769 936.34
936.35/936.69	c   720363    741     5771   299204   51    13295    7331   4591    769 936.37
936.35/936.69	c   720613    741     6021   312646   51    13844    8065   4841    769 936.41
936.35/936.69	o 5
936.65/936.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
936.65/936.98	c   720897    741     6306   331700   52    14364    6664   5126    769 936.46
936.65/936.98	c   720997    741     6406   338383   52    14575    7331   5226    769 936.48
936.65/936.98	c   721248    731     6657   355574   53    15073    8065   5477    770 936.55
936.65/936.98	c   721723    731     7132   386133   54    16090    8872   5952    770 936.70
936.65/936.98	o 3
968.14/968.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
968.14/968.42	c   721901    731     7311   397200   54    16414    6662   6131    770 936.74
968.14/968.42	c   722001    731     7411   403195   54    16580    7329   6231    770 936.76
968.14/968.42	c   722252    710     7662   416711   54    17071    8062   6482    770 936.81
968.14/968.42	c   722728    710     8138   445913   54    18035    8869   6958    771 936.98
968.14/968.42	c   723541    710     8951   498686   55    19635    9756   7771    771 937.27
968.14/968.42	c   724861    710    10271   584357   56    22257   10732   9091    772 937.97
968.14/968.42	c   726943    710     6856   363496   53    15445   11806   5676    774 939.09
968.14/968.42	c   730166    710    10079   572132   56    21881   12987   8899    775 941.24
968.14/968.42	c   735102    710     8378   461135   55    18506   14286   7198    777 945.58
968.14/968.42	c   742608    710     8602   463714   53    18933   15715   7422    778 953.57
968.14/968.42	c   753970    698    11972   637472   53    25686   17287  10792    782 963.48
968.14/968.42	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 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 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 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 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 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 x97 x98 -x99 -x100 x101 x102 -x103 -x104 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 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 x105 x106 -x107 -x108 x109 -x110 -x111 x112 -x169 x170 x171 -x172 -x173 -x174 -x175 -x176 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 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x177 -x178 -x179 x180 x181 -x182 x183 -x184 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 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 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 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x129 -x130 -x131 x132 -x133 x134 x135 -x136 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x665 -x666 -x667 x668 -x669 x670 x671 -x672 x673 -x674 -x675 x676 -x677 x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 x692 -x693 x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 x724 -x725 x726 x727 -x728 x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x201 -x202 -x203 x204 x205 x206 -x207 -x208 x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 
968.14/968.42	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
968.14/968.42	c   55   758713   7314   792018    16715   871147  15535    783 968.17
968.14/968.42	c Objective: 3
968.14/968.42	s OPTIMUM FOUND
968.14/968.42	c Total time: 968.171 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-2670704-1276704758/watcher-2670704-1276704758 -o /tmp/evaluation-result-2670704-1276704758/solver-2670704-1276704758 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670704-1276704758.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 1.00 0.95 3/106 18818
/proc/meminfo: memFree=1754800/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=10836 CPUtime=0
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 11770811 11096064 256 1992294400 134512640 137138936 4289736544 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 2742 257 175 642 0 2087 0

[startup+0.0355049 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 18818
/proc/meminfo: memFree=1754800/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=11180 CPUtime=0.03
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 447 0 0 0 3 0 0 0 20 0 1 0 11770811 11448320 354 1992294400 134512640 137138936 4289736544 18446744073709551615 134572991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 2795 354 190 642 0 2151 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11180

[startup+0.100512 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 18818
/proc/meminfo: memFree=1754800/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=11684 CPUtime=0.09
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 576 0 0 0 9 0 0 0 20 0 1 0 11770811 11964416 483 1992294400 134512640 137138936 4289736544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 2921 483 190 642 0 2277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11684

[startup+0.300534 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 18818
/proc/meminfo: memFree=1754800/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=13068 CPUtime=0.29
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 928 0 0 0 29 0 0 0 20 0 1 0 11770811 13381632 835 1992294400 134512640 137138936 4289736544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 3267 835 190 642 0 2623 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13068

[startup+0.700577 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 18818
/proc/meminfo: memFree=1754800/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=15456 CPUtime=0.69
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 1528 0 0 0 69 0 0 0 20 0 1 0 11770811 15826944 1436 1992294400 134512640 137138936 4289736544 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 3864 1436 190 642 0 3220 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15456

[startup+1.50066 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 18819
/proc/meminfo: memFree=1748964/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=17988 CPUtime=1.49
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 2139 0 0 0 148 1 0 0 22 0 1 0 11770811 18419712 2046 1992294400 134512640 137138936 4289736544 18446744073709551615 136297742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 4497 2046 190 642 0 3853 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17988

[startup+3.10083 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 18819
/proc/meminfo: memFree=1746112/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=20504 CPUtime=3.09
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 2791 0 0 0 307 2 0 0 25 0 1 0 11770811 20996096 2698 1992294400 134512640 137138936 4289736544 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 5126 2698 190 642 0 4482 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20504

[startup+6.30118 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 18819
/proc/meminfo: memFree=1741896/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=24148 CPUtime=6.29
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 3697 0 0 0 625 4 0 0 25 0 1 0 11770811 24727552 3604 1992294400 134512640 137138936 4289736544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 6037 3604 190 642 0 5393 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24148

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 18819
/proc/meminfo: memFree=1736448/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=28532 CPUtime=12.69
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 4796 0 0 0 1261 8 0 0 25 0 1 0 11770811 29216768 4703 1992294400 134512640 137138936 4289736544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 7133 4703 190 642 0 6489 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28532

[startup+25.5012 s]
/proc/loadavg: 1.08 1.02 0.96 3/107 18819
/proc/meminfo: memFree=1734340/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=30748 CPUtime=25.48
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 5344 0 0 0 2535 13 0 0 25 0 1 0 11770811 31485952 5251 1992294400 134512640 137138936 4289736544 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 7687 5251 190 642 0 7043 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30748

[startup+51.101 s]
/proc/loadavg: 1.05 1.01 0.96 2/107 18819
/proc/meminfo: memFree=1729008/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=35892 CPUtime=51.07
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 6634 0 0 0 5085 22 0 0 25 0 1 0 11770811 36753408 6541 1992294400 134512640 137138936 4289736544 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 8973 6541 190 642 0 8329 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35892

[startup+102.309 s]
/proc/loadavg: 1.07 1.03 0.96 2/107 18821
/proc/meminfo: memFree=1728016/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=36824 CPUtime=102.27
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 6869 0 0 0 10193 34 0 0 25 0 1 0 11770811 37707776 6776 1992294400 134512640 137138936 4289736544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 9206 6776 190 642 0 8562 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36824

[startup+162.301 s]
/proc/loadavg: 1.07 1.03 0.97 2/107 18823
/proc/meminfo: memFree=1722684/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=42012 CPUtime=162.25
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 8170 0 0 0 16179 46 0 0 25 0 1 0 11770811 43020288 8077 1992294400 134512640 137138936 4289736544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 10503 8077 190 642 0 9859 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 42012

[startup+222.3 s]
/proc/loadavg: 1.07 1.04 0.97 2/107 18825
/proc/meminfo: memFree=1722684/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=42000 CPUtime=222.23
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 8171 0 0 0 22163 60 0 0 25 0 1 0 11770811 43008000 8075 1992294400 134512640 137138936 4289736544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 10500 8075 190 642 0 9856 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 42000

[startup+282.301 s]
/proc/loadavg: 1.18 1.07 0.99 2/107 18825
/proc/meminfo: memFree=1722064/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=42784 CPUtime=282.21
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 8368 0 0 0 28151 70 0 0 25 0 1 0 11770811 43810816 8239 1992294400 134512640 137138936 4289736544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 10696 8239 190 642 0 10052 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 42784

[startup+342.301 s]
/proc/loadavg: 1.21 1.10 1.00 2/107 18827
/proc/meminfo: memFree=1721940/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=42640 CPUtime=342.21
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 8368 0 0 0 34137 84 0 0 25 0 1 0 11770811 43663360 8235 1992294400 134512640 137138936 4289736544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 10660 8235 190 642 0 10016 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 42640

[startup+402.301 s]
/proc/loadavg: 1.07 1.08 1.00 2/107 18829
/proc/meminfo: memFree=1720948/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=43856 CPUtime=402.19
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 8674 0 0 0 40124 95 0 0 25 0 1 0 11770811 44908544 8507 1992294400 134512640 137138936 4289736544 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 10964 8507 190 642 0 10320 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 43856

[startup+462.301 s]
/proc/loadavg: 1.02 1.06 1.00 2/107 18831
/proc/meminfo: memFree=1717476/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=46980 CPUtime=462.17
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 9530 0 0 0 46110 107 0 0 25 0 1 0 11770811 48107520 9311 1992294400 134512640 137138936 4289736544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 11745 9311 190 642 0 11101 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 46980

[startup+522.301 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 18833
/proc/meminfo: memFree=1716360/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=48456 CPUtime=522.16
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 9876 0 0 0 52093 123 0 0 25 0 1 0 11770811 49618944 9657 1992294400 134512640 137138936 4289736544 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 12114 9657 190 642 0 11470 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 48456

[startup+582.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 18833
/proc/meminfo: memFree=1716236/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=48288 CPUtime=582.14
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 9876 0 0 0 58082 132 0 0 25 0 1 0 11770811 49446912 9647 1992294400 134512640 137138936 4289736544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 12072 9647 190 642 0 11428 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 48288

[startup+642.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 18835
/proc/meminfo: memFree=1712764/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=51604 CPUtime=642.13
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 10739 0 0 0 64067 146 0 0 25 0 1 0 11770811 52842496 10469 1992294400 134512640 137138936 4289736544 18446744073709551615 134542217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 12901 10469 190 642 0 12257 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 51604

[startup+702.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 18837
/proc/meminfo: memFree=1711896/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=52604 CPUtime=702.11
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 10964 0 0 0 70055 156 0 0 25 0 1 0 11770811 53866496 10694 1992294400 134512640 137138936 4289736544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 13151 10694 190 642 0 12507 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 52604

[startup+762.309 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 18839
/proc/meminfo: memFree=1711896/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=52604 CPUtime=762.1
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 10964 0 0 0 76042 168 0 0 25 0 1 0 11770811 53866496 10694 1992294400 134512640 137138936 4289736544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 13151 10694 190 642 0 12507 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 52604

[startup+822.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 18841
/proc/meminfo: memFree=1708176/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=56252 CPUtime=822.08
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 11877 0 0 0 82024 184 0 0 25 0 1 0 11770811 57602048 11607 1992294400 134512640 137138936 4289736544 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 14063 11607 191 642 0 13419 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 56252

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18841
/proc/meminfo: memFree=1708176/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=56252 CPUtime=882.07
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 11877 0 0 0 88006 201 0 0 25 0 1 0 11770811 57602048 11607 1992294400 134512640 137138936 4289736544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 14063 11607 191 642 0 13419 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 56252

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18843
/proc/meminfo: memFree=1708052/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=56252 CPUtime=942.05
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 11877 0 0 0 93991 214 0 0 25 0 1 0 11770811 57602048 11607 1992294400 134512640 137138936 4289736544 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 14063 11607 191 642 0 13419 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 56252

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

[startup+947.109 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18843
/proc/meminfo: memFree=1708052/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=56252 CPUtime=946.85
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 11877 0 0 0 94470 215 0 0 25 0 1 0 11770811 57602048 11607 1992294400 134512640 137138936 4289736544 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 14063 11607 191 642 0 13419 0
Current children cumulated CPU time (s) 946.85
Current children cumulated vsize (KiB) 56252

[startup+959.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18843
/proc/meminfo: memFree=1708052/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=56252 CPUtime=959.65
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 11877 0 0 0 95745 220 0 0 25 0 1 0 11770811 57602048 11607 1992294400 134512640 137138936 4289736544 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 14063 11607 191 642 0 13419 0
Current children cumulated CPU time (s) 959.65
Current children cumulated vsize (KiB) 56252

[startup+963.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18843
/proc/meminfo: memFree=1708052/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=56252 CPUtime=962.84
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 11877 0 0 0 96064 220 0 0 25 0 1 0 11770811 57602048 11607 1992294400 134512640 137138936 4289736544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 14063 11607 191 642 0 13419 0
Current children cumulated CPU time (s) 962.84
Current children cumulated vsize (KiB) 56252

[startup+966.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18843
/proc/meminfo: memFree=1708052/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=56252 CPUtime=966.04
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 11877 0 0 0 96383 221 0 0 25 0 1 0 11770811 57602048 11607 1992294400 134512640 137138936 4289736544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 14063 11607 191 642 0 13419 0
Current children cumulated CPU time (s) 966.04
Current children cumulated vsize (KiB) 56252

[startup+967.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18843
/proc/meminfo: memFree=1708052/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=56252 CPUtime=966.84
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 11877 0 0 0 96463 221 0 0 25 0 1 0 11770811 57602048 11607 1992294400 134512640 137138936 4289736544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 14063 11607 191 642 0 13419 0
Current children cumulated CPU time (s) 966.84
Current children cumulated vsize (KiB) 56252

[startup+967.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18843
/proc/meminfo: memFree=1708052/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=56252 CPUtime=967.64
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 11877 0 0 0 96543 221 0 0 25 0 1 0 11770811 57602048 11607 1992294400 134512640 137138936 4289736544 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 14063 11607 191 642 0 13419 0
Current children cumulated CPU time (s) 967.64
Current children cumulated vsize (KiB) 56252

[startup+968.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18843
/proc/meminfo: memFree=1708052/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=56252 CPUtime=968.04
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 11877 0 0 0 96583 221 0 0 25 0 1 0 11770811 57602048 11607 1992294400 134512640 137138936 4289736544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 14063 11607 191 642 0 13419 0
Current children cumulated CPU time (s) 968.04
Current children cumulated vsize (KiB) 56252

[startup+968.401 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18843
/proc/meminfo: memFree=1708052/2059040 swapFree=4152912/4192956
[pid=18818] ppid=18816 vsize=56252 CPUtime=968.14
/proc/18818/stat : 18818 (bsolo_pb10) R 18816 18818 17981 0 -1 4202496 11877 0 0 0 96593 221 0 0 25 0 1 0 11770811 57602048 11607 1992294400 134512640 137138936 4289736544 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18818/statm: 14063 11607 191 642 0 13419 0
Current children cumulated CPU time (s) 968.14
Current children cumulated vsize (KiB) 56252

Child status: 0
Real time (s): 968.428
CPU time (s): 968.177
CPU user time (s): 965.952
CPU system time (s): 2.22466
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 56252

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

runsolver used 1.66075 second user time and 4.51231 second system time

The end

Launcher Data 

Begin job on node035 at 2010-06-16 18:12:38
IDJOB=2670704
IDBENCH=48068
IDSOLVER=1163
FILE ID=node035/2670704-1276704758
PBS_JOBID= 11174107
Free space on /tmp= 62460 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670704-1276704758/watcher-2670704-1276704758 -o /tmp/evaluation-result-2670704-1276704758/solver-2670704-1276704758 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2670704-1276704758.opb

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

MD5SUM BENCH= 9b7cb599a49db47c0ffbf25416bcef37
RANDOM SEED=982628850

node035.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.219
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.43
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.219
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1755576 kB
Buffers:         80072 kB
Cached:         123272 kB
SwapCached:       2400 kB
Active:          95860 kB
Inactive:       129532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1755576 kB
SwapTotal:     4192956 kB
SwapFree:      4152912 kB
Dirty:            3988 kB
Writeback:           8 kB
AnonPages:       20036 kB
Mapped:          13764 kB
Slab:            56296 kB
PageTables:       3964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181248 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-2670704-1276704758.opb

Free space on /tmp at the end= 62456 MiB
End job on node035 at 2010-06-16 18:28:47