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