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