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