Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -47 | 1782.74 | 1783.9 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_5.opb |
MD5SUM | 996170804397234947041ed4d87d3aa0 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -59 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -59 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 5056 |
Sum of products size (including duplicates) | 10112 |
Number of different products | 2528 |
Sum of products size | 5056 |
0.00/0.01 c Pueblo version 1.4 (September 2005) 0.00/0.01 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.01 c by Hossein Sheini 0.08/0.12 c starting to Solve 0.08/0.12 c #variables read: 2928 - #constraints read: 5659 0.08/0.12 o 0 0.08/0.12 o 1 0.08/0.12 o 2 0.08/0.12 o 3 0.08/0.12 o 4 0.08/0.12 o 5 0.08/0.12 o 6 0.08/0.13 o 7 0.08/0.13 o 8 0.08/0.13 o 9 0.08/0.13 o 10 0.08/0.13 o 11 0.08/0.13 o 12 0.08/0.13 o 13 0.08/0.13 o 14 0.08/0.13 o 15 0.08/0.13 o 16 0.08/0.13 o 17 0.08/0.13 o 18 0.08/0.13 o 19 0.08/0.13 o 20 0.08/0.13 o 21 0.08/0.13 o 22 0.08/0.13 o 23 0.08/0.13 o 24 0.08/0.14 o 25 0.08/0.14 o 26 0.08/0.14 o 27 0.08/0.14 o 28 0.08/0.14 o 29 0.08/0.14 o 30 0.08/0.14 o 31 0.08/0.14 o 32 0.08/0.14 o 33 0.08/0.15 o 34 0.08/0.16 o 35 0.08/0.16 o 36 0.08/0.18 o 37 0.19/0.23 o 38 0.19/0.25 o 39 0.19/0.26 o 40 0.19/0.29 o 41 0.29/0.30 o 42 0.29/0.33 o 43 2.09/2.10 o 44 3.99/4.08 o 45 69.32/69.49 o 46 138.98/139.18 o 47 1782.64/1783.89 c total time : 1783 s 1782.64/1783.89 s SATISFIABLE 1782.64/1783.89 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 1782.64/1783.89 v -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 1782.64/1783.89 v -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 1782.64/1783.89 v 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 1782.64/1783.89 v -x106 x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 1782.64/1783.89 v x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1782.64/1783.89 v x148 -x149 -x150 x151 x152 -x153 -x154 -x155 x156 x157 -x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 -x167 -x168 x169 -x170 1782.64/1783.89 v -x171 x172 x173 -x174 x175 x176 x177 x178 -x179 x180 x181 x182 x183 x184 x185 x186 -x187 -x188 x189 -x190 x191 x192 x193 -x194 1782.64/1783.89 v -x195 -x196 x197 x198 x199 x200 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 1782.64/1783.89 v -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 1782.64/1783.89 v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 1782.64/1783.89 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 1782.64/1783.89 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 1782.64/1783.89 v -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 1782.64/1783.89 v x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 1782.64/1783.89 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 1782.64/1783.89 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 1782.64/1783.89 v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 1782.64/1783.89 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 1782.64/1783.89 v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 1782.64/1783.89 v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 1782.64/1783.89 v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 1782.64/1783.89 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 1782.64/1783.89 v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 1782.64/1783.89 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 1782.64/1783.89 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 1782.64/1783.89 v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 1782.64/1783.89 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 1782.64/1783.89 v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 1782.64/1783.89 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 1782.64/1783.89 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 1782.64/1783.89 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1782.64/1783.89 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 1782.64/1783.89 v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 1782.64/1783.89 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 1782.64/1783.89 v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 1782.64/1783.89 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 1782.64/1783.89 v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 1782.64/1783.89 v -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 1782.64/1783.89 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 1782.64/1783.89 v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 1782.64/1783.89 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 1782.64/1783.89 v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 1782.64/1783.89 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 1782.64/1783.89 v -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 1782.64/1783.89 v -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 1782.64/1783.89 v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 1782.64/1783.89 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 1782.64/1783.89 v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1782.64/1783.89 v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 1782.64/1783.89 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 1782.64/1783.89 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 1782.64/1783.89 v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 1782.64/1783.89 v -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 1782.64/1783.89 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 1782.64/1783.89 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 1782.64/1783.89 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 1782.64/1783.89 v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 1782.64/1783.89 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1782.64/1783.89 v -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 1782.64/1783.89 v -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 1782.64/1783.89 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 1782.64/1783.89 v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 1782.64/1783.89 v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 1782.64/1783.89 v -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 1782.64/1783.89 v -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 1782.64/1783.89 v -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 1782.64/1783.89 v -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 1782.64/1783.89 v -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 1782.64/1783.89 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 1782.64/1783.89 v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 1782.64/1783.89 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 1782.64/1783.89 v -x1598 x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 1782.64/1783.89 v -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 1782.64/1783.89 v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 1782.64/1783.89 v -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 1782.64/1783.89 v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 1782.64/1783.89 v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 1782.64/1783.89 v -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 1782.64/1783.89 v -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 1782.64/1783.89 v -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 1782.64/1783.89 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 1782.64/1783.89 v -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 1782.64/1783.89 v -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 1782.64/1783.89 v -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 1782.64/1783.89 v -x1819 -x1820 -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 1782.64/1783.89 v x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 1782.64/1783.89 v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 1782.64/1783.89 v -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 1782.64/1783.89 v -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 1782.64/1783.89 v -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 1782.64/1783.89 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 1782.64/1783.89 v -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 1782.64/1783.89 v -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 1782.64/1783.89 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 1782.64/1783.89 v x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 1782.64/1783.89 v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 1782.64/1783.89 v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 1782.64/1783.89 v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1782.64/1783.89 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 1782.64/1783.89 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 1782.64/1783.89 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 1782.64/1783.89 v -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1782.64/1783.89 v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 1782.64/1783.89 v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1782.64/1783.89 v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1782.64/1783.89 v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1782.64/1783.89 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 1782.64/1783.89 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1782.64/1783.89 v -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1782.64/1783.89 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1782.64/1783.89 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 1782.64/1783.89 v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1782.64/1783.89 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1782.64/1783.89 v -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1782.64/1783.89 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1782.64/1783.89 v -x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 1782.64/1783.89 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1782.64/1783.89 v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 1782.64/1783.89 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 1782.64/1783.89 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 1782.64/1783.89 v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 1782.64/1783.89 v -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 1782.64/1783.89 v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 1782.64/1783.89 v -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 1782.64/1783.89 v -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1782.64/1783.89 v -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 1782.64/1783.89 v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 1782.64/1783.89 v -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 1782.64/1783.89 v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 1782.64/1783.89 v -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 1782.64/1783.89 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 1782.64/1783.89 v -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 1782.64/1783.89 v -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 1782.64/1783.89 v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 1782.64/1783.89 v -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 1782.64/1783.89 v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 1782.64/1783.89 v -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 1782.64/1783.89 v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 1782.64/1783.89 v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 1782.64/1783.89 v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1782.64/1783.89 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 1782.64/1783.89 v -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 1782.64/1783.89 v -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 1782.64/1783.89 v -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 1782.64/1783.89 v -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 1782.64/1783.89 v -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 1782.64/1783.89 v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 1782.64/1783.89 v -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 1782.64/1783.89 v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 1782.64/1783.89 v -x2925 -x2926 -x2927 -x2928 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 1782.64/1783.89 v -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 1782.64/1783.89 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 x253 -x254 x255 x256 -x257 x258 -x259 1782.64/1783.89 v -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 x275 x276 x277 x278 -x279 x280 -x281 1782.64/1783.89 v -x282 -x283 x284 -x285 -x286 x287 -x288 x289 x290 x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 x303 1782.64/1783.89 v -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 x313 x314 -x315 -x316 x317 -x318 x319 -x320 -x321 -x322 x323 -x324 x325 1782.64/1783.89 v x326 -x327 -x328 x329 x330 x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 x339 x340 -x341 -x342 -x343 -x344 x345 x346 x347 -x348 1782.64/1783.89 v -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 1782.64/1783.89 v x370 x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 1782.64/1783.89 v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
OK -47
Linearizing /tmp/evaluation/455477-1178044137/instance-455477-1178044137.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-455477-1178044137 -o ROOT/results/node22/solver-455477-1178044137 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455477-1178044137/instance-455477-1178044137.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.85 0.97 0.99 3/77 3970 /proc/meminfo: memFree=1837048/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=2288 CPUtime=0 /proc/3970/stat : 3970 (Pueblo) D 3968 3970 21874 0 -1 4194304 158 0 1 0 0 0 0 0 18 0 1 0 252331446 2342912 131 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4160225324 0 0 4096 0 18446744071563479169 0 0 17 0 0 0 /proc/3970/statm: 572 131 110 16 0 11 0 [startup+0.088807 s] /proc/loadavg: 0.85 0.97 0.99 3/77 3970 /proc/meminfo: memFree=1837048/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=3616 CPUtime=0.07 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 528 0 3 0 7 0 0 0 18 0 1 0 252331446 3702784 502 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 904 503 200 16 0 343 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3616 [startup+0.101807 s] /proc/loadavg: 0.85 0.97 0.99 3/77 3970 /proc/meminfo: memFree=1837048/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=4420 CPUtime=0.08 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 726 0 3 0 8 0 0 0 18 0 1 0 252331446 4526080 700 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 5113467 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 1105 700 203 16 0 544 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4420 [startup+0.301838 s] /proc/loadavg: 0.85 0.97 0.99 3/77 3970 /proc/meminfo: memFree=1837048/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=4820 CPUtime=0.29 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 834 0 3 0 28 1 0 0 19 0 1 0 252331446 4935680 808 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527184 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 1205 808 205 16 0 644 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4820 [startup+0.701899 s] /proc/loadavg: 0.85 0.97 0.99 3/77 3970 /proc/meminfo: memFree=1837048/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=5336 CPUtime=0.69 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 946 0 3 0 68 1 0 0 22 0 1 0 252331446 5464064 920 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 1334 920 205 16 0 773 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5336 [startup+1.50302 s] /proc/loadavg: 0.85 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1832752/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=7148 CPUtime=1.49 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 1399 0 3 0 147 2 0 0 25 0 1 0 252331446 7319552 1373 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 1787 1373 205 16 0 1226 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7148 [startup+3.10127 s] /proc/loadavg: 0.85 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1830448/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=9136 CPUtime=3.08 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 1925 0 3 0 306 2 0 0 25 0 1 0 252331446 9355264 1888 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 2284 1888 205 16 0 1723 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9136 [startup+6.30275 s] /proc/loadavg: 0.86 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1828016/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=10432 CPUtime=6.28 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 2256 0 3 0 624 4 0 0 25 0 1 0 252331446 10682368 2219 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 2608 2219 205 16 0 2047 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 10432 [startup+12.7017 s] /proc/loadavg: 0.87 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1825136/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=13352 CPUtime=12.68 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 2960 0 3 0 1263 5 0 0 25 0 1 0 252331446 13672448 2923 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 3338 2923 205 16 0 2777 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13352 [startup+25.5017 s] /proc/loadavg: 0.90 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1821360/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=17308 CPUtime=25.48 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 3947 0 3 0 2541 7 0 0 25 0 1 0 252331446 17723392 3910 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 4327 3910 205 16 0 3766 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17308 [startup+51.1016 s] /proc/loadavg: 0.93 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1819056/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=19676 CPUtime=51.04 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 4543 0 3 0 5094 10 0 0 25 0 1 0 252331446 20148224 4506 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0 /proc/3970/statm: 4919 4506 205 16 0 4358 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 19676 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1817584/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=21112 CPUtime=102.21 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 4893 0 3 0 10207 14 0 0 25 0 1 0 252331446 21618688 4856 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134533479 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 5278 4856 205 16 0 4717 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 21112 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1815856/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=22840 CPUtime=162.17 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 5320 0 3 0 16199 18 0 0 25 0 1 0 252331446 23388160 5283 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 5710 5283 205 16 0 5149 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 22840 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1814128/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=24560 CPUtime=222.14 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 5756 0 3 0 22188 26 0 0 25 0 1 0 252331446 25149440 5719 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 6140 5719 205 16 0 5579 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 24560 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1812336/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=26248 CPUtime=282.1 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 6197 0 3 0 28179 31 0 0 25 0 1 0 252331446 26877952 6160 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527344 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 6562 6160 205 16 0 6001 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 26248 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1810992/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=27828 CPUtime=342.06 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 6590 0 3 0 34171 35 0 0 25 0 1 0 252331446 28495872 6553 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 6957 6553 205 16 0 6396 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 27828 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1810480/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=28092 CPUtime=402.03 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 6662 0 3 0 40163 40 0 0 25 0 1 0 252331446 28766208 6625 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 7023 6625 205 16 0 6462 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 28092 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1810032/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=28620 CPUtime=461.98 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 6760 0 3 0 46153 45 0 0 25 0 1 0 252331446 29306880 6723 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 7155 6723 205 16 0 6594 0 Current children cumulated CPU time (s) 461.98 Current children cumulated vsize (KiB) 28620 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1808048/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=30464 CPUtime=521.95 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 7247 0 3 0 52144 51 0 0 25 0 1 0 252331446 31195136 7210 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 7616 7210 205 16 0 7055 0 Current children cumulated CPU time (s) 521.95 Current children cumulated vsize (KiB) 30464 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 3971 /proc/meminfo: memFree=1807920/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=30632 CPUtime=581.92 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 7275 0 3 0 58134 58 0 0 25 0 1 0 252331446 31367168 7238 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 7658 7238 205 16 0 7097 0 Current children cumulated CPU time (s) 581.92 Current children cumulated vsize (KiB) 30632 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 3973 /proc/meminfo: memFree=1807472/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=30904 CPUtime=641.88 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 7325 0 3 0 64125 63 0 0 25 0 1 0 252331446 31645696 7288 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 7726 7288 205 16 0 7165 0 Current children cumulated CPU time (s) 641.88 Current children cumulated vsize (KiB) 30904 ################ # More data... # ################ /proc/meminfo: memFree=1803952/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=34552 CPUtime=941.65 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8212 0 3 0 94078 87 0 0 25 0 1 0 252331446 35381248 8175 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 8638 8175 205 16 0 8077 0 Current children cumulated CPU time (s) 941.65 Current children cumulated vsize (KiB) 34552 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1803824/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=34544 CPUtime=1001.62 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8226 0 3 0 100071 91 0 0 25 0 1 0 252331446 35373056 8189 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 8636 8189 205 16 0 8075 0 Current children cumulated CPU time (s) 1001.62 Current children cumulated vsize (KiB) 34544 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1803568/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=34800 CPUtime=1061.58 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8275 0 3 0 106063 95 0 0 25 0 1 0 252331446 35635200 8238 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 8700 8238 205 16 0 8139 0 Current children cumulated CPU time (s) 1061.58 Current children cumulated vsize (KiB) 34800 [startup+1122.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 3973 /proc/meminfo: memFree=1801328/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=37024 CPUtime=1121.55 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8832 0 3 0 112054 101 0 0 25 0 1 0 252331446 37912576 8795 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 9256 8795 205 16 0 8695 0 Current children cumulated CPU time (s) 1121.55 Current children cumulated vsize (KiB) 37024 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 3973 /proc/meminfo: memFree=1800944/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=37600 CPUtime=1181.51 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8938 0 3 0 118046 105 0 0 25 0 1 0 252331446 38502400 8901 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 9400 8901 205 16 0 8839 0 Current children cumulated CPU time (s) 1181.51 Current children cumulated vsize (KiB) 37600 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1800752/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=37600 CPUtime=1241.48 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8938 0 3 0 124036 112 0 0 25 0 1 0 252331446 38502400 8901 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 9400 8901 205 16 0 8839 0 Current children cumulated CPU time (s) 1241.48 Current children cumulated vsize (KiB) 37600 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1800624/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=37600 CPUtime=1301.44 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8938 0 3 0 130028 116 0 0 25 0 1 0 252331446 38502400 8901 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 9400 8901 205 16 0 8839 0 Current children cumulated CPU time (s) 1301.44 Current children cumulated vsize (KiB) 37600 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1800624/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=37600 CPUtime=1361.41 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8940 0 3 0 136020 121 0 0 25 0 1 0 252331446 38502400 8903 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 5112159 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 9400 8903 205 16 0 8839 0 Current children cumulated CPU time (s) 1361.41 Current children cumulated vsize (KiB) 37600 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 3/78 3973 /proc/meminfo: memFree=1800560/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=37724 CPUtime=1421.38 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8979 0 3 0 142012 126 0 0 25 0 1 0 252331446 38629376 8942 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 9431 8942 205 16 0 8870 0 Current children cumulated CPU time (s) 1421.38 Current children cumulated vsize (KiB) 37724 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1800560/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=37724 CPUtime=1481.34 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8984 0 3 0 148003 131 0 0 25 0 1 0 252331446 38629376 8947 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 9431 8947 205 16 0 8870 0 Current children cumulated CPU time (s) 1481.34 Current children cumulated vsize (KiB) 37724 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1800304/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=37856 CPUtime=1541.3 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9026 0 3 0 153994 136 0 0 25 0 1 0 252331446 38764544 8989 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 9464 8989 205 16 0 8903 0 Current children cumulated CPU time (s) 1541.3 Current children cumulated vsize (KiB) 37856 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1800112/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=38144 CPUtime=1601.26 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9065 0 3 0 159986 140 0 0 25 0 1 0 252331446 39059456 9028 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 9536 9028 205 16 0 8975 0 Current children cumulated CPU time (s) 1601.26 Current children cumulated vsize (KiB) 38144 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1799728/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=38396 CPUtime=1661.22 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9141 0 3 0 165977 145 0 0 25 0 1 0 252331446 39317504 9104 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134518193 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 9599 9104 205 16 0 9038 0 Current children cumulated CPU time (s) 1661.22 Current children cumulated vsize (KiB) 38396 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1799664/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=38384 CPUtime=1721.17 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9141 0 3 0 171966 151 0 0 25 0 1 0 252331446 39305216 9104 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528320 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 9596 9104 205 16 0 9035 0 Current children cumulated CPU time (s) 1721.17 Current children cumulated vsize (KiB) 38384 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1797808/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=40072 CPUtime=1781.13 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9567 0 3 0 177957 156 0 0 25 0 1 0 252331446 41033728 9530 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517916 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 10018 9530 205 16 0 9457 0 Current children cumulated CPU time (s) 1781.13 Current children cumulated vsize (KiB) 40072 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1797808/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=40072 CPUtime=1781.94 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9567 0 3 0 178037 157 0 0 25 0 1 0 252331446 41033728 9530 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 10018 9530 205 16 0 9457 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 40072 [startup+1783.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1797808/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=40072 CPUtime=1782.34 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9567 0 3 0 178077 157 0 0 25 0 1 0 252331446 41033728 9530 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 10018 9530 205 16 0 9457 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 40072 [startup+1783.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1797808/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=40072 CPUtime=1782.54 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9567 0 3 0 178097 157 0 0 25 0 1 0 252331446 41033728 9530 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 10018 9530 205 16 0 9457 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (KiB) 40072 [startup+1783.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3973 /proc/meminfo: memFree=1797808/2055920 swapFree=4163572/4192956 [pid=3970] ppid=3968 vsize=40072 CPUtime=1782.64 /proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9567 0 3 0 178107 157 0 0 25 0 1 0 252331446 41033728 9530 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557290 0 0 4096 0 0 0 0 17 0 0 0 /proc/3970/statm: 10018 9530 205 16 0 9457 0 Current children cumulated CPU time (s) 1782.64 Current children cumulated vsize (KiB) 40072 Child status: 10 Real time (s): 1783.9 CPU time (s): 1782.74 CPU user time (s): 1781.16 CPU system time (s): 1.57776 CPU usage (%): 99.9349 Max. virtual memory (cumulated for all children) (KiB): 40072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.16 system time used= 1.57776 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9574 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22 involuntary context switches= 35116 runsolver used 1.68474 second user time and 4.81127 second system time The end
Begin job on node22 on Tue May 1 18:28:57 UTC 2007 IDJOB= 455477 IDBENCH= 48266 IDSOLVER= 165 FILE ID= node22/455477-1178044137 PBS_JOBID= 4728411 Free space on /tmp= 66562 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_5.opb COMMAND LINE= Pueblo /tmp/evaluation/455477-1178044137/instance-455477-1178044137.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-455477-1178044137 -o ROOT/results/node22/conversion-455477-1178044137 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455477-1178044137/instance-455477-1178044137.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-455477-1178044137 -o ROOT/results/node22/solver-455477-1178044137 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455477-1178044137/instance-455477-1178044137.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 996170804397234947041ed4d87d3aa0 RANDOM SEED= 931940731 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 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.265 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: 1837392 kB Buffers: 61124 kB Cached: 59772 kB SwapCached: 7080 kB Active: 64444 kB Inactive: 86892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1837392 kB SwapTotal: 4192956 kB SwapFree: 4163572 kB Dirty: 2680 kB Writeback: 0 kB Mapped: 35304 kB Slab: 52804 kB Committed_AS: 4081608 kB PageTables: 1696 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= 66562 MiB End job on node22 on Tue May 1 18:58:42 UTC 2007