Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-smodels 1.31 | SAT | 35.4296 | 25.5454 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb |
MD5SUM | a6ae80bf3bd14a966c0a388701471ae7 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 2.14267 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1600 |
Total number of constraints | 328901 |
Number of constraints which are clauses | 327070 |
Number of constraints which are cardinality constraints (but not clauses) | 61 |
Number of constraints which are nor clauses,nor cardinality constraints | 1770 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 700 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 258 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 759 |
Number of bits of the biggest sum of numbers | 10 |
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 c Running pbsmodels-v1.31 25.54 s SATISFIABLE 25.54 v x901 x902 x5 x952 x957 x960 x983 x994 x1006 x1015 x1027 x1031 x1065 x1113 x1132 x1137 x1159 x1172 x1270 x1292 x1313 x1351 x1359 25.54 v x1404 x1451 x1456 x1492 x1508 x1563 x1595 x56 x67 x120 x136 x179 x190 x234 x261 x288 x301 x352 x363 x399 x424 x477 x492 x518 25.54 v x560 x584 x606 x645 x671 x692 x733 x767 x808 x833 x865 x889 -x2 -x3 -x7 -x903 -x8 -x904 -x9 -x905 -x10 -x906 -x11 -x907 -x12 -x908 25.54 v -x13 -x909 -x15 -x910 -x16 -x911 -x17 -x912 -x18 -x913 -x19 -x914 -x20 -x915 -x21 -x916 -x23 -x917 -x24 -x918 -x25 -x919 -x26 25.54 v -x920 -x27 -x921 -x29 -x922 -x30 -x923 -x1 -x924 -x925 -x4 -x926 -x927 -x6 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 25.54 v -x14 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x28 -x947 -x948 -x949 -x950 -x951 -x953 -x954 -x955 25.54 v -x956 -x958 -x959 -x961 -x962 -x963 -x964 -x965 -x966 -x22 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 25.54 v -x978 -x979 -x980 -x981 -x982 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x995 -x996 -x997 -x998 -x999 -x1000 25.54 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1016 -x1017 -x1018 -x1019 25.54 v -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1028 -x1029 -x1030 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 25.54 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 25.54 v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 25.54 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 25.54 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 25.54 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 25.54 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1133 -x1134 -x1135 -x1136 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 25.54 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1160 -x1161 -x1162 25.54 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 25.54 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 25.54 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 25.54 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 25.54 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 25.54 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 25.54 v -x1266 -x1267 -x1268 -x1269 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 25.54 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 25.54 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 25.54 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 25.54 v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 25.54 v -x1355 -x1356 -x1357 -x1358 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 25.54 v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 25.54 v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1405 -x1406 -x1407 25.54 v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 25.54 v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 25.54 v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1452 -x1453 -x1454 -x1455 -x1457 -x1458 -x1459 -x1460 25.54 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 25.54 v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1493 -x1494 -x1495 25.54 v -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1509 -x1510 -x1511 -x1512 -x1513 25.54 v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 25.54 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 25.54 v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1564 -x1565 25.54 v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 25.54 v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1596 -x1597 -x1598 -x1599 -x1600 25.54 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x57 25.54 v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 25.54 v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 25.54 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 25.54 v -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 25.54 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 25.54 v -x174 -x175 -x176 -x177 -x178 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x191 -x192 -x193 -x194 -x195 -x196 25.54 v -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 25.54 v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x235 -x236 -x237 -x238 -x239 25.54 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 25.54 v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 25.54 v -x283 -x284 -x285 -x286 -x287 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x302 -x303 -x304 -x305 25.54 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 25.54 v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 25.54 v -x348 -x349 -x350 -x351 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x364 -x365 -x366 -x367 -x368 -x369 -x370 25.54 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 25.54 v -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 25.54 v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 25.54 v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 25.54 v -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x478 25.54 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 25.54 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x519 -x520 -x521 -x522 25.54 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 25.54 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x561 -x562 -x563 -x564 -x565 25.54 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x585 -x586 -x587 25.54 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x607 -x608 -x609 25.54 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 25.54 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x646 -x647 -x648 -x649 -x650 -x651 -x652 25.54 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x672 -x673 -x674 25.54 v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x693 -x694 -x695 -x696 25.54 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 25.54 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x734 -x735 -x736 -x737 -x738 -x739 25.54 v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 25.54 v -x761 -x762 -x763 -x764 -x765 -x766 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 25.54 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 25.54 v -x804 -x805 -x806 -x807 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 25.54 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 25.54 v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x866 -x867 -x868 -x869 25.54 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x890 -x891 25.54 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node48/watcher-45064-1149641787 -o ROOT/results/node48/solver-45064-1149641787 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node48/45064-1149641787/instance-45064-1149641787.opb 940566422 ROOT/tmp/node48/45064-1149641787 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 30722 /proc/meminfo: memFree=1193248/2055920 swapFree=4181452/4192956 [pid=30722] ppid=30720 vsize=5360 CPUtime=0 /proc/30722/stat : 30722 (runpbsmodels) R 30720 30722 30676 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 229845841 5488640 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255539604127 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/30722/statm: 1340 233 194 169 0 51 0 [pid=30723] ppid=30722 vsize=5360 CPUtime=0 /proc/30723/stat : 30723 (runpbsmodels) D 30722 30722 30676 0 -1 4194368 18 0 0 0 0 0 0 0 18 0 1 0 229845841 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255539604775 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/30723/statm: 1340 234 195 169 0 51 0 [startup+10.0018 s] /proc/loadavg: 0.93 0.98 0.99 2/69 30727 /proc/meminfo: memFree=1176760/2055920 swapFree=4181452/4192956 [pid=30722] ppid=30720 vsize=5360 CPUtime=0 /proc/30722/stat : 30722 (runpbsmodels) S 30720 30722 30676 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229845841 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30722/statm: 1340 234 195 169 0 51 0 [pid=30723] ppid=30722 vsize=12268 CPUtime=0 /proc/30723/stat : 30723 (pbsmodels-v1.31) S 30722 30722 30676 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229845841 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30723/statm: 3067 383 293 3 0 167 0 [pid=30724] ppid=30723 vsize=5356 CPUtime=0 /proc/30724/stat : 30724 (sh) S 30723 30722 30676 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229845842 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30724/statm: 1339 227 188 169 0 50 0 [pid=30725] ppid=30724 vsize=12400 CPUtime=9.97 /proc/30725/stat : 30725 (pb2smodels) R 30724 30722 30676 0 -1 4194304 516 0 0 0 996 1 0 0 25 0 1 0 229845842 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 255553332308 0 0 4224 0 0 0 0 17 1 0 0 /proc/30725/statm: 3100 474 340 3 0 200 0 [pid=30726] ppid=30724 vsize=16960 CPUtime=4.2 /proc/30726/stat : 30726 (smodels-2.31) S 30724 30722 30676 0 -1 4194304 3926 0 0 0 419 1 0 0 16 0 1 0 229845842 17367040 3890 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/30726/statm: 4240 3890 203 21 0 3676 0 [pid=30727] ppid=30724 vsize=12268 CPUtime=0 /proc/30727/stat : 30727 (pbout.new.pl) S 30724 30722 30676 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229845842 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30727/statm: 3067 377 289 3 0 167 0 Current children cumulated CPU time (s) 14.17 Current children cumulated vsize (Kb) 52344 [startup+20.0085 s] /proc/loadavg: 1.02 1.00 1.00 3/69 30727 /proc/meminfo: memFree=1161016/2055920 swapFree=4181452/4192956 [pid=30722] ppid=30720 vsize=5360 CPUtime=0 /proc/30722/stat : 30722 (runpbsmodels) S 30720 30722 30676 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229845841 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30722/statm: 1340 234 195 169 0 51 0 [pid=30723] ppid=30722 vsize=12268 CPUtime=0 /proc/30723/stat : 30723 (pbsmodels-v1.31) S 30722 30722 30676 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229845841 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30723/statm: 3067 383 293 3 0 167 0 [pid=30724] ppid=30723 vsize=5356 CPUtime=0 /proc/30724/stat : 30724 (sh) S 30723 30722 30676 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229845842 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30724/statm: 1339 227 188 169 0 50 0 [pid=30725] ppid=30724 vsize=12400 CPUtime=19.97 /proc/30725/stat : 30725 (pb2smodels) R 30724 30722 30676 0 -1 4194304 516 0 0 0 1995 2 0 0 25 0 1 0 229845842 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 255553423872 0 0 4224 0 0 0 0 17 1 0 0 /proc/30725/statm: 3100 474 340 3 0 200 0 [pid=30726] ppid=30724 vsize=32668 CPUtime=9.09 /proc/30726/stat : 30726 (smodels-2.31) S 30724 30722 30676 0 -1 4194304 7845 0 0 0 905 4 0 0 16 0 1 0 229845842 33452032 7809 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/30726/statm: 8167 7809 203 21 0 7603 0 [pid=30727] ppid=30724 vsize=12268 CPUtime=0 /proc/30727/stat : 30727 (pbout.new.pl) S 30724 30722 30676 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229845842 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30727/statm: 3067 377 289 3 0 167 0 Current children cumulated CPU time (s) 29.06 Current children cumulated vsize (Kb) 68052 Child status: 0 Real time (s): 25.5454 CPU time (s): 35.4296 CPU user time (s): 35.3216 CPU system time (s): 0.107983 CPU usage (%): 138.693 Max. virtual memory (cumulated for all children) (Kb): 68052 The end
Begin job on node48 on Wed Jun 7 00:56:28 UTC 2006 FILE ID= 45064-1149641787 PBS_JOBID= 323563 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node48/45064-1149641787/instance-45064-1149641787.opb 940566422 ROOT/tmp/node48/45064-1149641787 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-45064-1149641787 -o ROOT/results/node48/solver-45064-1149641787 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node48/45064-1149641787/instance-45064-1149641787.opb 940566422 ROOT/tmp/node48/45064-1149641787 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= a6ae80bf3bd14a966c0a388701471ae7 RANDOM SEED= 940566422 /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.259 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.259 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: 1193456 kB Buffers: 17324 kB Cached: 781256 kB SwapCached: 3412 kB Active: 33900 kB Inactive: 773644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1193456 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14884 kB Slab: 40960 kB Committed_AS: 399448 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node48 on Wed Jun 7 00:56:56 UTC 2006