0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00 c Instance file HOME/instance-3738073-1338732648.opb
0.00/0.00 c File size is 1006550 bytes.
0.05/0.08 c Highest Coefficient sum: 316
0.05/0.08 c Parsing was ok!!
0.05/0.08 c Total parsing time: 0.081 s
0.05/0.09 c Var: 2025 Constr: 30390 30390/0/0 Lit: 90000 Watch. Lit: 60780
0.05/0.09 c Obj. Vars: 135 (6.66667 % of total variables)
0.08/0.16 c Pre-processing Time: 0.153 s
0.08/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.08/0.16 c 0 2000 30315 89850 2 60630 10104 0 0 0.15
0.08/0.16 c Switching off LPR mode.
0.08/0.16 o -15 0.158
0.08/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.08/0.17 c 1 2000 30317 89963 2 60640 10324 2 6 0.16
0.08/0.17 o -30 0.163
0.08/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.08/0.17 c 39 2000 30356 90317 2 60734 10324 41 239 0.16
0.08/0.17 o -32 0.167
0.08/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.08/0.17 c 58 2000 30376 90509 2 60793 10324 61 347 0.17
0.08/0.17 o -34 0.17
0.08/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.08/0.17 c 83 2000 30402 91247 3 60858 10324 87 485 0.17
0.08/0.17 o -38 0.172
0.08/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.08/0.18 c 88 2000 30408 91378 3 60888 10324 93 511 0.17
0.08/0.18 o -45 0.175
0.08/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.08/0.18 c 107 2000 30428 91824 3 60923 10324 113 611 0.17
0.08/0.18 o -47 0.176
0.08/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.08/0.19 c 108 2000 30430 91936 3 60945 10324 115 610 0.18
0.08/0.19 c 208 2000 30530 94258 3 61146 11357 215 1136 0.18
0.08/0.19 o -61 0.19
0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.39/0.47 c 272 2000 30595 95016 3 61289 10324 280 1431 0.19
0.39/0.47 c 372 2000 30695 100860 3 61486 11357 380 1869 0.20
0.39/0.47 c 622 2000 30945 106813 3 62002 12493 630 2906 0.21
0.39/0.47 c 1097 2000 31420 126926 4 62932 13743 1105 4388 0.25
0.39/0.47 c 1910 2000 32233 164353 5 64557 15118 1918 6063 0.32
0.39/0.47 c 3230 2000 33553 236922 7 67224 16630 3238 7340 0.44
0.39/0.47 o -64 0.463
0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.49/0.51 c 3410 2000 33734 246285 7 67570 10324 3419 7349 0.46
0.49/0.51 c 3510 2000 33834 251095 7 67814 11357 3519 7373 0.48
0.49/0.51 o -66 0.507
0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.49/0.53 c 3747 2000 34072 265777 7 68271 10324 3757 7375 0.51
0.49/0.53 c 3847 2000 34172 269759 7 68487 11357 3857 7383 0.52
0.49/0.53 o -67 0.53
0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.59/0.65 c 3886 2000 34212 271666 7 68597 10324 3897 7318 0.53
0.59/0.65 c 3986 2000 34312 276974 8 68803 11357 3997 7340 0.54
0.59/0.65 c 4236 2000 34562 289803 8 69314 12493 4247 7379 0.57
0.59/0.65 c 4711 2000 35037 321932 9 70272 13743 4722 7418 0.64
0.59/0.65 o -68 0.649
0.68/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.68/0.75 c 4792 2000 35119 326298 9 70444 10324 4804 7372 0.65
0.68/0.75 c 4892 2000 35219 332881 9 70634 11357 4904 7356 0.67
0.68/0.75 c 5142 2000 35469 350424 9 71129 12493 5154 7324 0.70
0.68/0.75 o -71 0.747
0.68/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.68/0.77 c 5447 2000 35775 369224 10 71762 10324 5460 7291 0.75
0.68/0.77 o -76 0.767
1.98/2.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
1.98/2.04 c 5546 2000 35875 375620 10 71974 10324 5560 7221 0.77
1.98/2.04 c 5648 2000 35977 380886 10 72222 11357 5662 7204 0.78
1.98/2.04 c 5898 2000 36227 397192 10 72717 12493 5912 7201 0.82
1.98/2.04 c 6374 2000 36703 426900 11 73664 13743 6388 7153 0.89
1.98/2.04 c 7187 2000 37516 481847 12 75288 15118 7201 7094 1.01
1.98/2.04 c 8507 1999 38836 569360 14 77893 16630 8521 6778 1.25
1.98/2.04 c 10589 1994 40918 699828 17 82095 18294 10603 6355 1.67
1.98/2.04 o -81 2.034
2.38/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
2.38/2.43 c 12421 1993 42751 813610 19 85752 10310 12436 6103 2.04
2.38/2.43 c 12521 1993 35586 330863 9 71199 11342 5271 5993 2.09
2.38/2.43 c 12771 1993 35836 345081 9 71701 12477 5521 6026 2.12
2.38/2.43 c 13246 1992 36311 373516 10 72645 13725 5996 6070 2.18
2.38/2.43 c 14060 1990 37125 423359 11 74276 15098 6810 6107 2.30
2.38/2.43 o -82 2.422
3.88/3.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
3.88/3.92 c 14788 1986 37854 464434 12 75753 10296 7539 6103 2.42
3.88/3.92 c 14889 1986 37955 469489 12 75967 11326 7640 6097 2.44
3.88/3.92 c 15139 1985 38205 482330 12 76465 12459 7890 6094 2.48
3.88/3.92 c 15614 1982 38680 506756 13 77408 13705 8365 6070 2.57
3.88/3.92 c 16427 1980 39493 545362 13 79032 15076 9178 6072 2.71
3.88/3.92 c 17747 1977 40813 606732 14 81661 16584 10498 5989 2.96
3.88/3.92 c 19829 1968 42895 695103 16 85825 18243 12580 5767 3.44
3.88/3.92 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
3.88/3.92 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
3.88/3.92 c 45 21907 1531 51053 44973 752940 14658 5589 3.92
3.88/3.92 c Objective: -82
3.88/3.92 s OPTIMUM FOUND
3.88/3.92 c Total time: 3.919 s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3738073-1338732648/watcher-3738073-1338732648 -o /tmp/evaluation-result-3738073-1338732648/solver-3738073-1338732648 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738073-1338732648.opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24462
/proc/meminfo: memFree=28649976/32873844 swapFree=6872/6872
[pid=24462] ppid=24460 vsize=2776 CPUtime=0 cores=0,2,4,6
/proc/24462/stat : 24462 (bsolo3.0.17) R 24460 24462 23291 0 -1 4194304 98 0 0 0 0 0 0 0 20 0 1 0 339393336 2842624 50 33554432000 134512640 135840783 4287639808 4287637816 7230404 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24462/statm: 694 51 40 325 0 32 0
[startup+0.068181 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24462
/proc/meminfo: memFree=28649976/32873844 swapFree=6872/6872
[pid=24462] ppid=24460 vsize=8276 CPUtime=0.05 cores=0,2,4,6
/proc/24462/stat : 24462 (bsolo3.0.17) R 24460 24462 23291 0 -1 4202496 1289 0 0 0 5 0 0 0 20 0 1 0 339393336 8474624 1225 33554432000 134512640 135840783 4287639808 4287638692 134538676 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24462/statm: 2069 1226 507 325 0 759 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8276
[startup+0.100227 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24462
/proc/meminfo: memFree=28649976/32873844 swapFree=6872/6872
[pid=24462] ppid=24460 vsize=9696 CPUtime=0.08 cores=0,2,4,6
/proc/24462/stat : 24462 (bsolo3.0.17) R 24460 24462 23291 0 -1 4202496 1987 0 0 0 8 0 0 0 20 0 1 0 339393336 9928704 1677 33554432000 134512640 135840783 4287639808 4287614588 10912816 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24462/statm: 2424 1677 344 325 0 1360 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9696
[startup+0.300201 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24462
/proc/meminfo: memFree=28649976/32873844 swapFree=6872/6872
[pid=24462] ppid=24460 vsize=11088 CPUtime=0.29 cores=0,2,4,6
/proc/24462/stat : 24462 (bsolo3.0.17) R 24460 24462 23291 0 -1 4202496 2674 0 0 0 28 1 0 0 20 0 1 0 339393336 11354112 2035 33554432000 134512640 135840783 4287639808 4287639104 134571965 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24462/statm: 2772 2035 351 325 0 1708 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11088
[startup+0.70021 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24462
/proc/meminfo: memFree=28649976/32873844 swapFree=6872/6872
[pid=24462] ppid=24460 vsize=13568 CPUtime=0.68 cores=0,2,4,6
/proc/24462/stat : 24462 (bsolo3.0.17) R 24460 24462 23291 0 -1 4202496 3279 0 0 0 67 1 0 0 20 0 1 0 339393336 13893632 2640 33554432000 134512640 135840783 4287639808 4287639044 1749012 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24462/statm: 3392 2640 351 325 0 2328 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13568
[startup+1.50021 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24463
/proc/meminfo: memFree=28638816/32873844 swapFree=6872/6872
[pid=24462] ppid=24460 vsize=17832 CPUtime=1.48 cores=0,2,4,6
/proc/24462/stat : 24462 (bsolo3.0.17) R 24460 24462 23291 0 -1 4202496 4371 0 0 0 147 1 0 0 20 0 1 0 339393336 18259968 3732 33554432000 134512640 135840783 4287639808 4287639168 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24462/statm: 4458 3732 351 325 0 3394 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17832
[startup+3.10022 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24463
/proc/meminfo: memFree=28633352/32873844 swapFree=6872/6872
[pid=24462] ppid=24460 vsize=20404 CPUtime=3.08 cores=0,2,4,6
/proc/24462/stat : 24462 (bsolo3.0.17) R 24460 24462 23291 0 -1 4202496 5000 0 0 0 307 1 0 0 20 0 1 0 339393336 20893696 4361 33554432000 134512640 135840783 4287639808 4287639168 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24462/statm: 5101 4361 351 325 0 4037 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20404
Solver just ended. Dumping a history of the last processes samples
[startup+3.50023 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24463
/proc/meminfo: memFree=28633468/32873844 swapFree=6872/6872
[pid=24462] ppid=24460 vsize=20408 CPUtime=3.48 cores=0,2,4,6
/proc/24462/stat : 24462 (bsolo3.0.17) R 24460 24462 23291 0 -1 4202496 5001 0 0 0 347 1 0 0 20 0 1 0 339393336 20897792 4362 33554432000 134512640 135840783 4287639808 4287639044 1749129 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24462/statm: 5102 4362 351 325 0 4038 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 20408
[startup+3.90022 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24463
/proc/meminfo: memFree=28633468/32873844 swapFree=6872/6872
[pid=24462] ppid=24460 vsize=20412 CPUtime=3.88 cores=0,2,4,6
/proc/24462/stat : 24462 (bsolo3.0.17) R 24460 24462 23291 0 -1 4202496 5002 0 0 0 387 1 0 0 20 0 1 0 339393336 20901888 4363 33554432000 134512640 135840783 4287639808 4287639168 134550791 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24462/statm: 5103 4363 351 325 0 4039 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 20412
Child status: 0
Real time (s): 3.9309
CPU time (s): 3.9214
CPU user time (s): 3.90541
CPU system time (s): 0.015997
CPU usage (%): 99.7585
Max. virtual memory (cumulated for all children) (KiB): 20412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.90541
system time used= 0.015997
maximum resident set size= 17452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5005
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= 13
involuntary context switches= 15
runsolver used 0.005999 second user time and 0.017997 second system time
The end
Begin job on node106 at 2012-06-03 16:10:49
IDJOB=3738073
IDBENCH=71821
IDSOLVER=2318
FILE ID=node106/3738073-1338732648
RUNJOBID= node106-1338714620-23307
PBS_JOBID= 14636759
Free space on /tmp= 70852 MiB
SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-4000opt.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738073-1338732648/watcher-3738073-1338732648 -o /tmp/evaluation-result-3738073-1338732648/solver-3738073-1338732648 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738073-1338732648.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 78d7b4bc270e158c16f301038a8fbfa0
RANDOM SEED=1349493428
node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.065
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.13
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.065
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.065
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.065
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.065
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.065
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.065
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.065
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873844 kB
MemFree: 28650240 kB
Buffers: 310704 kB
Cached: 2958456 kB
SwapCached: 2004 kB
Active: 1121460 kB
Inactive: 2250296 kB
Active(anon): 99708 kB
Inactive(anon): 4984 kB
Active(file): 1021752 kB
Inactive(file): 2245312 kB
Unevictable: 6872 kB
Mlocked: 6872 kB
SwapTotal: 67108856 kB
SwapFree: 67100580 kB
Dirty: 7400 kB
Writeback: 0 kB
AnonPages: 107024 kB
Mapped: 10320 kB
Shmem: 0 kB
Slab: 712720 kB
SReclaimable: 154988 kB
SUnreclaim: 557732 kB
KernelStack: 1472 kB
PageTables: 4148 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545776 kB
Committed_AS: 222412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346368 kB
VmallocChunk: 34341987984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 83968 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7872 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 70848 MiB
End job on node106 at 2012-06-03 16:10:53