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