Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 6 | 1798.04 | 1798.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_2.opb |
MD5SUM | 1e64c526f9351931db225cdff75c2df5 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 102.96 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3074 |
Sum of products size (including duplicates) | 6148 |
Number of different products | 3074 |
Sum of products size | 6148 |
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: Cardinality Constraint 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-1876746-1245197430.opb 0.00/0.00 c File size is 219680 bytes. 0.00/0.03 c Highest Coefficient sum: 100 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.03 s 0.00/0.03 c Var: 3174 Constr: 6248 3174/0/3074 Lit: 21618 Watch. Lit: 15570 0.00/0.03 c Obj. Vars: 100 (3.1506 % of total variables) 0.19/0.22 c Pre-processing Time: 0.223 s 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3174 6248 21618 3 15570 19501 0 0 0.22 0.19/0.22 c Switching off lower bounding mode. 0.19/0.22 o 99 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3174 6249 21718 3 15573 19568 1 0 0.23 0.19/0.23 o 98 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3174 6250 21818 3 15577 19668 2 0 0.23 0.19/0.23 o 97 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 1 3174 6252 22016 3 15584 19701 4 4 0.23 0.19/0.23 o 8 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 1 3174 6253 22116 3 15678 20568 5 4 0.24 0.19/0.24 o 7 5.59/5.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.67 c 7 3174 6260 22893 3 15785 20568 12 28 0.24 5.59/5.67 c 109 3174 6367 34910 5 15999 22625 119 363 0.30 5.59/5.67 c 360 3174 6629 67233 10 16654 24888 381 756 0.48 5.59/5.67 c 836 3174 7123 115824 16 17642 27377 875 1107 0.76 5.59/5.67 c 1650 3174 7970 194950 24 19600 30115 1722 1290 1.28 5.59/5.67 c 2971 3174 9348 325657 34 22565 33127 3100 1270 2.34 5.59/5.67 c 5053 3174 11533 529404 45 26978 36440 5285 1076 4.69 5.59/5.67 o 6 1797.97/1798.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.54 c 5668 3174 12182 592905 48 28370 20568 5934 999 5.67 1797.97/1798.54 c 5768 3174 12285 601837 48 28576 22625 6037 993 5.80 1797.97/1798.54 c 6018 3174 12540 621055 49 29086 24888 6292 978 6.15 1797.97/1798.54 c 6493 3174 13029 659996 50 30121 27377 6781 947 6.85 1797.97/1798.54 c 7307 3174 13885 732904 52 32005 30115 7637 910 8.03 1797.97/1798.54 c 8627 3174 15255 820277 53 34782 33127 9007 835 10.33 1797.97/1798.54 c 10709 3174 17421 968025 55 39224 36440 11173 767 13.95 1797.97/1798.54 c 13932 3174 20911 1256817 60 46630 40085 14663 655 21.27 1797.97/1798.54 c 18868 3174 26186 1741147 66 57422 44094 19938 545 34.56 1797.97/1798.54 c 26375 3174 34110 2637427 77 73674 48504 27862 376 70.06 1797.97/1798.54 c 37736 3174 46137 3604266 78 98159 53355 39889 285 132.16 1797.97/1798.54 c 54881 3174 21595 1211518 56 46720 58691 15347 225 243.07 1797.97/1798.54 c 80701 3174 49227 3944986 80 103664 64561 42979 216 372.25 1797.97/1798.54 c 119534 3174 37412 3608149 96 78989 71018 31164 182 656.08 1797.97/1798.54 c 177891 3174 40378 2945485 72 86810 78120 34130 162 1096.19 1797.97/1798.54 c Resources Exceeded 1797.97/1798.54 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 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 -x3031 x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 x3130 -x3131 -x3132 -x3133 -x3134 -x3135 x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 1797.97/1798.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.54 c 26 265113 82920 456462 66441 5600770 60193 147 1798.01 1797.97/1798.54 c Objective: 6 1797.97/1798.54 s SATISFIABLE 1797.97/1798.54 c Total time: 1798.01 s
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876746-1245197430/watcher-1876746-1245197430 -o /tmp/evaluation-result-1876746-1245197430/solver-1876746-1245197430 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876746-1245197430.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5206 /proc/meminfo: memFree=1839968/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=18748 CPUtime=0 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 187335919 19197952 250 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 4687 250 174 640 0 3989 0 [startup+0.086813 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5206 /proc/meminfo: memFree=1839968/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=12260 CPUtime=0.08 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 687 0 0 0 8 0 0 0 18 0 1 0 187335919 12554240 617 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 3065 617 189 640 0 2421 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12260 [startup+0.101814 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5206 /proc/meminfo: memFree=1839968/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=12260 CPUtime=0.09 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 687 0 0 0 9 0 0 0 18 0 1 0 187335919 12554240 617 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 3065 617 189 640 0 2421 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12260 [startup+0.301842 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5206 /proc/meminfo: memFree=1839968/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=12548 CPUtime=0.29 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 873 0 0 0 28 1 0 0 19 0 1 0 187335919 12849152 704 1992294400 134512640 137136520 4294956256 18446744073709551615 134554333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 3137 704 197 640 0 2493 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12548 [startup+0.701898 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5206 /proc/meminfo: memFree=1839968/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=13524 CPUtime=0.69 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 1126 0 0 0 68 1 0 0 22 0 1 0 187335919 13848576 957 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 3381 957 197 640 0 2737 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13524 [startup+1.50201 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1836184/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=15236 CPUtime=1.49 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 1552 0 0 0 148 1 0 0 25 0 1 0 187335919 15601664 1383 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 3809 1383 197 640 0 3165 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15236 [startup+3.10124 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1833880/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=17624 CPUtime=3.09 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 2159 0 0 0 307 2 0 0 25 0 1 0 187335919 18046976 1990 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 4406 1990 197 640 0 3762 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17624 [startup+6.30169 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1829912/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=21016 CPUtime=6.29 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 2995 0 0 0 626 3 0 0 25 0 1 0 187335919 21520384 2826 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 5254 2826 197 640 0 4610 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21016 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1825240/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=25220 CPUtime=12.69 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 4060 0 0 0 1264 5 0 0 25 0 1 0 187335919 25825280 3891 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 6305 3891 197 640 0 5661 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25220 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1817624/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=32516 CPUtime=25.48 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 5890 0 0 0 2540 8 0 0 25 0 1 0 187335919 33296384 5721 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 8129 5721 197 640 0 7485 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32516 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1807896/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=42252 CPUtime=51.07 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 8324 0 0 0 5095 12 0 0 25 0 1 0 187335919 43266048 8155 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 10563 8155 197 640 0 9919 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 42252 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1792920/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=57136 CPUtime=102.27 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 12025 0 0 0 10209 18 0 0 25 0 1 0 187335919 58507264 11856 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 14284 11856 197 640 0 13640 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 57136 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1779800/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=70356 CPUtime=162.24 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 15332 0 0 0 16200 24 0 0 25 0 1 0 187335919 72044544 15163 1992294400 134512640 137136520 4294956256 18446744073709551615 134544554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 17589 15163 197 640 0 16945 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 70356 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1769240/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=80800 CPUtime=222.23 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 17939 0 0 0 22194 29 0 0 25 0 1 0 187335919 82739200 17770 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 20200 17770 197 640 0 19556 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 80800 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1767704/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=82024 CPUtime=282.21 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 18319 0 0 0 28187 34 0 0 25 0 1 0 187335919 83992576 18096 1992294400 134512640 137136520 4294956256 18446744073709551615 136502060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 20506 18096 197 640 0 19862 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 82024 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1767704/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=82024 CPUtime=342.19 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 18319 0 0 0 34182 37 0 0 25 0 1 0 187335919 83992576 18096 1992294400 134512640 137136520 4294956256 18446744073709551615 134573596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 20506 18096 197 640 0 19862 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 82024 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1764824/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=85560 CPUtime=402.18 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 19195 0 0 0 40177 41 0 0 25 0 1 0 187335919 87613440 18972 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 21390 18972 197 640 0 20746 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 85560 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1751192/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=99040 CPUtime=462.15 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 22547 0 0 0 46170 45 0 0 25 0 1 0 187335919 101416960 22324 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 24760 22324 197 640 0 24116 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 99040 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1732504/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=117648 CPUtime=522.14 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 27222 0 0 0 52164 50 0 0 25 0 1 0 187335919 120471552 26999 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 29412 26999 197 640 0 28768 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 117648 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1726104/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=123564 CPUtime=582.12 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 28764 0 0 0 58159 53 0 0 25 0 1 0 187335919 126529536 28476 1992294400 134512640 137136520 4294956256 18446744073709551615 135982525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 30891 28476 197 640 0 30247 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 123564 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1726104/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=123564 CPUtime=642.11 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 28764 0 0 0 64156 55 0 0 25 0 1 0 187335919 126529536 28476 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 30891 28476 197 640 0 30247 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 123564 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1714584/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134956 CPUtime=1061.98 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31690 0 0 0 106122 76 0 0 25 0 1 0 187335919 138194944 31330 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33739 31330 197 640 0 33095 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 134956 [startup+1122.3 s] /proc/loadavg: 1.02 1.03 1.00 2/65 5207 /proc/meminfo: memFree=1714584/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134956 CPUtime=1121.96 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31690 0 0 0 112118 78 0 0 25 0 1 0 187335919 138194944 31330 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33739 31330 197 640 0 33095 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 134956 [startup+1182.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 5207 /proc/meminfo: memFree=1714584/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134956 CPUtime=1181.94 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31690 0 0 0 118113 81 0 0 25 0 1 0 187335919 138194944 31330 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33739 31330 197 640 0 33095 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 134956 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5207 /proc/meminfo: memFree=1714520/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134956 CPUtime=1241.92 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31690 0 0 0 124109 83 0 0 25 0 1 0 187335919 138194944 31330 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33739 31330 197 640 0 33095 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 134956 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5207 /proc/meminfo: memFree=1714456/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134956 CPUtime=1301.91 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31690 0 0 0 130106 85 0 0 25 0 1 0 187335919 138194944 31330 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33739 31330 197 640 0 33095 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 134956 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5207 /proc/meminfo: memFree=1714456/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134956 CPUtime=1361.89 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31690 0 0 0 136102 87 0 0 25 0 1 0 187335919 138194944 31330 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33739 31330 197 640 0 33095 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 134956 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714456/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134964 CPUtime=1421.87 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31692 0 0 0 142098 89 0 0 25 0 1 0 187335919 138203136 31332 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33741 31332 197 640 0 33097 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 134964 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714456/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134984 CPUtime=1481.86 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31697 0 0 0 148095 91 0 0 25 0 1 0 187335919 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 136509034 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 134984 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714584/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134984 CPUtime=1541.84 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31697 0 0 0 154089 95 0 0 25 0 1 0 187335919 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 134984 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714584/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134984 CPUtime=1601.82 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31697 0 0 0 160084 98 0 0 25 0 1 0 187335919 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 134545039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 134984 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714584/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134984 CPUtime=1661.8 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31697 0 0 0 166079 101 0 0 25 0 1 0 187335919 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 134984 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714584/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134984 CPUtime=1721.78 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31697 0 0 0 172075 103 0 0 25 0 1 0 187335919 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 134984 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714456/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134984 CPUtime=1781.77 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31697 0 0 0 178071 106 0 0 25 0 1 0 187335919 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 134600249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 134984 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714456/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134984 CPUtime=1791.37 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31697 0 0 0 179031 106 0 0 25 0 1 0 187335919 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 134543840 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 134984 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714456/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134984 CPUtime=1794.56 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31697 0 0 0 179350 106 0 0 25 0 1 0 187335919 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 134984 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714456/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134984 CPUtime=1796.16 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31697 0 0 0 179510 106 0 0 25 0 1 0 187335919 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 136518894 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 134984 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714456/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134984 CPUtime=1796.96 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31697 0 0 0 179590 106 0 0 25 0 1 0 187335919 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 134984 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714456/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134984 CPUtime=1797.77 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31697 0 0 0 179670 107 0 0 25 0 1 0 187335919 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 134984 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5207 /proc/meminfo: memFree=1714456/2055920 swapFree=4181384/4192956 [pid=5206] ppid=5204 vsize=134984 CPUtime=1797.97 /proc/5206/stat : 5206 (bsolo) R 5204 5206 3868 0 -1 4194304 31697 0 0 0 179690 107 0 0 25 0 1 0 187335919 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5206/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 134984 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.04 CPU user time (s): 1796.94 CPU system time (s): 1.09283 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 135244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.94 system time used= 1.09283 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31699 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= 2235 runsolver used 1.3228 second user time and 3.82042 second system time The end
Begin job on node49 at 2009-06-17 02:10:30 IDJOB=1876746 IDBENCH=48156 IDSOLVER=699 FILE ID=node49/1876746-1245197430 PBS_JOBID= 9368286 Free space on /tmp= 66028 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_2.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876746-1245197430/watcher-1876746-1245197430 -o /tmp/evaluation-result-1876746-1245197430/solver-1876746-1245197430 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876746-1245197430.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5 RANDOM SEED=1411985169 node49.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.232 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.232 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: 1840640 kB Buffers: 54496 kB Cached: 92700 kB SwapCached: 4580 kB Active: 52284 kB Inactive: 103044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1840640 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 3976 kB Writeback: 0 kB Mapped: 13852 kB Slab: 45776 kB Committed_AS: 181996 kB PageTables: 1388 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-1876746-1245197430.opb Free space on /tmp at the end= 66024 MiB End job on node49 at 2009-06-17 02:40:29