Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | OPT | -6 | 104.82 | 104.861 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_5.opb |
MD5SUM | 75c62437256ecfefd1c4252ede4b185e |
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 | -6 |
Best CPU time to get the best result obtained on this benchmark | 104.82 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -6 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2928 |
Sum of products size (including duplicates) | 5856 |
Number of different products | 1464 |
Sum of products size | 2928 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.00/0.06 c starting to Solve 0.00/0.06 c #variables read: 1564 - #constraints read: 3081 0.00/0.06 o 0 0.00/0.06 o 1 0.00/0.06 o 2 0.00/0.06 o 3 0.00/0.06 o 4 0.00/0.07 o 5 0.29/0.38 o 6 104.76/104.85 c optimum objective found = 6 104.76/104.85 c total time : 104.83 s 104.76/104.85 s OPTIMUM FOUND 104.76/104.85 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 104.76/104.85 v -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 -x49 x50 -x101 -x102 -x103 -x104 104.76/104.85 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 104.76/104.85 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 104.76/104.85 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 104.76/104.85 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 104.76/104.85 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 104.76/104.85 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 104.76/104.85 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 104.76/104.85 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 104.76/104.85 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 104.76/104.85 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 104.76/104.85 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 104.76/104.85 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 104.76/104.85 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 104.76/104.85 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 104.76/104.85 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 104.76/104.85 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 104.76/104.85 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 104.76/104.85 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 104.76/104.85 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 104.76/104.85 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 104.76/104.85 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 104.76/104.85 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 104.76/104.85 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 104.76/104.85 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 104.76/104.85 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 104.76/104.85 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 104.76/104.85 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 104.76/104.85 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 104.76/104.85 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 104.76/104.85 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 104.76/104.85 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 104.76/104.85 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 104.76/104.85 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 104.76/104.85 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 104.76/104.85 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 104.76/104.85 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 104.76/104.85 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 104.76/104.85 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 104.76/104.85 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 104.76/104.85 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 104.76/104.85 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 104.76/104.85 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 104.76/104.85 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 104.76/104.85 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 104.76/104.85 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 104.76/104.85 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 104.76/104.85 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 104.76/104.85 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 104.76/104.85 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 104.76/104.85 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 104.76/104.85 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 104.76/104.85 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 104.76/104.85 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 104.76/104.85 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 104.76/104.85 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 104.76/104.85 v -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 104.76/104.85 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 104.76/104.85 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 104.76/104.85 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 104.76/104.85 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 104.76/104.85 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 104.76/104.85 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 104.76/104.85 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 104.76/104.85 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 104.76/104.85 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 104.76/104.85 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 104.76/104.85 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 104.76/104.85 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 104.76/104.85 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 104.76/104.85 v x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 104.76/104.85 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 104.76/104.85 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 104.76/104.85 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 104.76/104.85 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 104.76/104.85 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 104.76/104.85 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x51 -x52 -x53 104.76/104.85 v -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 104.76/104.85 v x80 -x81 -x82 -x83 -x84 x85 x86 -x87 -x88 -x89 -x90 x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
OK -6
Linearizing /tmp/evaluation/454967-1178034633/instance-454967-1178034633.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-454967-1178034633 -o ROOT/results/node25/solver-454967-1178034633 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/454967-1178034633/instance-454967-1178034633.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.78 0.95 0.98 3/64 17261 /proc/meminfo: memFree=1894048/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=2552 CPUtime=0 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 251380441 2613248 234 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 638 234 199 16 0 77 0 [startup+0.09386 s] /proc/loadavg: 0.78 0.95 0.98 3/64 17261 /proc/meminfo: memFree=1894048/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=3792 CPUtime=0.08 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 572 0 0 0 8 0 0 0 18 0 1 0 251380441 3883008 543 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522748 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 948 543 205 16 0 387 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3792 [startup+0.101859 s] /proc/loadavg: 0.78 0.95 0.98 3/64 17261 /proc/meminfo: memFree=1894048/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=3792 CPUtime=0.09 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 572 0 0 0 9 0 0 0 18 0 1 0 251380441 3883008 543 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 948 543 205 16 0 387 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3792 [startup+0.301893 s] /proc/loadavg: 0.78 0.95 0.98 3/64 17261 /proc/meminfo: memFree=1894048/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=3924 CPUtime=0.29 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 602 0 0 0 29 0 0 0 19 0 1 0 251380441 4018176 573 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 981 573 205 16 0 420 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3924 [startup+0.701962 s] /proc/loadavg: 0.78 0.95 0.98 3/64 17261 /proc/meminfo: memFree=1894048/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=4296 CPUtime=0.69 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 712 0 0 0 69 0 0 0 22 0 1 0 251380441 4399104 683 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 1074 683 205 16 0 513 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4296 [startup+1.5011 s] /proc/loadavg: 0.80 0.95 0.98 2/65 17262 /proc/meminfo: memFree=1891992/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=4692 CPUtime=1.48 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 805 0 0 0 148 0 0 0 25 0 1 0 251380441 4804608 776 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10462843 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 1173 776 205 16 0 612 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 4692 [startup+3.10137 s] /proc/loadavg: 0.80 0.95 0.98 2/65 17262 /proc/meminfo: memFree=1891288/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=5080 CPUtime=3.08 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 895 0 0 0 307 1 0 0 25 0 1 0 251380441 5201920 866 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 1270 866 205 16 0 709 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 5080 [startup+6.30192 s] /proc/loadavg: 0.81 0.95 0.98 2/65 17262 /proc/meminfo: memFree=1890856/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=5304 CPUtime=6.29 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 974 0 0 0 626 3 0 0 25 0 1 0 251380441 5431296 945 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 1326 945 205 16 0 765 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5304 [startup+12.702 s] /proc/loadavg: 0.83 0.95 0.98 2/65 17262 /proc/meminfo: memFree=1890360/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=5892 CPUtime=12.69 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 1106 0 0 0 1264 5 0 0 25 0 1 0 251380441 6033408 1077 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134558140 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 1473 1077 205 16 0 912 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 5892 [startup+25.5012 s] /proc/loadavg: 0.86 0.95 0.98 2/65 17262 /proc/meminfo: memFree=1889784/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=6412 CPUtime=25.48 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 1251 0 0 0 2539 9 0 0 25 0 1 0 251380441 6565888 1222 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 1603 1222 205 16 0 1042 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 6412 [startup+51.1016 s] /proc/loadavg: 0.91 0.96 0.98 2/65 17262 /proc/meminfo: memFree=1889400/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=6884 CPUtime=51.07 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 1338 0 0 0 5090 17 0 0 25 0 1 0 251380441 7049216 1309 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 1721 1309 205 16 0 1160 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 6884 [startup+102.304 s] /proc/loadavg: 0.96 0.96 0.98 2/65 17262 /proc/meminfo: memFree=1888760/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=7540 CPUtime=102.26 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 1506 0 0 0 10192 34 0 0 25 0 1 0 251380441 7720960 1477 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 1885 1477 205 16 0 1324 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 7540 Solver just ended. Dumping a history of the last processes samples [startup+103.902 s] /proc/loadavg: 0.96 0.96 0.98 2/65 17262 /proc/meminfo: memFree=1888760/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=7540 CPUtime=103.85 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 1507 0 0 0 10351 34 0 0 25 0 1 0 251380441 7720960 1478 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 1885 1478 205 16 0 1324 0 Current children cumulated CPU time (s) 103.85 Current children cumulated vsize (KiB) 7540 [startup+104.302 s] /proc/loadavg: 0.96 0.96 0.98 2/65 17262 /proc/meminfo: memFree=1888760/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=7540 CPUtime=104.26 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 1508 0 0 0 10391 35 0 0 25 0 1 0 251380441 7720960 1479 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 1885 1479 205 16 0 1324 0 Current children cumulated CPU time (s) 104.26 Current children cumulated vsize (KiB) 7540 [startup+104.702 s] /proc/loadavg: 0.96 0.96 0.98 2/65 17262 /proc/meminfo: memFree=1888696/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=7540 CPUtime=104.66 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 1508 0 0 0 10431 35 0 0 25 0 1 0 251380441 7720960 1479 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 1885 1479 205 16 0 1324 0 Current children cumulated CPU time (s) 104.66 Current children cumulated vsize (KiB) 7540 [startup+104.802 s] /proc/loadavg: 0.96 0.96 0.98 2/65 17262 /proc/meminfo: memFree=1888696/2055920 swapFree=4182940/4192956 [pid=17261] ppid=17259 vsize=7540 CPUtime=104.76 /proc/17261/stat : 17261 (Pueblo) R 17259 17261 17121 0 -1 4194304 1508 0 0 0 10441 35 0 0 25 0 1 0 251380441 7720960 1479 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17261/statm: 1885 1479 205 16 0 1324 0 Current children cumulated CPU time (s) 104.76 Current children cumulated vsize (KiB) 7540 Child status: 30 Real time (s): 104.861 CPU time (s): 104.82 CPU user time (s): 104.467 CPU system time (s): 0.352946 CPU usage (%): 99.9613 Max. virtual memory (cumulated for all children) (KiB): 7548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 104.467 system time used= 0.352946 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1515 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= 15 involuntary context switches= 281 runsolver used 0.086986 second user time and 0.206968 second system time The end
Begin job on node25 on Tue May 1 15:50:33 UTC 2007 IDJOB= 454967 IDBENCH= 48232 IDSOLVER= 165 FILE ID= node25/454967-1178034633 PBS_JOBID= 4728448 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_50_25_5.opb COMMAND LINE= Pueblo /tmp/evaluation/454967-1178034633/instance-454967-1178034633.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-454967-1178034633 -o ROOT/results/node25/conversion-454967-1178034633 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454967-1178034633/instance-454967-1178034633.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-454967-1178034633 -o ROOT/results/node25/solver-454967-1178034633 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/454967-1178034633/instance-454967-1178034633.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 75c62437256ecfefd1c4252ede4b185e RANDOM SEED= 441830423 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1894520 kB Buffers: 26820 kB Cached: 67040 kB SwapCached: 3856 kB Active: 64772 kB Inactive: 38752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1894520 kB SwapTotal: 4192956 kB SwapFree: 4182940 kB Dirty: 2716 kB Writeback: 0 kB Mapped: 15360 kB Slab: 43904 kB Committed_AS: 6201244 kB PageTables: 1472 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 node25 on Tue May 1 15:52:19 UTC 2007