Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | -70 | 47.6228 | 47.6379 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb |
MD5SUM | d2e31bd1942364d9129e439b3449a3af |
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 | -70 |
Best CPU time to get the best result obtained on this benchmark | 4.92425 |
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 | 29788 |
Number of constraints which are clauses | 29788 |
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 | 326 |
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 | 326 |
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-1877776-1245219321.opb 0.00/0.00 c File size is 985937 bytes. 0.09/0.13 c Highest Coefficient sum: 326 0.09/0.13 c Parsing was ok!! 0.09/0.13 c Total parsing time: 0.136 s 0.09/0.14 c Var: 2025 Constr: 29788 29788/0/0 Lit: 88194 Watch. Lit: 59576 0.09/0.14 c Obj. Vars: 135 (6.66667 % of total variables) 0.30/0.31 c Pre-processing Time: 0.31 s 0.30/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.30/0.31 c 0 2001 29716 88050 2 59432 9905 0 0 0.31 0.30/0.31 c Switching off lower bounding mode. 0.30/0.32 o -9 0.30/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.30/0.33 c 0 2001 29717 88161 2 59439 10127 1 0 0.33 0.30/0.33 o -11 0.30/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.30/0.33 c 0 2001 29718 88272 2 59445 10349 2 0 0.33 0.30/0.33 o -14 0.30/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.30/0.34 c 0 2001 29719 88383 2 59450 10571 3 0 0.34 0.30/0.34 o -17 0.30/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.30/0.34 c 0 2001 29720 88494 2 59459 10793 4 0 0.34 0.30/0.34 o -19 0.30/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.30/0.34 c 0 2001 29721 88605 2 59467 11015 5 0 0.34 0.30/0.34 o -21 0.30/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.30/0.36 c 1 2001 29723 88820 2 59479 11015 7 2 0.35 0.30/0.36 o -35 0.30/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.30/0.36 c 31 2001 29754 89040 2 59542 11015 38 85 0.36 0.30/0.36 o -38 0.30/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.30/0.38 c 31 2001 29755 89151 2 59558 11015 39 84 0.37 0.30/0.38 o -41 0.30/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.30/0.38 c 71 2001 29796 89870 3 59660 11015 80 186 0.38 0.30/0.38 o -42 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 76 2001 29802 90083 3 59691 11015 86 195 0.39 0.39/0.42 c 176 2001 29902 92077 3 59886 12117 186 432 0.41 0.39/0.42 o -46 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 201 2001 29928 92275 3 59963 11015 212 477 0.42 0.39/0.45 c 302 2001 30029 96205 3 60163 12117 313 684 0.44 0.39/0.45 o -58 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 330 2001 30058 96419 3 60220 11015 342 720 0.46 0.49/0.50 c 430 2001 30158 99884 3 60411 12117 442 897 0.48 0.49/0.50 o -59 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 516 2001 30245 102167 3 60609 11015 529 1017 0.51 0.69/0.76 c 616 2001 30345 106641 3 60803 12117 629 1160 0.53 0.69/0.76 c 866 2001 30595 114741 3 61332 13329 879 1475 0.59 0.69/0.76 c 1341 2001 31070 142632 4 62266 14662 1354 1918 0.70 0.69/0.76 o -60 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 1568 2001 31298 151478 4 62736 11015 1582 2036 0.77 0.79/0.84 c 1668 2001 31398 155713 4 62955 12117 1682 2092 0.80 0.79/0.84 o -61 1.29/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.33 c 1806 2001 31537 162558 5 63256 11015 1821 2129 0.85 1.29/1.33 c 1906 2001 31637 166180 5 63441 12117 1921 2160 0.88 1.29/1.33 c 2156 2001 31887 179161 5 63951 13329 2171 2255 0.96 1.29/1.33 c 2631 2001 32362 206927 6 64904 14662 2646 2454 1.07 1.29/1.33 c 3444 2001 33175 258806 7 66530 16129 3459 2637 1.31 1.29/1.33 o -63 3.69/3.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.71 c 3470 2001 33202 259860 7 66596 11015 3486 2607 1.33 3.69/3.71 c 3570 2001 33302 263787 7 66805 12117 3586 2598 1.37 3.69/3.71 c 3820 2001 33552 280644 8 67307 13329 3836 2623 1.46 3.69/3.71 c 4296 2001 34028 311492 9 68247 14662 4312 2679 1.60 3.69/3.71 c 5109 2001 34841 368931 10 69901 16129 5125 2723 1.88 3.69/3.71 c 6429 2001 36161 462966 12 72527 17742 6445 2755 2.33 3.69/3.71 c 8511 2000 38243 612487 16 76691 19517 8527 2571 3.31 3.69/3.71 o -65 8.29/8.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.38 c 9234 2000 38967 665670 17 78176 11013 9251 2488 3.71 8.29/8.38 c 9334 2000 39067 672880 17 78356 12115 9351 2474 3.77 8.29/8.38 c 9584 2000 39317 690530 17 78867 13327 9601 2441 3.92 8.29/8.38 c 10060 2000 39793 724544 18 79815 14660 10077 2392 4.21 8.29/8.38 c 10873 2000 40606 786257 19 81416 16127 10890 2283 4.76 8.29/8.38 c 12194 2000 41927 882570 21 84089 17740 12211 2129 5.72 8.29/8.38 c 14275 2000 44008 1037611 23 88244 19515 14292 1936 7.37 8.29/8.38 o -70 47.57/47.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.57/47.63 c 15333 2000 45067 1117574 24 90357 11013 15351 1829 8.38 47.57/47.63 c 15433 2000 35339 417618 11 70703 12115 5623 1792 8.61 47.57/47.63 c 15684 2000 35590 435323 12 71206 13327 5874 1801 8.71 47.57/47.63 c 16159 2000 36065 469366 13 72154 14660 6349 1815 8.90 47.57/47.63 c 16972 2000 36878 527272 14 73782 16127 7162 1838 9.23 47.57/47.63 c 18292 2000 38198 621543 16 76427 17740 8482 1842 9.93 47.57/47.63 c 20373 1999 40279 779309 19 80586 19515 10563 1834 11.10 47.57/47.63 c 23596 1997 43502 1009628 23 87028 21467 13786 1776 13.29 47.57/47.63 c 28532 1994 48438 1352605 27 96896 23614 18722 1512 18.86 47.57/47.63 c 36038 1987 44085 963179 21 88185 25976 14369 1303 27.65 47.57/47.63 c 47399 1966 55446 1556226 28 110889 28574 25730 1174 40.37 47.57/47.63 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 47.57/47.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 47.57/47.63 c 51 53412 3053 86201 45397 692180 15681 1121 47.61 47.57/47.63 c Objective: -70 47.57/47.63 s OPTIMUM FOUND 47.57/47.63 c Total time: 47.615 s
OK -70
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877776-1245219321/watcher-1877776-1245219321 -o /tmp/evaluation-result-1877776-1245219321/solver-1877776-1245219321 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877776-1245219321.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.92 0.97 0.91 3/64 1880 /proc/meminfo: memFree=1712744/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=11672 CPUtime=0 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 253 0 0 0 0 0 0 0 18 0 1 0 178454086 11952128 237 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 2918 237 175 640 0 2033 0 [startup+0.039315 s] /proc/loadavg: 0.92 0.97 0.91 3/64 1880 /proc/meminfo: memFree=1712744/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=12636 CPUtime=0.03 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 546 0 0 0 3 0 0 0 18 0 1 0 178454086 12939264 530 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 3159 531 236 640 0 2274 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12636 [startup+0.10132 s] /proc/loadavg: 0.92 0.97 0.91 3/64 1880 /proc/meminfo: memFree=1712744/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=14140 CPUtime=0.09 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 1040 0 0 0 9 0 0 0 18 0 1 0 178454086 14479360 1024 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 3535 1024 346 640 0 2650 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14140 [startup+0.301341 s] /proc/loadavg: 0.92 0.97 0.91 3/64 1880 /proc/meminfo: memFree=1712744/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=17048 CPUtime=0.3 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 2406 0 0 0 27 3 0 0 19 0 1 0 178454086 17457152 1827 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 4262 1827 191 640 0 3618 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 17048 [startup+0.701385 s] /proc/loadavg: 0.92 0.97 0.91 3/64 1880 /proc/meminfo: memFree=1712744/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=17020 CPUtime=0.69 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 2416 0 0 0 65 4 0 0 22 0 1 0 178454086 17428480 1837 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 4255 1837 197 640 0 3611 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17020 [startup+1.50147 s] /proc/loadavg: 0.92 0.97 0.91 2/65 1881 /proc/meminfo: memFree=1705888/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=18696 CPUtime=1.49 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 2829 0 0 0 144 5 0 0 25 0 1 0 178454086 19144704 2250 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 4674 2250 197 640 0 4030 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18696 [startup+3.10165 s] /proc/loadavg: 0.92 0.97 0.91 2/65 1881 /proc/meminfo: memFree=1702432/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=22820 CPUtime=3.09 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 3875 0 0 0 302 7 0 0 25 0 1 0 178454086 23367680 3296 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 5705 3296 197 640 0 5061 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22820 [startup+6.30199 s] /proc/loadavg: 0.93 0.97 0.91 2/65 1881 /proc/meminfo: memFree=1696160/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=27992 CPUtime=6.29 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 5160 0 0 0 620 9 0 0 25 0 1 0 178454086 28663808 4581 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 6998 4581 197 640 0 6354 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27992 [startup+12.7017 s] /proc/loadavg: 0.93 0.97 0.91 2/65 1881 /proc/meminfo: memFree=1692128/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=30572 CPUtime=12.69 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 5810 0 0 0 1258 11 0 0 25 0 1 0 178454086 31305728 5231 1992294400 134512640 137136520 4294956256 18446744073709551615 134544550 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 7643 5231 197 640 0 6999 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30572 [startup+25.5011 s] /proc/loadavg: 1.03 0.99 0.91 2/65 1881 /proc/meminfo: memFree=1684320/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=38652 CPUtime=25.48 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 7836 0 0 0 2534 14 0 0 25 0 1 0 178454086 39579648 7257 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 9663 7257 197 640 0 9019 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38652 Solver just ended. Dumping a history of the last processes samples [startup+38.3015 s] /proc/loadavg: 1.10 1.00 0.92 2/65 1881 /proc/meminfo: memFree=1683872/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=38832 CPUtime=38.27 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 7875 0 0 0 3811 16 0 0 25 0 1 0 178454086 39763968 7296 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 9708 7296 197 640 0 9064 0 Current children cumulated CPU time (s) 38.27 Current children cumulated vsize (KiB) 38832 [startup+41.5019 s] /proc/loadavg: 1.09 1.00 0.92 2/65 1881 /proc/meminfo: memFree=1683808/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=38840 CPUtime=41.48 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 7877 0 0 0 4131 17 0 0 25 0 1 0 178454086 39772160 7298 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 9710 7298 197 640 0 9066 0 Current children cumulated CPU time (s) 41.48 Current children cumulated vsize (KiB) 38840 [startup+44.7022 s] /proc/loadavg: 1.08 1.00 0.92 2/65 1881 /proc/meminfo: memFree=1683808/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=39076 CPUtime=44.67 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 7931 0 0 0 4450 17 0 0 25 0 1 0 178454086 40013824 7352 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 9769 7352 197 640 0 9125 0 Current children cumulated CPU time (s) 44.67 Current children cumulated vsize (KiB) 39076 [startup+46.3013 s] /proc/loadavg: 1.08 1.00 0.92 2/65 1881 /proc/meminfo: memFree=1683424/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=39212 CPUtime=46.27 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 7975 0 0 0 4610 17 0 0 25 0 1 0 178454086 40153088 7396 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 9803 7396 197 640 0 9159 0 Current children cumulated CPU time (s) 46.27 Current children cumulated vsize (KiB) 39212 [startup+47.1014 s] /proc/loadavg: 1.08 1.00 0.92 2/65 1881 /proc/meminfo: memFree=1683424/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=39212 CPUtime=47.07 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 7975 0 0 0 4690 17 0 0 25 0 1 0 178454086 40153088 7396 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 9803 7396 197 640 0 9159 0 Current children cumulated CPU time (s) 47.07 Current children cumulated vsize (KiB) 39212 [startup+47.5015 s] /proc/loadavg: 1.08 1.00 0.92 2/65 1881 /proc/meminfo: memFree=1683488/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=39212 CPUtime=47.47 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 7975 0 0 0 4730 17 0 0 25 0 1 0 178454086 40153088 7396 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 9803 7396 197 640 0 9159 0 Current children cumulated CPU time (s) 47.47 Current children cumulated vsize (KiB) 39212 [startup+47.6015 s] /proc/loadavg: 1.08 1.00 0.92 2/65 1881 /proc/meminfo: memFree=1683488/2055920 swapFree=4192956/4192956 [pid=1880] ppid=1878 vsize=39212 CPUtime=47.57 /proc/1880/stat : 1880 (bsolo) R 1878 1880 1339 0 -1 4194304 7975 0 0 0 4740 17 0 0 25 0 1 0 178454086 40153088 7396 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 9803 7396 197 640 0 9159 0 Current children cumulated CPU time (s) 47.57 Current children cumulated vsize (KiB) 39212 Child status: 0 Real time (s): 47.6379 CPU time (s): 47.6228 CPU user time (s): 47.4378 CPU system time (s): 0.184971 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (KiB): 39212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 47.4378 system time used= 0.184971 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7977 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= 4 involuntary context switches= 86 runsolver used 0.042993 second user time and 0.108983 second system time The end
Begin job on node64 at 2009-06-17 08:15:21 IDJOB=1877776 IDBENCH=71827 IDSOLVER=700 FILE ID=node64/1877776-1245219321 PBS_JOBID= 9368411 Free space on /tmp= 66252 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877776-1245219321/watcher-1877776-1245219321 -o /tmp/evaluation-result-1877776-1245219321/solver-1877776-1245219321 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877776-1245219321.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d2e31bd1942364d9129e439b3449a3af RANDOM SEED=1233315941 node64.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.241 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.241 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: 1713160 kB Buffers: 22768 kB Cached: 242296 kB SwapCached: 0 kB Active: 76664 kB Inactive: 203396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1713160 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4904 kB Writeback: 0 kB Mapped: 24752 kB Slab: 48476 kB Committed_AS: 89736 kB PageTables: 1392 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-1877776-1245219321.opb Free space on /tmp at the end= 66252 MiB End job on node64 at 2009-06-17 08:16:09