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