Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-smodels 1.31 | SAT | 1614.01 | 1614.36 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin12.opb |
MD5SUM | 8ef9ab9b1b524024010be24ca1127d40 |
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 | 4.05238 |
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 | 4356 |
Total number of constraints | 600 |
Number of constraints which are clauses | 264 |
Number of constraints which are cardinality constraints (but not clauses) | 336 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 66 |
Maximum length of a constraint | 121 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 123 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.04 c Running pbsmodels-v1.31 1614.35 s SATISFIABLE 1614.35 v x40 x100 x144 x259 x315 x340 x445 x478 x587 x616 x668 x771 x799 x911 x939 x1056 x1084 x1153 x1221 x1273 x1350 x1391 x1496 x1575 1614.35 v x1616 x1679 x1720 x1838 x1906 x1932 x2007 x2085 x2150 x2233 x2261 x2319 x2440 x2453 x2560 x2588 x2675 x2730 x2792 x2880 x2940 1614.35 v x2972 x3082 x3162 x3231 x3260 x3343 x3379 x3438 x3548 x3587 x3633 x3758 x3809 x3849 x3948 x3961 x4091 x4140 x4199 x4261 x4315 1614.35 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1614.35 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1614.35 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 1614.35 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x101 -x102 -x103 -x104 -x105 -x106 1614.35 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1614.35 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x145 -x146 -x147 -x148 -x149 1614.35 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1614.35 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1614.35 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1614.35 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1614.35 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1614.35 v -x255 -x256 -x257 -x258 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1614.35 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1614.35 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x316 -x317 -x318 -x319 1614.35 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x341 1614.35 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1614.35 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1614.35 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1614.35 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1614.35 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x446 -x447 1614.35 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1614.35 v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1614.35 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 1614.35 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 1614.35 v -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 1614.35 v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 1614.35 v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1614.35 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x617 -x618 1614.35 v -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 1614.35 v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 1614.35 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 1614.35 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 1614.35 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 1614.35 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 1614.35 v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 1614.35 v -x767 -x768 -x769 -x770 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 1614.35 v -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 1614.35 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 1614.35 v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 1614.35 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 1614.35 v -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 1614.35 v -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x912 -x913 -x914 -x915 -x916 1614.35 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 1614.35 v -x938 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 1614.35 v -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 1614.35 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 1614.35 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 1614.35 v -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 1614.35 v -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 1614.35 v -x1052 -x1053 -x1054 -x1055 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 1614.35 v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1085 -x1086 -x1087 1614.35 v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 1614.35 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 1614.35 v -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 1614.35 v -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1154 -x1155 -x1156 1614.35 v -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 1614.35 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 1614.35 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1614.35 v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1222 -x1223 -x1224 -x1225 1614.35 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1614.35 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 1614.35 v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1274 -x1275 -x1276 -x1277 1614.35 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1614.35 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1614.35 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1614.35 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1614.35 v -x1346 -x1347 -x1348 -x1349 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1614.35 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1614.35 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1614.35 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1614.35 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1614.35 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1614.35 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1614.35 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1614.35 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1497 -x1498 -x1499 -x1500 -x1501 1614.35 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1614.35 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1614.35 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1614.35 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1614.35 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1614.35 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1614.35 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1614.35 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1614.35 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1614.35 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1614.35 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 1614.35 v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 1614.35 v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1614.35 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1614.35 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1614.35 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1614.35 v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 1614.35 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1614.35 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 1614.35 v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 1614.35 v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1614.35 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1614.35 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 1614.35 v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 1614.35 v -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1933 1614.35 v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 1614.35 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 1614.35 v -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 1614.35 v -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 1614.35 v -x2002 -x2003 -x2004 -x2005 -x2006 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 1614.35 v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1614.35 v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 1614.35 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1614.35 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2086 -x2087 -x2088 1614.35 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1614.35 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1614.35 v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 1614.35 v -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1614.35 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1614.35 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1614.35 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1614.35 v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 1614.35 v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1614.35 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1614.35 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1614.35 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 1614.35 v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 1614.35 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1614.35 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 1614.35 v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 1614.35 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 1614.35 v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 1614.35 v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 1614.35 v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 1614.35 v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1614.35 v -x2451 -x2452 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1614.35 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1614.35 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 1614.35 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 1614.35 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 1614.35 v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 1614.35 v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 1614.35 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2589 1614.35 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1614.35 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1614.35 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1614.35 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1614.35 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 1614.35 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1614.35 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 1614.35 v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1614.35 v -x2727 -x2728 -x2729 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 1614.35 v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 1614.35 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1614.35 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2793 -x2794 -x2795 -x2796 1614.35 v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 1614.35 v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1614.35 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1614.35 v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 1614.35 v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2881 -x2882 1614.35 v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 1614.35 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1614.35 v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 1614.35 v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1614.35 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1614.35 v -x2969 -x2970 -x2971 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 1614.35 v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 1614.35 v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 1614.35 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 1614.35 v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 1614.35 v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 1614.35 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 1614.35 v -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 1614.35 v -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 1614.35 v -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 1614.35 v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 1614.35 v -x3158 -x3159 -x3160 -x3161 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 1614.35 v -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 1614.35 v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 1614.35 v -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 1614.35 v -x3227 -x3228 -x3229 -x3230 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 1614.35 v -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3261 -x3262 1614.35 v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 1614.35 v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 1614.35 v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 1614.35 v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1614.35 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3344 -x3345 -x3346 -x3347 -x3348 1614.35 v -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 1614.35 v -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3380 -x3381 -x3382 -x3383 1614.35 v -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 1614.35 v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 1614.35 v -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 1614.35 v -x3435 -x3436 -x3437 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 1614.35 v -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 1614.35 v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 1614.35 v -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 1614.35 v -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 1614.35 v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 1614.35 v -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 1614.35 v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 1614.35 v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 1614.35 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 1614.35 v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 1614.35 v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 1614.35 v -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 1614.35 v -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 1614.35 v -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 1614.35 v -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 1614.35 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 1614.35 v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 1614.35 v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3759 -x3760 -x3761 -x3762 1614.35 v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 1614.35 v -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 1614.35 v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3810 -x3811 -x3812 -x3813 -x3814 1614.35 v -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 1614.35 v -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 1614.35 v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 1614.35 v -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 1614.35 v -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 1614.35 v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 1614.35 v -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 1614.35 v -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3949 -x3950 -x3951 -x3952 1614.35 v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 1614.35 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 1614.35 v -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 1614.35 v -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 1614.35 v -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 1614.35 v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 1614.35 v -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 1614.35 v -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 1614.35 v -x4090 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 1614.35 v -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 1614.35 v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4141 -x4142 1614.35 v -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 1614.35 v -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 1614.35 v -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 1614.35 v -x4194 -x4195 -x4196 -x4197 -x4198 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 1614.35 v -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 1614.35 v -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 1614.35 v -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4262 -x4263 1614.35 v -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 1614.35 v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 1614.35 v -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 1614.35 v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 1614.35 v -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 1614.35 v -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356
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/node0/watcher-44839-1149641065 -o ROOT/results/node0/solver-44839-1149641065 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node0/44839-1149641065/instance-44839-1149641065.opb 279925959 ROOT/tmp/node0/44839-1149641065 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.87 0.98 0.92 3/67 31375 /proc/meminfo: memFree=1561496/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5356 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) D 31373 31375 31329 0 -1 4194304 234 0 0 0 0 0 0 0 19 0 1 0 229768028 5484544 202 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270311063026 0 2147483391 4100 65536 18446744072099781622 0 0 17 1 0 0 /proc/31375/statm: 1339 202 167 169 0 50 0 [startup+10.002 s] /proc/loadavg: 0.89 0.98 0.92 2/71 31380 /proc/meminfo: memFree=1558280/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4172 CPUtime=9.73 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 713 0 0 0 973 0 0 0 25 0 1 0 229768034 4272128 677 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518354 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1043 677 208 21 0 479 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 10.16 Current children cumulated vsize (Kb) 39424 [startup+20.0092 s] /proc/loadavg: 0.91 0.98 0.92 2/71 31380 /proc/meminfo: memFree=1558352/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4172 CPUtime=19.73 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 722 0 0 0 1973 0 0 0 25 0 1 0 229768034 4272128 686 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518508 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1043 686 208 21 0 479 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 20.16 Current children cumulated vsize (Kb) 39424 [startup+30.0163 s] /proc/loadavg: 0.92 0.98 0.92 2/71 31380 /proc/meminfo: memFree=1558416/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4172 CPUtime=29.74 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 723 0 0 0 2974 0 0 0 25 0 1 0 229768034 4272128 687 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538379 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1043 687 208 21 0 479 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 30.17 Current children cumulated vsize (Kb) 39424 [startup+40.0224 s] /proc/loadavg: 0.93 0.98 0.92 2/71 31380 /proc/meminfo: memFree=1558480/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4304 CPUtime=39.74 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 732 0 0 0 3974 0 0 0 25 0 1 0 229768034 4407296 696 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1076 696 208 21 0 512 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 40.17 Current children cumulated vsize (Kb) 39556 [startup+50.0285 s] /proc/loadavg: 0.94 0.98 0.92 2/71 31380 /proc/meminfo: memFree=1558416/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4304 CPUtime=49.74 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 732 0 0 0 4974 0 0 0 25 0 1 0 229768034 4407296 696 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539597 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1076 696 208 21 0 512 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 50.17 Current children cumulated vsize (Kb) 39556 [startup+60.0346 s] /proc/loadavg: 0.95 0.98 0.92 2/71 31380 /proc/meminfo: memFree=1558416/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4304 CPUtime=59.75 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 732 0 0 0 5975 0 0 0 25 0 1 0 229768034 4407296 696 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1076 696 208 21 0 512 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 60.18 Current children cumulated vsize (Kb) 39556 [startup+70.0418 s] /proc/loadavg: 0.96 0.98 0.92 2/71 31380 /proc/meminfo: memFree=1558416/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4304 CPUtime=69.75 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 740 0 0 0 6975 0 0 0 25 0 1 0 229768034 4407296 704 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532882 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1076 704 208 21 0 512 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 70.18 Current children cumulated vsize (Kb) 39556 [startup+80.0489 s] /proc/loadavg: 0.96 0.98 0.92 2/71 31380 /proc/meminfo: memFree=1558416/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4304 CPUtime=79.75 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 741 0 0 0 7975 0 0 0 25 0 1 0 229768034 4407296 705 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521466 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1076 705 208 21 0 512 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 80.18 Current children cumulated vsize (Kb) 39556 [startup+90.056 s] /proc/loadavg: 0.97 0.98 0.92 2/71 31380 /proc/meminfo: memFree=1558352/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4304 CPUtime=89.76 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 741 0 0 0 8976 0 0 0 25 0 1 0 229768034 4407296 705 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539768 0 0 4096 0 0 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 1520.68 Current children cumulated vsize (Kb) 39688 [startup+1531.04 s] /proc/loadavg: 1.04 0.99 0.93 2/71 31575 /proc/meminfo: memFree=1557584/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4436 CPUtime=1530.26 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 783 0 0 0 153023 3 0 0 25 0 1 0 229768034 4542464 747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134519993 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1109 747 208 21 0 545 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1530.69 Current children cumulated vsize (Kb) 39688 [startup+1541.04 s] /proc/loadavg: 1.03 0.99 0.93 2/71 31575 /proc/meminfo: memFree=1557712/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4436 CPUtime=1540.26 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 783 0 0 0 154023 3 0 0 25 0 1 0 229768034 4542464 747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539616 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1109 747 208 21 0 545 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1540.69 Current children cumulated vsize (Kb) 39688 [startup+1551.05 s] /proc/loadavg: 1.03 0.99 0.93 2/71 31575 /proc/meminfo: memFree=1557712/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4436 CPUtime=1550.26 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 783 0 0 0 155023 3 0 0 25 0 1 0 229768034 4542464 747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518508 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1109 747 208 21 0 545 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1550.69 Current children cumulated vsize (Kb) 39688 [startup+1561.06 s] /proc/loadavg: 1.02 0.99 0.93 2/71 31575 /proc/meminfo: memFree=1557712/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4436 CPUtime=1560.27 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 783 0 0 0 156024 3 0 0 25 0 1 0 229768034 4542464 747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521504 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1109 747 208 21 0 545 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1560.7 Current children cumulated vsize (Kb) 39688 [startup+1571.07 s] /proc/loadavg: 1.02 0.99 0.93 2/71 31575 /proc/meminfo: memFree=1557712/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4436 CPUtime=1570.27 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 783 0 0 0 157024 3 0 0 25 0 1 0 229768034 4542464 747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134520169 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1109 747 208 21 0 545 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1570.7 Current children cumulated vsize (Kb) 39688 [startup+1581.07 s] /proc/loadavg: 1.01 0.99 0.93 2/71 31575 /proc/meminfo: memFree=1557712/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4436 CPUtime=1580.27 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 783 0 0 0 158024 3 0 0 25 0 1 0 229768034 4542464 747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539622 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1109 747 208 21 0 545 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1580.7 Current children cumulated vsize (Kb) 39688 [startup+1591.08 s] /proc/loadavg: 1.01 0.99 0.93 2/71 31575 /proc/meminfo: memFree=1557776/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4436 CPUtime=1590.28 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 783 0 0 0 159025 3 0 0 25 0 1 0 229768034 4542464 747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539287 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1109 747 208 21 0 545 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1590.71 Current children cumulated vsize (Kb) 39688 [startup+1601.08 s] /proc/loadavg: 1.01 0.99 0.93 2/71 31575 /proc/meminfo: memFree=1557776/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4436 CPUtime=1600.28 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 783 0 0 0 160025 3 0 0 25 0 1 0 229768034 4542464 747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539622 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1109 747 208 21 0 545 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1600.71 Current children cumulated vsize (Kb) 39688 [startup+1611.09 s] /proc/loadavg: 1.01 0.99 0.93 2/71 31575 /proc/meminfo: memFree=1557776/2055920 swapFree=4191892/4192956 [pid=31375] ppid=31373 vsize=5360 CPUtime=0 /proc/31375/stat : 31375 (runpbsmodels) S 31373 31375 31329 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229768028 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31375/statm: 1340 234 195 169 0 51 0 [pid=31376] ppid=31375 vsize=12268 CPUtime=0 /proc/31376/stat : 31376 (pbsmodels-v1.31) S 31375 31375 31329 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 229768033 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 270319796116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31376/statm: 3067 383 293 3 0 167 0 [pid=31377] ppid=31376 vsize=5356 CPUtime=0.43 /proc/31377/stat : 31377 (sh) S 31376 31375 31329 0 -1 4194304 308 526 0 0 0 0 43 0 16 0 1 0 229768033 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 270310892356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31377/statm: 1339 227 188 169 0 50 0 [pid=31379] ppid=31377 vsize=4436 CPUtime=1610.29 /proc/31379/stat : 31379 (smodels-2.31) R 31377 31375 31329 0 -1 4194304 783 0 0 0 161026 3 0 0 25 0 1 0 229768034 4542464 747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538372 0 0 4096 0 0 0 0 17 1 0 0 /proc/31379/statm: 1109 747 208 21 0 545 0 [pid=31380] ppid=31377 vsize=12268 CPUtime=0 /proc/31380/stat : 31380 (pbout.new.pl) S 31377 31375 31329 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 229768034 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 270319792226 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/31380/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1610.72 Current children cumulated vsize (Kb) 39688 Child status: 0 Real time (s): 1614.36 CPU time (s): 1614.01 CPU user time (s): 1613.96 CPU system time (s): 0.056991 CPU usage (%): 99.9784 Max. virtual memory (cumulated for all children) (Kb): 39688 The end
Begin job on node0 on Wed Jun 7 00:44:25 UTC 2006 FILE ID= 44839-1149641065 PBS_JOBID= 323338 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin12.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node0/44839-1149641065/instance-44839-1149641065.opb 279925959 ROOT/tmp/node0/44839-1149641065 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node0/watcher-44839-1149641065 -o ROOT/results/node0/solver-44839-1149641065 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node0/44839-1149641065/instance-44839-1149641065.opb 279925959 ROOT/tmp/node0/44839-1149641065 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= 8ef9ab9b1b524024010be24ca1127d40 RANDOM SEED= 279925959 /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.236 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.236 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: 1561704 kB Buffers: 31212 kB Cached: 389556 kB SwapCached: 492 kB Active: 99772 kB Inactive: 338892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1561704 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 308 kB Writeback: 0 kB Mapped: 27420 kB Slab: 41076 kB Committed_AS: 394116 kB PageTables: 1716 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node0 on Wed Jun 7 01:11:20 UTC 2006