Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.28 | SAT (TO) | 101 | 1800.99 | 1801.38 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb |
MD5SUM | f97e3571862917880e13c63c8ac169f9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 65 |
Best CPU time to get the best result obtained on this benchmark | 28.7656 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 65 |
Optimality of the best value was proved | YES |
Number of variables | 2459 |
Total number of constraints | 873 |
Number of constraints which are clauses | 873 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 146 |
Number of terms in the objective function | 2459 |
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 | 2459 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2459 |
Number of bits of the biggest sum of numbers | 12 |
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.28 3.79 o 103 5.80 o 102 158.63 o 101 1801.36 sh: line 1: 27002 Done pbsmodels.trans ROOT/tmp/node10/34269-1154043548/instance-34269-1154043548.opb ROOT/tmp/node10/34269-1154043548 1801.36 27003 Terminated | smodels -seed 928288577 1801.36 27004 Terminated | pbout.pl ROOT/tmp/node10/34269-1154043548/instance-34269-1154043548.opb ROOT/tmp/node10/34269-1154043548 1801.36 s SATISFIABLE 1801.36 v x22 x36 x89 x156 x157 x173 x203 x236 x311 x387 x435 x468 x495 x511 x516 x532 x620 x646 x660 x665 x672 x678 x687 x708 x738 x747 1801.36 v x780 x815 x860 x862 x865 x900 x1012 x1013 x1024 x1030 x1098 x1160 x1192 x1217 x1238 x1261 x1275 x1336 x1341 x1352 x1400 x1409 1801.36 v x1432 x1441 x1466 x1468 x1479 x1486 x1497 x1502 x1518 x1574 x1599 x1610 x1625 x1626 x1644 x1651 x1652 x1682 x1689 x1761 x1778 1801.36 v x1791 x1808 x1850 x1851 x1852 x1888 x1917 x1919 x1920 x1943 x1965 x1995 x2004 x2056 x2081 x2083 x2108 x2145 x2148 x2199 x2206 1801.36 v x2226 x2265 x2288 x2295 x2381 x2392 x2419 x2425 x2426 x2434 x2436 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 1801.36 v -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 -x42 1801.36 v -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 1801.36 v -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x90 -x91 -x92 -x93 -x94 -x95 1801.36 v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 1801.36 v -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 1801.36 v -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x158 -x159 -x160 1801.36 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 1801.36 v -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x204 1801.36 v -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 1801.36 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 1801.36 v -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 1801.36 v -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 1801.36 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 1801.36 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 1801.36 v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 1801.36 v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 1801.36 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 1801.36 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 1801.36 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x436 -x437 -x438 -x439 1801.36 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 1801.36 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1801.36 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1801.36 v -x505 -x506 -x507 -x508 -x509 -x510 -x512 -x513 -x514 -x515 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1801.36 v -x528 -x529 -x530 -x531 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1801.36 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1801.36 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1801.36 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1801.36 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 1801.36 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1801.36 v -x657 -x658 -x659 -x661 -x662 -x663 -x664 -x666 -x667 -x668 -x669 -x670 -x671 -x673 -x674 -x675 -x676 -x677 -x679 -x680 -x681 1801.36 v -x682 -x683 -x684 -x685 -x686 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 1801.36 v -x704 -x705 -x706 -x707 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 1801.36 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x748 1801.36 v -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 1801.36 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 1801.36 v -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 1801.36 v -x813 -x814 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 1801.36 v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 1801.36 v -x856 -x857 -x858 -x859 -x861 -x863 -x864 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 1801.36 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x901 1801.36 v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 1801.36 v -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 1801.36 v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 1801.36 v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 1801.36 v -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1801.36 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 1801.36 v -x1026 -x1027 -x1028 -x1029 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1801.36 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1801.36 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1801.36 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1801.36 v -x1095 -x1096 -x1097 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1801.36 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1801.36 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1801.36 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1161 -x1162 -x1163 -x1164 1801.36 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1801.36 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 1801.36 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1801.36 v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 1801.36 v -x1235 -x1236 -x1237 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 1801.36 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 1801.36 v -x1271 -x1272 -x1273 -x1274 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 1801.36 v -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 1801.36 v -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 1801.36 v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1337 -x1338 -x1339 -x1340 1801.36 v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 1801.36 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1801.36 v -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 1801.36 v -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1410 -x1411 -x1412 1801.36 v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 1801.36 v -x1430 -x1431 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1801.36 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1801.36 v -x1467 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1801.36 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 1801.36 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1519 -x1520 -x1521 -x1522 -x1523 1801.36 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1801.36 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1801.36 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1575 1801.36 v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 1801.36 v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 1801.36 v -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1627 -x1628 -x1629 -x1630 1801.36 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1645 -x1646 -x1647 -x1648 1801.36 v -x1649 -x1650 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 1801.36 v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1683 -x1684 -x1685 1801.36 v -x1686 -x1687 -x1688 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1801.36 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1801.36 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 1801.36 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 1801.36 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1801.36 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1801.36 v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1809 1801.36 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1801.36 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1801.36 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1801.36 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1801.36 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 1801.36 v -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 1801.36 v -x1916 -x1918 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1801.36 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1801.36 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 1801.36 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 1801.36 v -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2005 -x2006 -x2007 1801.36 v -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 1801.36 v -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 1801.36 v -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2057 -x2058 -x2059 1801.36 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1801.36 v -x2077 -x2078 -x2079 -x2080 -x2082 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1801.36 v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2109 -x2110 -x2111 -x2112 -x2113 1801.36 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1801.36 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2146 -x2147 -x2149 1801.36 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1801.36 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1801.36 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2200 -x2201 1801.36 v -x2202 -x2203 -x2204 -x2205 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1801.36 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1801.36 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1801.36 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 1801.36 v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2289 -x2290 1801.36 v -x2291 -x2292 -x2293 -x2294 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 1801.36 v -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 1801.36 v -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 1801.36 v -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 1801.36 v -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 1801.36 v -x2377 -x2378 -x2379 -x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2393 -x2394 -x2395 1801.36 v -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 1801.36 v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2420 -x2421 -x2422 -x2423 -x2424 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 1801.36 v -x2433 -x2435 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 1801.36 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459
OK 101
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.3 (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/node10/watcher-34269-1154043548 -o ROOT/results/node10/solver-34269-1154043548 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node10/34269-1154043548/instance-34269-1154043548.opb 928288577 ROOT/tmp/node10/34269-1154043548 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 26999 /proc/meminfo: memFree=1267456/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=5360 CPUtime=0 /proc/27000/stat : 27000 (runpbsmodels) R 26999 26999 26950 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 151215954 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919867687 0 0 4096 0 0 0 0 17 1 0 0 /proc/27000/statm: 0 0 0 0 0 0 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.99 2/68 27004 /proc/meminfo: memFree=1264568/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=9.67 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 967 0 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531452 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 482 0 0 0 0 0 0 0 16 0 1 0 151215955 12697600 441 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 441 333 3 0 200 0 Current children cumulated CPU time (s) 10.18 Current children cumulated vsize (Kb) 39016 [startup+20.0089 s] /proc/loadavg: 0.94 0.98 0.99 2/68 27004 /proc/meminfo: memFree=1264632/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=19.68 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 1968 0 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534192 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 482 0 0 0 0 0 0 0 16 0 1 0 151215955 12697600 441 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 441 333 3 0 200 0 Current children cumulated CPU time (s) 20.19 Current children cumulated vsize (Kb) 39016 [startup+30.0152 s] /proc/loadavg: 0.95 0.98 0.99 2/68 27004 /proc/meminfo: memFree=1264696/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=29.68 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 2968 0 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 482 0 0 0 0 0 0 0 16 0 1 0 151215955 12697600 441 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 441 333 3 0 200 0 Current children cumulated CPU time (s) 30.19 Current children cumulated vsize (Kb) 39016 [startup+40.0216 s] /proc/loadavg: 0.96 0.98 0.99 2/68 27004 /proc/meminfo: memFree=1264696/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=39.68 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 3968 0 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533125 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 482 0 0 0 0 0 0 0 16 0 1 0 151215955 12697600 441 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 441 333 3 0 200 0 Current children cumulated CPU time (s) 40.19 Current children cumulated vsize (Kb) 39016 [startup+50.029 s] /proc/loadavg: 0.96 0.98 0.99 2/68 27004 /proc/meminfo: memFree=1264760/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=49.68 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 4968 0 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533788 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 482 0 0 0 0 0 0 0 16 0 1 0 151215955 12697600 441 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 441 333 3 0 200 0 Current children cumulated CPU time (s) 50.19 Current children cumulated vsize (Kb) 39016 [startup+60.0363 s] /proc/loadavg: 0.97 0.98 0.99 2/68 27004 /proc/meminfo: memFree=1264760/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=59.69 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 5969 0 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533139 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 482 0 0 0 0 0 0 0 16 0 1 0 151215955 12697600 441 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 441 333 3 0 200 0 Current children cumulated CPU time (s) 60.2 Current children cumulated vsize (Kb) 39016 [startup+70.0427 s] /proc/loadavg: 0.97 0.98 0.99 2/68 27004 /proc/meminfo: memFree=1264760/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=69.69 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 6969 0 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533813 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 482 0 0 0 0 0 0 0 16 0 1 0 151215955 12697600 441 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 441 333 3 0 200 0 Current children cumulated CPU time (s) 70.2 Current children cumulated vsize (Kb) 39016 [startup+80.049 s] /proc/loadavg: 0.98 0.98 0.99 2/68 27004 /proc/meminfo: memFree=1264760/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=79.69 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 7969 0 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520703 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 482 0 0 0 0 0 0 0 16 0 1 0 151215955 12697600 441 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 441 333 3 0 200 0 Current children cumulated CPU time (s) 80.2 Current children cumulated vsize (Kb) 39016 [startup+90.0554 s] /proc/loadavg: 0.98 0.98 0.99 2/68 27004 /proc/meminfo: memFree=1264760/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=1793.39 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 179336 3 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520550 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 486 0 0 0 0 0 0 0 17 0 1 0 151215955 12697600 445 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 445 333 3 0 200 0 Current children cumulated CPU time (s) 1793.9 Current children cumulated vsize (Kb) 39016 [startup+1795.32 s] /proc/loadavg: 0.99 0.98 0.99 2/68 27204 /proc/meminfo: memFree=1263992/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=1794.39 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 179436 3 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534241 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 486 0 0 0 0 0 0 0 17 0 1 0 151215955 12697600 445 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 445 333 3 0 200 0 Current children cumulated CPU time (s) 1794.9 Current children cumulated vsize (Kb) 39016 [startup+1796.33 s] /proc/loadavg: 0.99 0.98 0.99 2/68 27204 /proc/meminfo: memFree=1263992/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=1795.4 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 179537 3 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533782 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 486 0 0 0 0 0 0 0 17 0 1 0 151215955 12697600 445 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 445 333 3 0 200 0 Current children cumulated CPU time (s) 1795.91 Current children cumulated vsize (Kb) 39016 [startup+1797.33 s] /proc/loadavg: 0.99 0.98 0.99 2/68 27204 /proc/meminfo: memFree=1263992/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=1796.41 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 179638 3 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533776 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 486 0 0 0 0 0 0 0 17 0 1 0 151215955 12697600 445 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 445 333 3 0 200 0 Current children cumulated CPU time (s) 1796.92 Current children cumulated vsize (Kb) 39016 [startup+1798.34 s] /proc/loadavg: 0.99 0.98 0.99 2/68 27204 /proc/meminfo: memFree=1263992/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=1797.41 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 179738 3 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533818 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 486 0 0 0 0 0 0 0 17 0 1 0 151215955 12697600 445 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 445 333 3 0 200 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (Kb) 39016 [startup+1799.34 s] /proc/loadavg: 0.99 0.98 0.99 2/68 27204 /proc/meminfo: memFree=1263992/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=1798.42 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 179839 3 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520649 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 486 0 0 0 0 0 0 0 17 0 1 0 151215955 12697600 445 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 445 333 3 0 200 0 Current children cumulated CPU time (s) 1798.93 Current children cumulated vsize (Kb) 39016 [startup+1800.35 s] /proc/loadavg: 0.99 0.98 0.99 2/68 27204 /proc/meminfo: memFree=1263992/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=1799.42 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 179939 3 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531452 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 486 0 0 0 0 0 0 0 17 0 1 0 151215955 12697600 445 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 445 333 3 0 200 0 Current children cumulated CPU time (s) 1799.93 Current children cumulated vsize (Kb) 39016 [startup+1801.35 s] /proc/loadavg: 0.99 0.98 0.99 2/68 27204 /proc/meminfo: memFree=1263992/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=1800.43 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 180040 3 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533776 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 486 0 0 0 0 0 0 0 17 0 1 0 151215955 12697600 445 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 445 333 3 0 200 0 Current children cumulated CPU time (s) 1800.94 Current children cumulated vsize (Kb) 39016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.36 s] /proc/loadavg: 0.99 0.98 0.99 2/68 27204 /proc/meminfo: memFree=1263992/2055920 swapFree=4182612/4192956 [pid=26999] ppid=26997 vsize=5360 CPUtime=0 /proc/26999/stat : 26999 (runpbsmodels) S 26997 26999 26950 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151215953 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26999/statm: 1340 234 195 169 0 51 0 [pid=27000] ppid=26999 vsize=12268 CPUtime=0 /proc/27000/stat : 27000 (pbsmodels-v1.28) S 26999 26999 26950 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151215954 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/27000/statm: 3067 383 293 3 0 167 0 [pid=27001] ppid=27000 vsize=5356 CPUtime=0.51 /proc/27001/stat : 27001 (sh) S 27000 26999 26950 0 -1 4194304 311 697 0 0 0 0 51 0 16 0 1 0 151215954 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27001/statm: 1339 227 188 169 0 50 0 [pid=27003] ppid=27001 vsize=3632 CPUtime=1800.43 /proc/27003/stat : 27003 (smodels) R 27001 26999 26950 0 -1 4194304 568 0 0 0 180040 3 0 0 25 0 1 0 151215955 3719168 532 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533088 0 0 4096 0 0 0 0 17 1 0 0 /proc/27003/statm: 908 532 211 20 0 345 0 [pid=27004] ppid=27001 vsize=12400 CPUtime=0 /proc/27004/stat : 27004 (pbout.pl) S 27001 26999 26950 0 -1 4194304 486 0 0 0 0 0 0 0 17 0 1 0 151215955 12697600 445 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 214928765026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/27004/statm: 3100 445 333 3 0 200 0 Current children cumulated CPU time (s) 1800.94 Current children cumulated vsize (Kb) 39016 Sending SIGTERM to process tree (bottom up) Child status: 0 Real time (s): 1801.38 CPU time (s): 1800.99 CPU user time (s): 1800.93 CPU system time (s): 0.06299 CPU usage (%): 99.9785 Max. virtual memory (cumulated for all children) (Kb): 39016 The end
Begin job on node10 on Thu Jul 27 23:39:08 UTC 2006 FILE ID= 34269-1154043548 PBS_JOBID= 881422 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-ex5.pi.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node10/34269-1154043548/instance-34269-1154043548.opb 928288577 ROOT/tmp/node10/34269-1154043548 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-34269-1154043548 -o ROOT/results/node10/solver-34269-1154043548 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node10/34269-1154043548/instance-34269-1154043548.opb 928288577 ROOT/tmp/node10/34269-1154043548 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= f97e3571862917880e13c63c8ac169f9 RANDOM SEED= 928288577 TIMEOUT= 1800 seconds /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.216 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.216 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: 1267664 kB Buffers: 14212 kB Cached: 724188 kB SwapCached: 4568 kB Active: 115900 kB Inactive: 631944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1267664 kB SwapTotal: 4192956 kB SwapFree: 4182612 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14412 kB Slab: 26440 kB Committed_AS: 681036 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node10 on Fri Jul 28 00:09:09 UTC 2006