Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (MO) | -44 | 996.867 | 997.398 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb |
MD5SUM | a2418d45f4247bab260506429e96e746 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -57 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126555 |
Number of constraints which are clauses | 126555 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1534 |
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 | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/353735-1176674344/instance-353735-1176674344.opb 0.00/0.00 c File size is 3122761 bytes. 0.49/0.51 c Highest Coefficient sum: 1534 0.49/0.51 c Parsing was ok!! 0.49/0.51 c Total parsing time: 0.507 s 0.49/0.55 c Var: 1534 Constr: 126555 126555/0/0 Lit: 253110 Watch. Lit: 253110 0.49/0.55 c Obj. Vars: 1534 (100 % of total variables) 4.59/4.65 c Pre-processing Time: 4.648 s 4.59/4.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.65 c 0 1534 126555 253110 2 253110 42184 0 0 4.65 4.59/4.65 c Switching off LPR mode. 4.59/4.67 o -38 4.669 4.59/4.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.68 c 0 1534 126556 254644 2 253150 43184 1 0 4.67 4.59/4.68 o -39 4.68 4.59/4.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.69 c 4 1534 126561 262149 2 253199 43184 6 0 4.68 4.59/4.69 o -40 4.689 4.69/4.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.73 c 5 1534 126563 265176 2 253243 43184 8 1 4.69 4.69/4.73 o -41 4.727 4.89/4.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.97 c 43 1534 126602 323353 2 253362 43184 47 9 4.73 4.89/4.97 c 144 1534 126703 473858 3 253564 47503 148 29 4.82 4.89/4.97 o -42 4.972 13.38/13.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.38/13.49 c 296 1534 126856 701735 5 253912 43184 301 59 4.98 13.38/13.49 c 396 1534 126956 850595 6 254112 47503 401 78 5.07 13.38/13.49 c 646 1534 127206 1222862 9 254612 52254 651 120 5.35 13.38/13.49 c 1121 1534 127681 1929745 15 255562 57480 1126 191 5.85 13.38/13.49 c 1934 1534 128494 3139594 24 257188 63229 1939 281 6.88 13.38/13.49 c 3254 1534 129814 5104250 39 259828 69552 3259 357 9.10 13.38/13.49 c 5336 1534 131896 8204262 62 263992 76508 5341 396 13.45 13.38/13.49 o -43 13.486 13.58/13.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.58/13.63 c 5359 1534 131920 8240043 62 264083 43184 5365 397 13.49 13.58/13.63 c 5460 1534 132021 8390408 63 264285 47503 5466 401 13.61 13.58/13.63 o -44 13.625 996.56/997.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 996.56/997.10 c 5471 1534 132033 8408316 63 264353 43184 5478 401 13.63 996.56/997.10 c 5571 1534 132133 8556981 64 264553 47503 5578 405 13.74 996.56/997.10 c 5822 1534 132384 8930055 67 265055 52254 5829 415 14.00 996.56/997.10 c 6297 1534 132859 9636069 72 266005 57480 6304 433 14.53 996.56/997.10 c 7110 1534 133672 10843725 81 267631 63229 7117 441 16.12 996.56/997.10 c 8430 1534 134992 12804989 94 270271 69552 8437 474 17.77 996.56/997.10 c 10512 1534 137074 15899958 115 274435 76508 10519 467 22.48 996.56/997.10 c 13735 1534 140297 20691102 147 280881 84159 13742 408 33.66 996.56/997.10 c 18673 1534 145235 28031885 193 290757 92575 18680 363 51.38 996.56/997.10 c 26179 1534 152741 39187800 256 305769 101833 26186 257 101.73 996.56/997.10 c 37541 1534 164103 56076731 341 328493 112017 37548 251 149.06 996.56/997.10 c 54686 1534 181248 81568713 450 362783 123219 54693 167 326.61 996.56/997.10 c 80506 1534 207068 119944979 579 414423 135541 80513 118 681.73 996.56/997.10 c Caught signal: 15 996.56/997.10 v x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 996.56/997.10 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 996.56/997.10 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 996.56/997.10 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 996.56/997.10 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 996.56/997.10 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 996.56/997.10 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 996.56/997.10 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 996.56/997.10 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 996.56/997.10 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 996.56/997.10 v -x1364 -x1363 -x1362 -x1361 x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 996.56/997.10 v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 996.56/997.10 v -x1330 -x1329 -x1328 x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 996.56/997.10 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 x1301 -x1300 -x1299 -x1298 -x1297 996.56/997.10 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 996.56/997.10 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 996.56/997.10 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 996.56/997.10 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 996.56/997.10 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 996.56/997.10 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 996.56/997.10 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 x1182 -x1181 -x1180 -x1179 -x1178 996.56/997.10 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 996.56/997.10 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 x1149 -x1148 -x1147 -x1146 -x1145 -x1144 996.56/997.10 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 996.56/997.10 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 996.56/997.10 v x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 996.56/997.10 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 996.56/997.10 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 996.56/997.10 v -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 996.56/997.10 v -x1041 -x1040 -x1039 -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 996.56/997.10 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 996.56/997.10 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 996.56/997.10 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 996.56/997.10 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 996.56/997.10 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 x927 -x926 996.56/997.10 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 996.56/997.10 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 x886 -x885 -x884 996.56/997.10 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 996.56/997.10 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 996.56/997.10 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 996.56/997.10 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 996.56/997.10 v -x799 -x798 -x797 -x796 -x795 -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 996.56/997.10 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 996.56/997.10 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 996.56/997.10 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 996.56/997.10 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 -x697 -x696 -x695 996.56/997.10 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 996.56/997.10 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 996.56/997.10 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 996.56/997.10 v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 996.56/997.10 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 996.56/997.10 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 996.56/997.10 v x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 996.56/997.10 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 996.56/997.10 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 996.56/997.10 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 996.56/997.10 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 996.56/997.10 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 996.56/997.10 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 996.56/997.10 v -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 996.56/997.10 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 996.56/997.10 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 996.56/997.10 v -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 996.56/997.10 v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 996.56/997.10 v -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 996.56/997.10 v -x295 -x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 996.56/997.10 v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 996.56/997.10 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 996.56/997.10 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 996.56/997.10 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 996.56/997.10 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 996.56/997.10 v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 996.56/997.10 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 996.56/997.10 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 996.56/997.10 v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 996.56/997.10 v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 996.56/997.10 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 996.56/997.10 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 996.56/997.10 v -x3 -x2 -x1 996.56/997.10 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 996.56/997.10 c 27 95887 14680 118293 222449 142804348 95894 96 996.58 996.56/997.10 c Objective: -44 996.56/997.10 s SATISFIABLE 996.56/997.10 c Total time: 996.576 s
OK -44
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-353735-1176674344 -o ROOT/results/node61/solver-353735-1176674344 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353735-1176674344/instance-353735-1176674344.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 28916 /proc/meminfo: memFree=1724024/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=14788 CPUtime=0 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 79397997 15142912 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 3697 335 281 324 0 2003 0 [startup+0.075174 s] /proc/loadavg: 0.92 0.98 0.99 3/64 28916 /proc/meminfo: memFree=1724024/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=8780 CPUtime=0.06 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 925 0 0 0 6 0 0 0 18 0 1 0 79397997 8990720 893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 2195 894 385 324 0 501 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8780 [startup+0.101176 s] /proc/loadavg: 0.92 0.98 0.99 3/64 28916 /proc/meminfo: memFree=1724024/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=9464 CPUtime=0.09 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 1130 0 0 0 9 0 0 0 18 0 1 0 79397997 9691136 1098 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 2366 1098 425 324 0 672 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9464 [startup+0.301195 s] /proc/loadavg: 0.92 0.98 0.99 3/64 28916 /proc/meminfo: memFree=1724024/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=14280 CPUtime=0.29 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 2642 0 0 0 28 1 0 0 19 0 1 0 79397997 14622720 2610 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 3570 2610 722 324 0 1876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14280 [startup+0.701233 s] /proc/loadavg: 0.92 0.98 0.99 3/64 28916 /proc/meminfo: memFree=1724024/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=22520 CPUtime=0.69 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 5778 0 0 0 67 2 0 0 22 0 1 0 79397997 23060480 4983 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 5630 4983 305 324 0 4699 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22520 [startup+1.50131 s] /proc/loadavg: 0.92 0.98 0.99 2/65 28917 /proc/meminfo: memFree=1701040/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=26488 CPUtime=1.49 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 6804 0 0 0 145 4 0 0 25 0 1 0 79397997 27123712 6009 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 6622 6009 307 324 0 5691 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26488 [startup+3.10146 s] /proc/loadavg: 0.92 0.98 0.99 2/65 28917 /proc/meminfo: memFree=1700912/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=26488 CPUtime=3.09 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 6804 0 0 0 302 7 0 0 25 0 1 0 79397997 27123712 6009 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 6622 6009 307 324 0 5691 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26488 [startup+6.30176 s] /proc/loadavg: 0.93 0.98 0.99 2/65 28917 /proc/meminfo: memFree=1691440/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=50892 CPUtime=6.29 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 14838 0 0 0 614 15 0 0 25 0 1 0 79397997 52113408 12111 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 12723 12111 312 324 0 11792 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50892 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/65 28917 /proc/meminfo: memFree=1613232/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=119056 CPUtime=12.68 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 31864 0 0 0 1246 22 0 0 25 0 1 0 79397997 121913344 29137 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 29764 29137 312 324 0 28833 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 119056 [startup+25.5026 s] /proc/loadavg: 0.95 0.98 0.99 2/65 28917 /proc/meminfo: memFree=1482160/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=247028 CPUtime=25.48 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 63872 0 0 0 2512 36 0 0 25 0 1 0 79397997 252956672 61145 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10825378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 61757 61145 312 324 0 60826 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 247028 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.99 2/65 28917 /proc/meminfo: memFree=1354800/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=375592 CPUtime=51.07 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 95999 0 0 0 5057 50 0 0 25 0 1 0 79397997 384606208 93272 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 93898 93272 312 324 0 92967 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 375592 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 28917 /proc/meminfo: memFree=1200432/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=527544 CPUtime=102.26 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 133993 0 0 0 10158 68 0 0 25 0 1 0 79397997 540205056 131266 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 131886 131269 312 324 0 130955 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 527544 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.99 2/71 29087 /proc/meminfo: memFree=923512/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=803432 CPUtime=162.17 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 202964 0 0 0 16116 101 0 0 25 0 1 0 79397997 822714368 200237 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 200858 200237 312 324 0 199927 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 803432 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29115 /proc/meminfo: memFree=798832/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=928100 CPUtime=222.13 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 234140 0 0 0 22096 117 0 0 25 0 1 0 79397997 950374400 231413 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 232025 231413 312 324 0 231094 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 928100 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29115 /proc/meminfo: memFree=714992/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=1010940 CPUtime=282.11 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 254850 0 0 0 28084 127 0 0 25 0 1 0 79397997 1035202560 252123 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 252735 252123 312 324 0 251804 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 1010940 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29115 /proc/meminfo: memFree=645360/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=1080020 CPUtime=342.1 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 272114 0 0 0 34073 137 0 0 25 0 1 0 79397997 1105940480 269387 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 270005 269387 312 324 0 269074 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 1080020 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29115 /proc/meminfo: memFree=577648/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=1148276 CPUtime=402.08 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 289180 0 0 0 40062 146 0 0 25 0 1 0 79397997 1175834624 286453 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 287069 286453 312 324 0 286138 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 1148276 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29115 /proc/meminfo: memFree=472304/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=1252744 CPUtime=462.06 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 315287 0 0 0 46048 158 0 0 25 0 1 0 79397997 1282809856 312560 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 313186 312560 312 324 0 312255 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 1252744 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29115 /proc/meminfo: memFree=344240/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=1381176 CPUtime=522.05 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 347413 0 0 0 52030 175 0 0 25 0 1 0 79397997 1414324224 344686 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 345294 344686 312 324 0 344363 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 1381176 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29115 /proc/meminfo: memFree=267568/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=1457232 CPUtime=582.03 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 366409 0 0 0 58019 184 0 0 25 0 1 0 79397997 1492205568 363682 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 364308 363682 312 324 0 363377 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 1457232 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29115 /proc/meminfo: memFree=198896/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=1525492 CPUtime=642.02 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 383469 0 0 0 64007 195 0 0 25 0 1 0 79397997 1562103808 380742 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 381373 380742 312 324 0 380442 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 1525492 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29115 /proc/meminfo: memFree=153392/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=1571404 CPUtime=702 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 394952 0 0 0 69999 201 0 0 25 0 1 0 79397997 1609117696 392225 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 392851 392225 312 324 0 391920 0 Current children cumulated CPU time (s) 702 Current children cumulated vsize (KiB) 1571404 [startup+762.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29115 /proc/meminfo: memFree=89328/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=1635316 CPUtime=761.99 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 410921 0 0 0 75990 209 0 0 25 0 1 0 79397997 1674563584 408194 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 408829 408194 312 324 0 407898 0 Current children cumulated CPU time (s) 761.99 Current children cumulated vsize (KiB) 1635316 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29115 /proc/meminfo: memFree=16048/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=1713188 CPUtime=821.96 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 430398 0 0 0 81977 219 0 0 25 0 1 0 79397997 1754304512 427671 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 428297 427671 312 324 0 427366 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 1713188 [startup+882.301 s] /proc/loadavg: 1.03 1.00 1.00 2/65 29115 /proc/meminfo: memFree=15856/2055920 swapFree=4184896/4192956 [pid=28916] ppid=28914 vsize=1757020 CPUtime=881.83 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 441355 0 0 0 87957 226 0 0 25 0 1 0 79397997 1799188480 438628 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 439255 438628 312 324 0 438324 0 Current children cumulated CPU time (s) 881.83 Current children cumulated vsize (KiB) 1757020 [startup+942.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 29115 /proc/meminfo: memFree=15600/2055920 swapFree=4184540/4192956 [pid=28916] ppid=28914 vsize=1803836 CPUtime=941.78 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 453051 0 0 0 93944 234 0 0 25 0 1 0 79397997 1847128064 450324 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 450959 450324 312 324 0 450028 0 Current children cumulated CPU time (s) 941.78 Current children cumulated vsize (KiB) 1803836 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+997.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29115 /proc/meminfo: memFree=15408/2055920 swapFree=4184540/4192956 [pid=28916] ppid=28914 vsize=1843272 CPUtime=996.56 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194304 462937 0 0 0 99417 239 0 0 25 0 1 0 79397997 1887510528 460210 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 460818 460210 312 324 0 459887 0 Current children cumulated CPU time (s) 996.56 Current children cumulated vsize (KiB) 1843272 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+997.206 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29115 /proc/meminfo: memFree=15408/2055920 swapFree=4184540/4192956 [pid=28916] ppid=28914 vsize=0 CPUtime=996.66 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194308 462938 0 0 0 99417 249 0 0 25 0 1 0 79397997 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 996.66 Current children cumulated vsize (KiB) 0 [startup+997.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29115 /proc/meminfo: memFree=15408/2055920 swapFree=4184540/4192956 [pid=28916] ppid=28914 vsize=0 CPUtime=996.76 /proc/28916/stat : 28916 (bsolo3.0.16) R 28914 28916 4872 0 -1 4194308 462938 0 0 0 99417 259 0 0 25 0 1 0 79397997 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 996.76 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 997.398 CPU time (s): 996.867 CPU user time (s): 994.179 CPU system time (s): 2.68859 CPU usage (%): 99.9468 Max. virtual memory (cumulated for all children) (KiB): 1843272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 994.179 system time used= 2.68859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462938 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= 12 involuntary context switches= 2313 runsolver used 0.773882 second user time and 2.08568 second system time The end
Begin job on node61 on Sun Apr 15 21:59:04 UTC 2007 IDJOB= 353735 IDBENCH= 2265 IDSOLVER= 163 FILE ID= node61/353735-1176674344 PBS_JOBID= 4559936 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353735-1176674344/instance-353735-1176674344.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-353735-1176674344 -o ROOT/results/node61/solver-353735-1176674344 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353735-1176674344/instance-353735-1176674344.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= a2418d45f4247bab260506429e96e746 RANDOM SEED= 81533356 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1724368 kB Buffers: 34336 kB Cached: 206904 kB SwapCached: 2404 kB Active: 105816 kB Inactive: 150008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1724368 kB SwapTotal: 4192956 kB SwapFree: 4184896 kB Dirty: 7444 kB Writeback: 0 kB Mapped: 20628 kB Slab: 61772 kB Committed_AS: 717820 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66556 MiB End job on node61 on Sun Apr 15 22:15:43 UTC 2007