Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-smodels 1.28 | SAT | 187.352 | 174.42 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb |
MD5SUM | 513c9c3498927a8710f266699385db2b |
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.23351 |
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 | 302 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 891 |
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 174.41 s SATISFIABLE 174.41 v x3 x902 x920 x950 x951 x966 x968 x1001 x1019 x1031 x1082 x1092 x1119 x1170 x1177 x1211 x1229 x1238 x1327 x1329 x1330 x1382 174.41 v x1400 x1430 x1497 x1505 x1512 x1526 x1552 x1577 x39 x87 x113 x134 x158 x205 x240 x241 x296 x319 x343 x375 x395 x432 x468 x508 174.41 v x531 x542 x590 x611 x640 x676 x694 x749 x756 x787 x834 x862 x887 -x901 -x4 -x5 -x903 -x6 -x904 -x7 -x905 -x8 -x906 -x11 -x907 174.41 v -x12 -x908 -x13 -x909 -x14 -x910 -x15 -x911 -x17 -x912 -x18 -x913 -x19 -x914 -x20 -x915 -x22 -x916 -x23 -x917 -x24 -x918 -x25 174.41 v -x919 -x26 -x27 -x921 -x28 -x922 -x30 -x923 -x924 -x925 -x926 -x927 -x9 -x928 -x10 -x929 -x930 -x931 -x932 -x933 -x934 -x935 174.41 v -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x1 -x945 -x2 -x946 -x947 -x948 -x949 -x952 -x953 -x954 -x955 -x956 174.41 v -x16 -x957 -x958 -x959 -x960 -x961 -x21 -x962 -x963 -x964 -x965 -x967 -x969 -x29 -x970 -x971 -x972 -x973 -x974 -x975 -x976 174.41 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 174.41 v -x998 -x999 -x1000 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 174.41 v -x1017 -x1018 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1032 -x1033 -x1034 -x1035 174.41 v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 174.41 v -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 174.41 v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1083 -x1084 -x1085 -x1086 -x1087 174.41 v -x1088 -x1089 -x1090 -x1091 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 174.41 v -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1120 -x1121 -x1122 -x1123 174.41 v -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 174.41 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 174.41 v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1171 -x1172 -x1173 -x1174 -x1175 174.41 v -x1176 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 174.41 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 174.41 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 174.41 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 174.41 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 174.41 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 174.41 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 174.41 v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 174.41 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1328 -x1331 -x1332 -x1333 -x1334 -x1335 174.41 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 174.41 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 174.41 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1383 -x1384 -x1385 -x1386 -x1387 174.41 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1401 -x1402 -x1403 -x1404 -x1405 174.41 v -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 174.41 v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 174.41 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 174.41 v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 174.41 v -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 174.41 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1506 -x1507 -x1508 -x1509 -x1510 174.41 v -x1511 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1527 -x1528 -x1529 174.41 v -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 174.41 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 174.41 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1578 -x1579 -x1580 -x1581 -x1582 174.41 v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 174.41 v -x1600 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 174.41 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 174.41 v -x82 -x83 -x84 -x85 -x86 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 174.41 v -x107 -x108 -x109 -x110 -x111 -x112 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 174.41 v -x129 -x130 -x131 -x132 -x133 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 174.41 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 174.41 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 174.41 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 174.41 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 174.41 v -x237 -x238 -x239 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 174.41 v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 174.41 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x297 -x298 -x299 -x300 -x301 -x302 174.41 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x320 -x321 -x322 -x323 -x324 174.41 v -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x344 -x345 -x346 174.41 v -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 174.41 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 174.41 v -x390 -x391 -x392 -x393 -x394 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 174.41 v -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x433 174.41 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 174.41 v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 174.41 v -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 174.41 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 174.41 v -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 174.41 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 174.41 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 174.41 v -x585 -x586 -x587 -x588 -x589 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 174.41 v -x607 -x608 -x609 -x610 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 174.41 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 174.41 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 174.41 v -x672 -x673 -x674 -x675 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 174.41 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 174.41 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 174.41 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x750 -x751 -x752 -x753 -x754 -x755 -x757 -x758 -x759 174.41 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 174.41 v -x781 -x782 -x783 -x784 -x785 -x786 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 174.41 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 174.41 v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 174.41 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x863 -x864 -x865 -x866 -x867 174.41 v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x888 -x889 174.41 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -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/node70/watcher-33652-1149621304 -o ROOT/results/node70/solver-33652-1149621304 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node70/33652-1149621304/instance-33652-1149621304.opb 479419945 ROOT/tmp/node70/33652-1149621304 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.95 0.70 2/64 5478 /proc/meminfo: memFree=1549392/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5356 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) D 5476 5478 5432 0 -1 4194304 235 0 0 0 0 0 0 0 18 0 1 0 227800063 5484544 202 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402236402 0 2147483391 4100 65536 18446744072099781622 0 0 17 1 0 0 /proc/5478/statm: 1339 202 167 169 0 50 0 [startup+10.0018 s] /proc/loadavg: 1.09 0.99 0.71 3/69 5483 /proc/meminfo: memFree=1522544/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=0 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5481] ppid=5480 vsize=12400 CPUtime=9.97 /proc/5481/stat : 5481 (pbsmodels.trans) R 5480 5478 5432 0 -1 4194304 514 0 0 0 996 1 0 0 25 0 1 0 227800064 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 233420300071 0 0 4224 0 0 0 0 17 1 0 0 /proc/5481/statm: 3100 472 340 3 0 200 0 [pid=5482] ppid=5480 vsize=27120 CPUtime=5.6 /proc/5482/stat : 5482 (smodels) S 5480 5478 5432 0 -1 4194304 6469 0 0 0 558 2 0 0 16 0 1 0 227800064 27770880 6433 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/5482/statm: 6780 6433 205 20 0 6217 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 418 0 0 0 0 0 0 0 22 0 1 0 227800064 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 377 289 3 0 167 0 Current children cumulated CPU time (s) 15.57 Current children cumulated vsize (Kb) 62504 [startup+20.0086 s] /proc/loadavg: 1.15 1.00 0.72 3/69 5483 /proc/meminfo: memFree=1497648/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=0 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5481] ppid=5480 vsize=12400 CPUtime=19.96 /proc/5481/stat : 5481 (pbsmodels.trans) R 5480 5478 5432 0 -1 4194304 514 0 0 0 1994 2 0 0 25 0 1 0 227800064 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 233410965602 0 0 4224 0 0 0 0 17 1 0 0 /proc/5481/statm: 3100 472 340 3 0 200 0 [pid=5482] ppid=5480 vsize=52200 CPUtime=11.41 /proc/5482/stat : 5482 (smodels) S 5480 5478 5432 0 -1 4194304 12733 0 0 0 1134 7 0 0 16 0 1 0 227800064 53452800 12697 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/5482/statm: 13050 12697 205 20 0 12487 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 418 0 0 0 0 0 0 0 22 0 1 0 227800064 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 377 289 3 0 167 0 Current children cumulated CPU time (s) 31.37 Current children cumulated vsize (Kb) 87584 [startup+30.0154 s] /proc/loadavg: 1.13 1.00 0.72 2/68 5483 /proc/meminfo: memFree=1481272/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=20.58 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 2049 9 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 42.97 Current children cumulated vsize (Kb) 104472 [startup+40.0212 s] /proc/loadavg: 1.11 1.00 0.73 2/68 5483 /proc/meminfo: memFree=1481272/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=30.59 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 3049 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551008 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 52.98 Current children cumulated vsize (Kb) 104472 [startup+50.0271 s] /proc/loadavg: 1.09 1.00 0.73 2/68 5483 /proc/meminfo: memFree=1481272/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=40.59 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 4049 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531383 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 62.98 Current children cumulated vsize (Kb) 104472 [startup+60.0339 s] /proc/loadavg: 1.08 1.00 0.73 2/68 5483 /proc/meminfo: memFree=1481336/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=50.59 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 5049 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548925 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 72.98 Current children cumulated vsize (Kb) 104472 [startup+70.0407 s] /proc/loadavg: 1.06 1.00 0.73 2/68 5483 /proc/meminfo: memFree=1481336/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=60.6 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 6050 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531031 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 82.99 Current children cumulated vsize (Kb) 104472 [startup+80.0475 s] /proc/loadavg: 1.05 1.00 0.73 2/68 5483 /proc/meminfo: memFree=1481336/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=70.6 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 7050 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 92.99 Current children cumulated vsize (Kb) 104472 [startup+90.0543 s] /proc/loadavg: 1.05 1.00 0.74 2/68 5483 /proc/meminfo: memFree=1481336/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=80.6 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 8050 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 102.99 Current children cumulated vsize (Kb) 104472 [startup+100.061 s] /proc/loadavg: 1.04 1.00 0.74 2/68 5483 /proc/meminfo: memFree=1481336/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=90.61 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 9051 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 113 Current children cumulated vsize (Kb) 104472 [startup+110.068 s] /proc/loadavg: 1.03 1.00 0.74 2/68 5483 /proc/meminfo: memFree=1481336/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=100.61 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 10051 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 123 Current children cumulated vsize (Kb) 104472 [startup+120.075 s] /proc/loadavg: 1.03 1.00 0.74 2/68 5483 /proc/meminfo: memFree=1481336/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=110.61 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 11051 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 133 Current children cumulated vsize (Kb) 104472 [startup+130.082 s] /proc/loadavg: 1.02 1.00 0.74 2/68 5483 /proc/meminfo: memFree=1481336/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=120.61 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 12051 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 143 Current children cumulated vsize (Kb) 104472 [startup+140.088 s] /proc/loadavg: 1.02 1.00 0.75 2/68 5483 /proc/meminfo: memFree=1481336/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=130.62 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 13052 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 153.01 Current children cumulated vsize (Kb) 104472 [startup+150.095 s] /proc/loadavg: 1.02 1.00 0.75 2/68 5483 /proc/meminfo: memFree=1481336/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=140.62 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 14052 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551008 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 163.01 Current children cumulated vsize (Kb) 104472 [startup+160.102 s] /proc/loadavg: 1.01 1.00 0.75 2/68 5483 /proc/meminfo: memFree=1481336/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=150.62 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 15052 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 173.01 Current children cumulated vsize (Kb) 104472 [startup+170.109 s] /proc/loadavg: 1.01 1.00 0.75 2/68 5483 /proc/meminfo: memFree=1481272/2055920 swapFree=4182220/4192956 [pid=5478] ppid=5476 vsize=5360 CPUtime=0 /proc/5478/stat : 5478 (runpbsmodels) S 5476 5478 5432 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227800063 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5478/statm: 1340 234 195 169 0 51 0 [pid=5479] ppid=5478 vsize=12268 CPUtime=0 /proc/5479/stat : 5479 (pbsmodels-v1.28) S 5478 5478 5432 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227800064 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233410969492 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5479/statm: 3067 383 293 3 0 167 0 [pid=5480] ppid=5479 vsize=5356 CPUtime=22.39 /proc/5480/stat : 5480 (sh) S 5479 5478 5432 0 -1 4194304 311 562 0 0 0 0 2237 2 16 0 1 0 227800064 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5480/statm: 1339 227 188 169 0 50 0 [pid=5482] ppid=5480 vsize=69220 CPUtime=160.63 /proc/5482/stat : 5482 (smodels) R 5480 5478 5432 0 -1 4194304 16987 0 0 0 16053 10 0 0 25 0 1 0 227800064 70881280 16951 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0 /proc/5482/statm: 17305 16951 209 20 0 16742 0 [pid=5483] ppid=5480 vsize=12268 CPUtime=0 /proc/5483/stat : 5483 (pbout.pl) S 5480 5478 5432 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227800064 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/5483/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 183.02 Current children cumulated vsize (Kb) 104472 Child status: 0 Real time (s): 174.42 CPU time (s): 187.352 CPU user time (s): 187.202 CPU system time (s): 0.149977 CPU usage (%): 107.414 Max. virtual memory (cumulated for all children) (Kb): 104472 The end
Begin job on node70 on Tue Jun 6 19:15:05 UTC 2006 FILE ID= 33652-1149621304 PBS_JOBID= 322471 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node70/33652-1149621304/instance-33652-1149621304.opb 479419945 ROOT/tmp/node70/33652-1149621304 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-33652-1149621304 -o ROOT/results/node70/solver-33652-1149621304 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node70/33652-1149621304/instance-33652-1149621304.opb 479419945 ROOT/tmp/node70/33652-1149621304 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= 513c9c3498927a8710f266699385db2b RANDOM SEED= 479419945 /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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1549600 kB Buffers: 32880 kB Cached: 397892 kB SwapCached: 2388 kB Active: 39632 kB Inactive: 399744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1549600 kB SwapTotal: 4192956 kB SwapFree: 4182220 kB Dirty: 156 kB Writeback: 0 kB Mapped: 15400 kB Slab: 53000 kB Committed_AS: 364632 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node70 on Tue Jun 6 19:17:59 UTC 2006