Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 44 | 1798.02 | 1799.04 |
Name | /OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_0_errors.opb |
MD5SUM | a240e4a37082dfb03371e204a64a9828 |
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 | 0 |
Best CPU time to get the best result obtained on this benchmark | 2.34564 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 584 |
Total number of constraints | 427 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 33 |
Number of constraints which are nor clauses,nor cardinality constraints | 394 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 34 |
Number of terms in the objective function | 182 |
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 | 182 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 182 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2406 |
Sum of products size (including duplicates) | 10572 |
Number of different products | 2406 |
Sum of products size | 10572 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2681252-1277517652.opb 0.00/0.00 c File size is 307008 bytes. 0.00/0.05 c Highest Coefficient sum: 182 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.049 s 0.00/0.05 c Var: 2990 Constr: 5666 2775/485/2406 Lit: 37628 Watch. Lit: 24414 0.00/0.05 c Obj. Vars: 182 (6.08696 % of total variables) 0.29/0.31 c Pre-processing Time: 0.308 s 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 2273 4294 29154 6 18751 56096 0 0 0.31 0.29/0.31 c Switching off lower bounding mode. 48.17/48.24 c 101 2273 4395 30807 7 18953 61706 101 295 0.34 48.17/48.24 c 251 2273 4545 41814 9 19253 67877 251 657 0.38 48.17/48.24 c 478 2273 4772 55694 11 19707 74665 478 1030 0.46 48.17/48.24 c 816 2273 5110 63702 12 20383 82132 816 1635 0.50 48.17/48.24 c 1324 2273 5618 75770 13 21399 90346 1324 2411 0.55 48.17/48.24 c 2087 2273 6381 93913 14 22925 99381 2087 3286 0.64 48.17/48.24 c 3233 2273 7527 121511 16 25217 109320 3233 4102 0.79 48.17/48.24 c 4957 2273 9251 165125 17 28665 120253 4957 4594 1.08 48.17/48.24 c 7542 2273 11836 217289 18 33835 132279 7542 4758 1.58 48.17/48.24 c 11421 2273 15715 414899 26 41593 145507 11421 1889 6.05 48.17/48.24 c 17245 2273 21539 874492 40 53241 160058 17245 1076 16.02 48.17/48.24 c 25982 2273 30276 1581669 52 70715 176064 25982 784 33.14 48.17/48.24 o 54 90.17/90.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 90.17/90.40 c 34390 2273 38685 2140091 55 87661 57096 34391 713 48.23 90.17/90.40 c 34491 2273 38786 2145325 55 87863 62806 34492 709 48.64 90.17/90.40 c 34742 2273 39037 2152182 55 88365 69087 34743 712 48.75 90.17/90.40 c 35218 2273 39513 2162529 54 89317 75996 35219 720 48.90 90.17/90.40 c 36031 2273 40326 2221014 55 90943 83596 36032 705 51.04 90.17/90.40 c 37352 2273 41647 2255513 54 93585 91956 37353 718 52.00 90.17/90.40 c 39433 2273 43728 2310109 52 97747 101152 39434 744 53.00 90.17/90.40 c 42657 2273 46952 2477327 52 104195 111268 42658 696 61.23 90.17/90.40 c 47594 2273 51889 2617197 50 114069 122395 47595 727 65.38 90.17/90.40 c 55100 2273 59395 2861820 48 129081 134635 55101 754 73.04 90.17/90.40 c 66461 2273 70756 3143140 44 151803 148099 66462 773 85.92 90.17/90.40 o 50 94.97/95.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 94.97/95.26 c 67854 2273 72150 3231933 44 154723 57096 67856 752 90.18 94.97/95.26 c 67954 2273 16415 378292 23 43125 62806 12121 728 93.27 94.97/95.26 c 68204 2273 16665 385616 23 43625 69087 12371 730 93.36 94.97/95.26 c 68680 2273 17141 395916 23 44577 75996 12847 734 93.53 94.97/95.26 c 69495 2273 17956 417075 23 46207 83596 13662 741 93.67 94.97/95.26 c 70815 2273 19276 448201 23 48847 91956 14982 753 93.94 94.97/95.26 c 72896 2273 21357 497198 23 53009 101152 17063 771 94.51 94.97/95.26 o 44 1797.98/1799.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1799.01 c 73718 2273 22180 570052 25 54793 57096 17886 775 95.04 1797.98/1799.01 c 73818 2273 22280 573200 25 54993 62806 17986 775 95.16 1797.98/1799.01 c 74068 2273 22530 580176 25 55493 69087 18236 776 95.38 1797.98/1799.01 c 74545 2273 23007 625541 27 56447 75996 18713 779 95.61 1797.98/1799.01 c 75358 2273 23820 646804 27 58073 83596 19526 786 95.86 1797.98/1799.01 c 76678 2273 25140 680835 27 60713 91956 20846 797 96.16 1797.98/1799.01 c 78759 2273 27221 736140 27 64875 101152 22927 813 96.76 1797.98/1799.01 c 81982 2273 30444 967827 31 71321 111268 26150 803 102.05 1797.98/1799.01 c 86918 2273 35380 1328442 37 81193 122395 31086 793 109.56 1797.98/1799.01 c 94425 2273 42887 1552421 36 96207 134635 38593 776 121.53 1797.98/1799.01 c 105787 2273 54249 1814064 33 118931 148099 49955 742 142.53 1797.98/1799.01 c 122932 2273 71394 3389553 47 153221 162909 67100 658 186.74 1797.98/1799.01 c 148751 2273 97213 4521154 46 204859 179200 92919 566 262.47 1797.98/1799.01 c 187583 2273 136045 7424567 54 282523 197121 131751 278 673.48 1797.98/1799.01 c 245935 2273 194397 11337122 58 399227 216834 190103 183 1339.69 1797.98/1799.01 c Resources Exceeded 1797.98/1799.01 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 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x222 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x226 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x231 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x234 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x239 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x242 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x247 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x250 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x255 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 x257 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x261 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 x263 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x266 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x268 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 x270 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x272 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x273 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x275 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x276 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x278 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x279 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x281 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x282 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x284 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x285 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x287 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x288 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 x290 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x291 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 x293 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x294 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 x296 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x297 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 x299 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x300 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x302 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 x303 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x305 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x306 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x308 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x309 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x311 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x312 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x314 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x315 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 x317 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x318 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x320 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x321 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x323 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x324 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x326 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x327 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x329 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 x330 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x332 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 x333 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 x335 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x336 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x338 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x339 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x341 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x342 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x344 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x345 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x347 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x348 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x350 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x351 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x353 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x354 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x356 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x357 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x359 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x360 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x362 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x363 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 x365 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x366 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 x368 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x369 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 x371 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x372 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x374 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x375 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x377 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x378 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x380 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x381 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x383 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x384 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x386 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x387 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 x389 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 x390 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 x392 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x393 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x395 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x396 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x398 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x399 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x401 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x402 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x404 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x405 -x1849 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x407 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x408 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x410 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x411 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x413 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x414 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x416 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 x417 -x1945 -x1946 -x1947 -x1948 -x1949 x1950 -x1951 -x1952 -x419 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x420 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x422 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x424 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x426 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x428 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x430 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x432 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x434 -x2121 -x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x435 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x436 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x437 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 x438 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 x439 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x440 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x441 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 -x2309 -x2310 -x2311 -x2312 -x442 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 x2334 -x2335 -x2336 -x443 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x444 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x445 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x446 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x447 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 x448 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x449 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x450 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 x451 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x452 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x453 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x454 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x455 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x456 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 x457 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x458 -x2697 x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x2720 x459 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x460 -x2745 x2746 x462 x2747 -x2748 -x463 -x2749 -x2750 -x464 -x2751 -x2752 -x465 -x2753 -x2754 -x466 -x2755 -x2756 -x467 -x2757 -x2758 -x468 -x2759 -x2760 -x469 -x2761 -x2762 x470 -x2763 x2764 -x471 -x2765 -x2766 -x472 -x2767 -x2768 x473 x2769 -x2770 -x474 -x2771 -x2772 x475 -x2773 x2774 -x476 -x2775 -x2776 -x477 -x2777 -x2778 -x478 -x2779 -x2780 x479 x2781 -x2782 -x480 -x2783 -x2784 -x481 -x2785 -x2786 -x482 -x2787 -x2788 -x483 -x2789 -x2790 x484 -x2791 x2792 -x485 -x2793 -x2794 x486 x2795 -x2796 x487 -x2797 x2798 -x488 -x2799 -x2800 -x489 -x2801 -x2802 x490 x2803 -x2804 -x491 -x2805 -x2806 -x492 -x2807 -x2808 -x493 -x2809 -x2810 x494 -x2811 x2812 x495 x2813 -x2814 -x496 -x2815 -x2816 x497 -x2817 x2818 -x498 -x2819 -x2820 -x499 -x2821 -x2822 -x500 -x2823 -x2824 x501 x2825 -x2826 -x502 -x2827 -x2828 x503 -x2829 x2830 x504 x2831 -x2832 x505 -x2833 x2834 -x506 -x2835 -x2836 -x507 -x2837 -x2838 -x508 -x2839 -x2840 -x509 -x2841 -x2842 -x510 -x2843 -x2844 -x511 -x2845 -x2846 x512 x2847 -x2848 -x513 -x2849 -x2850 x514 -x2851 x2852 -x515 -x2853 -x2854 x516 x2855 -x2856 x517 -x2857 x2858 x518 x2859 -x2860 x519 -x2861 x2862 -x520 -x2863 -x2864 -x521 -x2865 -x2866 x522 x2867 -x2868 x523 -x2869 x2870 x524 x2871 -x2872 x525 -x2873 x2874 x526 x2875 -x2876 -x527 -x2877 -x2878 -x528 -x2879 -x2880 -x529 -x2881 -x2882 -x530 -x2883 -x2884 x531 -x2885 x2886 -x532 -x2887 -x2888 -x533 -x2889 -x2890 -x534 -x2891 -x2892 -x535 -x2893 -x2894 -x536 -x2895 -x2896 x537 x2897 -x2898 x538 -x2899 x2900 -x539 -x2901 -x2902 -x540 -x2903 -x2904 x541 x2905 -x2906 -x542 -x2907 -x2908 x543 -x2909 x2910 x544 x2911 -x2912 x545 -x2913 x2914 x546 x2915 -x2916 -x547 -x2917 -x2918 x548 -x2919 x2920 -x549 -x2921 -x2922 x550 x2923 -x2924 -x551 -x2925 -x2926 x552 -x2927 x2928 x553 x2929 -x2930 x554 -x2931 x2932 x555 x2933 -x2934 -x556 -x2935 -x2936 -x557 -x2937 -x2938 -x558 -x2939 -x2940 -x559 -x2941 -x2942 x560 -x2943 x2944 -x561 -x2945 -x2946 -x562 -x2947 -x2948 x563 x2949 -x2950 x564 -x2951 x2952 -x565 -x2953 -x2954 -x566 -x2955 -x2956 -x567 -x2957 -x2958 x568 x2959 -x2960 x569 -x2961 x2962 -x570 -x2963 -x2964 -x571 -x2965 -x2966 x572 x2967 -x2968 -x573 -x2969 -x2970 x574 -x2971 x2972 x575 x2973 -x2974 -x576 -x2975 -x2976 -x577 -x2977 -x2978 x578 -x2979 x2980 -x579 -x2981 -x2982 x580 x2983 -x2984 x581 -x2985 x2986 x582 x2987 -x2988 -x583 -x2989 -x2990 -x584 -x461 x224 -x325 x322 x319 x316 -x313 x310 -x307 x304 -x301 x298 x295 x292 -x289 -x286 -x283 x280 -x277 x274 -x271 -x267 -x262 x256 -x248 -x240 x232 x223 -x433 -x431 -x429 x427 -x425 x423 x421 x418 -x415 -x412 x409 -x406 -x403 -x400 x397 x394 x391 -x388 -x385 -x382 -x379 -x376 -x373 x370 x367 x364 x361 x358 x355 -x352 -x349 -x346 x343 -x217 x340 -x251 -x337 -x243 x334 x235 -x331 x227 -x328 x218 -x258 x252 x244 -x236 -x228 -x219 -x249 -x241 x233 x225 x264 x259 -x253 -x245 x237 x229 x220 -x269 -x265 -x260 -x254 -x246 -x238 -x230 -x221 1797.98/1799.01 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1799.01 c 45 270332 38921 358158 218794 14011402 214500 150 1798.00 1797.98/1799.01 c Objective: 44 1797.98/1799.01 s SATISFIABLE 1797.98/1799.01 c Total time: 1798 s
OK 44
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681252-1277517652/watcher-2681252-1277517652 -o /tmp/evaluation-result-2681252-1277517652/solver-2681252-1277517652 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2681252-1277517652.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.15 1.03 1.01 3/105 31730 /proc/meminfo: memFree=1799704/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=11232 CPUtime=0 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 371 0 0 0 0 0 0 0 25 0 1 0 93059072 11501568 290 1992294400 134512640 137138936 4294178000 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31730/statm: 2808 290 175 642 0 2089 0 [startup+0.0963981 s] /proc/loadavg: 1.15 1.03 1.01 3/105 31730 /proc/meminfo: memFree=1799704/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=12540 CPUtime=0.09 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 850 0 0 0 9 0 0 0 25 0 1 0 93059072 12840960 694 1992294400 134512640 137138936 4294178000 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31730/statm: 3135 694 184 642 0 2491 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12540 [startup+0.101397 s] /proc/loadavg: 1.15 1.03 1.01 3/105 31730 /proc/meminfo: memFree=1799704/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=12540 CPUtime=0.09 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 850 0 0 0 9 0 0 0 25 0 1 0 93059072 12840960 694 1992294400 134512640 137138936 4294178000 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31730/statm: 3135 694 184 642 0 2491 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12540 [startup+0.301418 s] /proc/loadavg: 1.15 1.03 1.01 3/105 31730 /proc/meminfo: memFree=1799704/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=12688 CPUtime=0.29 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 890 0 0 0 29 0 0 0 25 0 1 0 93059072 12992512 734 1992294400 134512640 137138936 4294178000 18446744073709551615 136521043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31730/statm: 3172 734 186 642 0 2528 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12688 [startup+0.701457 s] /proc/loadavg: 1.15 1.03 1.01 3/105 31730 /proc/meminfo: memFree=1799704/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=13536 CPUtime=0.69 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 1100 0 0 0 68 1 0 0 25 0 1 0 93059072 13860864 939 1992294400 134512640 137138936 4294178000 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31730/statm: 3384 939 191 642 0 2740 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13536 [startup+1.50154 s] /proc/loadavg: 1.15 1.03 1.01 2/106 31731 /proc/meminfo: memFree=1796100/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=15440 CPUtime=1.49 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 1569 0 0 0 147 2 0 0 25 0 1 0 93059072 15810560 1408 1992294400 134512640 137138936 4294178000 18446744073709551615 134541986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31730/statm: 3860 1408 191 642 0 3216 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15440 [startup+3.1007 s] /proc/loadavg: 1.15 1.03 1.01 2/106 31731 /proc/meminfo: memFree=1794116/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=16860 CPUtime=3.09 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 1937 0 0 0 306 3 0 0 25 0 1 0 93059072 17264640 1776 1992294400 134512640 137138936 4294178000 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31730/statm: 4215 1776 191 642 0 3571 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16860 [startup+6.30102 s] /proc/loadavg: 1.13 1.03 1.01 2/106 31731 /proc/meminfo: memFree=1791884/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=18716 CPUtime=6.29 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 2408 0 0 0 625 4 0 0 25 0 1 0 93059072 19165184 2247 1992294400 134512640 137138936 4294178000 18446744073709551615 136504452 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31730/statm: 4679 2247 191 642 0 4035 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18716 [startup+12.7007 s] /proc/loadavg: 1.12 1.03 1.01 2/106 31740 /proc/meminfo: memFree=1786916/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=23088 CPUtime=12.68 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 3507 0 0 0 1262 6 0 0 25 0 1 0 93059072 23642112 3346 1992294400 134512640 137138936 4294178000 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31730/statm: 5772 3346 191 642 0 5128 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23088 [startup+25.5009 s] /proc/loadavg: 1.10 1.03 1.01 2/106 31740 /proc/meminfo: memFree=1778872/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=31008 CPUtime=25.48 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 5483 0 0 0 2537 11 0 0 25 0 1 0 93059072 31752192 5322 1992294400 134512640 137138936 4294178000 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31730/statm: 7752 5322 191 642 0 7108 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31008 [startup+51.1015 s] /proc/loadavg: 1.06 1.03 1.01 2/106 31740 /proc/meminfo: memFree=1765604/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=44292 CPUtime=51.07 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 8800 0 0 0 5089 18 0 0 25 0 1 0 93059072 45355008 8639 1992294400 134512640 137138936 4294178000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31730/statm: 11073 8639 192 642 0 10429 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44292 [startup+102.309 s] /proc/loadavg: 1.13 1.05 1.01 2/106 32208 /proc/meminfo: memFree=1735608/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=60892 CPUtime=102.07 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 13001 0 0 0 10168 39 0 0 25 0 1 0 93059072 62353408 12773 1992294400 134512640 137138936 4294178000 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 15223 12773 192 642 0 14579 0 Current children cumulated CPU time (s) 102.07 Current children cumulated vsize (KiB) 60892 [startup+162.302 s] /proc/loadavg: 1.05 1.04 1.01 3/106 32210 /proc/meminfo: memFree=1735608/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=60892 CPUtime=162.04 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 13001 0 0 0 16151 53 0 0 25 0 1 0 93059072 62353408 12773 1992294400 134512640 137138936 4294178000 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 15223 12773 192 642 0 14579 0 Current children cumulated CPU time (s) 162.04 Current children cumulated vsize (KiB) 60892 [startup+222.302 s] /proc/loadavg: 1.02 1.03 1.00 2/106 32210 /proc/meminfo: memFree=1723828/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=72952 CPUtime=222.01 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 16040 0 0 0 22136 65 0 0 25 0 1 0 93059072 74702848 15812 1992294400 134512640 137138936 4294178000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 18238 15812 192 642 0 17594 0 Current children cumulated CPU time (s) 222.01 Current children cumulated vsize (KiB) 72952 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/106 32212 /proc/meminfo: memFree=1715024/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=82036 CPUtime=281.99 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 18281 0 0 0 28128 71 0 0 25 0 1 0 93059072 84004864 18053 1992294400 134512640 137138936 4294178000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 20509 18053 192 642 0 19865 0 Current children cumulated CPU time (s) 281.99 Current children cumulated vsize (KiB) 82036 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/106 32214 /proc/meminfo: memFree=1708080/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=88784 CPUtime=341.96 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 19995 0 0 0 34121 75 0 0 25 0 1 0 93059072 90914816 19767 1992294400 134512640 137138936 4294178000 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 22196 19767 192 642 0 21552 0 Current children cumulated CPU time (s) 341.96 Current children cumulated vsize (KiB) 88784 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/106 32216 /proc/meminfo: memFree=1699904/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=96996 CPUtime=401.93 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 22045 0 0 0 40111 82 0 0 25 0 1 0 93059072 99323904 21817 1992294400 134512640 137138936 4294178000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 24249 21817 192 642 0 23605 0 Current children cumulated CPU time (s) 401.93 Current children cumulated vsize (KiB) 96996 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/106 32218 /proc/meminfo: memFree=1693456/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=103424 CPUtime=461.9 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 23628 0 0 0 46103 87 0 0 25 0 1 0 93059072 105906176 23400 1992294400 134512640 137138936 4294178000 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 25856 23400 192 642 0 25212 0 Current children cumulated CPU time (s) 461.9 Current children cumulated vsize (KiB) 103424 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32218 /proc/meminfo: memFree=1687876/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=108860 CPUtime=521.87 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 25018 0 0 0 52098 89 0 0 25 0 1 0 93059072 111472640 24790 1992294400 134512640 137138936 4294178000 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 27215 24790 192 642 0 26571 0 Current children cumulated CPU time (s) 521.87 Current children cumulated vsize (KiB) 108860 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32220 /proc/meminfo: memFree=1682916/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=113892 CPUtime=581.84 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 26252 0 0 0 58090 94 0 0 25 0 1 0 93059072 116625408 26024 1992294400 134512640 137138936 4294178000 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 28473 26024 192 642 0 27829 0 Current children cumulated CPU time (s) 581.84 Current children cumulated vsize (KiB) 113892 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32222 /proc/meminfo: memFree=1678328/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=118484 CPUtime=641.82 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 27398 0 0 0 64084 98 0 0 25 0 1 0 93059072 121327616 27170 1992294400 134512640 137138936 4294178000 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 29621 27170 192 642 0 28977 0 Current children cumulated CPU time (s) 641.82 Current children cumulated vsize (KiB) 118484 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1636788/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=159584 CPUtime=1121.6 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 37669 0 0 0 112027 133 0 0 25 0 1 0 93059072 163414016 37441 1992294400 134512640 137138936 4294178000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 39896 37441 192 642 0 39252 0 Current children cumulated CPU time (s) 1121.6 Current children cumulated vsize (KiB) 159584 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32236 /proc/meminfo: memFree=1631580/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=164804 CPUtime=1181.57 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 38989 0 0 0 118021 136 0 0 25 0 1 0 93059072 168759296 38761 1992294400 134512640 137138936 4294178000 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 41201 38761 192 642 0 40557 0 Current children cumulated CPU time (s) 1181.57 Current children cumulated vsize (KiB) 164804 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32238 /proc/meminfo: memFree=1625752/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=170284 CPUtime=1241.55 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 40360 0 0 0 124014 141 0 0 25 0 1 0 93059072 174370816 40132 1992294400 134512640 137138936 4294178000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 42571 40132 192 642 0 41927 0 Current children cumulated CPU time (s) 1241.55 Current children cumulated vsize (KiB) 170284 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32240 /proc/meminfo: memFree=1621660/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=174392 CPUtime=1301.52 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 41392 0 0 0 130008 144 0 0 25 0 1 0 93059072 178577408 41164 1992294400 134512640 137138936 4294178000 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 43598 41164 192 642 0 42954 0 Current children cumulated CPU time (s) 1301.52 Current children cumulated vsize (KiB) 174392 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32242 /proc/meminfo: memFree=1615460/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=180720 CPUtime=1361.49 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 42978 0 0 0 136001 148 0 0 25 0 1 0 93059072 185057280 42750 1992294400 134512640 137138936 4294178000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 45180 42750 192 642 0 44536 0 Current children cumulated CPU time (s) 1361.49 Current children cumulated vsize (KiB) 180720 [startup+1422.31 s] /proc/loadavg: 1.03 1.01 1.00 2/106 32242 /proc/meminfo: memFree=1608516/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=187448 CPUtime=1421.47 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 44666 0 0 0 141995 152 0 0 25 0 1 0 93059072 191946752 44438 1992294400 134512640 137138936 4294178000 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 46862 44438 192 642 0 46218 0 Current children cumulated CPU time (s) 1421.47 Current children cumulated vsize (KiB) 187448 [startup+1482.3 s] /proc/loadavg: 1.12 1.04 1.01 2/106 32244 /proc/meminfo: memFree=1602440/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=193696 CPUtime=1481.43 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 46201 0 0 0 147989 154 0 0 25 0 1 0 93059072 198344704 45973 1992294400 134512640 137138936 4294178000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 48424 45973 192 642 0 47780 0 Current children cumulated CPU time (s) 1481.43 Current children cumulated vsize (KiB) 193696 [startup+1542.3 s] /proc/loadavg: 1.12 1.04 1.00 2/106 32246 /proc/meminfo: memFree=1596860/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=199128 CPUtime=1541.41 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 47573 0 0 0 153983 158 0 0 25 0 1 0 93059072 203907072 47345 1992294400 134512640 137138936 4294178000 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 49782 47345 192 642 0 49138 0 Current children cumulated CPU time (s) 1541.41 Current children cumulated vsize (KiB) 199128 [startup+1602.3 s] /proc/loadavg: 1.11 1.05 1.00 2/106 32248 /proc/meminfo: memFree=1593016/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=202952 CPUtime=1601.38 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 48537 0 0 0 159977 161 0 0 25 0 1 0 93059072 207822848 48309 1992294400 134512640 137138936 4294178000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 50738 48309 192 642 0 50094 0 Current children cumulated CPU time (s) 1601.38 Current children cumulated vsize (KiB) 202952 [startup+1662.3 s] /proc/loadavg: 1.10 1.05 1.00 2/106 32250 /proc/meminfo: memFree=1589420/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=206484 CPUtime=1661.35 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 49416 0 0 0 165970 165 0 0 25 0 1 0 93059072 211439616 49188 1992294400 134512640 137138936 4294178000 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 51621 49188 192 642 0 50977 0 Current children cumulated CPU time (s) 1661.35 Current children cumulated vsize (KiB) 206484 [startup+1722.3 s] /proc/loadavg: 1.09 1.06 1.00 2/106 32250 /proc/meminfo: memFree=1585204/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=210712 CPUtime=1721.32 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 50464 0 0 0 171965 167 0 0 25 0 1 0 93059072 215769088 50236 1992294400 134512640 137138936 4294178000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 52678 50236 192 642 0 52034 0 Current children cumulated CPU time (s) 1721.32 Current children cumulated vsize (KiB) 210712 [startup+1782.3 s] /proc/loadavg: 1.08 1.06 1.00 2/106 32252 /proc/meminfo: memFree=1581360/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=214328 CPUtime=1781.29 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 51384 0 0 0 177959 170 0 0 25 0 1 0 93059072 219471872 51156 1992294400 134512640 137138936 4294178000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 53582 51156 192 642 0 52938 0 Current children cumulated CPU time (s) 1781.29 Current children cumulated vsize (KiB) 214328 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.07 1.06 1.00 2/106 32252 /proc/meminfo: memFree=1580988/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=214736 CPUtime=1790.9 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 51456 0 0 0 178919 171 0 0 25 0 1 0 93059072 219889664 51228 1992294400 134512640 137138936 4294178000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 53684 51228 192 642 0 53040 0 Current children cumulated CPU time (s) 1790.9 Current children cumulated vsize (KiB) 214736 [startup+1795.1 s] /proc/loadavg: 1.07 1.06 1.00 2/106 32252 /proc/meminfo: memFree=1580864/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=214736 CPUtime=1794.1 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 51488 0 0 0 179239 171 0 0 25 0 1 0 93059072 219889664 51260 1992294400 134512640 137138936 4294178000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 53684 51260 192 642 0 53040 0 Current children cumulated CPU time (s) 1794.1 Current children cumulated vsize (KiB) 214736 [startup+1796.7 s] /proc/loadavg: 1.07 1.06 1.00 2/106 32252 /proc/meminfo: memFree=1580864/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=214868 CPUtime=1795.68 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 51496 0 0 0 179397 171 0 0 25 0 1 0 93059072 220024832 51268 1992294400 134512640 137138936 4294178000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 53717 51268 192 642 0 53073 0 Current children cumulated CPU time (s) 1795.68 Current children cumulated vsize (KiB) 214868 [startup+1798.3 s] /proc/loadavg: 1.07 1.06 1.00 2/106 32252 /proc/meminfo: memFree=1580864/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=214868 CPUtime=1797.28 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 51518 0 0 0 179557 171 0 0 25 0 1 0 93059072 220024832 51290 1992294400 134512640 137138936 4294178000 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 53717 51290 192 642 0 53073 0 Current children cumulated CPU time (s) 1797.28 Current children cumulated vsize (KiB) 214868 [startup+1798.7 s] /proc/loadavg: 1.06 1.06 1.00 2/106 32254 /proc/meminfo: memFree=1580740/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=214868 CPUtime=1797.68 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 51518 0 0 0 179597 171 0 0 25 0 1 0 93059072 220024832 51290 1992294400 134512640 137138936 4294178000 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 53717 51290 192 642 0 53073 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (KiB) 214868 [startup+1798.9 s] /proc/loadavg: 1.06 1.06 1.00 2/106 32254 /proc/meminfo: memFree=1580740/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=214868 CPUtime=1797.88 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 51519 0 0 0 179617 171 0 0 25 0 1 0 93059072 220024832 51291 1992294400 134512640 137138936 4294178000 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 53717 51291 192 642 0 53073 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 214868 [startup+1799 s] /proc/loadavg: 1.06 1.06 1.00 2/106 32254 /proc/meminfo: memFree=1580740/2059040 swapFree=4135356/4192956 [pid=31730] ppid=31728 vsize=214868 CPUtime=1797.98 /proc/31730/stat : 31730 (bsolo_pb10) R 31728 31730 30933 0 -1 4202496 51519 0 0 0 179627 171 0 0 25 0 1 0 93059072 220024832 51291 1992294400 134512640 137138936 4294178000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31730/statm: 53717 51291 192 642 0 53073 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 214868 Child status: 0 Real time (s): 1799.04 CPU time (s): 1798.02 CPU user time (s): 1796.29 CPU system time (s): 1.73374 CPU usage (%): 99.9437 Max. virtual memory (cumulated for all children) (KiB): 214868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.29 system time used= 1.73374 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51520 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= 1 involuntary context switches= 26684 runsolver used 3.05953 second user time and 8.41372 second system time The end
Begin job on node084 at 2010-06-26 04:00:52 IDJOB=2681252 IDBENCH=72486 IDSOLVER=1163 FILE ID=node084/2681252-1277517652 PBS_JOBID= 11190627 Free space on /tmp= 62456 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_0_errors.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681252-1277517652/watcher-2681252-1277517652 -o /tmp/evaluation-result-2681252-1277517652/solver-2681252-1277517652 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2681252-1277517652.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a240e4a37082dfb03371e204a64a9828 RANDOM SEED=1881582256 node084.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.229 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.45 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.229 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1802412 kB Buffers: 46196 kB Cached: 113884 kB SwapCached: 9812 kB Active: 93840 kB Inactive: 79280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1802412 kB SwapTotal: 4192956 kB SwapFree: 4135356 kB Dirty: 3988 kB Writeback: 0 kB AnonPages: 11652 kB Mapped: 8252 kB Slab: 61660 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181572 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2681252-1277517652.opb Free space on /tmp at the end= 62452 MiB End job on node084 at 2010-06-26 04:30:51