Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | 6 | 1798 | 1798.37 |
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 | 2.74058 |
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 15500 MB 0.00/0.00 c Instance file HOME/instance-3736992-1338730069.opb 0.00/0.00 c File size is 219680 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.016 s 0.00/0.01 c Var: 3174 Constr: 6248 3174/0/3074 Lit: 21618 Watch. Lit: 15570 0.00/0.01 c Obj. Vars: 100 (3.1506 % of total variables) 0.09/0.10 c Pre-processing Time: 0.108 s 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 3174 6248 21618 3 15570 19501 0 0 0.11 0.09/0.10 c Switching off lower bounding mode. 0.09/0.11 o 99 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 3174 6249 21718 3 15573 19568 1 0 0.11 0.09/0.11 o 98 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 3174 6250 21818 3 15577 19668 2 0 0.11 0.09/0.11 o 97 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 1 3174 6252 22016 3 15584 19701 4 8 0.11 0.09/0.11 o 8 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 1 3174 6253 22116 3 15678 20568 5 8 0.11 0.09/0.11 o 7 2.89/2.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.97 c 7 3174 6260 22893 3 15785 20568 12 59 0.12 2.89/2.97 c 109 3174 6367 34910 5 15999 22625 119 731 0.15 2.89/2.97 c 360 3174 6629 67233 10 16654 24888 381 1434 0.25 2.89/2.97 c 836 3174 7123 115824 16 17642 27377 875 2034 0.41 2.89/2.97 c 1650 3174 7970 194950 24 19600 30115 1722 2323 0.71 2.89/2.97 c 2971 3174 9348 325657 34 22565 33127 3100 2288 1.30 2.89/2.97 c 5053 3174 11533 529404 45 26978 36440 5285 2014 2.51 2.89/2.97 o 6 1797.92/1798.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.36 c 5668 3174 12182 592905 48 28370 20568 5934 1907 2.97 1797.92/1798.36 c 5768 3174 12285 601837 48 28576 22625 6037 1899 3.04 1797.92/1798.36 c 6018 3174 12540 621055 49 29086 24888 6292 1877 3.21 1797.92/1798.36 c 6493 3174 13029 659996 50 30121 27377 6781 1835 3.54 1797.92/1798.36 c 7307 3174 13885 732904 52 32005 30115 7637 1787 4.09 1797.92/1798.36 c 8627 3174 15255 820277 53 34782 33127 9007 1689 5.11 1797.92/1798.36 c 10709 3174 17421 968025 55 39224 36440 11173 1603 6.68 1797.92/1798.36 c 13932 3174 20911 1256817 60 46630 40085 14663 1439 9.68 1797.92/1798.36 c 18868 3174 26186 1741147 66 57422 44094 19938 1264 14.92 1797.92/1798.36 c 26375 3174 34110 2637427 77 73674 48504 27862 964 27.34 1797.92/1798.36 c 37736 3174 46137 3604266 78 98159 53355 39889 783 48.15 1797.92/1798.36 c 54881 3174 21595 1211518 56 46720 58691 15347 642 85.41 1797.92/1798.36 c 80701 3174 49227 3944986 80 103664 64561 42979 620 130.08 1797.92/1798.36 c 119534 3174 37412 3608149 96 78989 71018 31164 534 223.59 1797.92/1798.36 c 177891 3174 40378 2945485 72 86810 78120 34130 492 360.96 1797.92/1798.36 c 265523 3174 66872 5636821 84 141917 85933 60624 454 583.71 1797.92/1798.36 c 397075 3174 59311 4417330 74 124466 94527 53063 411 964.20 1797.92/1798.36 c 594508 3174 23785 1297596 54 51246 103980 17537 372 1596.30 1797.92/1798.36 c Resources Exceeded 1797.92/1798.36 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.92/1798.36 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.36 c 29 654707 214742 1203320 87922 11655224 81674 364 1798.00 1797.92/1798.36 c Objective: 6 1797.92/1798.36 s SATISFIABLE 1797.92/1798.36 c Total time: 1798 s
OK 6
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-3736992-1338730069/watcher-3736992-1338730069 -o /tmp/evaluation-result-3736992-1338730069/solver-3736992-1338730069 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3736992-1338730069.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.00 2.01 2.00 3/176 11290 /proc/meminfo: memFree=26330104/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=11292 CPUtime=0 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 339131249 11563008 312 33554432000 134512640 137136520 4292633600 4292632128 134517511 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11290/statm: 2823 313 186 641 0 2125 0 [startup+0.057301 s] /proc/loadavg: 2.00 2.01 2.00 3/176 11290 /proc/meminfo: memFree=26330104/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=12308 CPUtime=0.05 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 718 0 0 0 5 0 0 0 20 0 1 0 339131249 12603392 618 33554432000 134512640 137136520 4292633600 4292594188 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11290/statm: 3077 618 189 641 0 2433 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12308 [startup+0.100216 s] /proc/loadavg: 2.00 2.01 2.00 3/176 11290 /proc/meminfo: memFree=26330104/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=12704 CPUtime=0.09 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 817 0 0 0 9 0 0 0 20 0 1 0 339131249 13008896 717 33554432000 134512640 137136520 4292633600 4292593996 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11290/statm: 3176 717 191 641 0 2532 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12704 [startup+0.300215 s] /proc/loadavg: 2.00 2.01 2.00 3/176 11290 /proc/meminfo: memFree=26330104/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=13248 CPUtime=0.29 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 1069 0 0 0 29 0 0 0 20 0 1 0 339131249 13565952 870 33554432000 134512640 137136520 4292633600 4292632192 134616827 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11290/statm: 3312 870 197 641 0 2668 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13248 [startup+0.700233 s] /proc/loadavg: 2.00 2.01 2.00 3/176 11290 /proc/meminfo: memFree=26330104/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=14844 CPUtime=0.69 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 1472 0 0 0 69 0 0 0 20 0 1 0 339131249 15200256 1273 33554432000 134512640 137136520 4292633600 4292632312 136502385 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11290/statm: 3711 1273 197 641 0 3067 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14844 [startup+1.50022 s] /proc/loadavg: 2.00 2.01 2.00 3/177 11291 /proc/meminfo: memFree=26323052/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=17144 CPUtime=1.49 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 2059 0 0 0 148 1 0 0 20 0 1 0 339131249 17555456 1860 33554432000 134512640 137136520 4292633600 4292632528 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11290/statm: 4286 1860 197 641 0 3642 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17144 [startup+3.10023 s] /proc/loadavg: 2.00 2.01 2.00 3/177 11291 /proc/meminfo: memFree=26318852/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=20772 CPUtime=3.09 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 2963 0 0 0 308 1 0 0 20 0 1 0 339131249 21270528 2764 33554432000 134512640 137136520 4292633600 4292632528 134544256 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11290/statm: 5193 2764 197 641 0 4549 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20772 [startup+6.30023 s] /proc/loadavg: 2.00 2.01 2.00 3/177 11291 /proc/meminfo: memFree=26307568/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=25520 CPUtime=6.29 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 4150 0 0 0 627 2 0 0 20 0 1 0 339131249 26132480 3951 33554432000 134512640 137136520 4292633600 4292632528 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11290/statm: 6380 3951 197 641 0 5736 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25520 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.00 3/177 11291 /proc/meminfo: memFree=26291192/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=34380 CPUtime=12.69 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 6357 0 0 0 1266 3 0 0 20 0 1 0 339131249 35205120 6158 33554432000 134512640 137136520 4292633600 4292632368 134573174 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11290/statm: 8595 6158 197 641 0 7951 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34380 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.00 3/177 11291 /proc/meminfo: memFree=26263416/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=48608 CPUtime=25.48 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 9926 0 0 0 2543 5 0 0 20 0 1 0 339131249 49774592 9727 33554432000 134512640 137136520 4292633600 4292632528 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 12152 9727 197 641 0 11508 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48608 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11291 /proc/meminfo: memFree=26215504/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=65348 CPUtime=51.08 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 14107 0 0 0 5099 9 0 0 20 0 1 0 339131249 66916352 13908 33554432000 134512640 137136520 4292633600 4292632716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 16337 13908 197 641 0 15693 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 65348 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11292 /proc/meminfo: memFree=26173140/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=82144 CPUtime=102.28 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 18349 0 0 0 10213 15 0 0 20 0 1 0 339131249 84115456 18096 33554432000 134512640 137136520 4292633600 4292632528 134543918 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 20536 18096 197 641 0 19892 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 82144 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11295 /proc/meminfo: memFree=26117320/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=101188 CPUtime=162.23 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 23157 0 0 0 16203 20 0 0 20 0 1 0 339131249 103616512 22879 33554432000 134512640 137136520 4292633600 4292630656 134600719 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 25297 22879 197 641 0 24653 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 101188 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11295 /proc/meminfo: memFree=26042696/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=123684 CPUtime=222.2 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 28847 0 0 0 22194 26 0 0 20 0 1 0 339131249 126652416 28481 33554432000 134512640 137136520 4292633600 4292632528 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 30921 28481 197 641 0 30277 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 123684 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11295 /proc/meminfo: memFree=25971148/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=123684 CPUtime=282.19 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 28847 0 0 0 28189 30 0 0 20 0 1 0 339131249 126652416 28481 33554432000 134512640 137136520 4292633600 4292632716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 30921 28481 197 641 0 30277 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 123684 [startup+342.3 s] /proc/loadavg: 2.09 2.03 2.01 3/177 11295 /proc/meminfo: memFree=25906544/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=135004 CPUtime=342.18 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 31772 0 0 0 34184 34 0 0 20 0 1 0 339131249 138244096 31334 33554432000 134512640 137136520 4292633600 4292632528 134543918 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 33751 31334 197 641 0 33107 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 135004 [startup+402.3 s] /proc/loadavg: 2.08 2.04 2.01 3/177 11296 /proc/meminfo: memFree=25879760/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=135004 CPUtime=402.17 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 31772 0 0 0 40178 39 0 0 20 0 1 0 339131249 138244096 31334 33554432000 134512640 137136520 4292633600 4292632460 136518953 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 33751 31334 197 641 0 33107 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 135004 [startup+462.3 s] /proc/loadavg: 2.03 2.03 2.00 3/177 11296 /proc/meminfo: memFree=25852356/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=135008 CPUtime=462.16 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 31773 0 0 0 46175 41 0 0 20 0 1 0 339131249 138248192 31335 33554432000 134512640 137136520 4292633600 4292632528 134544256 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 33752 31335 197 641 0 33108 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 135008 [startup+522.3 s] /proc/loadavg: 2.01 2.02 2.00 3/178 11297 /proc/meminfo: memFree=25790040/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=135032 CPUtime=522.15 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 31779 0 0 0 52169 46 0 0 20 0 1 0 339131249 138272768 31341 33554432000 134512640 137136520 4292633600 4292632716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 33758 31341 197 641 0 33114 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 135032 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 11297 /proc/meminfo: memFree=25743328/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=135032 CPUtime=582.15 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 31779 0 0 0 58165 50 0 0 20 0 1 0 339131249 138272768 31341 33554432000 134512640 137136520 4292633600 4292632528 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 33758 31341 197 641 0 33114 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 135032 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=25377112/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=193028 CPUtime=1062.04 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 46377 0 0 0 106118 86 0 0 20 0 1 0 339131249 197660672 45818 33554432000 134512640 137136520 4292633600 4292632528 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 48257 45818 197 641 0 47613 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 193028 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11302 /proc/meminfo: memFree=25343756/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=193060 CPUtime=1122.03 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 46385 0 0 0 112114 89 0 0 20 0 1 0 339131249 197693440 45826 33554432000 134512640 137136520 4292633600 4292632192 134616453 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 48265 45826 197 641 0 47621 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 193060 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11302 /proc/meminfo: memFree=25326024/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=193060 CPUtime=1182.02 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 46385 0 0 0 118110 92 0 0 20 0 1 0 339131249 197693440 45826 33554432000 134512640 137136520 4292633600 4292632528 134544256 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 48265 45826 197 641 0 47621 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 193060 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11302 /proc/meminfo: memFree=25299488/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=193060 CPUtime=1242.01 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 46385 0 0 0 124106 95 0 0 20 0 1 0 339131249 197693440 45826 33554432000 134512640 137136520 4292633600 4292632528 134544245 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 48265 45826 197 641 0 47621 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 193060 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11303 /proc/meminfo: memFree=25268116/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=193060 CPUtime=1302.01 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 46385 0 0 0 130103 98 0 0 20 0 1 0 339131249 197693440 45826 33554432000 134512640 137136520 4292633600 4292632528 134543939 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 48265 45826 197 641 0 47621 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 193060 [startup+1362.3 s] /proc/loadavg: 2.05 2.01 2.00 3/178 11306 /proc/meminfo: memFree=25229668/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=193060 CPUtime=1361.99 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 46385 0 0 0 136097 102 0 0 20 0 1 0 339131249 197693440 45826 33554432000 134512640 137136520 4292633600 4292632528 134543918 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 48265 45826 197 641 0 47621 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 193060 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/177 11306 /proc/meminfo: memFree=25203140/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=193060 CPUtime=1421.99 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 46385 0 0 0 142093 106 0 0 20 0 1 0 339131249 197693440 45826 33554432000 134512640 137136520 4292633600 4292632528 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 48265 45826 197 641 0 47621 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 193060 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11306 /proc/meminfo: memFree=25187020/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=193060 CPUtime=1481.97 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 46385 0 0 0 148087 110 0 0 20 0 1 0 339131249 197693440 45826 33554432000 134512640 137136520 4292633600 4292632528 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 48265 45826 197 641 0 47621 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 193060 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 2/175 11351 /proc/meminfo: memFree=26548780/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=193060 CPUtime=1541.96 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 46385 0 0 0 154083 113 0 0 20 0 1 0 339131249 197693440 45826 33554432000 134512640 137136520 4292633600 4292632528 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 48265 45826 197 641 0 47621 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 193060 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 11406 /proc/meminfo: memFree=26313360/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=193060 CPUtime=1601.95 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 46385 0 0 0 160078 117 0 0 20 0 1 0 339131249 197693440 45826 33554432000 134512640 137136520 4292633600 4292632008 136502314 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 48265 45826 197 641 0 47621 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 193060 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11407 /proc/meminfo: memFree=26300880/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=193060 CPUtime=1661.94 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 46385 0 0 0 166073 121 0 0 20 0 1 0 339131249 197693440 45826 33554432000 134512640 137136520 4292633600 4292632528 134543927 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 48265 45826 197 641 0 47621 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 193060 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11407 /proc/meminfo: memFree=26301032/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=193060 CPUtime=1721.93 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 46385 0 0 0 172068 125 0 0 20 0 1 0 339131249 197693440 45826 33554432000 134512640 137136520 4292633600 4292632528 134544116 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 48265 45826 197 641 0 47621 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 193060 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11407 /proc/meminfo: memFree=26280104/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=202420 CPUtime=1781.93 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 48741 0 0 0 178065 128 0 0 20 0 1 0 339131249 207278080 48182 33554432000 134512640 137136520 4292633600 4292632528 134543933 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 50605 48182 197 641 0 49961 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 202420 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11407 /proc/meminfo: memFree=26279096/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=203896 CPUtime=1791.53 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 49098 0 0 0 179024 129 0 0 20 0 1 0 339131249 208789504 48539 33554432000 134512640 137136520 4292633600 4292632196 136500517 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 50974 48539 197 641 0 50330 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (KiB) 203896 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11407 /proc/meminfo: memFree=26265704/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=204696 CPUtime=1794.73 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 49318 0 0 0 179344 129 0 0 20 0 1 0 339131249 209608704 48759 33554432000 134512640 137136520 4292633600 4292632528 134544384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 51174 48759 197 641 0 50530 0 Current children cumulated CPU time (s) 1794.73 Current children cumulated vsize (KiB) 204696 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11407 /proc/meminfo: memFree=26263596/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=204832 CPUtime=1796.33 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 49347 0 0 0 179504 129 0 0 20 0 1 0 339131249 209747968 48788 33554432000 134512640 137136520 4292633600 4292632528 134543649 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 51208 48788 197 641 0 50564 0 Current children cumulated CPU time (s) 1796.33 Current children cumulated vsize (KiB) 204832 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11407 /proc/meminfo: memFree=26263332/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=204832 CPUtime=1797.12 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 49347 0 0 0 179583 129 0 0 20 0 1 0 339131249 209747968 48788 33554432000 134512640 137136520 4292633600 4292632528 134544157 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 51208 48788 197 641 0 50564 0 Current children cumulated CPU time (s) 1797.12 Current children cumulated vsize (KiB) 204832 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11407 /proc/meminfo: memFree=26263332/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=204832 CPUtime=1797.52 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 49350 0 0 0 179623 129 0 0 20 0 1 0 339131249 209747968 48791 33554432000 134512640 137136520 4292633600 4292632528 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 51208 48791 197 641 0 50564 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (KiB) 204832 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11407 /proc/meminfo: memFree=26263332/32873844 swapFree=7628/7628 [pid=11290] ppid=11288 vsize=204832 CPUtime=1797.92 cores=0,2,4,6 /proc/11290/stat : 11290 (bsolo) R 11288 11290 8349 0 -1 4202496 49350 0 0 0 179663 129 0 0 20 0 1 0 339131249 209747968 48791 33554432000 134512640 137136520 4292633600 4292632528 134544122 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/11290/statm: 51208 48791 197 641 0 50564 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 204832 Child status: 0 Real time (s): 1798.37 CPU time (s): 1798 CPU user time (s): 1796.71 CPU system time (s): 1.2968 CPU usage (%): 99.9797 Max. virtual memory (cumulated for all children) (KiB): 204832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.71 system time used= 1.2968 maximum resident set size= 195168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49352 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= 89 involuntary context switches= 2099 runsolver used 3.00654 second user time and 8.29874 second system time The end
Begin job on node145 at 2012-06-03 15:27:49 IDJOB=3736992 IDBENCH=48156 IDSOLVER=2320 FILE ID=node145/3736992-1338730069 RUNJOBID= node145-1338702833-8365 PBS_JOBID= 14636715 Free space on /tmp= 70916 MiB SOLVER NAME= PB09: 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-3736992-1338730069/watcher-3736992-1338730069 -o /tmp/evaluation-result-3736992-1338730069/solver-3736992-1338730069 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3736992-1338730069.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5 RANDOM SEED=2012720694 node145.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.149 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.29 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.149 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.149 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 : 5313.38 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.149 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.91 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.149 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.149 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.149 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.149 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.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26330888 kB Buffers: 444144 kB Cached: 4823456 kB SwapCached: 0 kB Active: 2073324 kB Inactive: 3601952 kB Active(anon): 398856 kB Inactive(anon): 10916 kB Active(file): 1674468 kB Inactive(file): 3591036 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 3904 kB Writeback: 0 kB AnonPages: 417032 kB Mapped: 14860 kB Shmem: 200 kB Slab: 725052 kB SReclaimable: 166560 kB SUnreclaim: 558492 kB KernelStack: 1440 kB PageTables: 4340 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 532580 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 301056 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3736992-1338730069.opb Free space on /tmp at the end= 70916 MiB End job on node145 at 2012-06-03 15:57:47