Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | -78 | 30.0534 | 30.0808 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-1000opt.opb |
MD5SUM | 6db624ef9d444e54f2daac91a1bb8591 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -78 |
Best CPU time to get the best result obtained on this benchmark | 3.15752 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 30658 |
Number of constraints which are clauses | 30658 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 327 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 327 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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-1877784-1245220094.opb 0.00/0.00 c File size is 1015615 bytes. 0.09/0.14 c Highest Coefficient sum: 327 0.09/0.14 c Parsing was ok!! 0.09/0.14 c Total parsing time: 0.141 s 0.09/0.15 c Var: 2025 Constr: 30658 30658/0/0 Lit: 90804 Watch. Lit: 61316 0.09/0.15 c Obj. Vars: 135 (6.66667 % of total variables) 0.29/0.32 c Pre-processing Time: 0.324 s 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 1996 30571 90630 2 61142 10190 0 0 0.32 0.29/0.33 c Switching off lower bounding mode. 0.29/0.34 o -8 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 1996 30572 90736 2 61148 10402 1 0 0.34 0.29/0.35 o -18 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 1996 30573 90842 2 61156 10614 2 0 0.35 0.29/0.35 o -19 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 1 1996 30575 91048 2 61168 10614 4 2 0.35 0.29/0.36 o -52 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 30 1996 30605 91260 2 61241 10614 34 82 0.36 0.29/0.37 o -53 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 31 1996 30607 91370 2 61268 10614 36 83 0.37 0.29/0.38 o -58 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 40 1996 30617 91587 2 61308 10614 46 105 0.38 0.39/0.40 o -60 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 107 1996 30685 93135 3 61471 10614 114 265 0.40 0.39/0.47 c 207 1996 30785 94779 3 61668 11676 214 489 0.42 0.39/0.47 o -61 0.58/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.58/0.62 c 409 1996 30988 103559 3 62087 10614 417 866 0.47 0.58/0.62 c 511 1996 31090 105345 3 62301 11676 519 1038 0.49 0.58/0.62 c 762 1996 31341 114005 3 62814 12844 770 1395 0.55 0.58/0.62 o -63 0.58/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.58/0.65 c 1007 1996 31587 123766 3 63315 10614 1016 1624 0.62 0.58/0.65 o -67 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 1070 1996 31651 125585 3 63466 10614 1080 1648 0.65 0.79/0.88 c 1170 1996 31751 131464 4 63670 11676 1180 1741 0.67 0.79/0.88 c 1420 1996 32001 144142 4 64166 12844 1430 1947 0.73 0.79/0.88 c 1895 1996 32476 171934 5 65118 14129 1905 2232 0.85 0.79/0.88 o -70 1.09/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.15 c 1947 1996 32529 173233 5 65246 10614 1958 2209 0.88 1.09/1.15 c 2048 1996 32630 177767 5 65451 11676 2059 2248 0.91 1.09/1.15 c 2298 1996 32880 189432 5 65934 12844 2309 2332 0.98 1.09/1.15 c 2773 1996 33355 212482 6 66891 14129 2784 2469 1.12 1.09/1.15 o -71 1.58/1.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.58/1.68 c 2794 1996 33377 213319 6 66941 10614 2806 2433 1.15 1.58/1.68 c 2895 1996 33478 217583 6 67159 11676 2907 2447 1.18 1.58/1.68 c 3145 1996 33728 232275 6 67681 12844 3157 2500 1.26 1.58/1.68 c 3620 1996 34203 264079 7 68613 14129 3632 2582 1.40 1.58/1.68 o -72 2.59/2.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.64 c 4354 1996 34938 312849 8 70090 10614 4367 2590 1.68 2.59/2.64 c 4455 1996 35039 319051 9 70337 11676 4468 2590 1.72 2.59/2.64 c 4705 1996 35289 334216 9 70836 12844 4718 2590 1.82 2.59/2.64 c 5181 1996 35765 365110 10 71781 14129 5194 2581 2.01 2.59/2.64 c 5994 1995 36578 421078 11 73376 15542 6007 2564 2.34 2.59/2.64 o -74 3.99/4.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.02 c 6645 1995 37230 464335 12 74725 10612 6659 2516 2.64 3.99/4.02 c 6745 1995 37330 470239 12 74912 11674 6759 2495 2.70 3.99/4.02 c 6995 1995 37580 485618 12 75429 12842 7009 2483 2.82 3.99/4.02 c 7470 1995 38055 515535 13 76379 14127 7484 2432 3.07 3.99/4.02 c 8283 1995 38868 566025 14 77992 15540 8297 2358 3.51 3.99/4.02 o -75 5.28/5.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.28/5.32 c 9097 1994 39683 619013 15 79615 10610 9112 2264 4.02 5.28/5.32 c 9197 1994 39783 624819 15 79871 11672 9212 2244 4.10 5.28/5.32 c 9447 1994 40033 639978 15 80369 12840 9462 2217 4.26 5.28/5.32 c 9922 1992 40508 669808 16 81328 14125 9937 2182 4.55 5.28/5.32 c 10735 1991 41321 720376 17 82933 15538 10750 2109 5.09 5.28/5.32 o -76 6.89/6.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.99 c 10995 1991 41582 736288 17 83431 10604 11011 2068 5.32 6.89/6.99 c 11096 1991 35981 365748 10 71988 11665 5410 2040 5.44 6.89/6.99 c 11346 1991 36231 380996 10 72489 12832 5660 2052 5.53 6.89/6.99 c 11821 1991 36706 409357 11 73443 14116 6135 2067 5.72 6.89/6.99 c 12634 1991 37519 458315 12 75064 15528 6948 2071 6.10 6.89/6.99 c 13954 1990 38839 543856 14 77704 17081 8268 2081 6.70 6.89/6.99 o -77 13.57/13.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.57/13.60 c 14367 1990 39253 569373 14 78556 10390 8682 2057 6.98 13.57/13.60 c 14467 1990 39353 575275 14 78762 11430 8782 2054 7.04 13.57/13.60 c 14717 1990 39603 589656 14 79264 12574 9032 2045 7.20 13.57/13.60 c 15193 1990 40079 617915 15 80220 13832 9508 2028 7.49 13.57/13.60 c 16006 1989 40892 666545 16 81841 15216 10321 2009 7.96 13.57/13.60 c 17327 1989 42213 747665 17 84481 16738 11642 1978 8.76 13.57/13.60 c 19408 1989 44294 874629 19 88646 18412 13723 1849 10.49 13.57/13.60 c 22631 1987 47517 1071590 22 95086 20254 16946 1724 13.12 13.57/13.60 o -78 29.96/30.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.96/30.07 c 23044 1987 47931 1096759 22 95938 10384 17360 1696 13.58 29.96/30.07 c 23144 1987 35915 352308 9 71852 11423 5344 1666 13.89 29.96/30.07 c 23394 1987 36165 366089 10 72353 12566 5594 1672 13.99 29.96/30.07 c 23869 1987 36640 392697 10 73305 13823 6069 1684 14.17 29.96/30.07 c 24682 1985 37453 438589 11 74926 15206 6882 1704 14.48 29.96/30.07 c 26003 1983 38774 510769 13 77566 16727 8203 1728 15.04 29.96/30.07 c 28085 1983 40856 626906 15 81730 18400 10285 1737 16.17 29.96/30.07 c 31308 1981 44079 800979 18 88174 20241 13508 1701 18.40 29.96/30.07 c 36244 1969 49015 1032337 21 98036 22266 18444 1575 23.00 29.96/30.07 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 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -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 -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 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 29.96/30.07 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 29.96/30.07 c 62 43170 2701 73058 44831 616321 14260 1436 30.05 29.96/30.07 c Objective: -78 29.96/30.07 s OPTIMUM FOUND 29.96/30.07 c Total time: 30.047 s
OK -78
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877784-1245220094/watcher-1877784-1245220094 -o /tmp/evaluation-result-1877784-1245220094/solver-1877784-1245220094 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877784-1245220094.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.57 1.64 1.63 4/73 19110 /proc/meminfo: memFree=1847808/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=11568 CPUtime=0 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 229 0 0 0 0 0 0 0 18 0 1 0 189608699 11845632 213 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 2892 214 171 640 0 2000 0 [startup+0.0523111 s] /proc/loadavg: 1.57 1.64 1.63 4/73 19110 /proc/meminfo: memFree=1847808/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=12804 CPUtime=0.04 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 617 0 0 0 4 0 0 0 18 0 1 0 189608699 13111296 601 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 3201 602 251 640 0 2309 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12804 [startup+0.101936 s] /proc/loadavg: 1.57 1.64 1.63 4/73 19110 /proc/meminfo: memFree=1847808/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=14032 CPUtime=0.09 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 1008 0 0 0 9 0 0 0 18 0 1 0 189608699 14368768 992 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 3508 993 339 640 0 2616 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14032 [startup+0.306956 s] /proc/loadavg: 1.57 1.64 1.63 4/73 19110 /proc/meminfo: memFree=1847808/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=17316 CPUtime=0.29 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 2149 0 0 0 26 3 0 0 19 0 1 0 189608699 17731584 1885 1992294400 134512640 137136520 4294956256 18446744073709551615 136498262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 4329 1885 191 640 0 3685 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17316 [startup+0.703069 s] /proc/loadavg: 1.57 1.64 1.63 4/73 19110 /proc/meminfo: memFree=1847808/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=17192 CPUtime=0.69 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 2477 0 0 0 64 5 0 0 22 0 1 0 189608699 17604608 1882 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 4298 1882 197 640 0 3654 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17192 [startup+1.5021 s] /proc/loadavg: 1.57 1.64 1.63 2/74 19111 /proc/meminfo: memFree=1840888/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=18708 CPUtime=1.48 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 2842 0 0 0 143 5 0 0 25 0 1 0 189608699 19156992 2247 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 4677 2247 197 640 0 4033 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 18708 [startup+3.10128 s] /proc/loadavg: 1.57 1.64 1.63 2/74 19111 /proc/meminfo: memFree=1838008/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=22128 CPUtime=3.09 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 3700 0 0 0 302 7 0 0 25 0 1 0 189608699 22659072 3105 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 5532 3105 197 640 0 4888 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22128 [startup+6.30165 s] /proc/loadavg: 1.69 1.66 1.64 2/74 19111 /proc/meminfo: memFree=1832632/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=25348 CPUtime=6.28 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 4511 0 0 0 619 9 0 0 25 0 1 0 189608699 25956352 3916 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 6337 3916 197 640 0 5693 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25348 [startup+12.7096 s] /proc/loadavg: 1.63 1.65 1.63 2/74 19111 /proc/meminfo: memFree=1828872/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=29820 CPUtime=12.68 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 5621 0 0 0 1256 12 0 0 25 0 1 0 189608699 30535680 5026 1992294400 134512640 137136520 4294956256 18446744073709551615 134544019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 7455 5026 197 640 0 6811 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29820 [startup+25.502 s] /proc/loadavg: 1.78 1.68 1.64 2/74 19111 /proc/meminfo: memFree=1826760/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=31388 CPUtime=25.47 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 6028 0 0 0 2532 15 0 0 25 0 1 0 189608699 32141312 5433 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 7847 5433 197 640 0 7203 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 31388 Solver just ended. Dumping a history of the last processes samples [startup+27.1031 s] /proc/loadavg: 1.78 1.68 1.64 3/74 19111 /proc/meminfo: memFree=1826248/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=32124 CPUtime=27.07 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 6205 0 0 0 2692 15 0 0 25 0 1 0 189608699 32894976 5610 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 8031 5610 197 640 0 7387 0 Current children cumulated CPU time (s) 27.07 Current children cumulated vsize (KiB) 32124 [startup+28.7012 s] /proc/loadavg: 1.78 1.68 1.64 2/74 19111 /proc/meminfo: memFree=1825544/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=32436 CPUtime=28.67 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 6291 0 0 0 2851 16 0 0 25 0 1 0 189608699 33214464 5696 1992294400 134512640 137136520 4294956256 18446744073709551615 136293438 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 8109 5696 197 640 0 7465 0 Current children cumulated CPU time (s) 28.67 Current children cumulated vsize (KiB) 32436 [startup+29.5013 s] /proc/loadavg: 1.78 1.68 1.64 2/74 19111 /proc/meminfo: memFree=1825544/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=32436 CPUtime=29.46 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 6291 0 0 0 2930 16 0 0 25 0 1 0 189608699 33214464 5696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 8109 5696 197 640 0 7465 0 Current children cumulated CPU time (s) 29.46 Current children cumulated vsize (KiB) 32436 [startup+29.9014 s] /proc/loadavg: 1.80 1.69 1.64 2/74 19111 /proc/meminfo: memFree=1825608/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=32436 CPUtime=29.86 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 6291 0 0 0 2970 16 0 0 25 0 1 0 189608699 33214464 5696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 8109 5696 197 640 0 7465 0 Current children cumulated CPU time (s) 29.86 Current children cumulated vsize (KiB) 32436 [startup+30.0014 s] /proc/loadavg: 1.80 1.69 1.64 2/74 19111 /proc/meminfo: memFree=1825608/2055920 swapFree=4176004/4192956 [pid=19110] ppid=19108 vsize=32436 CPUtime=29.96 /proc/19110/stat : 19110 (bsolo) R 19108 19110 19067 0 -1 4194304 6291 0 0 0 2980 16 0 0 25 0 1 0 189608699 33214464 5696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19110/statm: 8109 5696 197 640 0 7465 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (KiB) 32436 Child status: 0 Real time (s): 30.0808 CPU time (s): 30.0534 CPU user time (s): 29.8835 CPU system time (s): 0.169974 CPU usage (%): 99.9092 Max. virtual memory (cumulated for all children) (KiB): 32524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 29.8835 system time used= 0.169974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6293 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= 85 runsolver used 0.050992 second user time and 0.091986 second system time The end
Begin job on node74 at 2009-06-17 08:28:14 IDJOB=1877784 IDBENCH=71835 IDSOLVER=700 FILE ID=node74/1877784-1245220094 PBS_JOBID= 9368454 Free space on /tmp= 103024 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-1000opt.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877784-1245220094/watcher-1877784-1245220094 -o /tmp/evaluation-result-1877784-1245220094/solver-1877784-1245220094 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877784-1245220094.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6db624ef9d444e54f2daac91a1bb8591 RANDOM SEED=209251425 node74.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.218 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.218 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: 1848352 kB Buffers: 29168 kB Cached: 94172 kB SwapCached: 10348 kB Active: 43588 kB Inactive: 110876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848352 kB SwapTotal: 4192956 kB SwapFree: 4176004 kB Dirty: 5224 kB Writeback: 0 kB Mapped: 33180 kB Slab: 37996 kB Committed_AS: 609320 kB PageTables: 2116 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877784-1245220094.opb Free space on /tmp at the end= 103020 MiB End job on node74 at 2009-06-17 08:28:45