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