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