Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.28 | SAT (TO) | 20 | 1800.83 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb |
MD5SUM | 1a5dd226c84aa8cc751cd6025cf57c5b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 8.91564 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | YES |
Number of variables | 3100 |
Total number of constraints | 120 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3100 |
Biggest coefficient in the objective function | 4599 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 526310 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526310 |
Number of bits of the biggest sum of numbers | 20 |
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 54.62 o 20 1801.25 sh: line 1: 26759 Done pbsmodels.trans ROOT/tmp/node56/33783-1154022671/instance-33783-1154022671.opb ROOT/tmp/node56/33783-1154022671 1801.25 26760 Terminated | smodels -seed 829518118 1801.25 26761 Terminated | pbout.pl ROOT/tmp/node56/33783-1154022671/instance-33783-1154022671.opb ROOT/tmp/node56/33783-1154022671 1801.25 s SATISFIABLE 1801.25 v x10 x301 x662 x882 x1262 x1568 x1750 x2102 x2499 x2793 x3001 x3011 x3023 x3030 x3043 x3053 x3059 x3071 x3084 x3094 -x1 -x2 1801.25 v -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 1801.25 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1801.25 v -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1801.25 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1801.25 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1801.25 v -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 1801.25 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353 1801.25 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1801.25 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1801.25 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1801.25 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1801.25 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1801.25 v -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1801.25 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 1801.25 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1801.25 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 1801.25 v -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 1801.25 v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 1801.25 v -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 1801.25 v -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 1801.25 v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1801.25 v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1801.25 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 1801.25 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 1801.25 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 1801.25 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 1801.25 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x302 -x303 -x304 -x305 -x306 1801.25 v -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 1801.25 v -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 1801.25 v -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1801.25 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1801.25 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1801.25 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1801.25 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1801.25 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1801.25 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1801.25 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1801.25 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1801.25 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1801.25 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1801.25 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1801.25 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1801.25 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1801.25 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 -x723 -x724 1801.25 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 1801.25 v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 1801.25 v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 1801.25 v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 1801.25 v -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 1801.25 v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 1801.25 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 1801.25 v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 1801.25 v -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 1801.25 v -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 1801.25 v -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 1801.25 v -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 1801.25 v -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 1801.25 v -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1801.25 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1801.25 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1801.25 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1801.25 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1801.25 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1801.25 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1801.25 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1801.25 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1801.25 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1801.25 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1801.25 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1801.25 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1801.25 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1263 -x1264 -x1265 -x1266 -x1267 1801.25 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 1801.25 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1801.25 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1801.25 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1801.25 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1381 -x1382 1801.25 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1801.25 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1801.25 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1801.25 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1801.25 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1801.25 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 1801.25 v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1801.25 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1801.25 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1801.25 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1801.25 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1569 -x1570 1801.25 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1801.25 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1801.25 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1801.25 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1801.25 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1801.25 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 1801.25 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1801.25 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1801.25 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1751 -x1752 -x1753 -x1754 1801.25 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 1801.25 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 1801.25 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 1801.25 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 1801.25 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1801.25 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1801.25 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1801.25 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1801.25 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1801.25 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1801.25 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1801.25 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1801.25 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1801.25 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1801.25 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1801.25 v -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1801.25 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 1801.25 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 1801.25 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 1801.25 v -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 1801.25 v -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1801.25 v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1801.25 v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1801.25 v -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 1801.25 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1801.25 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1801.25 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1801.25 v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 1801.25 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1801.25 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 1801.25 v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 1801.25 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 1801.25 v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 1801.25 v -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 1801.25 v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 1801.25 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 1801.25 v -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 1801.25 v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 1801.25 v -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1801.25 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 1801.25 v -x2496 -x2497 -x2498 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 1801.25 v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 1801.25 v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 1801.25 v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 1801.25 v -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 1801.25 v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 1801.25 v -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 1801.25 v -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 1801.25 v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 1801.25 v -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 1801.25 v -x2667 -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 1801.25 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1801.25 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 1801.25 v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 1801.25 v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 1801.25 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 1801.25 v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 1801.25 v -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 1801.25 v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 1801.25 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 1801.25 v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 1801.25 v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 1801.25 v -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 1801.25 v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 1801.25 v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 1801.25 v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 1801.25 v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 1801.25 v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3002 -x3013 -x3024 1801.25 v -x3035 -x3046 -x3057 -x3068 -x3079 -x3090 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3012 -x3014 -x3015 1801.25 v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3025 -x3026 -x3027 -x3028 -x3029 -x3031 -x3032 -x3033 -x3034 -x3036 1801.25 v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3054 -x3055 -x3056 1801.25 v -x3058 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 1801.25 v -x3078 -x3080 -x3081 -x3082 -x3083 -x3085 -x3086 -x3087 -x3088 -x3089 -x3091 -x3092 -x3093 -x3095 -x3096 -x3097 -x3098 1801.25 v -x3099 -x3100 1801.26 c Somebody sent me a SIGTERM 1801.26 smodels: no process killed 1801.26 pbsmodels.trans: no process killed
OK 20
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/node56/watcher-33783-1154022671 -o ROOT/results/node56/solver-33783-1154022671 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node56/33783-1154022671/instance-33783-1154022671.opb 829518118 ROOT/tmp/node56/33783-1154022671 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/64 26756 /proc/meminfo: memFree=1680824/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) R 26754 26756 26707 0 -1 4194304 184 0 0 0 0 0 0 0 19 0 1 0 149137097 5488640 153 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253306929285 0 0 4096 0 0 0 0 17 1 0 0 /proc/26756/statm: 1340 153 126 169 0 51 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.99 2/68 26761 /proc/meminfo: memFree=1677928/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=9.86 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 576 0 0 0 986 0 0 0 25 0 1 0 149137098 3719168 540 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134518274 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 540 209 20 0 345 0 [pid=26761] ppid=26758 vsize=12268 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 430 0 0 0 0 0 0 0 15 0 1 0 149137098 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 10.09 Current children cumulated vsize (Kb) 38884 [startup+20.0084 s] /proc/loadavg: 0.94 0.97 0.99 2/68 26761 /proc/meminfo: memFree=1677992/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=19.86 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 576 0 0 0 1986 0 0 0 25 0 1 0 149137098 3719168 540 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134527659 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 540 209 20 0 345 0 [pid=26761] ppid=26758 vsize=12268 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 430 0 0 0 0 0 0 0 15 0 1 0 149137098 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 20.09 Current children cumulated vsize (Kb) 38884 [startup+30.0144 s] /proc/loadavg: 0.95 0.97 0.99 2/68 26761 /proc/meminfo: memFree=1678056/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=29.87 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 576 0 0 0 2987 0 0 0 25 0 1 0 149137098 3719168 540 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 540 209 20 0 345 0 [pid=26761] ppid=26758 vsize=12268 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 430 0 0 0 0 0 0 0 15 0 1 0 149137098 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 30.1 Current children cumulated vsize (Kb) 38884 [startup+40.0203 s] /proc/loadavg: 0.95 0.97 0.99 2/68 26761 /proc/meminfo: memFree=1678056/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=39.87 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 576 0 0 0 3987 0 0 0 25 0 1 0 149137098 3719168 540 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550255 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 540 209 20 0 345 0 [pid=26761] ppid=26758 vsize=12268 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 430 0 0 0 0 0 0 0 15 0 1 0 149137098 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 40.1 Current children cumulated vsize (Kb) 38884 [startup+50.0273 s] /proc/loadavg: 0.96 0.97 0.99 2/68 26761 /proc/meminfo: memFree=1678056/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=49.87 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 576 0 0 0 4987 0 0 0 25 0 1 0 149137098 3719168 540 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 540 209 20 0 345 0 [pid=26761] ppid=26758 vsize=12268 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 430 0 0 0 0 0 0 0 15 0 1 0 149137098 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 50.1 Current children cumulated vsize (Kb) 38884 [startup+60.0343 s] /proc/loadavg: 0.97 0.97 0.99 2/68 26761 /proc/meminfo: memFree=1678056/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=59.88 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 5988 0 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549872 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 542 211 20 0 345 0 [pid=26761] ppid=26758 vsize=12416 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 488 0 0 0 0 0 0 0 17 0 1 0 149137098 12713984 447 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3104 447 333 3 0 204 0 Current children cumulated CPU time (s) 60.11 Current children cumulated vsize (Kb) 39032 [startup+70.0413 s] /proc/loadavg: 0.97 0.97 0.99 2/68 26761 /proc/meminfo: memFree=1678056/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=69.88 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 6988 0 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531493 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 542 211 20 0 345 0 [pid=26761] ppid=26758 vsize=12416 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 488 0 0 0 0 0 0 0 17 0 1 0 149137098 12713984 447 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3104 447 333 3 0 204 0 Current children cumulated CPU time (s) 70.11 Current children cumulated vsize (Kb) 39032 [startup+80.0473 s] /proc/loadavg: 0.98 0.97 0.99 2/68 26761 /proc/meminfo: memFree=1678056/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=79.89 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 7989 0 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550945 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 542 211 20 0 345 0 [pid=26761] ppid=26758 vsize=12416 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 488 0 0 0 0 0 0 0 17 0 1 0 149137098 12713984 447 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3104 447 333 3 0 204 0 Current children cumulated CPU time (s) 80.12 Current children cumulated vsize (Kb) 39032 [startup+90.0533 s] /proc/loadavg: 0.98 0.97 0.99 2/68 26761 /proc/meminfo: memFree=1678056/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=89.89 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 8989 0 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550183 0 0 4096 0 0 0 0 17 1 0 0 ################ # More data... # ################ /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 179352 4 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521081 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 542 211 20 0 345 0 [pid=26761] ppid=26758 vsize=12416 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 488 0 0 0 0 0 0 0 17 0 1 0 149137098 12713984 447 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3104 447 333 3 0 204 0 Current children cumulated CPU time (s) 1793.79 Current children cumulated vsize (Kb) 39032 [startup+1795.21 s] /proc/loadavg: 1.00 0.99 1.00 2/68 26959 /proc/meminfo: memFree=1677480/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=1794.57 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 179453 4 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549888 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 542 211 20 0 345 0 [pid=26761] ppid=26758 vsize=12416 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 488 0 0 0 0 0 0 0 17 0 1 0 149137098 12713984 447 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3104 447 333 3 0 204 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (Kb) 39032 [startup+1796.21 s] /proc/loadavg: 1.00 0.99 1.00 2/68 26959 /proc/meminfo: memFree=1677480/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=1795.57 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 179553 4 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521388 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 542 211 20 0 345 0 [pid=26761] ppid=26758 vsize=12416 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 488 0 0 0 0 0 0 0 17 0 1 0 149137098 12713984 447 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3104 447 333 3 0 204 0 Current children cumulated CPU time (s) 1795.8 Current children cumulated vsize (Kb) 39032 [startup+1797.22 s] /proc/loadavg: 1.00 0.99 1.00 2/68 26959 /proc/meminfo: memFree=1677480/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=1796.58 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 179654 4 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548969 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 542 211 20 0 345 0 [pid=26761] ppid=26758 vsize=12416 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 488 0 0 0 0 0 0 0 17 0 1 0 149137098 12713984 447 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3104 447 333 3 0 204 0 Current children cumulated CPU time (s) 1796.81 Current children cumulated vsize (Kb) 39032 [startup+1798.22 s] /proc/loadavg: 1.00 0.99 1.00 2/68 26959 /proc/meminfo: memFree=1677480/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=1797.58 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 179754 4 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550190 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 542 211 20 0 345 0 [pid=26761] ppid=26758 vsize=12416 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 488 0 0 0 0 0 0 0 17 0 1 0 149137098 12713984 447 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3104 447 333 3 0 204 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (Kb) 39032 [startup+1799.23 s] /proc/loadavg: 1.00 0.99 1.00 2/68 26959 /proc/meminfo: memFree=1677480/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=1798.59 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 179855 4 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548953 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 542 211 20 0 345 0 [pid=26761] ppid=26758 vsize=12416 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 488 0 0 0 0 0 0 0 17 0 1 0 149137098 12713984 447 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3104 447 333 3 0 204 0 Current children cumulated CPU time (s) 1798.82 Current children cumulated vsize (Kb) 39032 [startup+1800.24 s] /proc/loadavg: 1.00 0.99 1.00 2/68 26959 /proc/meminfo: memFree=1677480/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=1799.59 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 179955 4 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531269 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 542 211 20 0 345 0 [pid=26761] ppid=26758 vsize=12416 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 488 0 0 0 0 0 0 0 17 0 1 0 149137098 12713984 447 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3104 447 333 3 0 204 0 Current children cumulated CPU time (s) 1799.82 Current children cumulated vsize (Kb) 39032 [startup+1801.24 s] /proc/loadavg: 1.00 0.99 1.00 2/68 26959 /proc/meminfo: memFree=1677480/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=1800.6 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 180056 4 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550767 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 542 211 20 0 345 0 [pid=26761] ppid=26758 vsize=12416 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 488 0 0 0 0 0 0 0 17 0 1 0 149137098 12713984 447 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3104 447 333 3 0 204 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (Kb) 39032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.24 s] /proc/loadavg: 1.00 0.99 1.00 2/68 26959 /proc/meminfo: memFree=1677480/2055920 swapFree=4182032/4192956 [pid=26756] ppid=26754 vsize=5360 CPUtime=0 /proc/26756/stat : 26756 (runpbsmodels) S 26754 26756 26707 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 149137097 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26756/statm: 1340 234 195 169 0 51 0 [pid=26757] ppid=26756 vsize=12268 CPUtime=0 /proc/26757/stat : 26757 (pbsmodels-v1.28) S 26756 26756 26707 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149137098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26757/statm: 3067 383 293 3 0 167 0 [pid=26758] ppid=26757 vsize=5356 CPUtime=0.23 /proc/26758/stat : 26758 (sh) S 26757 26756 26707 0 -1 4194304 311 741 0 0 0 0 23 0 16 0 1 0 149137098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26758/statm: 1339 227 188 169 0 50 0 [pid=26760] ppid=26758 vsize=3632 CPUtime=1800.6 /proc/26760/stat : 26760 (smodels) R 26758 26756 26707 0 -1 4194304 578 0 0 0 180056 4 0 0 25 0 1 0 149137098 3719168 542 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550181 0 0 4096 0 0 0 0 17 1 0 0 /proc/26760/statm: 908 542 211 20 0 345 0 [pid=26761] ppid=26758 vsize=12416 CPUtime=0 /proc/26761/stat : 26761 (pbout.pl) S 26758 26756 26707 0 -1 4194304 488 0 0 0 0 0 0 0 17 0 1 0 149137098 12713984 447 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 3104 447 333 3 0 204 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (Kb) 39032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) !!! problem with CPU time !!! wait4(...,&childrusage) returns 26756 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999 CPU time returned by wait4() is 0.002998 while last known CPU time is 1800.83 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1801.27 CPU time (s): 1800.83 CPU user time (s): 1800.79 CPU system time (s): 0.04 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (Kb): 39032 The end
Begin job on node56 on Thu Jul 27 17:51:11 UTC 2006 FILE ID= 33783-1154022671 PBS_JOBID= 880671 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node56/33783-1154022671/instance-33783-1154022671.opb 829518118 ROOT/tmp/node56/33783-1154022671 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-33783-1154022671 -o ROOT/results/node56/solver-33783-1154022671 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node56/33783-1154022671/instance-33783-1154022671.opb 829518118 ROOT/tmp/node56/33783-1154022671 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= 1a5dd226c84aa8cc751cd6025cf57c5b RANDOM SEED= 829518118 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.227 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.227 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: 1681032 kB Buffers: 23444 kB Cached: 299920 kB SwapCached: 4396 kB Active: 191084 kB Inactive: 141976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1681032 kB SwapTotal: 4192956 kB SwapFree: 4182032 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14496 kB Slab: 27792 kB Committed_AS: 655760 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node56 on Thu Jul 27 18:21:12 UTC 2006