Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-smodels 1.28 | SAT | 175.535 | 163.565 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb |
MD5SUM | 285f81376739daaaae61d54cc606f233 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 3.23451 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1600 |
Total number of constraints | 328901 |
Number of constraints which are clauses | 327070 |
Number of constraints which are cardinality constraints (but not clauses) | 61 |
Number of constraints which are nor clauses,nor cardinality constraints | 1770 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 700 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 789 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Running pbsmodels-v1.28 163.55 s SATISFIABLE 163.55 v x914 x18 x974 x991 x1022 x1032 x1071 x1075 x1087 x1104 x1156 x1165 x1236 x1272 x1273 x1284 x1304 x1306 x1320 x1326 x1341 x1354 163.55 v x1365 x1377 x1389 x1397 x1405 x1427 x1465 x1481 x36 x79 x99 x142 x158 x200 x235 x263 x274 x315 x351 x365 x397 x431 x451 x504 163.55 v x527 x566 x582 x602 x643 x674 x706 x747 x778 x810 x813 x850 x899 -x2 -x901 -x3 -x902 -x4 -x903 -x5 -x904 -x6 -x905 -x8 -x906 -x9 163.55 v -x907 -x10 -x908 -x11 -x909 -x12 -x910 -x13 -x911 -x15 -x912 -x16 -x913 -x17 -x915 -x19 -x916 -x20 -x917 -x21 -x918 -x22 -x919 163.55 v -x24 -x920 -x25 -x921 -x26 -x922 -x27 -x923 -x28 -x924 -x29 -x925 -x30 -x926 -x1 -x927 -x928 -x929 -x7 -x930 -x931 -x932 -x933 163.55 v -x934 -x935 -x936 -x14 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x23 -x946 -x947 -x948 -x949 -x950 -x951 -x952 163.55 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 163.55 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x992 -x993 -x994 -x995 -x996 163.55 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 163.55 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1033 163.55 v -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 163.55 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 163.55 v -x1068 -x1069 -x1070 -x1072 -x1073 -x1074 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 163.55 v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1105 163.55 v -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 163.55 v -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 163.55 v -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1157 163.55 v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 163.55 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 163.55 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 163.55 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 163.55 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 163.55 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 163.55 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 163.55 v -x1281 -x1282 -x1283 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 163.55 v -x1299 -x1300 -x1301 -x1302 -x1303 -x1305 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 163.55 v -x1318 -x1319 -x1321 -x1322 -x1323 -x1324 -x1325 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 163.55 v -x1337 -x1338 -x1339 -x1340 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1355 163.55 v -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 163.55 v -x1374 -x1375 -x1376 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1390 -x1391 -x1392 163.55 v -x1393 -x1394 -x1395 -x1396 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 163.55 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1428 -x1429 163.55 v -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 163.55 v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 163.55 v -x1464 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1482 163.55 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 163.55 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 163.55 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 163.55 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 163.55 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 163.55 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 163.55 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x31 -x32 163.55 v -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 163.55 v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x80 -x81 -x82 -x83 -x84 -x85 -x86 163.55 v -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 163.55 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 163.55 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 163.55 v -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 163.55 v -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 163.55 v -x197 -x198 -x199 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 163.55 v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x236 -x237 -x238 -x239 -x240 163.55 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 163.55 v -x262 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 163.55 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 163.55 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 163.55 v -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 163.55 v -x349 -x350 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x366 -x367 -x368 -x369 -x370 -x371 163.55 v -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 163.55 v -x393 -x394 -x395 -x396 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 163.55 v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x432 -x433 -x434 -x435 -x436 163.55 v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x452 -x453 -x454 -x455 -x456 -x457 -x458 163.55 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 163.55 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 163.55 v -x501 -x502 -x503 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 163.55 v -x523 -x524 -x525 -x526 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 163.55 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 163.55 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x583 -x584 -x585 -x586 -x587 -x588 163.55 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 163.55 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 163.55 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 163.55 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x675 163.55 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 163.55 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 163.55 v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 163.55 v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 163.55 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x779 -x780 -x781 -x782 -x783 163.55 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 163.55 v -x805 -x806 -x807 -x808 -x809 -x811 -x812 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 163.55 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 163.55 v -x849 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 163.55 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 163.55 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x900
OK 0
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.1 (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/node86/watcher-33639-1149621131 -o ROOT/results/node86/solver-33639-1149621131 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node86/33639-1149621131/instance-33639-1149621131.opb 662320359 ROOT/tmp/node86/33639-1149621131 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.94 0.65 2/68 7516 /proc/meminfo: memFree=1405784/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5220 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) R 7514 7516 7470 0 -1 4194304 121 0 0 0 0 0 0 0 18 0 1 0 227752428 5345280 93 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476801636 0 0 4096 0 0 0 0 17 1 0 0 /proc/7516/statm: 1338 107 86 169 0 48 0 [startup+10.0018 s] /proc/loadavg: 1.01 0.95 0.66 2/73 7521 /proc/meminfo: memFree=1377968/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=0 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 0 0 0 0 0 0 0 18 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7519] ppid=7518 vsize=12404 CPUtime=9.97 /proc/7519/stat : 7519 (pbsmodels.trans) R 7518 7516 7470 0 -1 4194304 515 0 0 0 996 1 0 0 25 0 1 0 227752429 12701696 474 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 208494596638 0 0 4224 0 0 0 0 17 1 0 0 /proc/7519/statm: 3101 474 342 3 0 200 0 [pid=7520] ppid=7518 vsize=28180 CPUtime=5.43 /proc/7520/stat : 7520 (smodels) S 7518 7516 7470 0 -1 4194304 6711 0 0 0 540 3 0 0 16 0 1 0 227752430 28856320 6675 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0 /proc/7520/statm: 7045 6675 202 20 0 6481 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 419 0 0 0 0 0 0 0 21 0 1 0 227752430 12566528 379 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 379 291 3 0 167 0 Current children cumulated CPU time (s) 15.4 Current children cumulated vsize (Kb) 63588 [startup+20.0079 s] /proc/loadavg: 1.16 0.99 0.67 2/73 7521 /proc/meminfo: memFree=1352368/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=0 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 0 0 0 0 0 0 0 18 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7519] ppid=7518 vsize=12404 CPUtime=19.97 /proc/7519/stat : 7519 (pbsmodels.trans) R 7518 7516 7470 0 -1 4194304 515 0 0 0 1996 1 0 0 25 0 1 0 227752429 12701696 474 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 208494381105 0 0 4224 0 0 0 0 17 1 0 0 /proc/7519/statm: 3101 474 342 3 0 200 0 [pid=7520] ppid=7518 vsize=53920 CPUtime=10.88 /proc/7520/stat : 7520 (smodels) S 7518 7516 7470 0 -1 4194304 13137 0 0 0 1081 7 0 0 16 0 1 0 227752430 55214080 13101 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0 /proc/7520/statm: 13480 13101 202 20 0 12916 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 419 0 0 0 0 0 0 0 21 0 1 0 227752430 12566528 379 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 379 291 3 0 167 0 Current children cumulated CPU time (s) 30.85 Current children cumulated vsize (Kb) 89328 [startup+30.0151 s] /proc/loadavg: 1.13 0.99 0.68 2/72 7521 /proc/meminfo: memFree=1337656/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=20.3 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 2022 8 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 42 Current children cumulated vsize (Kb) 104484 [startup+40.0222 s] /proc/loadavg: 1.11 0.99 0.68 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=30.3 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 3022 8 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551021 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 52 Current children cumulated vsize (Kb) 104484 [startup+50.0293 s] /proc/loadavg: 1.10 0.99 0.68 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=40.31 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 4023 8 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 62.01 Current children cumulated vsize (Kb) 104484 [startup+60.0355 s] /proc/loadavg: 1.08 0.99 0.69 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=50.31 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 5023 8 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 72.01 Current children cumulated vsize (Kb) 104484 [startup+70.0416 s] /proc/loadavg: 1.07 0.99 0.69 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=60.31 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 6023 8 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548917 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 82.01 Current children cumulated vsize (Kb) 104484 [startup+80.0478 s] /proc/loadavg: 1.06 0.99 0.69 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=70.32 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 7024 8 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 92.02 Current children cumulated vsize (Kb) 104484 [startup+90.0539 s] /proc/loadavg: 1.05 0.99 0.69 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=80.32 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 8024 8 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 102.02 Current children cumulated vsize (Kb) 104484 [startup+100.061 s] /proc/loadavg: 1.04 0.99 0.70 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=90.32 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 9024 8 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 112.02 Current children cumulated vsize (Kb) 104484 [startup+110.068 s] /proc/loadavg: 1.03 0.99 0.70 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=100.33 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 10025 8 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548917 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 122.03 Current children cumulated vsize (Kb) 104484 [startup+120.074 s] /proc/loadavg: 1.03 0.99 0.70 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=110.34 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 11025 9 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 132.04 Current children cumulated vsize (Kb) 104484 [startup+130.08 s] /proc/loadavg: 1.02 0.99 0.71 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=120.34 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 12025 9 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551008 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 142.04 Current children cumulated vsize (Kb) 104484 [startup+140.087 s] /proc/loadavg: 1.02 0.99 0.71 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=130.35 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 13026 9 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531383 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 152.05 Current children cumulated vsize (Kb) 104484 [startup+150.094 s] /proc/loadavg: 1.02 0.99 0.71 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=140.35 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 14026 9 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 162.05 Current children cumulated vsize (Kb) 104484 [startup+160.101 s] /proc/loadavg: 1.01 0.99 0.71 2/72 7521 /proc/meminfo: memFree=1337720/2055892 swapFree=4084792/4096564 [pid=7516] ppid=7514 vsize=5368 CPUtime=0 /proc/7516/stat : 7516 (runpbsmodels) S 7514 7516 7470 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227752428 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0 /proc/7516/statm: 1342 233 194 169 0 52 0 [pid=7517] ppid=7516 vsize=12272 CPUtime=0 /proc/7517/stat : 7517 (pbsmodels-v1.28) S 7516 7516 7470 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227752429 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 208485269444 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0 /proc/7517/statm: 3068 383 293 3 0 167 0 [pid=7518] ppid=7517 vsize=5364 CPUtime=21.7 /proc/7518/stat : 7518 (sh) S 7517 7516 7470 0 -1 4194304 310 562 0 0 0 0 2168 2 16 0 1 0 227752429 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 208476367428 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0 /proc/7518/statm: 1341 225 186 169 0 51 0 [pid=7520] ppid=7518 vsize=69208 CPUtime=150.36 /proc/7520/stat : 7520 (smodels) R 7518 7516 7470 0 -1 4194304 16985 0 0 0 15027 9 0 0 25 0 1 0 227752430 70868992 16949 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550997 0 0 4096 0 0 0 0 17 1 0 0 /proc/7520/statm: 17302 16949 206 20 0 16738 0 [pid=7521] ppid=7518 vsize=12272 CPUtime=0 /proc/7521/stat : 7521 (pbout.pl) S 7518 7516 7470 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227752430 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 208485265554 0 0 4224 0 18446744071563651996 0 0 17 0 0 0 /proc/7521/statm: 3068 390 302 3 0 167 0 Current children cumulated CPU time (s) 172.06 Current children cumulated vsize (Kb) 104484 Child status: 0 Real time (s): 163.565 CPU time (s): 175.535 CPU user time (s): 175.4 CPU system time (s): 0.134979 CPU usage (%): 107.318 Max. virtual memory (cumulated for all children) (Kb): 104484 The end
Begin job on node86 on Tue Jun 6 19:12:12 UTC 2006 FILE ID= 33639-1149621131 PBS_JOBID= 322458 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node86/33639-1149621131/instance-33639-1149621131.opb 662320359 ROOT/tmp/node86/33639-1149621131 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node86/watcher-33639-1149621131 -o ROOT/results/node86/solver-33639-1149621131 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node86/33639-1149621131/instance-33639-1149621131.opb 662320359 ROOT/tmp/node86/33639-1149621131 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= 285f81376739daaaae61d54cc606f233 RANDOM SEED= 662320359 /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.214 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 : 6006.19 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.214 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1405992 kB Buffers: 32048 kB Cached: 552068 kB SwapCached: 2928 kB Active: 138172 kB Inactive: 454576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1405992 kB SwapTotal: 4096564 kB SwapFree: 4084792 kB Dirty: 176 kB Writeback: 0 kB Mapped: 15156 kB Slab: 43716 kB Committed_AS: 443456 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node86 on Tue Jun 6 19:14:56 UTC 2006