Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT (MO) | -40 | 1208.96 | 1209.57 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb |
MD5SUM | 1a88750537364c45876077f809191628 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -42 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94308 |
Number of constraints which are clauses | 94308 |
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 | 2 |
Number of terms in the objective function | 1272 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1272 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1272 |
Number of bits of the biggest sum of numbers | 11 |
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-1878598-1245166784.opb 0.00/0.00 c File size is 2301477 bytes. 0.19/0.28 c Highest Coefficient sum: 1272 0.19/0.28 c Parsing was ok!! 0.19/0.28 c Total parsing time: 0.28 s 0.29/0.31 c Var: 1272 Constr: 94308 94308/0/0 Lit: 188616 Watch. Lit: 188616 0.29/0.31 c Obj. Vars: 1272 (100 % of total variables) 2.99/3.05 c Pre-processing Time: 3.048 s 2.99/3.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.05 c 0 1272 94308 188616 2 188616 31436 0 0 3.05 2.99/3.05 c Switching off lower bounding mode. 2.99/3.06 o -35 2.99/3.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.07 c 0 1272 94309 189888 2 188653 32436 1 0 3.07 2.99/3.07 o -36 3.30/3.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.36 c 1 1272 94311 192395 2 188693 32436 3 0 3.07 3.30/3.36 c 101 1272 94411 315598 3 188893 35680 103 32 3.16 3.30/3.36 c 351 1272 94661 623883 6 189393 39249 353 104 3.36 3.30/3.36 o -37 3.30/3.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.37 c 358 1272 94669 633783 6 189446 32436 361 106 3.37 3.30/3.37 o -38 5.19/5.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.29 c 358 1272 94670 635055 6 189486 32436 362 105 3.38 5.19/5.29 c 459 1272 94771 759362 8 189688 35680 463 132 3.46 5.19/5.29 c 709 1272 95021 1066996 11 190188 39249 713 192 3.69 5.19/5.29 c 1185 1272 95497 1652847 17 191140 43174 1189 282 4.19 5.19/5.29 c 1999 1272 96311 2654558 27 192768 47492 2003 380 5.25 5.19/5.29 o -39 9.69/9.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.71 c 2041 1272 96354 2707512 28 192893 32436 2046 385 5.29 9.69/9.71 c 2142 1272 96455 2831634 29 193095 35680 2147 397 5.38 9.69/9.71 c 2393 1272 96706 3140223 32 193597 39249 2398 423 5.65 9.69/9.71 c 2868 1272 97181 3724244 38 194547 43174 2873 470 6.10 9.69/9.71 c 3681 1272 97994 4723882 48 196173 47492 3686 526 6.99 9.69/9.71 c 5001 1272 99314 6345906 63 198813 52242 5006 582 8.58 9.69/9.71 o -40 1208.69/1209.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1208.69/1209.30 c 5724 1272 100038 7236201 72 200301 32436 5730 589 9.71 1208.69/1209.30 c 5825 1272 100139 7360294 73 200503 35680 5831 591 9.84 1208.69/1209.30 c 6075 1272 100389 7667436 76 201003 39249 6081 600 10.12 1208.69/1209.30 c 6550 1272 100864 8250918 81 201953 43174 6556 596 10.99 1208.69/1209.30 c 7365 1272 101679 9252138 90 203583 47492 7371 566 13.00 1208.69/1209.30 c 8686 1272 103000 10874440 105 206225 52242 8692 589 14.72 1208.69/1209.30 c 10768 1272 105082 13432436 127 210389 57467 10774 523 20.59 1208.69/1209.30 c 13992 1272 108306 17392148 160 216837 63214 13998 504 27.75 1208.69/1209.30 c 18928 1272 113242 23452415 207 226709 69536 18934 476 39.71 1208.69/1209.30 c 26434 1272 120748 32672907 270 241721 76490 26440 371 71.18 1208.69/1209.30 c 37795 1272 132109 46617777 352 264443 84140 37801 328 115.11 1208.69/1209.30 c 54940 1272 149254 67667476 453 298733 92555 54946 223 245.29 1208.69/1209.30 c 80759 1272 175073 99370833 567 350371 101811 80765 202 399.20 1208.69/1209.30 c 119591 1272 123154 35601569 289 246348 111993 28846 178 669.38 1208.69/1209.30 c 177944 1272 181507 107253773 590 363054 123193 87199 172 1029.56 1208.69/1209.30 c Caught signal: 15 1208.69/1209.30 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081 -x1080 -x1079 x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1208.69/1209.30 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1208.69/1209.30 c 31 206547 18157 229493 210110 142390711 115802 170 1208.70 1208.69/1209.30 c Objective: -40 1208.69/1209.30 s SATISFIABLE 1208.69/1209.30 c Total time: 1208.7 s
OK -40
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878598-1245166784/watcher-1878598-1245166784 -o /tmp/evaluation-result-1878598-1245166784/solver-1878598-1245166784 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878598-1245166784.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.98 0.99 3/64 8173 /proc/meminfo: memFree=1913696/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=12972 CPUtime=0 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 69411414 13283328 252 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 3243 253 176 640 0 2037 0 [startup+0.048611 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8173 /proc/meminfo: memFree=1913696/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=14484 CPUtime=0.04 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 715 0 0 0 4 0 0 0 18 0 1 0 69411414 14831616 699 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 3621 699 260 640 0 2415 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 14484 [startup+0.10162 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8173 /proc/meminfo: memFree=1913696/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=16268 CPUtime=0.09 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 1257 0 0 0 9 0 0 0 18 0 1 0 69411414 16658432 1241 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 4067 1242 366 640 0 2861 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16268 [startup+0.301661 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8173 /proc/meminfo: memFree=1913696/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=22972 CPUtime=0.29 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 3881 0 0 0 29 0 0 0 19 0 1 0 69411414 23523328 3303 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 5743 3304 185 640 0 5099 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22972 [startup+0.701736 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8173 /proc/meminfo: memFree=1913696/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=27480 CPUtime=0.69 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 5022 0 0 0 67 2 0 0 23 0 1 0 69411414 28139520 4444 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 6870 4444 190 640 0 6226 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27480 [startup+1.50189 s] /proc/loadavg: 0.92 0.98 0.99 2/65 8174 /proc/meminfo: memFree=1896600/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=27480 CPUtime=1.49 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 5022 0 0 0 145 4 0 0 25 0 1 0 69411414 28139520 4444 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 6870 4444 190 640 0 6226 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27480 [startup+3.1012 s] /proc/loadavg: 0.92 0.98 0.99 2/65 8174 /proc/meminfo: memFree=1896472/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=25004 CPUtime=3.09 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 5827 0 0 0 302 7 0 0 25 0 1 0 69411414 25604096 3827 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 6251 3827 196 640 0 5607 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25004 [startup+6.30183 s] /proc/loadavg: 0.93 0.98 0.99 2/65 8174 /proc/meminfo: memFree=1865304/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=73080 CPUtime=6.29 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 17850 0 0 0 615 14 0 0 25 0 1 0 69411414 74833920 15850 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 18270 15850 196 640 0 17626 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 73080 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/65 8174 /proc/meminfo: memFree=1789208/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=138456 CPUtime=12.69 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 34190 0 0 0 1247 22 0 0 25 0 1 0 69411414 141778944 32190 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 34614 32190 196 640 0 33970 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 138456 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/65 8174 /proc/meminfo: memFree=1694104/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=231428 CPUtime=25.48 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 57429 0 0 0 2516 32 0 0 25 0 1 0 69411414 236982272 55429 1992294400 134512640 137136520 4294956256 18446744073709551615 134544092 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 57857 55429 196 640 0 57213 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 231428 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/65 8174 /proc/meminfo: memFree=1553560/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=371824 CPUtime=51.06 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 92546 0 0 0 5057 49 0 0 25 0 1 0 69411414 380747776 90546 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 92956 90546 196 640 0 92312 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 371824 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 8174 /proc/meminfo: memFree=1338904/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=583944 CPUtime=102.24 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 145580 0 0 0 10147 77 0 0 25 0 1 0 69411414 597958656 143580 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 145986 143580 196 640 0 145342 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 583944 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8174 /proc/meminfo: memFree=1162072/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=761340 CPUtime=162.22 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 189914 0 0 0 16122 100 0 0 25 0 1 0 69411414 779612160 187914 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 190335 187914 196 640 0 189691 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 761340 [startup+222.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8174 /proc/meminfo: memFree=1067544/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=854892 CPUtime=222.18 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 213310 0 0 0 22107 111 0 0 25 0 1 0 69411414 875409408 211310 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 213723 211310 196 640 0 213079 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 854892 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8174 /proc/meminfo: memFree=935384/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=987780 CPUtime=282.16 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 246523 0 0 0 28084 132 0 0 25 0 1 0 69411414 1011486720 244523 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 246945 244523 196 640 0 246301 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 987780 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8174 /proc/meminfo: memFree=760856/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1161516 CPUtime=342.12 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 289968 0 0 0 34056 156 0 0 25 0 1 0 69411414 1189392384 287968 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 290379 287968 196 640 0 289735 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 1161516 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8174 /proc/meminfo: memFree=620120/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1305692 CPUtime=402.1 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 326009 0 0 0 40032 178 0 0 25 0 1 0 69411414 1337028608 324009 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 326423 324009 196 640 0 325779 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 1305692 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8174 /proc/meminfo: memFree=477272/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1444496 CPUtime=462.07 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 360718 0 0 0 46012 195 0 0 25 0 1 0 69411414 1479163904 358718 1992294400 134512640 137136520 4294956256 18446744073709551615 134616995 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 361124 358718 196 640 0 360480 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 1444496 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8174 /proc/meminfo: memFree=363224/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1558784 CPUtime=522.03 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 389288 0 0 0 51990 213 0 0 25 0 1 0 69411414 1596194816 387288 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 389696 387288 196 640 0 389052 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 1558784 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8174 /proc/meminfo: memFree=277208/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1643112 CPUtime=582.01 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 410470 0 0 0 57976 225 0 0 25 0 1 0 69411414 1682546688 408369 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 410778 408369 196 640 0 410134 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 1643112 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8174 /proc/meminfo: memFree=277144/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1643112 CPUtime=641.97 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 410470 0 0 0 63970 227 0 0 25 0 1 0 69411414 1682546688 408369 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 410778 408369 196 640 0 410134 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 1643112 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8174 /proc/meminfo: memFree=277080/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1643112 CPUtime=701.94 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 410470 0 0 0 69963 231 0 0 25 0 1 0 69411414 1682546688 408369 1992294400 134512640 137136520 4294956256 18446744073709551615 134616816 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 410778 408369 196 640 0 410134 0 Current children cumulated CPU time (s) 701.94 Current children cumulated vsize (KiB) 1643112 [startup+762.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8174 /proc/meminfo: memFree=277016/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1643112 CPUtime=761.91 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 410470 0 0 0 75958 233 0 0 25 0 1 0 69411414 1682546688 408369 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 410778 408369 196 640 0 410134 0 Current children cumulated CPU time (s) 761.91 Current children cumulated vsize (KiB) 1643112 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8174 /proc/meminfo: memFree=277080/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1643112 CPUtime=821.88 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 410470 0 0 0 81953 235 0 0 25 0 1 0 69411414 1682546688 408369 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 410778 408369 196 640 0 410134 0 Current children cumulated CPU time (s) 821.88 Current children cumulated vsize (KiB) 1643112 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8176 /proc/meminfo: memFree=276952/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1643112 CPUtime=881.85 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 410470 0 0 0 87947 238 0 0 25 0 1 0 69411414 1682546688 408369 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 410778 408369 196 640 0 410134 0 Current children cumulated CPU time (s) 881.85 Current children cumulated vsize (KiB) 1643112 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8176 /proc/meminfo: memFree=276952/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1643112 CPUtime=941.82 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 410470 0 0 0 93942 240 0 0 25 0 1 0 69411414 1682546688 408369 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 410778 408369 196 640 0 410134 0 Current children cumulated CPU time (s) 941.82 Current children cumulated vsize (KiB) 1643112 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8176 /proc/meminfo: memFree=276952/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1643112 CPUtime=1001.78 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 410470 0 0 0 99936 242 0 0 25 0 1 0 69411414 1682546688 408369 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 410778 408369 196 640 0 410134 0 Current children cumulated CPU time (s) 1001.78 Current children cumulated vsize (KiB) 1643112 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8176 /proc/meminfo: memFree=276952/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1643112 CPUtime=1061.76 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 410470 0 0 0 105931 245 0 0 25 0 1 0 69411414 1682546688 408369 1992294400 134512640 137136520 4294956256 18446744073709551615 134571389 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 410778 408369 196 640 0 410134 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 1643112 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8176 /proc/meminfo: memFree=218392/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1702228 CPUtime=1121.73 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 425254 0 0 0 111916 257 0 0 25 0 1 0 69411414 1743081472 423153 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 425557 423153 196 640 0 424913 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 1702228 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8176 /proc/meminfo: memFree=123416/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1797840 CPUtime=1181.7 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 449129 0 0 0 117898 272 0 0 25 0 1 0 69411414 1840988160 447028 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 449460 447028 196 640 0 448816 0 Current children cumulated CPU time (s) 1181.7 Current children cumulated vsize (KiB) 1797840 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1209.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8176 /proc/meminfo: memFree=76376/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=1843464 CPUtime=1208.69 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194304 460546 0 0 0 120590 279 0 0 25 0 1 0 69411414 1887707136 458445 1992294400 134512640 137136520 4294956256 18446744073709551615 134600751 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 460866 458445 196 640 0 460222 0 Current children cumulated CPU time (s) 1208.69 Current children cumulated vsize (KiB) 1843464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1209.41 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8176 /proc/meminfo: memFree=76376/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=0 CPUtime=1208.79 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194308 460549 0 0 0 120590 289 0 0 25 0 1 0 69411414 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1208.79 Current children cumulated vsize (KiB) 0 [startup+1209.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8176 /proc/meminfo: memFree=76376/2055920 swapFree=4191900/4192956 [pid=8173] ppid=8171 vsize=0 CPUtime=1208.89 /proc/8173/stat : 8173 (bsolo) R 8171 8173 7903 0 -1 4194308 460549 0 0 0 120590 299 0 0 25 0 1 0 69411414 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/8173/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1208.89 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1209.57 CPU time (s): 1208.96 CPU user time (s): 1205.9 CPU system time (s): 3.06253 CPU usage (%): 99.9496 Max. virtual memory (cumulated for all children) (KiB): 1843464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1205.9 system time used= 3.06253 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460549 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= 2977 runsolver used 0.91786 second user time and 3.49047 second system time The end
Begin job on node33 at 2009-06-16 17:39:44 IDJOB=1878598 IDBENCH=2256 IDSOLVER=700 FILE ID=node33/1878598-1245166784 PBS_JOBID= 9363833 Free space on /tmp= 65952 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878598-1245166784/watcher-1878598-1245166784 -o /tmp/evaluation-result-1878598-1245166784/solver-1878598-1245166784 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878598-1245166784.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1a88750537364c45876077f809191628 RANDOM SEED=2125591375 node33.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.261 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.261 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: 1914176 kB Buffers: 27840 kB Cached: 59360 kB SwapCached: 384 kB Active: 60980 kB Inactive: 39636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1914176 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 6196 kB Writeback: 0 kB Mapped: 21808 kB Slab: 27200 kB Committed_AS: 120976 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878598-1245166784.opb Free space on /tmp at the end= 65948 MiB End job on node33 at 2009-06-16 17:59:56