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